강력 만족을 약한 짝수 만족으로 변환하는 효율적 알고리즘

초록

이 논문은 변수에 대한 리터럴 집합(절)을 ‘강하게 만족’시키는 할당이 존재할 때, 같은 수의 절을 ‘짝수 개의 리터럴이 거짓인’ 약하게 만족하도록 하는 다항시간 알고리즘을 제시한다. 이를 통해 방향 그래프에서 주어진 다이컷 크기를 보장받는 경우 무방향 컷을 찾는 문제와, 다이컷을 보장받는 경우 비순환 서브그래프를 찾는 문제를 효율적으로 해결한다. 핵심은 LP 기반의 반정수 해(−1,0,1)와 무작위 라운딩·조건부 기대값 기법을 이용한 절반 적분(half‑integrality)이다.

상세 분석

본 연구는 “Max‑And‑Even”이라는 새로운 최적화 문제를 정의한다. 입력은 리터럴들의 다중집합(절)이며, 어떤 할당이 ρ개의 절을 강하게 만족(strongly satisfied)한다는 약속이 주어진다. 목표는 동일하게 ρ개의 절을 짝수 개의 리터럴이 거짓인 약하게 만족(weakly satisfied)하도록 하는 할당을 찾는 것이다. 강한 만족은 모든 리터럴이 true(값 +1)이어야 함을 의미하고, 약한 만족은 해당 절에 포함된 거짓 리터럴의 개수가 짝수인 경우를 말한다.

논문은 먼저 이 문제를 수학적으로 1/2 + 1/2·min_{j} s_{ij}·c(x_{ij}) 형태의 목표식으로 표현한다. 여기서 s_{ij}∈{±1}는 리터럴의 부호, c(x)∈{±1}는 변수 할당이다. 이 식을 연속적인 구간