2017-02-02 3 views
0

SCIP를 사용하여 분기 및 가격 알고리즘을 구현했습니다.SCIP를 사용하는 B & P의 분기 메커니즘

질문 : 분기 메커니즘을 호출하기 위해 기본 BRANCHEXECLP 메커니즘을 사용합니다. SCIP는 언제 출장해야하는지 어떻게 알 수 있습니까? 현재 이완 해결책이 비 - 정수 해를 가질 때, 맞습니까? 이 경우 브랜칭 메커니즘을 호출하도록 SCIP에게 알릴 필요는 없습니다. 맞습니까?

(대부분은) 내 B & P 알고리즘이 잘 작동하기 때문에 묻습니다. 그러나 어느 시점에서 이중 결합 솔루션에 해당하는 노드에 도달합니다. 가격 문제를 해결 한 후 (마스터 문제를 입력하는 데 유용한 열이 없음)이 노드의 완화 솔루션에는 비 정수 솔루션이 포함되어 있지만 분기 메커니즘은 호출되지 않습니다. 달리기가 방금 종료됩니다. 여기에 무슨 일이 벌어지고 있는지에 대한 어떤 생각?

감사합니다, 롭 카레

답변

0

나는 현재 LP 솔루션에서 분수 변수가 있음을 가격하는 동안 확인 추측?

그리고 그 노드에서 이중 경계는 전역 이중 경계와 같습니까? 당신은 오직 당신의 목표를 적분 값으로 만 표기 했습니까? 이 경우, 이중 경계가 원의 경계에 충분히 가까워지면, 그 경계가 반올림 됨으로써 동일한 수를 얻게된다. SCIP은 단지 노드를 차단할 것이다. 아마도 SCIP는 가격 책정 후에도 현재의 글로벌 듀얼 경계에 의해 최적 인 것으로 즉시 입증 된 새로운 솔루션을 발견했을 것입니다. SCIP은 가격 결정 루프에서 해결 된 각각의 LP 이후에 자동으로 간단한 반올림 추론을 실행합니다.

+0

도움 주셔서 감사합니다. 예, 현재 LP 솔루션에는 소수 변수가 있습니다. 예, 현재 노드의 이중 경계는 전역 이중 경계와 같습니다. 아니오, 나는 내 목표가 완전한 가치만을 지니는 것을 표시하지 않았습니다. 정수 변수는 목적에 없습니다. 발견 적 방법이 문제가 될 수 있습니다. 이러한 휴리스틱 스를 끄는 쉬운 방법이 있습니까? –

+0

그리고 기본 경계가 이중 경계와 같지 않습니까? 경험적 방법론은 문제가되어서는 안되며, 단지 실현 가능한 솔루션을 만들려고 노력할 것입니다. 그러나 대화 형 셸에서 "heur emph off"를 설정하여이 기능을 끌 수 있습니다 (모든 휴리스틱 스가 해제됩니다). 그러나 나는 그것을 추천하지 않을 것이다. – Gerald

+0

당신은 그 뛰기가 끝난다고 말하면, 그걸로 무엇을 의미합니까? 그것은 최적 성을 주장합니까? 그것은 중단됩니까? 그것이 중단되면 디버그 모드 (OPT = dbg로 컴파일)에서 실행 했습니까? – Gerald