[논문 리뷰] Test Sets for Integer Programs with Z-Convex Objective

Raymond Hemmecke|ArXiv.org|2003. 09. 08.

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

한 줄 요약

이 논문은 정수선형계획법에서의 테스트 세트 방법을 ℤ-볼록 목적함수를 가진 정수계획법으로 확장하기 위해 그라버 기반을 사용하여 유한하고 계산 가능한 테스트 세트를 구성한다. 이는 확장된 행렬의 사영된 그라버 기반으로 임의의 최적해가 아닌 해에 대해 향상 방향을 제공함으로써, 이차 및 비연속 문제를 포함한 더 넓은 범위의 정수계획법에 대한 증가 기반 알고리즘을 가능하게 한다.

ABSTRACT

In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem.

연구 동기 및 목표

• 정수선형계획법을 초월하여 ℤ-볼록 목적함수를 다룰 수 있도록 테스트 세트 방법을 일반화하는 것.
• ℤ-볼록 목적함수를 가진 정수계획법에 대해 유한한 테스트 세트의 존재성과 계산 가능성의 수립.
• 확장된 문제 행렬의 그라버 기반을 이용한 개선 방향 생성을 위한 구축 방법 제공.
• 이차할당문제와 같은 도전적인 문제들에의 적용 가능성 입증.
• 비선형, 비연속, 볼록 정수계획법을 단일 알고리즘 프레임워크로 통합 처리하는 것.

제안 방법

• ℤ-볼록 함수의 조각별선형 구조를 모델링하기 위해 이진 변수를 도입하여 확장된 정수계획법을 구성한다.
• 확장된 문제 행렬의 그라버 기반을 사용하여 개선 방향을 생성한다.
• 사영 연산자 φₙ를 통해 그라버 기반 원소들을 원래 변수 공간으로 사영한다.
• 테스트 세트 H_CIP(A,C)를 행렬 (A | 0; C | Iₛ)의 그라버 기반의 사영으로 정의한다.
• ℤ-볼록 함수가 증가하는 차분을 가지므로 이산 볼록 분석이 가능하다는 성질을 활용한다.
• 임의의 ℤ-볼록 함수를 최소값이 α에 있는 상태에서 최소값이 0에 있는 것으로 변환한다.

실험 결과

연구 질문

• RQ1 ℤ-볼록 목적함수를 가진 정수계획법에 대해 유한한 테스트 세트를 구성할 수 있는가?
• RQ2 그라버 기반을 이용해 비선형 정수계획법에 대해 체계적인 방식으로 개선 방향을 생성할 수 있는가?
• RQ3 유한 수렴성을 유지하면서 증가 방법을 선형 목표함수를 초월해 확장할 수 있는가?
• RQ4 ℤ-볼곱 함수의 구조는 유비쿼터스 테스트 세트 존재성과 어떻게 관련이 있는가?
• RQ5 확장된 공식화의 그라버 기반과 원래 문제의 테스트 세트 사이의 관계는 무엇인가?

주요 결과

• 모든 ℤ-볼곱 목적함수를 가진 정수계획법에 대해 유한한 테스트 세트 H_CIP(A,C)가 존재하고 계산 가능하다.
• 테스트 세트 H_CIP(A,C)는 확장된 행렬 (A | 0; C | Iₛ)의 그라버 기반의 사영으로 유도된다.
• 임의의 최적해가 아닌 타당해는 H_CIP(A,C)에 속한 벡터로 개선될 수 있으며, 이는 최적해로의 수렴을 보장한다.
• 이 방법은 절댓값 및 지수함수와 같은 비연속 및 비이차 ℤ-볼곱 함수로 일반화될 수 있다.
• 테스트 세트는 원래 A의 그라버 기반을 포함하므로 선형 정수계획법과의 호환성을 확보한다.
• 이 방법은 증가 기반을 통해 이차할당문제와 같은 문제의 알고리즘적 해법을 가능하게 한다.