Find Jobs
Hire Freelancers

can a programmer very urgent help me for"Algorithms for Model Checking " in C++ ?

$30-250 USD

종료됨
게시됨 거의 8년 전

$30-250 USD

제출할때 지불됩니다
Observe that in the small progress measures algorithm the choice of the next vertex that is considered for lifting is non-deterministic. For this assignment you must consider a number of dierentlifting strategies and implement these. 1. Implement the small progress measures algorithm for solving parity games. Ensure that your implementation: (a) can read parity games in the PGSolver format;1 (b) treats the parity games as min parity games, i.e. implements the small progress measures algorithm as described in the lecture (note: all tools in the PGSolver toolkit generate and use max-parity games, whereas you are required to use and solve min-parity games). (c) implements at least the following two lifting strategies: Input order lift the vertices in the parity game in the order they appear in the input (vertices are represented by numbers in the PGSolver format); i.e. if the input contains vertices 0; : : : ; 10, start with lifting 0, then 1, up to 10, then restart at 0 again, until the measures stabilise. Random order lift the vertices in the parity game in randomised order, i.e. x a ran- dom order before starting starting your algorithm, and than iteratively lift vertices in this order, until the measures stabilise. Include the code of the algorithms in an appendix (le reading and other auxiliaries may be omitted from the appendix), and include all relevant source les when you send in your report. Make sure your code compiles/can be executed on Linux or Mac OS X (e.g. include .jar les for Java).
프로젝트 ID: 10115651

프로젝트 정보

제안서 1개
원격근무 프로젝트
활동 중 8년 전

돈을 좀 벌 생각이십니까?

프리랜서 입찰의 이점

예산 및 기간 설정
작업 결과에 대한 급여 수급
제안의 개요를 자세히 쓰세요
무료로 프로젝트에 신청하고 입찰할 수 있습니다
1 이 프로젝트에 프리랜서들의 평균 입찰은 $200 USD입니다.
사용자 아바타
Hi! I am professional C/C++/C#/Java programmer. I can do this project with highest quality! Best Regards, Szymszteinsl
$200 USD 4일에
4.9 (63 건의 리뷰)
6.7
6.7

고객에 대한 정보

국기 (BELGIUM)
Belgium
0.0
0
4월 3, 2016부터 회원입니다

고객 확인

감사합니다! 무료 크레딧을 신청할 수 있는 링크를 이메일로 보내드렸습니다.
이메일을 보내는 동안 문제가 발생했습니다. 다시 시도해 주세요.
등록 사용자 전체 등록 건수(일자리)
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
미리 보기 화면을 준비 중...
위치 정보 관련 접근권이 허용되었습니다.
고객님의 로그인 세션이 만료되어, 자동으로 로그아웃 처리가 되었습니다. 다시 로그인하여 주십시오.