정수선형계획의 미분가능성 함정 이론과 실험의 격차

초록

본 논문은 Geng 등(2025)의 “Differentiable Integer Linear Programming”에서 제시된 정수선형계획(ILP) 재파라미터화와 그 미분가능성 주장에 근본적인 오류가 있음을 지적한다. 기대값에 대한 연속성은 확보되지만, 실제 샘플 경로에서는 거의 모든 경우에 불연속적인 서브스티튜트 손실이 발생해 확률적 경사 하강법이 의미 있는 신호를 제공하지 못한다. 저자는 이 문제를 1‑차원 및 2‑차원 예시를 통해 구체화하고, 기존 논문의 정리 5(정리 5)의 교환 가능성 가정이 성립하지 않음을 증명한다.

상세 분석

Geng et al. (2025)는 ILP ( \min_{x\in{0,1}^d}{c^\top x\mid Ax\preceq b} ) 를 베르누이 분포 (P_{\hat x}) 위에 정의된 연속적인 기대값 형태 ( \min_{\hat x\in