저는 minizinc로 첫 제약 프로그래밍을 시도하고 있습니다. 나는 n 개의 슬롯과 n 명의 사람들로 각 슬롯에 다른 사람을 할당하여 일정을 잡으려고합니다. 나는 array of var int을 사용하여 각 슬롯에 다른 사람을 보장하기 위해 alldifferent()을 사용하여 일정을 모델링했습니다. 크기 n의 별도의 array, names는 다음과 같이
MiniZinc에서 solitaire를 해결해야하는 코드를 작성 중입니다. 조건이 만족스럽지 않으면 "이 솔리테어는 해결할 수 없습니다"라는 메시지를 반환하도록 요청 받았습니다. 불행히도 인터넷에서이 문제에 대한 해결책을 찾지 못했습니다. 누구든지 어떻게 할 수 있을지에 대한 아이디어가 있습니까?
의 모든 부분 집합을 통해 정량화하는 방법은 constraint forall (S subset C, k in M) (
% Some constraint over the set S, and integer k
);
나는 또한 싶습니다 ...이의 라인을 따라, MiniZinc의 정수의 집합의 모든 부분 집합에 대한 제약 조건을 만들 싶습니다 제약에서
MiniZinc에서 출력이 나오지 않는 이유는 무엇입니까? var int: Cost = sum (p in 1 .. nP) (Score [p]);
solve minimize Cost;
output ["Test"];
내가 할 모든은 다음과 같습니다 : 내 프로그램은 다음과 같이 종료 다시 일어난 54msec 2/7/15에 완료 scheduler.mzn
변수와 변수 사이에 선형 제약 조건 목록이 있습니다. 각 변수에 대해 유효한 값의 시작 목록이 포함 된 집합이 있습니다. Minizinc를 사용하여 어떻게 시작 값의 집합을 제약 조건을 만족시킬 수있는 값으로 줄일 수 있습니까? 내가 xy에 대한 모든 솔루션 solve satisfy 항목 및 인쇄 이것을 실행하면 (수평 라인이 제거 포함) array[1..
Minizinc에서 Tetris 솔버를 구현하려고합니다. 이는 내가 생각하는 "패킹"문제라고도합니다. 저는 Minizinc에서 처음 접했고 현재 내가하고있는 일을 거의 이해하지 못했지만 현재는 코드의 특정 제약 조건을 고수하고 있습니다. 저는 4x4 사각형을 테트리스의 사각형에 4 개 배치하여 전체 사각형을 채울 수 있도록 4x4 사각형을 해결하려고합니다.