확장정의의 한계: 변수 집합이 겹치지 않을 때 EF 이론의 무의미성

초록

본 논문은 확장정의(Extended Formulation, EF) 이론이 설명 변수 집합이 서로 겹치지 않을 경우, 기존 정의가 의미를 상실한다는 점을 지적한다. G=0(즉, 제약식에 원래 변수 x가 등장하지 않는) 상황에서 최근 연구들이 사용한 “투사(projection)” 정의가 모든 폴리토프를 서로의 EF로 만들 수 있음을 보이며, 이러한 정의는 과도한 일반화와 결과의 왜곡을 초래한다는 결론을 제시한다.

상세 분석

논문은 먼저 EF의 전통적 정의(Definition 2)와 최근 제안된 두 가지 대체 정의(Definition 3, Definition 4)를 정리한다. 전통적 정의는 (x,w)∈U인 경우 x만을 투사하면 원래 폴리토프 X와 동일해야 한다는 조건을 갖는다. 반면 Definition 3은 선형 사상 π가 존재하면 X=π(U)라고 정의하고, Definition 4는 “x∈X ⇔ ∃w : (x,w)∈U”라는 양방향 조건을 제시한다.

핵심은 G=0, 즉 제약식 Gx+Hw≤g에서 x와 관련된 항이 전혀 없을 때이다. 이 경우 U는 순수히 w변수만으로 정의된 폴리헤드론이 되며, ϕₓ(U)=ℝᵖ가 되어 전통적 정의에 의해 X와 동등하지 않음이 증명된다(정리 6, Part i). Definition 4에서도 동일하게 “∀x∈ℝᵖ, (∃w) : H w≤g”가 성립해 양방향 조건이 깨진다(Part ii).

가장 파괴적인 결과는 Definition 3에서 나타난다. 저자는 U와 X를 각각 w‑변수와 x‑변수만으로 기술한 뒤, 임의의 선형 사상 A와 B를 구성해 x=Aw, w=Bx가 성립하도록 만든다. 이는 “모든 폴리토프는 변수 집합이 서로 독립적인 경우 서로의 EF가 될 수 있다”는 결론으로 이어진다. 즉, 변수 집합이 겹치지 않을 때 EF 관계는 완전히 퇴화하여 의미를 상실한다.

정리 7에서는 이러한 퇴화를 일반화한다. 두 폴리토프 P₁⊂ℝⁿ¹, P₂⊂ℝⁿ²에 대해 각각의 변수 집합이 완전히 별개라면, 중복 제약과 변수를 임의로 추가함으로써 P₁을 P₂의 EF, P₂를 P₁의 EF로 만들 수 있음을 보인다. 이는 EF 이론이 “불필요한 변수·제약을 추가해도 관계가 변하지 않는다”는 전제 자체가 위배될 수 있음을 시사한다.

논문은 이러한 이론적 모순을 Fiorini et al. (2011, 2012)와 Martin(1991)의 최소 신장 트리 모델에 적용해 검증한다. Fiorini 논문의 핵심 정리(Theorem 4)는 G=0 상황에서 성립하지 않으며, 따라서 그들의 하위 결과들 역시 변수 집합이 겹치지 않을 경우 과도하게 일반화된 것으로 판단한다.

결론적으로, 저자는 EF 정의가 “x‑변수가 포함된 제약이 최소 하나라도 존재해야 한다”는 전제 하에만 유효하며, 변수 집합이 완전히 분리된 경우 기존 및 최신 EF 연구들의 결론이 무효화될 수 있음을 강조한다. 이는 EF 이론을 적용할 때 변수 연관성을 명시적으로 검토해야 함을 강력히 시사한다.