[논문 리뷰] Intersection Cuts for Nonlinear Integer Programming: Convexification Techniques for Structured Sets

Sina Modaresi, Mustafa R. Kılınç외 1명|arXiv (Cornell University)|2013. 02. 11.

Advanced Optimization Algorithms Research인용 수 6

한 줄 요약

이 논문은 구조적 비다각형 집합에 대한 볼록화 기법을 개발하여, 혼합정수선형계획법에서 비선형정수계획법으로 분할, k-브랜치 분할, 교차절단을 일반화한다. 두 가지 기하 기법—보간과 집약—을 도입하여 단일 이차부등식으로 정의된 집합에 대해 닫힌 형태의 투영 및 계열 유 preservation 볼록껍데기 특성화를 가능하게 하며, 원뿔형 및 이차형 집합에 대한 강력한 타당 부등식을 제공한다.

ABSTRACT

We study the generalization of split, k-branch split, and intersection cuts from Mixed Integer Linear Programming to the realm of Mixed Integer Nonlinear Programming. Constructing such cuts requires calculating the convex hull of the difference between a convex set and an open set with a simple geometric structure. We introduce two techniques to give precise characterizations of such convex hulls and use them to construct split, k-branch split, and intersection cuts for several classes of non-polyhedral sets. In particular, we give simple formulas for split cuts for essentially all convex sets described by a single quadratic inequality. We also give simple formulas for k-branch split cuts and some general intersection cuts for a wide variety of convex quadratic sets.

연구 동기 및 목표

• 비다각형이며 비볼록인 집합의 볼록껍데기를 특성화하는 것이 어려운 MINLP로 강력한 절단평면을 MILP에서 확장하는 문제에 대응한다.
• SDP와 같은 업그레이드된 표현의 한계를 극복하기 위해 원래 공간에서의 투영되고 계열을 유지하는 볼록껍데기 기술을 모색한다.
• 복잡한 대수기하학에 의존하지 않고도 비선형 집합에 대해 분할, k-브랜치 분할, 교차절단을 생성할 수 있는 실용적이고 닫힌 형태의 방법을 개발한다.
• 기하학적 대칭성과 애핀 불변성을 활용하여 단일 원뿔형 또는 이차부등식으로 정의된 볼록집합에 대해 강력한 절단을 체계적으로 구성하는 프레임워크를 제공한다.
• 유클리드 노름의 대칭성이 신뢰영역 및 격자 문제에 관련된 광범위한 이차집합 클래스에 걸쳐 일반화 가능한 절단 구축을 가능하게 한다.

제안 방법

• 분할 및 k-브랜치 분할 절단 생성을 가능하게 하기 위해 볼록집합과 반평면의 차집합의 볼록껍데기를 특성화하기 위한 보간 기법을 도입한다.
• MIR 절단에 영감을 받은 두 단계 절차를 사용한다: 먼저 R²에서 두 개의 단순한 볼록집합을 사용해 기본 캐논ical 절단을 구성한 후, 애핀 변환을 적용해 고차원으로 일반화한다.
• 보간 기법을 원뿔형 이차집합에 적용하여 유클리드 노름의 구조와 선형 제약 조건을 활용해 분할절단에 대한 닫힌 형태의 표현식을 유도한다.
• 다수의 절단을 볼록 조합과 기하학적 제약 조건을 통해 조합함으로써 일반 교차절단을 구성하기 위한 집약 기법을 도입한다.
• 친구 조건과 보간 조건을 활용해 볼록껍데기 특성화를 검증함으로써 유도된 절단의 타당성과 강도를 확보한다.
• 노름의 대칭성과 원뿔집합의 apex 위치와 같은 기하학적 성질을 활용하여 대수적 복잡성 없이 절단 타당성에 필요한 충분조건과 필요조건을 도출한다.

실험 결과

연구 질문

• RQ1 단일 이차부등식으로 정의된 비선형 집합에 대한 분할절단을 업그레이드된 표현이나 고차원 표현 없이 닫힌 형태로 특성화할 수 있는가?
• RQ2 어떤 기하학적 및 대수적 성질이 교차절단에 대해 투영되고 계열을 유지하는 볼록껍데기 기술을 가능하게 하는가?
• RQ3 MIR에 영감을 받은 두 단계 절차—캐논ical 절단 이후 애핀 변환—는 비선형 집합으로 얼마나 일반화될 수 있는가?
• RQ4 보간과 집약 기법을 사용해 볼록집합과 반평면의 차집합의 볼록껍데기를 정확히 어떻게 특성화할 수 있는가?
• RQ5 유클리드 노름의 대칭성은 광범위한 이차집합 클래스에 걸쳐 일반화 가능한 절단 구축에 어떤 역할을 하는가?

주요 결과

• 논문은 단일 원뿔형 이차부등식으로 정의된 거의 모든 볼록집합에 대해 분할절단의 단순한 닫힌 형태의 공식을 제공한다.
• 유클리드 노름의 대칭성을 활용하여 다양한 볼록 이차집합에 대해 k-브랜치 분할절단과 일반 교차절단의 명시적 공식을 도출한다.
• 보간 기법은 원뿔형 이차집합에 대해 정확하고, 투영되며, 계열을 유지하는 볼록껍데기 특성화를 가능하게 하며, 정수계획법의 SDP 립트를 피할 수 있다.
• 집약 기법은 기하학적 제약 조건과 볼록 조합을 통해 다수의 절단을 조합함으로써 광범위한 일반 교차절단의 클래스를 구성할 수 있다.
• 단일 이차부등식으로 정의된 집합에 대해, 집합과 반평면의 차집합의 볼록껍데기는 약한 조건 하에서 단일 원뿔형 이차제약 조건으로 표현 가능하다고 입증된다.
• 결과적으로 절단 구축을 가능하게 하는 핵심 대수적 성질은 집합의 전체 대수적 구조가 아니라 유클리드 노름의 대칭성임을 보여준다.