JCL (Java Constraints Library) 문제 : 추가 표현 방법은 무엇입니까?

Question

Java Constraints Library을 사용하여 로직 문제 CSP을 해결해야합니다. 지금은 문제의 일부 제약 조건을 표현할 수 있었으며, 대부분은 이진 제약 조건 인 "같음"과 "같지 않음"을 기반으로합니다. 내 의심은, 어떻게 추가 기반 제약 조건을 나타낼 것입니까? 예 :

• :
  • 변수 1이 DOMAINA에 속하는
  • 변수 2가 속한
  는
  • variable3을 DOMAINB하기는
  • 변수 4가 속한
  지금 제약 조건을

을 DOMAINB하는 DOMAINA에 속하는 변수 1과 변수 2의 합은입니다.은 variable3과 variable4의 합보다 큽니다.

관찰 :이 변수는 돈을 나타내므로 추가 할 수 있습니다.

Answer 1

Java 제약 라이브러리는 단항 또는 2 진 제약 만 사용하므로 n-ary 제약 조건을 나타 내기 위해서는 Binarization of Constraints을 수행해야합니다. 또한 도서관의 기존 관계 클래스를 상속하고 새로운 호환 관계를 정의 할 수 있습니다.