구속 조건 정수 프로그램 해결 제약 조건 정수 프로그램을 해결하는 것은 제약 정수 프로그래밍을위한 프레임 워크입니다.
지금 다운로드

구속 조건 정수 프로그램 해결 순위 및 요약

구속 조건 정수 프로그램 해결 태그

일정한 프로그래밍 프레임워크 정수 정수 프로그래밍 일정한 정수 찰과상

구속 조건 정수 프로그램 해결 설명

구속 조건 정수 프로그램은 제약 정수 프로그래밍을위한 프레임 워크입니다. 구속 조건 정수 프로그램은 제약 정수 프로그래밍을위한 프레임 워크입니다. 정수 프로그램 및 제약 프로그램을 해결하기 위해 매우 유사한 기술이 사용됩니다. 문제는 재귀 적으로 해결되는 작은 서브 프로 럼 (분기)으로 연속적으로 나뉘어져 있습니다. 다른 한편으로는 정수 프로그래밍 및 제약 프로그래밍이 다른 강점을 가지고 있습니다 : 정수 프로그래밍은 LP 휴식을 사용합니다. 강력한 이중 경계를 제공하기위한 절단 평면은, 제약 조건 프로그래밍은 임의의 (비선형) 제약 조건을 처리하고 전파를 사용하여 변수의 도메인을 조입니다. SCIP는 솔루션 프로세스를 완전히 제어하고 솔버의 배트에 대한 자세한 정보에 액세스하려는 수학적 프로그래밍 전문가의 요구를 향한 제약 정수 프로그래밍을위한 프레임 워크입니다. SCIP는 순수한 밉 솔버 또는 분기 컷 및 가격을위한 프레임 워크로 사용할 수도 있습니다. 다음은 "해결 제한 정수 프로그램"의 주요 기능입니다. · 분기, 절단, 가격 책정 및 전파의 틀입니다. 가능한 많은 사용자 플러그인을 통해 매우 유연합니다. · 임의의 제약 조건을 구현하는 제약 조건 핸들러, · 가변 가격서가 문제 변수를 동적으로 생성 할 수 있습니다. · 도메인 전파기는 변수의 도메인에 제한 조건 독립적 인 전파를 적용하는 것, · LP 이완에 절단 평면을 적용하기 위해 세퍼레이터를 자르십시오. · LP 이완 외에도 휴식과 이중 경계를 제공하는 이완기, · 프로빙 및 다이빙에 대한 구체적인 지원을 통해 실현 가능한 솔루션을 검색하는 원시적 인 솔루션, · 검색을 안내하는 노드 선택기, · 문제를 서브 프로 럼으로 분할하는 분기 규칙, · 해결 된 문제를 단순화하는 프리스트러, · 다른 입력 파일 형식을 구문 분석하기위한 파일 독자, · 노드가 해결되었을 때 특정 변수가 변경되거나 새로운 기본 솔루션이 발견되었거나 새로운 기본 솔루션이 발견되었을 때 특정 이벤트에 대한 이벤트 핸들러가 정보를 제공합니다. · 핸들러를 디스플레이하여 솔버의 출력에서 추가 열을 만듭니다. · 대화 상자 핸들러가 포함 된 명령 쉘을 확장합니다. · 모든 기존 단위는 플러그인으로 구현되어 가장 많은 사용자 확장 기능의 요구를 충족시킬 수있을만큼 유연한 인터페이스로 이어집니다. · 동적 컷 풀 관리가 포함되어 있습니다. · 사용자는 표현식에서 사전 처리되고 활성 문제 변수를 믹스 할 수 있습니다. 이들은 자동으로 해당 활성 문제 변수로 변환됩니다. · 노드 당 임의로 많은 어린이를 만들 수 있으며 다른 어린이는 임의로 정의 될 수 있습니다. · Open LP Solver 지원 (현재 ILOG CPLEX, DASH XPRESS-MP, Soplex 및 CLP를 지원합니다. · LP 이완은 모든 단일 노드에서 해결할 필요가 없을 필요가 없으며, 순수한 제약 솔버를 완전히 끄는 것이 좋습니다). · 추가 휴식 (예 : 연회 또는 라그라 랜트 이완)이 포함될 수 있으며 병렬 또는 인터리브로 작업 할 수 있습니다. · 충돌 분석은 불가능한 하위 프로바스에서 배우기 위해 적용될 수 있습니다. · 동적 메모리 관리는 디버그 모드에서 자동 메모리 누설 감지 기능이있는 작동 시스템 호출 수를 줄입니다. 이 릴리스에서는 새로운 기능 : · SOS 제약 조건에 대한 새로운 제약 조건 핸들러. · SCIP를 사용하여 프로젝트의 편집을위한 더 나은 지원. · SCIP는 이제 정수 솔루션을 계산할 수 있습니다. · 그래프 착색에 대한 열 생성 예가 추가되었습니다. · 확장 된 출력 기능. · 의사 부울 문제에 대한 지원. · 새로운 휴리스틱 한 딘. 새로운 절단 평면 분리기 MCF. · 향상된 정렬 기능. 전처리 개정. · 재 작업 타이밍 호출. · CLP 및 Seoplex에 적합한 LP 인터페이스. · 많은 내부 성능 향상 및 버그 수정.

구속 조건 정수 프로그램 해결 관련 소프트웨어