constraint-programming

1열

1답변

Microsoft Solver Foundation - 함수를 제약 조건으로 사용하는 방법?

C#의 Microsoft Solver Foundation을 사용하여 문제에 대한 해결책을 찾으려고하고 있는데 필요한 모든 제약 조건을 설정하는 데 문제가 있습니다. 기본 모델은 베이 목록이 있으므로 모든 베이를 모두로드해야 모든 베이의 총 수가 최대화됩니다. 나는 현재 이렇게하고있다. var solver = SolverContext.GetContext();

0열

1답변

minizinc의 제약 조건의 최대 값은 무엇입니까

minizinc의 해결사가 처리 할 수있는 최대 변수 및 제약 조건은 무엇인지에 대한 참조를 찾을 수 없었습니다. 특히 저는 minizinc의 mip solver에 관심이 있습니다. 약 15k 제약 조건과 약 1000 변수가있을 때 8GB로 내 Mac에서 스택 오버플로 오류가 발생했습니다. 그게 minizinc의 진짜 한계에 가까운 것이면 누구라도 알고 있

2열

2답변

SICStus Prolog에서 copy_term/3으로 수집 된 제약 조건을 어떻게 복원합니까?

문서는 copy_term(+Term, -Copy, -Body) 모든 변수가 아무 새로 만든 용어 외부에서 발생하지 새로운 변수로 대체되어있는 Term의 사본을 만드는 것을 말한다. Term에 변수가 포함 된 변수가있는 경우 Body은 Body 을 실행하면 Copy의 변수에 동일한 속성이 복원됩니다. 이전에 일부 변수에 대해 수치 CLP (R) 제약 조건을

2열

3답변

프롤로그 제약는 프로그래밍도 찾아 홀수 내가 술어 만들 필요가

: L의 변수에 제약 조건을 적용 applyConstraints(L) 을 같은 L에 두 개의 연속적인 요소는 모두 홀수 또는 내가 할 수있는 방법조차 없다는 것을 그? 고정 크기 L을 사용하면 간단하지만 가변 크기 L은 어떨까요? sicstus-prolog clpfd 라이브러리를 사용하여이 작업을 수행해야합니다.

0열

1답변

수식을 CSP로 해결

방정식 세트가 있습니다. 또한 일련의 값과 방정식에 대한 결과가 있습니다. 같은 뭔가 : a + b + c = x 및 일부 할당이 될 수는 : 1 + 1 + 1 = 3 2 + 3 + 4 = 9 그러나, 실제 방정식은 더 이상이며, 예를 들면 대수를 들어, 일부 기능을 포함 할 수있다. 이제는 (1) 방정식이 특정 값 xx와 같아지고 (2) 매개

0열

1답변

MS Solver Foundation CSP 오류 - 입력에 다른 기호 도메인이 있습니다.

Microsoft Solver Foundation을 사용하여 우리 가족의 크리스마스 그리기를 해결하려고합니다 ("secret santa" or "kris kringle"과 유사). 저는 이미 각 참가자의 도메인을 정리하는 데 사용했던 몇 가지 복잡한 제약 조건 (예 : 형제 자매는 구입할 수 없음)이 있습니다. 솔버가 작동한다는 것은 단 하나의 현재 (즉,

0열

1답변

Z3py는 선형 시간 논리 LTL을 지원합니까?

Z3py는 선형 시간 논리 LTL을 지원합니까? 예인 경우 간단한 설명의 예를 제공 할 수 있습니까?

1열

1답변

Minizinc의 ReifiedConstraint

필자는 작업 목록을 가지고 있으며 이들 사이에는 몇 가지 상호 의존성이 있습니다. 9 개의 작업. 각 cpu 그룹에서 6 cpu 2. 세 개의 그룹 p1, p2, p3이 있습니다. cost p1=4 COST p2=5 COST P3=2 다른 CPU의 다른 작업에 대한 실행 시간이 주어집니다. 작업간에 데이터를 전송해야합니다. 우리는 점대 점 링크를 사

-3열

1답변

Python으로 제약 프로그래밍

나는 CSP를 해결하기위한 간단한 스크립트를 작성하려고합니다. 현재 python-constraint https://github.com/DanielCasner/python-constraint을 사용하고 있습니다. 하지만 문제의 두 가지 특정 변수에 대한 제약 조건을 추가하고 싶습니다. 이것이 가능한가? 예를 들어, 변수 a와 b의 합은 5입니다. 감사!

1열

1답변

예약 가능 근무 시간 조정하기

나는 사전 정의 된 교대 (시간대)와 학생의 가용도 (시간대)를 기반으로 우리 학교의 학생 직원을 스케줄링하는 프로그램을 작성하고 있습니다. 이것은 직원이 일반적으로 사용 가능하지 않다는 제약 조건을 모델링하는 것을 제외하고는 Air Crew 문제와 유사합니다. 이는 일정에 따라 다릅니다. 노련한 제약 조건 프로그래머가이 문제를 해결하기 위해 권장 할 수있