CLPFD에서 다음 시나리오에 대한 변수를 정의하는 방법은 무엇입니까?

Question

나는 변수 세트가 T_1, T_2, ..., T_N 나는 CLPFD에 다음 의사 코드를 다시 작성하고 싶습니다 :

T_1 in 0..59, 
T_2 in 0..59, 
... 
T_n in 0..59, 

all_different([T_1, T_2, ..., T_n]), 

FOREACH x in 0 to 59 do: 

    IF (x \in [T_1, T_2, T_3, ..., T_n]) THEN 
     Slot_x = 1 
    ELSE 
     Slot_x = 0 

ENDFOREACH 

내가 어떻게 할 수 있습니까?

나는 count을 사용합니다 :

T_1 in 0..59, 
T_2 in 0..59, 
... 
count(0, [T_1, T_2, ..., T_n], #=, Slot_0) % The number 0 can be at most once in the list 
count(1, [T_1, T_2, ..., T_n], #=, Slot_1) % The number 1 can be at most once in the list 
... 

하지만 난 경험이 많은 프로그래머가이 방법을 쓸 것이라고 생각합니다.

Answer 1

당신은 all_different 제거하고 다음과 같이 제약을 계산 얻을 수 있습니다

T_1 in 0..59, 
T_2 in 0..59, 
... 
T_n in 0..59, 

Slot_0 in 0..1, 
Slot_1 in 0..1, 
... 
Slot_59 in 0..1, 

global_cardinality([T_1, T_2, ..., T_n], [0-Slot_0, 1-Slot_1, ..., 59-Slot_59]).