그래프 문제와 관련하여 도움이 필요합니다. 내 솔루션을 구현하는 대신 기존 솔루션이나 알고리즘을 찾고 있습니다. 하나 있으면 제발 도와주세요. 나는 성공하지 않고 인터넷 검색을 시도했다. 내 문제는 다음과 같습니다. 방문 할 위치가 여러 개 있으며 각 위치에 마감 기한이 있습니다. 보통, 나는 결코 그들을 모두 방문 할 수없고, 마감 시간을 어쨌든 초과 할
저는 세계 cp optimizer에 새로운 것이므로 작은 테스트를 시작합니다. 다음 질문이 있는데 도움이 필요합니다. PairElements는 튜플 [파, 요소]는 다음과 같은 제한이 가장 낮은 비용으로 몇 가지를 얻을 필요가 데이터 const IloInt nbPair = 6;
const IloInt nbPairElements = 15;
const Il
문제를 해결하기 위해 choco API를 사용하고 있습니다. 내가 필요한 것은 1. 이 코드에 동일한 내 모든 변수의 합을 제약 조건을 코딩 행의 합이 1과 동일 유지입니다 : IntegerVariable[][] rows;
int n; //number of rows
for(int i=0; i<n; i++)
model.addConstraint(eq(su
Gecode는 진행중인 제약 조건 만족 문제를 나타 내기 위해 Space을 사용합니다. 결정 지점에 도달 할 때마다 Space이 복사됩니다. 진행중인 공간에 대한 분석을 수행하고 싶습니다. 특정 Space에 등록 된 변수, 제약 조건 목록을 얻는 방법이 있습니까? API 문서는 그러한 메소드를 제공하지 않는 것 같습니다.
CP 및 MiniZinc에 잠깐 노출되었지만 전문가는 아닙니다. CP 모델을 가지고 있는데 여기에 ATM을 게시 할 수 없으며 MiniZinc에 구현되어 있습니다. 문제에 대한 모든 가능한 해결책을 생성해야합니다. 우리는 1000 개 미만, 100 개 이상이라는 "적은"것들을 가질 것으로 기대합니다. minizinc 버전으로 전달 된 -a 플래그로 모델을
동일하다고 요소의 최대 세트를 찾는 방법 나의 게임은 자신의 합이 N 예입니다 주어진 목록에서 요소의 최대 세트를 따기에 관한 것입니다 : L=[1,1,2,2,3,2,4,5,6], N = 6, 하위 목록은 [1,1,2,2] 과 같습니다. 제약 논리 프로그래밍을 사용하여 힌트가 필요합니다.
이 제약 조건을 작성하는 방법을 알고 싶습니다. 시험 목록이 있으며 모든 시험에는 기간이 있습니다. 최종 출력은 실제 시간표의 표시입니다. 열에는 아침 4 시간, 오후 4 시간, 점심 중간에 2 시간 동안 사용할 수없는 시간이 있습니다. 그래서, 내가 만들어 보겠습니다. 이 두 가지 시험이 있고 각 시험마다 지정된 기간이있는 경우, 내 변수가 시험이기 때문
나는 단지 내가 누적 술어의 옵션입니다 세계 자원 제한의 최소화에 의해 주문 활동의 일정을 검색 할이 schedule(Activities, GLB) :-
get_start_times(Activities,StartTimes),
get_resources(Activities,Resources),
get_durations(Activit
나는 프롤로그에서 해결할 수 있도록하고 싶습니다 매우 간단한 방정식이 인스턴스화되지 않은 인수 중 하나를 처리하십시오. 더 복잡한 관계 또는 방정식으로 일반화 할 필요가 없습니다. myEquation(A, B, C) :-
...something...
나는 다음과 같은 의미로 호출 할 수있는 : myEquation(A,1,2).
> A = 3.
my