[논문 리뷰] A Quantitative Doignon-Bell-Scarf Theorem

Iskander Aliev, Robert Bassett외 2명|arXiv (Cornell University)|2014. 05. 11.

Advanced Graph Theory Research참고 문헌 18인용 수 9

한 줄 요약

이 논문은 도이그논-벨-스카르 정리의 정량적 일반화를 제시하며, 정확히 k개의 정수점을 포함하는 n차원 유클리드 공간 내의 모든 다면체에 대해, 그 k개의 정수점을 모두 유지하는 최대 c(n,k)개의 부등식 하위집합이 존재함을 증명한다. 여기서 c(n,k)는 n과 k에만 의존하는 전연의 상수이다. 주요 결과는 c(n,k) ≤ ⌈2(k+1)/3⌉2ⁿ − 2⌈2(k+1)/3⌉ + 2 이며, 이는 k=1일 때 정확히 tight함을 보여주며, 이 경우 c(n,1) = 2(2ⁿ−1)이다.

ABSTRACT

The famous Doignon-Bell-Scarf Theorem is a Helly-type result about the existence of integer solutions on systems of linear inequalities. The purpose of this paper is to present the following quantitative generalization: Given an integer $k$, we prove that there exists a constant $c(n,k)$, depending only on the dimension $n$ and $k$, such that if a polyhedron ${x: Ax \leq b}$ contains exactly k integer solutions, then there exists a subset of the rows, of cardinality no more than $c(n,k)$, defining a polyhedron that contains exactly the same $k$ integer points. In this case $c(n,0) = 2^n$ is the original case of Doignon-Bell-Scarf for infeasible systems of inequalities. We work on both upper and lower bounds for the constant $c(n,k)$ and discuss some consequences, including a Clarkson-style algorithm to find the $l$-th best solution of an integer program with respect to the ordering induced by the objective function.

연구 동기 및 목표

• 정확히 k개의 정수점을 포함하는 다면체를 분석하는 정량적 설정으로 고전적인 도이그논-벨-스카르 정리를 일반화하는 것.
• 차원 n과 정수 개수 k에만 의존하는 전연 상수 c(n,k)의 존재를 확립하여, 최대 c(n,k)개의 부등식 하위집합이 모든 k개의 정수점을 유지함을 보장하는 것.
• c(n,k)에 대한 명시적 상한 및 하한을 유도하며, 특히 k=1일 때의 tightness를 증명하는 것.
• 이 결과를 활용해 차원과 l에 대해 지수함수적 의존도가 감소하는 Clarkson 스타일의 알고리즘을 설계하여 정수계획법에서 l번째로 좋은 해를 계산하는 것.
• 비선형 공간 이론을 확장하여 고정된 차원에서 다수의 타당해를 찾는 데 필요한 복잡도 경계를 제공하는 것.

제안 방법

• 정확히 k개의 정수점을 포함하는 다면체를 다루기 위해, 기존의 도이그논-벨-스카르 증명 기법을 일반화하기 위해 수세기와 조합기하학을 도입하는 것.
• 정수점이 정확히 하나뿐인 내부에 정수점을 포함하는 다면체를 구성하고, 각 면이 상대 내부에 고유한 정수점을 기여하도록 하여 하한을 확립하는 것.
• 비선형 공간 이론과 블랙박스 질의 기법을 적용하여, l번째로 좋은 정수해를 찾는 확률적 알고리즘을 설계하는 것.
• 고정된 차원에서 정수계획법을 위한 아이젠브란드 알고리즘을 활용하여, 각 질의에 대해 O(ls) 시간 내에 기본 질의를 해결하는 것. 여기서 s는 비트 복잡도이다.
• 유리형 생성함수와 볼록기하학을 활용하여 이론적 복잡도 경계를 지원하고, 볼록집합의 가족으로 결과를 확장하는 것.
• 정수점 집합을 유지하는 부등식 하위집합의 조합적 분석을 통해 상한 c(n,k) ≤ ⌈2(k+1)/3⌉2ⁿ − 2⌈2(k+1)/3⌉ + 2을 도출하는 것.

실험 결과

연구 질문

• RQ1 유계 n차원 다면체 내 정확히 k개의 정수점을 유지하기 위해 필요한 최소 부등식 수는 얼마인가?
• RQ2 고전적인 도이그논-벨-스카르 정리는 고정된 양의 정수점을 포함하는 다면체를 고려하는 정량적 형태로 확장될 수 있는가?
• RQ3 상한 c(n,k) ≤ ⌈2(k+1)/3⌉2ⁿ − 2⌈2(k+1)/3⌉ + 2는 모든 k에 대해 tight한가, 아니면 k=1과 같은 특정 값에 대해서만 tight한가?
• RQ4 정량적 도이그논-벨-스카르 결과는 정수계획법에서 l번째로 좋은 해를 효율적으로 계산하는 데 어떻게 적용될 수 있는가?
• RQ5 특히 고정된 차원에서 이 정리로 인해 l번째로 좋은 해를 찾는 데 필요한 복잡도는 얼마인가?

주요 결과

• 논문은 ℝⁿ 내 정확히 k개의 정수점을 포함하는 모든 다면체에 대해, 그 k개의 정수점을 모두 유지하는 최대 c(n,k)개의 부등식 하위집합이 존재함을 증명한다. 여기서 c(n,k)는 n과 k에만 의존하는 전연 상수이다.
• k=1일 경우 이 경계는 정확히 tight하다: c(n,1) = 2(2ⁿ−1). 이는 정수점이 정확히 하나뿐인 내부 정수점을 포함하는 다면체를 구성함으로써 증명되며, 각 면이 정수점을 유지하는 데 필수적임을 보여준다.
• 상한은 c(n,k) ≤ ⌈2(k+1)/3⌉2ⁿ − 2⌈2(k+1)/3⌉ + 2이며, 이는 이전의 경계를 향상시키며, k=1일 때 정확히 tight함을 입증한다.
• 이 결과는 정수계획법에서 l번째로 좋은 해를 찾는 Clarkson 스타일의 알고리즘을 가능하게 하며, 기대 실행 시간은 O((ls)(c(n,l)m + c(n,l)^{O(c(n,l))})) 번의 연산을 필요로 한다.
• 고정된 차원 n과 상수 l에 대해, 알고리즘은 입력 크기에 대해 다항식 시간 내에 실행되며, l과 차원에 대해 지수함수적 의존도가 감소한다.
• 이 방법은 비선형 공간에 적용 가능하며, 각 질의에 대해 아이젠브란드 알고리즘으로 O(ls) 시간 내에 블랙박스 기본 질의를 해결하는 메커니즘을 사용한다.