[논문 리뷰] On the number of vertices in integer linear programming problems

Nikolai Yu. Zolotykh|ArXiv.org|2006. 11. 12.

Advanced Optimization Algorithms Research참고 문헌 8인용 수 9

한 줄 요약

이 논문은 선형계획법 문제의 정수해의 볼록결합에서 정점 수에 대한 상한과 하한을 종합적으로 조사하고 개선한다. 고정된 차원 $ n $ 에서 정점 수는 $ \Omega(m^{\lfloor n/2\rfloor} \log^{n-1} \alpha) $ 의 속도로 증가함을 입증하며, 이는 알려진 최상의 상한과 일치하여 상한이 상수 요소를 제외하고 최적임을 보이고, 일반 ILP 문제에 대해 다항시간 알고리즘이 최악의 정점 수 증가를 피할 수 없음을 보여준다.

ABSTRACT

We give a survey of work on the number of vertices of the convex hull of integer points defined by the system of linear inequalities. Also, we present our improvement of some of these.

연구 동기 및 목표

• 선형계획법 시스템의 정수해의 볼록결합에서 정점 수에 대한 상한과 하한을 분석하고 개선하는 것.
• 차원 $ n $, 제약조건 수 $ m $, 계수 크기 $ \alpha $ 를 변수로 하여 정수계획법에서 정점 수의 점근적 증가율을 규명하는 것.
• 기존 상한의 날카로움을 입증하기 위해 일치하는 하한을 도출함으로써, 최악의 경우에 더 큰 향상이 불가능함을 보이는 것.
• 정점 수 경계가 효율적인 ILP 알고리즘 설계에 미치는 함의를 조사하며, 특히 브랜치 앤 바운드 및 커팅 평면 방법의 복잡도에 대한 영향을 다루는 것.

제안 방법

• 계수 범위의 로그 성장에 기반해 정점 수를 제한하기 위해 Shevchenko의 분리성질 방법을 사용한다.
• 정점 수의 하한을 유도하기 위해 $ P_I $ 의 정점에서 분리성질을 가진 집합으로의 일대일 사상 적용을 통해 로그 곱의 경계를 활용한다.
• 변수 분할을 통해 일반 ILP 문제를 비음수 변수를 가진 등식 체계로 변환함으로써 정점의 구조를 유지한다.
• 매개변수 범위에 대한 확률적 및 평균적 추론을 활용해 기대 정점 수의 하한을 유도한다.
• 모듈로 산술과 격자점 수를 활용해 캐시백 다면체의 정점 수를 합동식의 해와 연결한다.
• McMullen의 상한 정리와 함께 정점 수와 면 수 간의 관계를 분석함으로써 다면체 복잡도에 대한 함의를 도출한다.

실험 결과

연구 질문

• RQ1 제약조건 $ Ax \leq b $ 로 정의된 다면체 내 정수점의 볼록결합에서 발생할 수 있는 정점의 최대 수는 얼마인가?
• RQ2 정수계획법에서 정점 수에 대한 알려진 상한은 향상될 수 있는가, 아니면 점근적으로 최적인가?
• RQ3 정점 수는 제약조건 수 $ m $, 차원 $ n $, 계수 크기 $ \alpha $ 에 대해 어떤 의존성을 가지는가?
• RQ4 최악의 정점 수를 달성하는 정수계획법의 가족이 존재하는가? 만약 존재한다면, 그들은 어떤 구조를 가지는가?
• RQ5 정수핵에서 지수적으로 많은 정점이 존재할 경우, 알고리즘 설계에 어떤 함의가 있는가?

주요 결과

• 정수핵 $ P_I $ 의 정점 수는 최대 $ c_n m^{\lfloor n/2\rfloor} \log^{n-1}(1+\alpha) $ 이며, 이는 최고의 알려진 상한과 일치한다.
• 일치하는 하한 $ \Omega(m^{\lfloor n/2\rfloor} \log^{n-1} \alpha) $ 이 증명되어, 고정된 $ n $ 에서 상한이 점근적으로 최적임을 입증한다.
• 냅색 문제의 경우, 낸스택 다면체의 정점 수는 최소 $ \Omega(\log^{n-1} \alpha) $ 이상이므로, 이 특수한 경우에서 경계의 날카로움이 확인된다.
• 하한은 비구성적이다. 큰 $ n $ 에서 $ \Omega(\log^{n-1} \alpha) $ 정점을 달성하는 명시적인 다면체 가족은 알려져 있지 않다.
• 정수핵 $ P_I $ 의 면 수는 최대 $ c_n m^{(\lfloor n/2\rfloor)^2} \log^{(n-1)\lfloor n/2\rfloor}(1+\alpha) $ 이며, 정점-면 이중성과 McMullen의 경계를 통해 유도된다.
• 결과적으로, 일반적인 ILP 알고리즘은 고정된 $ n $ 에서조차도 정점 수의 지수적 최악의 복잡도를 피할 수 없음을 시사한다.