[논문 리뷰] On planar variants of the monotone satisfiability problem with bounded variable appearances

Andreas Darmann, Janosch Döcker외 1명|arXiv (Cornell University)|2016. 04. 19.

Computational Geometry and Mesh Generation참고 문헌 2인용 수 3

한 줄 요약

이 논문은 각 변수가 정확히 3, 4, 또는 5번 나타나는 경우를 포함하여 변수 출현 횟수에 제한이 있는 평면적 단조성 만족 가능성 문제의 여러 변종에 대해 NP-완전성을 입증한다. 또한 클라우즈는 크기가 3으로 제한된다. 저자들은 평면적이고 수직적인 그래프 도식화와 국소적 기구 교체를 사용하여 평면성과 변수의 차수 제약을 유지하며, 계산 복잡도 이론에서 NP-난이도 증명을 위한 효율적인 감소를 가능하게 한다.

ABSTRACT

We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by at most four. Hence, a planar and orthogonal drawing for these graphs can be computed efficiently, which may turn out to be useful in reductions using these variants as a starting point for proving some decision problem to be NP-hard.

연구 동기 및 목표

• 변수 출현 횟수에 제한이 있는 평면적 단조성 만족 가능성 변종에 대해 NP-완전성을 입증하기.
• 관련 이분 그래프가 유한한 정점 차수(≤4)를 가지며 평면성을 유지하도록 보장하기.
• NP-난이도 증명을 위한 효율적인 감소를 위해 평면적이고 수직적인 그래프 도식화를 개발하기.
• 각 변수가 정확히 s번 나타나는 경우에 대해, s ≥ 4일 때 단조성 3-SAT이 여전히 NP-난이도를 유지하는지 탐색하기.
• 감소 과정 중에 평면성과 변수 차수 제약 조건을 유지하는 국소적 기구 교체 기법을 구축하기.

제안 방법

• Planar 3-SAT의 Lichtenstein 변형에서 감소를 통해 Planar Monotone (2,3)-Sat-3의 NP-난이도를 증명하기.
• 혼합 클라우즈를 단조성 클라우즈로 변환하면서 평면성과 변수 출현 횟수 제약을 유지하기 위해 Gold의 규칙을 적용하기.
• 평면 그래프 내의 변수 정점에 대해 국소적 기구 교체를 사용하여 변수 출현 횟수를 조정하면서 평면성을 유지하기.
• 기존의 선형 시간 알고리즘을 사용하여 결과 그래프의 수직 도식화를 구축하기.
• 각 클라우즈에 정확히 세 개의 리터럴이 포함되도록 리터럴을 복제하여 각 변수가 정확히 s번 나타나도록 하기.
• 차수 3과 차수 4인 변수 기구를 설계하여 이분기형 및 평면 그래프의 구조를 유지하기.

실험 결과

연구 질문

• RQ1 각 변수가 최대 네 번 나타나는 경우 Planar Monotone 3-Sat-4는 NP-완전한가?
• RQ2 각 변수가 정확히 3, 4, 또는 5번 나타나는 경우에 대해, 평면적 인스턴스에서 단조성 만족 가능성 문제가 여전히 NP-완전한가?
• RQ3 Planar Monotone 3-Sat-s가 NP-완전해지는 최소의 s ≥ 4가 존재하는가?
• RQ4 변수 출현 횟수에 제한이 있는 단조성 만족 가능성 인스턴스에 대해 평면적이고 수직적인 그래프 도식화를 효율적으로 계산할 수 있는가?
• RQ5 국소적 기구 교체가 감소 과정 중에 평면성과 변수 차수 제약 조건을 유지할 수 있는가?

주요 결과

• 각 변수가 최대 세 번 나타나는 경우에도 Planar Monotone (2,3)-Sat-3는 NP-완전하다.
• 각 변수가 정확히 세 번 나타나는 경우 Planar Monotone (2,3)-Sat-E3는 NP-완전하다.
• 각 변수가 정확히 다섯 번 나타나며 그래프가 이분기형인 경우 Planar Monotone 3-Sat*-E5는 NP-완전하다.
• 각 변수가 정확히 네 번 나타나고 각 클라우즈에 정확히 세 개의 서로 다른 리터럴이 포함되는 변종은 NP-완전하다.
• 모든 구축된 인스턴스는 최대 차수 4인 이분 그래프를 가지며, 이는 효율적인 평면적 및 수직 그래프 도식화를 가능하게 한다.
• 감소 프레임워크는 제어된 변수 출현 횟수와 평면적 구조를 가진 동치 만족 가능성 인스턴스를 효율적으로 구성하는 데 지원한다.