트로피컬 선형 최적화 문제 해결을 위한 효율적인 대입법

초록

본 논문은 (max, +) 대수에서 정의된 트로피컬 선형 프로그래밍 문제, 특히 최소화 문제를 해결하기 위한 새로운 대입법을 제안한다. 이 방법은 문제를 동차화하여 얻은 트로피컬 원뿔에 특수한 순방향-역방향 대입을 적용하며, 강력한 다항식 시간 복잡도를 가진다. 또한, 기존 선형 프로그래밍의 Charnes-Cooper 변환을 트로피컬 버전으로 확장하여 분수 선형 프로그래밍 문제도 해결할 수 있음을 보인다.

상세 분석

이 논문은 트로피컬((max, +)) 선형 프로그래밍 분야에서 중요한 알고리즘적 기여를 한다. 핵심 기여는 기하학적 객체인 트로피컬 폴리헤드론 위에서의 최적화 문제를 해결하는 ‘특수 대입법’을 제안한 것이다. 이 방법의 핵심 메커니즘은 다음과 같다.

첫째, 원래의 폴리헤드론 제약 조건을 동차화 변수 h를 도입하여 원뿔 형태로 변환한다. 이는 목적함수와 제약 조건을 일관된 형태로 통합하고, 무한대 해를 체계적으로 다룰 수 있게 한다.

둘째, 변수 간의 지배 관계와 함수의 계층 구조를 정의한다. 변수 x_j의 값 영역이 상한과 하한으로 제한되는지에 따라 ‘지배 변수’를 식별하고, (x,h)-선형 함수가 h에 의존하는지 여부에 따라 ‘h-경계 함수’와 ‘h-비경계 함수’로 분류한다. 이 분류는 대입 순서와 최적성 판단의 기준이 된다.

셋째, Fourier의 트릭을 적용하여 최소화 문제를 ‘z ≥ 목적함수’ 형태의 부등식 제약을 포함하는 확장 문제로 재정의한다. 이후, 유효 부등식(Proposition 3.2)을 통해 하나의 변수 x_j*를 다른 변수와 h의 선형 함수로 표현(대입)하여 문제의 차원을 축소한다. 이 과정은 Theorem 4.3에 따라 대입 가능한 관련 변수를 선택하고, Theorem 4.2가 보장하는 최적성을 유지하며 반복된다.

주목할 점은 이 대입법이 기존 선형 시스템의 순방향-역방향 대입(전진-후진 대입)의 강력한 다항식 시간 복잡도 특성을 계승한다는 주장이다. 이는 트로피컬 푸리에-모츠킨 제거법이 지수 복잡도를 가진다는 점과 대비된다. 또한, 최소화 과정 중 특정 경우(목적함수가 h만 포함하고, 남은 변수에 상한이 존재할 때)에는 최대화 문제로 전환하여 해결하는 유연한 접근법을 제시한다.

마지막으로, 선형 분수 프로그래밍 문제를 트로피컬 Charnes-Cooper 변환을 통해 동등한 선형 문제로 축소하여 동일한 대입법으로 해결할 수 있음을 보인다. 이는 방법의 일반성을 강화한다.