무한 제약 언어의 CSP 파라미터화 복잡도

초록

이 논문은 무한 불리언 제약 언어에 대해 가중치(k), 제약 수(u), 변수 등장 횟수(t, e) 등 네 가지 파라미터를 고려한 CSP의 파라미터화 복잡도를 체계적으로 조사한다. 주요 결과는 (i) 대부분의 경우 파라미터화된 CSP가 FPT임을 보이는 일반 정리, (ii) 특정 언어군(W_E, W_odd, W_even 등)에서는 추가 파라미터(u 혹은 t)를 도입하면 W

상세 분석

논문은 먼저 무한 제약 언어를 “fpt‑멤버십 체크 가능”이라고 정의한다. 이는 관계 인덱스와 튜플을 입력받아 튜플이 관계에 속하는지를 가중치(1의 개수)를 파라미터로 하는 fpt‑알고리즘으로 판단할 수 있음을 의미한다. 이 가정 하에 저자는 두 개의 메인 결과군을 전개한다. 첫 번째는 추가 파라미터(u: 제약 수, t: 변수의 전체 등장 횟수, e: 한 제약 내 최대 등장 횟수)를 도입했을 때, 무한 언어 W_E에 대한 CSP가 FPT임을 보이는 일반 정리이다. 핵심 아이디어는 제약 언어가 단항(unary) 관계만을 포함하도록 구조를 변환하고, 이를 첫 번째 차수 제한이 있는 FO 모델 체킹 문제로 귀착시켜 기존의 FPT 결과(Theorem 3.1) 를 활용하는 것이다. 특히 E 혹은 그 여집합이 유한하면 u 파라미터만으로도 FPT가 되며, e 파라미터가 없을 경우에도 t 파라미터만으로 충분히 문제를 해결할 수 있음을 증명한다.

두 번째 결과군은 W