분기와 절단의 복합 효율성 이론적 증명과 복잡도 분석

초록

**
본 논문은 혼합정수 최적화에서 절단면과 분기 전략을 결합한 branch‑and‑cut이 순수 절단면 알고리즘이나 순수 branch‑and‑bound보다 이론적으로 지수적 우위를 가질 수 있음을 증명한다. 효율성 평가는 LP 반복 횟수와 제약식 희소성 두 가지 지표로 수행한다.

**

상세 분석

**
이 연구는 혼합정수 프로그램(MIP)의 두 핵심 기법인 절단면(cutting planes)과 분기(branching)의 상호작용을 정량적으로 분석한다. 저자들은 먼저 “절단면 패러다임”(CP)과 “분기 스킴”(D)을 형식화하고, 각각이 생성할 수 있는 제약식의 비제로 계수 수를 제한하는 희소성 파라미터 s를 도입한다. 이후 branch‑and‑cut 알고리즘을 비결정적 증명 체계(proof system)로 모델링하여, 각 노드에서 수행되는 LP(또는 일반 convex) 풀기의 수를 트리 노드 수와 동일시한다.

핵심 정리는 두 부분으로 나뉜다. 첫 번째는 순수 branch‑and‑bound가 사용 가능한 분기 희소성 s에 따라 트리 크기가 급격히 변한다는 점이다. Jeroslow의 고전적 예제를 변형하여, s가 Θ(n) 수준이 아니면 트리 크기가 Ω(2^{n²/s}) 로 지수적으로 커짐을 보였다. 즉, 변수 하나만을 이용한 단변량 분기(s=1)는 n 차원 문제에서 2^{Ω(n)} 크기의 트리를 요구한다. 반면 s≈n이면 상수 크기의 트리(루트와 두 리프)만으로 최적해를 증명할 수 있다.

두 번째 정리는 절단면과 분기의 상대적 강점을 비교한다. 기존 연구