[논문 리뷰] Augmentation in Linear and Integer Linear Programming

Jesús A. De Loera, Raymond Hemmecke외 1명|arXiv (Cornell University)|2014. 08. 15.

Advanced Optimization Algorithms Research인용 수 1

한 줄 요약

이 논문은 선형 및 정수 선형 프로그래밍을 위한 세 가지 증강 규칙을 제안하며, 비용 향상 정도를 단위 1-노름 길이당 최소화하는 이산 최강 내림걸음 방식에 초점을 맞춘다. 이러한 단계들이 약수행렬의 그레이버 기저 크기 이내로 제한됨을 증명함으로써, N-폴드 정수선형 최적화에 대한 첫 번째 강력 다항시간 알고리즘을 도출하고, 심플렉스 유사 방법에 대한 기존의 경계를 일반화한다.

ABSTRACT

Motivated by Bland's linear-programming generalization of the renowned Edmonds-Karp efficient refinement of the Ford-Fulkerson maximum-flow algorithm, we discuss three closely-related natural augmentation rules for linear and integer-linear optimization. In several nice situations, we show that polynomially-many augmentation steps suffice to reach an optimum. In particular, when using discrete steepest-descent augmentations (i.e., directions with the best ratio of cost improvement per unit 1-norm length), we show that the number of augmentation steps is bounded by the number of elements in the Graver basis of the problem matrix, giving the first ever strongly polynomial-time algorithm for $N$-fold integer-linear optimization. Our results also improve on what is known for such algorithms in the context of linear optimization (e.g., generalizing the bounds of Kitahara and Mizuno for the number of steps in the simplex method) and are closely related to research on the diameters of polytopes and the search for a strongly polynomial-time simplex or augmentation algorithm.

연구 동기 및 목표

• 선형 및 정수선형 프로그래밍에서 다항시간 수렴을 보장하는 증강 규칙을 개발하는 것.
• 블랜드의 에드몬즈-커프 알고리즘 일반화를 이산 강하 방향 증강을 통해 정수프로그래밍에 확장하는 것.
• 그레이버 기저 크기를 사용하여 증강 단계 수에 대한 강력 다항시간 경계를 확립하는 것.
• 선형 최적화에서 심플렉스 유사 방법에 대한 기존 경계를 향상시키는 것.

제안 방법

• 논문은 비용 향상 정도를 단위 1-노름 길이당 최대화하는 방향을 선택하는 이산 최강 내림걸음 증강을 사용한다.
• 증강 단계 수를 제한하기 위해 제약행렬의 그레이버 기저를 활용한다.
• 이 방법은 포드-풀커슨 알고리즘의 에드몬즈-커프 개선을 정수선형 프로그래밍으로 일반화한다.
• 증강 단계 수가 그레이버 기저의 크기로 제한됨을 입증함으로써 강력 다항성 보장한다.
• 이 방법은 선형 및 정수선형 프로그래밍 모두에 적용되며, N-폴드 구조에 중점을 둔다.
• 이론적 분석을 통해 증강 단계가 다면체 직경 경계와 알고리즘 복잡도에 연결됨을 밝힌다.

실험 결과

연구 질문

• RQ1 정수선형 프로그래밍에서 강력 다항시간 수렴을 보장하는 증강 규칙을 설계할 수 있는가?
• RQ2 최강 내림걸음 방향을 사용할 때 최적해에 도달하기 위해 필요한 최소 증강 단계 수는 얼마인가?
• RQ3 N-폴드 정수선형 프로그래밍에서 그레이버 기저의 크기는 증강 단계 수와 어떻게 관련되는가?
• RQ4 기존 심플렉스 방법의 경계를 증강 기반 알고리즘으로 일반화할 수 있는가?
• RQ5 증강 단계 수와 다면체의 직경 사이의 관계는 무엇인가?

주요 결과

• 이산 최강 내림걸음 증강 단계 수는 제약행렬의 그레이버 기저 크기로 제한된다.
• 이 경계는 N-폴드 정수선형 최적화에 대한 첫 번째 강력 다항시간 알고리즘을 도출한다.
• 이 방법은 기존의 심플렉스 방법 단계 수 경계(기타라와 미즈노의 경계 포함)를 일반화한다.
• 결과적으로 증강 단계 복잡도와 다면체 직경 이론 사이의 직접적인 연결 고리를 확립한다.
• 이 방법은 정수프로그래밍에서 효율적이고 강력 다항시간 알고리즘 설계를 위한 새로운 이론적 기반을 제공한다.
• 이 토대는 선형 및 정수선형 프로그래밍 전반에 적용 가능하며, 향상된 복잡도 보장을 제공한다.