변수에 많은 제약이 있으며이 제한된 공간을 효율적으로 샘플링 할 방법을 찾고 있습니다. 나는 Z3을 시험해 보았다. 그리고 그것이 공간이 사소한 지 (즉, 제약이 만족 스럽다면) 말할 수있을 것 같다. 그러나 나는 공간에서 예제를 얻는 방법을 보지 않는다. 내가 최소화하거나 최대화하지 않는 한. . 나는 뭔가를 놓치고 있습니까, 아니면 Z3이 아닌 것입니까
복잡한 스케줄링 문제에 대한 솔루션을 계산하기 위해 JaCoP (Java 용 제약 프로그래밍 솔버)를 사용하고 있습니다. 지금 나는 발견 된 해결책이 맞지 않다는 문제에 직면하고있다. (가) 솔버는 해결책을 발견 검색이 끝나면 store.impose(new XplusYeqZ(start, duration, cipStart));
,하지만 불행히도이 솔루션은
GeCode를 사용하여 특정 작업을 해결하는 소프트웨어를 빌드하고 있습니다. 나는 integer set 변수와 이러한 변수에 대한 몇 가지 제약 조건을 사용하여 문제를 모델링했습니다. 그러나이 문제에 관해서는 더 간단한 경우를 생각해 봅시다. 도메인이 [{}, ..., {1,2,3}] 인 {{}, {1}, {2}, {3}, {1,2 }, {1,3}, {2,
Constraint Handling Rules을 사용하여 SWI-Prolog에 간단한 제약 조건 세트를 작성했습니다. 그것은 추론이 상대적으로 간단한 규칙을 사용 %If A means B, then B means A.
means(A,B) ==> means(B,A).
%If A means B and A means C, then B means C.
me
특정 제약 조건에 따라 최적의 미디어 선택을 찾아야합니다. 나는 4 중첩 된 for 루프에서 그것을하고 있으며, 약 O (n^4) 회 반복이 걸릴 것이므로 느리다. 나는 그것을 더 빨리 만들려고했지만 아직도 느리다. 내 변수는 2 ~ 3 만개 정도 될 수 있습니다. max_disks = 5
max_ssds = 5
max_tapes = 1
다른 조리법에 대한 조리법이 많고 주방에 다양한 재료가 포함 된 라디에이터가 있다고 가정 해보십시오. core.logic을 사용하여 모델을 구성하여 다음 질문에 답할 수있게 해드립니다. 주어진 재료 세트 (즉, 현재 내 라더에있는 재료)에 대해 어떤 요리법을 만들 수 있습니까? 조리법은 다소 유연하며이를 모델링 할 수 있어야합니다. 나중에 수량을 추가하고
나는 Prolog에 익숙하지 않으므로 친절하십시오. solve(X) :- A = B, A is (7 * (X - 2)), B is (3 * (X + 4)).
물론, 정답은 여기 6.5입니다 : 이 내 규칙입니다. 내가주는 경우에 그 프롤로그에, 그것은 확인 : | ?- solve(X).
uncaught exception: error(instantiat
Choco Solver를 사용하고 int vars의 배열이 주어지면 배열의 적어도 하나의 var가 static과 같은지 확인하는 제약 조건을 원합니다. 값 ... IntConstraintFactory#count 유사하지만 다음과 같은 문서와 뭔가 : /**
* Let N be the number of variables of the VARIABLES col