무료 슬롯 버전 10은 컷 생성 기능을 확장했습니다. 혼합 정수에 대한 Gomory 컷 생성을 자동으로 시도합니다. 2차 목적함수를 갖는 프로그램.
무료 슬롯 버전 10은 긍정적이지 않은 더 적은 수의 모델을 거부합니다. 준확정.
MIP 시작은 이제 분수(즉, 정수가 아닌) 솔루션을 허용합니다.
사용자가 확장할 수 없는 MIP 시작을 제공하는 경우 가능한 솔루션이 있으면 무료 슬롯가 이를 복구하려고 시도합니다. 에 대한 자세한 내용은 이 기능은 매개변수도 참조하세요.수리이 릴리스에서는 메모.
Infeasibility Finder는 다음을 통해 실현불가능성의 원인을 식별합니다. 일관성 없는 제약 조건 집합(IIS)을 의미합니다. 그러나 당신은 원할 수도 있습니다 진단을 넘어 모델의 자동 수정을 수행합니다. 그런 다음 솔루션 제공을 진행합니다. 이를 위한 한 가지 접근 방식 명시적인 여유 변수 및 기타 항목을 사용하여 모델을 구축하는 것입니다. 모델링 구성을 통해 실행 불가능한 결과는 결코 발생하지 않습니다. 가능성. GAMS/무료 슬롯에서 제공되는 자동화된 접근 방식은 다음과 같습니다. FeasOpt(실행 가능한 최적화용) 및 매개변수로 활성화됨feasopt무료 슬롯 옵션 파일에서.
FeasOpt 옵션을 사용하면 무료 슬롯는 실현 불가능한 모델을 허용하고 최소화하는 방식으로 경계와 제약 조건을 선택적으로 완화합니다. 가중 페널티 함수. 본질적으로 가능한 휴식은 실현 가능성을 달성할 수 있는 최소한의 변화를 제안하려고 합니다. 그것 실행 불가능한 솔루션을 GAMS에 반환하고 완화를 표시합니다. 솔루션 섹션의 INFES 마커를 사용한 경계 및 제약 조건 목록 파일의 기본적으로 모든 방정식은 완화 및 가중 후보입니다. 동일하지만 어떤 변수도 완화할 수 없습니다. 이 기본값 이완 기본 설정을 할당하여 행동을 수정할 수 있습니다. 가변 범위 및 제약 조건. 이러한 기본 설정은 편리하게 사용할 수 있습니다. 로 지정됨.feaspref옵션. 음수 또는 0 기본 설정은 연관된 경계 또는 제약 조건이 적용되지 않음을 의미합니다. 수정되었습니다. 가중 페널티 함수는 다음과 같이 구성됩니다. 환경 설정. 선호도가 높을수록 그럴 확률이 높아집니다. 주어진 경계나 제약이 완화될 것입니다. 특정 값 변수 또는 제약 조건은 옵션을 통해 전달될 수 있습니다.
(변수 또는 방정식 이름).feaspref (값)FeasOptMode 매개변수는 찾기에 있어 다양한 전략을 허용합니다 한두 단계로 가능한 휴식을 취할 수 있습니다. 첫 번째 단계에서는 실현 불가능한 모델의 완화를 최소화하려고 시도합니다. 즉, 최소한의 요구로 실행 가능한 솔루션을 찾으려고 시도합니다. 변화. 두 번째 단계에서는 다음을 사용하여 최적의 솔루션을 찾습니다. 원래 목표)만큼만 휴식이 필요한 것 중 첫 번째 단계에서 필요하다고 판단했기 때문입니다. 매개변수 값 FeasOptMode는 두 가지 측면을 나타냅니다. (1) 1단계에서 중지할지 아니면 계속해서 2단계와 (2) 이완을 측정하는 방법을 설명합니다.합계필요한 휴식; 으로번호중 완화하는 데 필요한 제약과 경계; 으로합계 사각형필요한 휴식). 설명을 확인해주세요. 매개변수feasopt그리고feasoptmode자세한 내용은.
클리크 컷에 대해 매우 공격적인 새 설정(3)을 사용할 수 있습니다. 매개변수입니다.
커버 컷에 매우 공격적인 새 설정(3)을 사용할 수 있습니다. 매개변수입니다.
이 매개변수는 이제 모든 컷을 한 번에 꺼짐(-1)으로 설정할 수 있습니다. 자동(0), 보통(1), 공격적(2), 매우 공격적 (3).
이 매개변수를 사용하면 무료 슬롯가 로컬을 적용할지 여부를 제어할 수 있습니다. 새로운 재직자를 개선하기 위해 분기형 휴리스틱을 사용합니다. MIP 검색. 기본적으로 이 매개변수는 꺼져 있습니다. 켜면, 무료 슬롯는 새 항목을 찾은 경우에만 로컬 분기 경험적 방법을 호출합니다. 현직. 무료 슬롯가 단일 노드에서 여러 재직자를 찾는 경우 로컬 분기 휴리스틱은 마지막으로 발견된 항목에만 적용됩니다.
이 매개변수를 사용하면 무료 슬롯에 보존해야 함을 나타낼 수 있습니다. 가능한 경우 메모리. 이 매개변수를 기본값이 아닌 값으로 설정하면 값에 따라 무료 슬롯는 데이터 압축 또는 디스크와 같은 전술을 선택합니다. 장벽과 MIP에 의해 계산된 일부 데이터에 대한 저장 최적화 프로그램. 물론 메모리를 절약하면 성능에 영향을 줄 수 있습니다. 일부 모델. 또한 솔루션 정보는 이후에 제공될 예정입니다. 최적화, 기반이 필요한 특정 계산 인수분해(예: 조건수 계산을 위해) Kappa)를 이용할 수 없을 수도 있습니다.
이것은 이전 무료 슬롯 매개변수를 대체합니다.바로크, 최종인자그리고사전 압축.
이 매개변수를 사용하면 표시되는 정밀도의 정도를 제어할 수 있습니다 MPS 및 REW 형식의 출력 파일에서
이 매개변수를 사용하면 강조해야 할 사항을 무료 슬롯에 표시할 수 있습니다. 수치적으로 어렵거나 불안정한 문제의 정확성 시간과 메모리의 결과적인 성능 절충.
이 매개변수를 사용하면 무료 슬롯는 찾은 최상의 솔루션을 개선하는 데 비용을 지출합니다. 솔루션 중 폴리싱을 통해 무료 슬롯는 최고의 개선을 위해 노력합니다. 가능한 솔루션. 연마를 통해 일부 분야에서는 더 나은 솔루션을 얻을 수 있습니다. 상황.
presolve 노드 매개변수에 대한 새로운 설정(2)을 사용할 수 있습니다. 는 새로운 설정은 각 노드에서 모든 정수 실현 가능 변수를 조사하여 찾습니다. 고칠 수 있는 것.
이 매개변수를 사용하면 무료 슬롯는 조사에 소비합니다.
전처리 완화 표시기의 기본값은 다음과 같습니다. 변경되었습니다. 이제 기본값은 -1 자동입니다. 무료 슬롯가 결정하도록 하세요. 새로운 기본값은 일반적으로 다음의 더 빠른 초기 솔루션을 생성합니다. 휴식.
사용자가 MIP 시작(전체 또는 부분)을 제공할 수 없는 경우 실행 가능한 솔루션으로 확장되면 무료 슬롯는 복구를 시도합니다. 그것. 기본적으로 무료 슬롯는 복구 휴리스틱을 한 번 시도합니다.
이 새로운 매개변수를 사용하면 무료 슬롯에게 MIP를 다시 적용하도록 지시할 수 있습니다. 루트의 MIP 모델에 대한 전처리기의 사전 해결 기술 전처리가 완료된 후(즉, 절단 후) 루트에서 생성).
무료 슬롯는 이제 대칭 파괴를 위한 더욱 공격적인 기술을 제공합니다.