minizinc

1열

1답변

#minizinc 행렬의 열 [N, m]에서 얼마나 많은 행렬의 이 경우 k = 1로 주어 지므로 열에 2 "1", "number of 1"> k가 있으므로 문제는 만족스럽지 않아야합니다. 이 방법으로 시도했지만 작동하지 않습니다. constraint forall(i in n, j in m) forall(k in n) k<=(Z[i,j]\/Z[k,j])

0열

1답변

구문 분석시 Option Type의 인스턴스 란 무엇입니까?

소개 옵션 유형, Minizinc의 specification 말한다 (초 6.6.3.) : 개요. opt 유형 생성자를 사용하여 정의 된 옵션 유형은 거기에 있거나 없을 수도있는 유형을 정의합니다. 이것들은 유형에 하스켈 implicity의 새 유형 <>을 추가하는 Maybe 유형과 유사합니다. [...] 초기화. opt 유형 변수는 인스턴스 타임에 초기화

1열

1답변

Minizinc,지도 또는 사전 데이터 구조를 만드는 방법

Minizinc 구문과 관련하여 간단한 질문이 있습니다. rates_index_0 = array2d(1..3, 1..501, [ 15, 20, 23, .... rates_index_12 = array2d(1..3, 1..501, [ 21, 24, 27, .... ... 참고 : - 인덱스 번호는 그 격차 (> 20 예, 12)가 다음과 같이 파일 .

2열

1답변

`MiniZinc

에 alldifferent` 방법은 다음의 I는 I가 sequence 값이 '케이 때마다 행 요소가 sequence 행렬 달라도하고자한다 MiniZinc constraint forall (t in trucks) (all_different(c in customers where sequence[t,c] !=0) (sequence[t,c])); 에서 구현하려고

0열

1답변

MiniZinc 배열의 각 변수에 다른 도메인 할당

배열이 있습니다 : array[backpacks] of int: capacity 각 배낭의 용량을 지정합니다. 이제 제약 조건 해결사에서 만족해야 할 변수 배열을 만들고 싶습니다. 나는 각 변수가 도메인 1.Capacity에서 값을 취하기를 원합니다. 여기서 capacity는 위의 배열에 지정된 것과 일치합니다. 다음과 같이 입력하십시오 : array[ba

0열

1답변

MiniZinc에서 둘 이상의 '해결'을 적용 할 수 있습니까?

는 I 번의 mzn 파일 추적과 같은 구조를 적용하려고 : define Variables; %% first set of constraints constraint ...; constraint ...; solve satisfy; %% second set of constraints constraint ...; constraint ...; sol

1열

1답변

문자 그대로 출력하지 않고 어떻게 MiniZinc 출력이 이스케이프를 해석하도록 할 수 있습니까?

배열을 사용하기 위해 튜토리얼의 호주 프로그램을 변환하려고합니다. 나는 지혜로, 출력에 문제가있어 : % Coloring Australia using nc colors int: nc = 3; % number of colors int: ns = 7; % number of states array[1..nc] of string: colors = ["re

0열

1답변

Minizinc 함수를 등식 작성하여 술어를 단순화하는 방법

제약 조건 프로그래밍에 익숙하지 않고 MiniZinc를 배우고 있습니다. 내가 큰 조건을 가지고 있고이 술어 예를 들어 을 단순화하기 위해 (고전 프로그래밍 언어) 함수의 동등한를 만들 싶습니다, 내가 가진 : 이 % INPUTS int: nodes; float: T; %OUTPUT array [1..nodes, 1..nodes] of var 0..

0열

1답변

MiniZinc 모델을 사용하여 Java에서 gecode를 호출하십시오.

Java에서 런타임에 동적 인수가있는 모델을 해결하고 싶습니다. 내 문제는 MiniZinc으로 작성했습니다. mzn2fzn model.mzn model_data.dzn (this produces model.fzn file) fzn-gecode model.fzn (actually solves the model) 는 기본적으로 처음에는 데이터 파일을 공급

1열

1답변

Minizinc : INT 쌍의 어레이를 생성

이게 같은 N 개의 INT 쌍의 배열을 생성하기 Minizinc 구문이다 {(X1, Y1), (X2, Y2), ... (XN은 , yn)} 어떻게 특정 요소 j에 액세스하여 y 값을 얻을 수 있습니까?