[논문 리뷰] Equivalence and Isomorphism for Boolean Constraint Satisfaction

E. Boehler, Edith Hemaspaandra외 2명|ArXiv.org|2002. 02. 25.

Constraint Satisfaction and Optimization참고 문헌 12인용 수 16

한 줄 요약

이 논문은 부울 제약 만족 문제에서의 동치성 및 동형 문제에 대한 이분법 정리( dichotomy theorem)를 수립한다. 임의의 유한한 부울 함수 집합 𝒞에 대해, 두 제약 만족 인스턴스가 동치인지 판별하는 것은 𝒞가 Schaefer일 경우 다항식 시간 내에 해결 가능하거나, 그렇지 않은 경우 coNP-완전하다. 이를 구분하는 단순한 기준이 존재한다. 동형 문제의 경우, 동치성 문제가 coNP-완전한 경우 coNP-난해하며, 그렇지 않은 경우 그래프 동형 문제로 다항식 시간 다对다형도환(reducible)이다.

ABSTRACT

A Boolean constraint satisfaction instance is a conjunction of constraint applications, where the allowed constraints are drawn from a fixed set B of Boolean functions. We consider the problem of determining whether two given constraint satisfaction instances are equivalent and prove a Dichotomy Theorem by showing that for all sets C of allowed constraints, this problem is either polynomial-time solvable or coNP-complete, and we give a simple criterion to determine which case holds. A more general problem addressed in this paper is the isomorphism problem, the problem of determining whether there exists a renaming of the variables that makes two given constraint satisfaction instances equivalent in the above sense. We prove that this problem is coNP-hard if the corresponding equivalence problem is coNP-hard, and polynomial-time many-one reducible to the graph isomorphism problem in all other cases.

연구 동기 및 목표

• 두 부울 제약 만족 인스턴스가 동치인지 판별하는 문제의 계산 복잡도를 분류하는 것.
• 부울 제약 만족 인스턴스의 동형 문제를 분석하고, 특히 그래프 동형 문제와의 관계를 규명하는 것.
• Schaefer의 이분법 정리를 제약 만족 문제의 동치성 및 동형 문제로 확장하는 것.
• 제약 언어 𝒞의 성질에 기반하여 동치성 복잡도의 완전하고 구성적인 분류를 제공하는 것.
• 제약 시스템에서의 동치성 문제와 최소화 문제 간의 관계를 설정하는 것.

제안 방법

• 고정된 유한한 부울 함수 집합 𝒞에 대해, 두 제약 적용 집합이 논리적으로 동치인지 여부를 판별하는 문제 EQUIV(𝒞)를 정의한다.
• 진리표 쿼리로 동치성 문제를 함의성 검사로 감소시켜 EQUIV(𝒞)가 coNP에 속해 있음을 증명한다.
• 다항식 시간으로 해결 가능한 제약 언어의 분류인 Schaefer의 분류(홀른, 반-홀른, 아핀, 이진)를 타당성 기준으로 사용한다.
• 𝒞가 Schaefer일 경우(즉, 특정 닫힘 성질을 만족할 경우), EQUIV(𝒞)가 다항식 시간 내에 해결 가능하다는 것을 보이며, 이를 이미 다항식 시간 내에 해결 가능한 CSPc(𝒞)로 감소시킨다.
• 비-Schaefer 𝒞에 대해 비만족성 문제로부터의 감소를 통해 coNP-난해성을 증명한다. 비만족성은 상수 0과의 동치성과 동치이므로 이를 활용한다.
• 동형 문제를 분석하기 위해, EQUIV(𝒞)가 coNP-난해한 경우 동형 문제가 coNP-난해함을 보이며, 그렇지 않은 경우 그래프 동형 문제로 다항식 시간 다대다형도환(reducible)임을 보인다.

실험 결과

연구 질문

• RQ1 부울 함수의 유한 집합 𝒞에 대해, 제약 만족 인스턴스의 동치성 문제가 다항식 시간 내에 해결 가능한가?
• RQ2 부울 제약 만족 인스턴스의 동형 문제의 계산 복잡도는 무엇이며, 그래프 동형 문제와 어떤 관계가 있는가?
• RQ3 만족성 문제의 Schaefer 정리와 유사한 이분법 정리를 동치성 문제에 적용할 수 있는가?
• RQ4 제약 조건에 상수가 포함될 경우, 동치성 및 동형 문제의 복잡도는 어떻게 영향을 받는가?
• RQ5 제약 시스템에서의 동치성 문제와 최소화 문제 간의 관계는 무엇인가?

주요 결과

• EQUIV(𝒞)는 𝒞가 Schaefer일 때에만 다항식 시간 내에 해결 가능하다(즉, 홀른, 반-홀른, 아핀, 또는 이진 닫힘 성질을 만족할 경우).
• 𝒞가 Schaefer가 아닐 경우, EQUIV(𝒞)는 비만족성 문제로부터의 감소를 통해 coNP-완전하다.
• 상수를 포함한 동치성 문제 EQUIVc(𝒞)는 𝒞가 Schaefer일 경우 다항식 시간 내에 해결 가능하고, 그렇지 않은 경우 coNP-완전하다.
• EQUIV(𝒞)가 coNP-완전한 경우, 부울 제약 만족 인스턴스의 동형 문제도 coNP-난해하다.
• 모든 나머지 경우(즉, EQUIV(𝒞)가 다항식 시간 내에 해결 가능한 경우), 동형 문제는 그래프 동형 문제로 다항식 시간 다대다형도환(reducible)이다.
• 이 논문은 𝒞의 닫힘 성질에 기반하여 EQUIV(𝒞)의 다항식 시간 해결 가능성 또는 난이도를 판단할 수 있는 단순하고 결정 가능한 기준을 제공한다.