Java Constraints Library을 사용하여 로직 문제 CSP을 해결해야합니다. 지금은 문제의 일부 제약 조건을 표현할 수 있었으며, 대부분은 이진 제약 조건 인 "같음"과 "같지 않음"을 기반으로합니다. 내 의심은, 어떻게 추가 기반 제약 조건을 나타낼 것입니까? 예 : : 변수 1이 DOMAINA에 속하는 변수 2가 속한는 variable3을
다음과 같은 문제가 NP 완료인지 여부 또는 단순한 무차별 강제 결합 검사보다 실제적으로 더 좋고/더 쉬운 해결책이 있는지를 확인하기를 바랍니다. 우리 소프트웨어에는 일종의 자원 할당 문제가 있는데 예제로 설명하겠습니다. 하루 교대 근무 중에 4 명이 근무해야한다고 가정 해 봅니다. 이 숫자와 그것이 "day-shift"라는 사실이 우리 데이터베이스에 기록