FourierCSP: 다중값 제약 만족 문제를 위한 차분 가능한 Walsh‑Fourier 해법

초록

본 논문은 유한 도메인 변수를 갖는 일반 CSP를 Walsh‑Fourier 전개를 이용해 다항식 형태로 변환하고, 연속적인 확률 단순체 위에서 투사 서브그라디언트와 미러 디센트를 결합한 하이브리드 최적화 알고리즘으로 해결한다. 이론적 수렴 보장과 대규모 벤치마크 실험을 통해 기존 SAT, ILP, CP 솔버와 경쟁 가능한 성능을 입증한다.

상세 분석

FourierCSP는 기존 연속 로컬 서치(CLS)가 Boolean SAT에만 적용될 수 있었던 한계를 극복하고, 유한 도메인 CSP 전반에 적용 가능한 통합 프레임워크를 제시한다. 핵심 아이디어는 각 변수의 도메인을 인디케이터 기반 Walsh‑Fourier 기저(ϕα)로 표현하고, 제약 함수를 이 기저 위에 전개함으로써 다항식 형태의 연속 목표 함수를 얻는 것이다. 이때 Fourier 계수 ˆf(α)는 제약의 구조적 정보를 그대로 보존하므로, 이산 해의 존재 여부를 연속 기대값 F(P)=E_{X∼S_P}