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

이 논문은 트로피컬((max, +)) 선형 최적화 문제를 해결하기 위한 체계적인 대입법을 제안하고 그 이론적 토대를 마련한다. 서론에서는 트로피컬 기하학이 소프트웨어 정적 분석, 평균 보수 게임, 에너지 게임 등에서 핵심 역할을 하며, 이러한 게임의 승리 전략 탐색 문제가 트로피컬 선형 최적화 문제로 귀결됨을 설명한다. 본론은 크게 세 부분으로 구성된다. 먼저, (max, +) 대수, 행렬 연산, 가중치 그래프, 부등식의 논리적 변환 등 필요한 수학적 배경과 기호를 정의한다. 특히, 유효 부등식의 개념(Proposition 3.2)과 Kleene star를 이용한 고정점 해법(Result 3.1)이 후속 방법론의 기초가 된다. 두 번째로, 최소화 문제 mpr의 공식화와 대입법의 세부 절차를 설명한다. 목적 함수 min c^T ⊗ x를 Fourier 트릭을 통해 'z ≥ c^T ⊗ x ⊕ c_h ⊗ h' 제약을 가진 확장 문제로 변환하고, 원래 폴리헤드론 제약과 함께 동차화 변수 h를 추가한 원뿔 C(A+, A-)에서 문제를 정의한다. 대입법은 이 원뿔 표현을 출발점으로 한다. 핵심 아이디어는 변수 x_j 중 하나를 선택하여, 해당 변수를 포함하는 유효 부등식으로부터 x_j = f(x_other, h) 형태의 표현식을 도출한 후, 문제의 모든 식에 이 표현식을 대입하여 변수 한 개를 제거하는 것이다. 이때, 변수의 지배 관계(⪯_var)와 함수의 계층 구조(⪯_fct)를 고려하여 대입 순서를 결정하며, 이 과정이 최적해를 손상시키지 않음을 Theorem 4.2가 보장한다. 모든 x 변수가 대입된 후에는 h에 대한 부등식만 남게 되며, 이를 해결하여 최종 해 z* = c_h