다차원 결정 변수가 지시 그래프의 사이클을 처리합니다.

Question

CPLEX를 사용하여 비 지향성 그래프에 대해 steiner 트리의 한 변형을 사용하고 있습니다. 내 용액에

이 때문에, 그래프는 방향 그래프로서 표현되고, ( Yuijv 불림) 내 desicion 변수 중 하나의 경로의 방향을 제어한다 :

Yuijv = 1 에지 경우를 (i, j)는 U → i → j → V 방향으로 u에서 v까지의 한 경로에서 사용됩니다.
Yuijv = 0 else. 여기

는 Yuijv 선언하는 방법이다 (그리고 몇몇 보조 코드) : 난

Yuijv[u,<j,v>,v] = 0; 

:

//structure 
tuple edge { 
    int i; //node 
    int j; //node 
} 

tuple path { 
    int u; 
    edge e; 
    int v; 
} 

setof(path) paths= {<i,<k,l>,j> | i,j in nodes : i!=j, <k,l> in edges: k!=l}; 

//decicion variable 
dvar boolean Yuijv[paths]; 

하지만 난 값에 액세스하려면이 sintax와 함께 사용하는 경우 이 오류가 발생합니다 :

Can't use type int for <u:int,a:<i:int,j:int>,v:int>. 

공식 문서 및이 사이트에서이 문제에 대한 도움을 찾을 수 없으며,이 변수에 대한 구현을 다시 정의하기위한 제안을하거나 정말로 제안을 사과합니다.

감사합니다.

Answer 1

boolean 유형의 의사 결정 변수에 int 값 0을 할당하려는 것 같습니다. 대신 제약 조건을 추가하여 값을 수정하십시오.