나는 아마도 멍청한 질문이 하나 있습니다. 현재 CSP 솔버 choco와 jacop을 테스트하고 있습니다. app (그래프 채색, 약 3000 개의 노드) 프로파일 링을 실행할 때 결과를 완전히 이해하지 못합니다. 프로파일 러에 의해 선언 된 사용 된 힙 공간은 약 1GB의 메모리입니다. 생성 된 모든 개체의 합계는 100MB 미만입니다. 다른 900MB
Java Constraints Library을 사용하여 로직 문제 CSP을 해결해야합니다. 지금은 문제의 일부 제약 조건을 표현할 수 있었으며, 대부분은 이진 제약 조건 인 "같음"과 "같지 않음"을 기반으로합니다. 내 의심은, 어떻게 추가 기반 제약 조건을 나타낼 것입니까? 예 : : 변수 1이 DOMAINA에 속하는 변수 2가 속한는 variable3을
상당히 복잡한 상황을 해결하기 위해 Microsoft Solver Foundation 2를 사용하려고합니다. 그러나 가능한 한 모델을 덤프 할 때도 UnsupportedModelException이 발생합니다. 누구나 내가 뭘 잘못하고 있는지 아이디어가 있습니까? 다음은 문제가되는 동작을 재현하는 데 필요한 최소한의 예제입니다. var ctx = Solver
지금 CSP (제약 조건 만족) 이론 자료를 배우고 있으며 this 라이브러리를 사용하여 XML 파일을 구문 분석하고 있습니다. Xcode를 IDE로 사용하고 있습니다. 내 프로그램이 잘 컴파일되지만 파일을 링크 할 때 XMLParser_libxml2.hh 파일에 중복 된 심볼 오류가 발생합니다. 내 파일과 같은 구분됩니다 클래스 헤더 파일을 포함하는 클래
대화식 작업 스케줄링 어플리케이션에서 작업 중입니다. 해당 용량/사용 가능 프로파일이있는 자원 세트, 이러한 자원에서 실행될 작업 세트 및 사용자가 수동으로 이동할 수있게하려는 작업의 작업 순서 및 가장 이른/최신 시작/종료 시간을 결정하는 일련의 제한 조건 주위에 직업. 본질적으로 저는 사용자가 작업 네트워크의 노드를 "잡아"제약 조건을 위반하지 않고 앞
인공 지능의 여러 주제를 설명하는 코스를 쓰고 있습니다. 현재 저는 "제약 처리"부분을 연구하고 있습니다. 제약 조건 처리를 설명하기 위해 간단한 예제를 포함하고자합니다. 이 예는 다음과 같은 특성이 있어야합니다 나는 예를 들어 많은 변수와 옵션 노드 일관성, 되돌아, backjumping, backmarking, 약한 휴식을 예시 하나 있음을 가질 수 있