[논문 리뷰] Computing the Integer Programming Gap

Serkan Hoşten, Bernd Sturmfels|ArXiv.org|2003. 01. 23.

Commutative Algebra and Its Applications참고 문헌 11인용 수 4

한 줄 요약

이 논문은 제약 행렬 $ A $와 비용 벡터 $ c $ 가 고정되어 있을 때 오른쪽 항수 $ b $ 가 변할 경우 정수계획법의 최적값과 그 선형계획법 타월화의 최적값 사이의 최대 간격에 대한 정확한 공식을 제시한다. 간격은 그뢰브너 기저 기법에서 유도된 모노미얼 아이디얼의 기초 분해를 통해 계산되며, 고정된 차원에 대해 다항시간 계산이 가능하게 하며, 연도표와 화폐 조합 문제에의 적용을 가능하게 한다.

ABSTRACT

We determine the maximal gap between the optimal values of an integer program and its linear programming relaxation, where the matrix and cost function are fixed but the right hand side is unspecified. Our formula involves irreducible decomposition of monomial ideals. The gap can be computed in polynomial time when the dimension is fixed.

연구 동기 및 목표

• 고정된 $ A $와 $ c $ 에 대해 오른쪽 항수 $ b $ 가 변할 때 정수계획법 최적값과 선형계획법 최적값 사이의 최대 간격을 결정하는 것.
• 모노미얼 아이디얼과 기초 분해를 이용한 정수계획법 간격에 대한 정확한 대수 공식을 제공하는 것.
• 차원 $ d $ 가 고정되어 있을 때 간격이 다항시간에 계산될 수 있음을 입증하는 것.
• 정수계획법 간격 함수 $ { m gap}(A,c) $ 가 $ \mathbb{R}^n $ 상의 조각별 선형 함수임을 분석하는 것.
• 이 프레임워크를 고차원 연도표와 다차원 운반 문제와 같은 통계 문제에 적용하는 것.

제안 방법

• 비최적의 정수해를 모노미얼로 표현하고, 정수계획법의 그뢰브너 기저에서 유도된 모노미얼 아이디얼 $ M(A,c) $ 를 생성하는 것.
• 모노미얼 아이디얼 이론을 이용해 $ M(A,c) $ 를 유일한 기초 성분으로 분해하는 것.
• 각 기초 성분 $ I $ 에 대해 보조 선형계획문제 (3) 을 통해 정수해와 연속해의 차이를 최대화하는 간격 값을 계산하는 것.
• 전체 간격 $ { m gap}(A,c) $ 가 이러한 성분 간격 값의 최댓값과 같음을 증명하여 정리 1.1 을 확립하는 것.
• 바르비노크의 짧은 유리함수 생성함수를 이용해 고정된 $ d $ 와 $ n $ 에 대해 다항시간 계산 가능성을 입증하며, 정리 1.2 에서 기술된 바와 같다.
• 그뢰브너 팬을 '간격 팬'으로 정교화하여 $ { m gap}(A,c) $ 가 이 정교화된 팬의 각 코너에서 선형이 되도록 하는 것. 이는 정리 5.1 과 추론 5.2 에서 명시되어 있다.

실험 결과

연구 질문

• RQ1 고정된 $ A $와 $ c $ 에 대해 모든 타당한 오른쪽 항수 $ b $ 에 대해 최적의 정수해와 선형계획법 타월화 해 사이의 최대 차이가 무엇인가?
• RQ2 대수기하학과 그뢰브너 기저 이론을 이용해 이러한 최대 간격을 정확히 어떻게 계산할 수 있는가?
• RQ3 간격 함수 $ { m gap}(A,c) $ 는 조각별 선형인가? 만약 그렇다면 그 정의역 분할의 구조는 어떠한가?
• RQ4 차원 $ d $ 가 고정되어 있을 때 간격은 다항시간에 계산될 수 있는가?
• RQ5 비용 벡터 공간 $ \mathbb{R}^n $ 의 서로 다른 영역에서 간격 함수는 어떻게 변하는가?

주요 결과

• 정수계획법 간격 $ { m gap}(A,c) $ 는 모노미얼 아이디얼 $ M(A,c) $ 의 모든 기초 성분에 대한 간격 값의 최댓값과 같으며, 이는 정리 1.1 에서 명시되어 있다.
• 모노미얼 아이디얼 $ M(A,c) $ 가 정사각형 자유 모노미얼로 생성될 때에만 간격이 0이 되며, 이는 정수성 간격이 없음을 나타낸다.
• 고정된 $ d $ 와 $ n $ 에 대해 간격은 $ A $ 와 $ c $ 의 이진 인코딩 길이에 대해 다항시간에 계산 가능하며, 이는 정리 1.2 에서 기술되어 있다.
• 정수계획법 간격 함수 $ { m gap}(A,c) $ 는 $ \mathbb{R}^n $ 상에서 조각별 선형이며, 선형 영역이 '간격 팬'이라 불리는 정교화된 팬을 이룬다. 이는 그뢰브너 팬의 굴곡된 형태이다.
• 한 펜, 니켈, 디멘, 퀼터로 구성된 화폐 조합 예제에서 간격은 $ 76/15 \approx 5.0667 $ 이며, $ b = (114, 10) $ 에서 도달된다. 이 경우 최적의 정수해와 연속해 사이의 차이는 정확히 이 간격과 같다.
• 간격 팬은 그뢰브너 팬을 정교화하며, 한 개의 코어가 초평면 $ 305p - 135n - 308d + 138q = 0 $ 에 의해 분할되어, $ \langle p^5, n^3 \rangle $ 과 $ \langle n^6, d^4, q \rangle $ 가 승자 성분이 되는 영역이 분리된다.