[논문 리뷰] Split rank of triangle and quadrilateral inequalities

Santanu S. Dey, Quentin Louveaux|ArXiv.org|2009. 06. 04.

Advanced Optimization Algorithms Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 두 행의 믹스드 인티거 프로그래밍 리 레이 셋의 볼록껍데기의 면을 정의하는 삼각형 및 사각형 부등식 중 유한 스플릿 랭크를 가지는 모든 부등식을 규명하며, 이전에 무한 스플릿 랭크를 가짐이 입증된 특정 삼각형 부등식 클래스를 제외한 나머지는 모두 유한 스플릿 랭크를 가짐을 보였다. 저자들은 이러한 모든 유한 스플릿 랭크 부등식을 생성할 수 있는 명시적이고 구성적인 스플릿 부등식의 순서를 제공하여 믹스드 인티거 프로그래밍의 커팅 평면 이론에서 핵심적인 질문을 해결하였다.

ABSTRACT

A simple relaxation of two rows of a simplex tableau is a mixed integer set consisting of two equations with two free integer variables and non-negative continuous variables. Recently Andersen, Louveaux, Weismantel and Wolsey (2007) and Cornuejols and Margot (2008) showed that the facet-defining inequalities of this set are either split cuts or intersection cuts obtained from lattice-free triangles and quadrilaterals. Through a result by Cook, Kannan and Schrijver (1990), it is known that one particular class of facet-defining triangle inequality does not have a finite split rank. In this paper, we show that all other facet-defining triangle and quadrilateral inequalities have a finite split-rank. The proof is constructive and given a facet-defining triangle or quadrilateral inequality we present an explicit sequence of split inequalities that can be used to generate it.

연구 동기 및 목표

• 두 행의 믹스드 인티거 프로그래밍 리 레이 셋의 볼록껍데기의 면을 정의하는 부등식 중에서 유한 스플릿 랭크를 가지는 것들을 규명하는 것.
• 모든 삼각형 및 사각형 부등식(이미 알려진 무한 스플릿 랭크 클래스를 제외하고)이 반복적인 스플릿 컷을 통해 생성될 수 있는지 여부에 대한 열린 문제를 해결하는 것.
• 모든 면을 정의하는 삼각형 및 사각형 부등식 중 유한 스플릿 랭크를 가지는 것들을 생성할 수 있는 명시적이고 구성적인 스플릿 부등식의 순서를 제공하는 것.

제안 방법

• 저자들은 두 개의 자유 정수 변수와 음이 아닌 연속 변수로 정의된 두 행 리 레이 셋 P(R,f)의 볼록껍데기의 구조를 분석한다.
• 면을 정의하는 부등식이 스플릿 컷 또는 격자 자유 삼각형 및 사각형에서 유도된 인터섹션 컷임을 알려진 특성화를 활용한다.
• 기하학적 및 다면체 기법을 사용하여 스플릿 랭크를 분석하며, 문제를 최대 네 개의 연속 변수를 가진 집합으로 축소한다.
• 각 유한 스플릿 랭크 면을 정의하는 부등식에 대해 필요한 스플릿 부등식의 순서를 생성하는 구성적 알고리즘을 개발한다.
• 기하학적 지지의 기반으로 다양한 유형의 부등식을 구분하고, 유효성과 날카로움을 확인하기 위해 볼록 조합과 정점 열거를 사용한다.
• Cook 등 [15]의 특정 삼각형 부등식 클래스의 무한 스플릿 랭크에 관한 결과를 적용하여 경계 사례를 확립한다.

실험 결과

연구 질문

• RQ1 conv(P(R,f))의 면을 정의하는 부등식 중에서 어떤 것들이 유한 스플릿 랭크를 가지는가?
• RQ2 모든 삼각형 및 사각형 부등식(이미 알려진 무한 스플릿 랭크 클래스를 제외하고)이 반복적인 스플릿 컷의 적용을 통해 생성될 수 있는가?
• RQ3 주어진 유한 스플릿 랭크 면을 정의하는 삼각형 또는 사각형 부등식을 생성할 수 있는 유한한 스플릿 부등식의 순서를 구성적으로 제공할 수 있는가?
• RQ4 무한 스플릿 랭크를 가지는 유일한 삼각형 부등식 클래스는 다른 모든 부등식들과 어떤 기하학적 및 대수적 성질에서 다름을 밝혀내는가?
• RQ5 격자 자유 삼각형 및 사각형에서 유도된 인터섹션 컷의 스플릿 랭크를 체계적으로 분석하고 경계를 설정할 수 있는가?

주요 결과

• conv(P(R,f))의 면을 정의하는 삼각형 및 사각형 부등식 중에서 Cook 등 [15]가 규명한 특정 삼각형 부등식 클래스를 제외한 모든 부등식은 유한 스플릿 랭크를 가진다.
• 모든 유한 스플릿 랭크를 가지는 면을 정의하는 부등식에 대해 논문은 명시적인 유한한 스플릿 부등식의 순서를 구성하여 이를 생성할 수 있음을 보였다.
• 증명은 무한 스플릿 랭크가 특정 삼각형 부등식 클래스에만 국한되어 있음을 보이며, 나머지 모든 부등식은 스플릿 컷을 통해 유한하게 생성됨을 입증한다.
• 분석은 격자 자유 삼각형 및 사각형에서 유도된 모든 부등식에 대해 스플릿 랭크가 이 Exceptional 클래스를 제외하고는 모두 유한함을 확인한다.
• 저자들은 이러한 모든 유한 스플릿 랭크 부등식의 스플릿 랭크가 경계가 있으며 기하학적 분해와 정점 분석을 통해 구성적으로 계산 가능하다고 확립한다.
• 논문은 두 행 리 레이 셋의 모든 면을 정의하는 부등식의 스플릿 랭크 행동을 완전히 분류하여 커팅 평면 이론에서 오랫동안 남아있던 열린 질문을 해결하였다.