금지 패턴으로 정의된 CSP 클래스의 트랙터빌리티

초록

이 논문은 CSP(제약 만족 문제)의 서브클래스를 구조적·관계적 제한을 동시에 적용하는 ‘혼합’ 접근법으로 확장한다. 새로운 개념인 ‘CSP 패턴’과 이를 금지함으로써 정의되는 클래스들을 제시하고, 특히 이진 부정 패턴(불가능한 튜플만 명시) 경우에 대해 트랙터블과 NP‑hard 패턴을 거의 완전하게 구분한다. 남은 한 경우는 트랙터블일 것이라고 추측한다.

상세 분석

논문은 기존의 구조적 제한(예: 트리폭 제한)과 관계적 제한(예: 폴리모르프 존재) 사이의 격차를 메우기 위해 ‘패턴’이라는 새로운 추상화를 도입한다. 패턴은 변수 집합, 도메인, 그리고 각 제약에 대해 {T, F, U} 세 값 논리를 사용한다. 여기서 U는 아직 정의되지 않은 튜플을 의미하며, 이는 패턴이 실제 CSP 인스턴스들의 집합을 포괄하도록 만든다. 금지 패턴은 해당 패턴이 어떤 인스턴스에도 포함되지 않을 때 그 인스턴스를 허용한다는 의미이며, 이는 기존의 관계적 제한을 일반화한다. 특히 이진 부정 패턴(오직 F와 U만 존재)만을 허용하는 경우를 집중적으로 분석한다. 저자는 패턴의 구조적 특징—예를 들어, 패턴 그래프가 사이클을 포함하는지, 혹은 특정 ‘브로큰 트라이앵글’ 형태를 갖는지—에 따라 문제의 복잡도가 결정된다고 보인다. 주요 결과는 다음과 같다. (1) 특정 형태의 부정 패턴(예: 완전 이분 그래프 형태의 불일치 제약)을 금지하면 문제는 다항 시간에 해결 가능하다. (2) 반대로, 패턴에 ‘핵심’ 구조—예를 들어, 두 변수 사이에 서로 상충하는 불가능 튜플이 다수 존재하고, 이를 연결하는 경로가 복잡하게 얽힌 경우—가 포함되면 NP‑hardness가 증명된다. 저자는 이러한 구분을 통해 “거의 모든” 이진 부정 패턴에 대해 트랙터블/NP‑hard 경계를 제시하고, 아직 해결되지 않은 한 종류의 패턴(특정 제한된 형태의 브로큰 트라이앵글 변형)만이 남아 있음을 밝힌다. 마지막으로, 이 한 종류가 트랙터블일 것이라는 강력한 추측을 제시하며, 이를 증명하면 혼합 제한에 대한 완전한 복잡도 이분법을 얻을 수 있다고 주장한다.