[논문 리뷰] The Partition Spanning Forest Problem

Philipp Kindermann, Boris Klemz외 3명|arXiv (Cornell University)|2018. 09. 07.

Computational Geometry and Mesh Generation참고 문헌 5인용 수 4

한 줄 요약

이 논문은 각 트리가 정확히 한 색상 클래스의 점을 포함하도록 교차 없는 스패닝 포레스트를 그릴 목적으로 하는 파티션 스패닝 포레스트 문제의 계산 복잡도를 조사한다. 각 색상 클래스에 최대 5개의 점이 있을 경우 문제는 NP-완전임을 증명하지만, 각 클래스에 최대 3개의 점이 있을 경우 O(n²) 시간 내에 해결 가능하다. 또한 각 클래스에 최대 4개의 점이 있을 경우 선형 포레스트 변형(각 구성요소가 경로여야 함)에 대해서도 NP-완전임을 보여준다.

ABSTRACT

Given a set of colored points in the plane, we ask if there exists a crossing-free straight-line drawing of a spanning forest, such that every tree in the forest contains exactly the points of one color class. We show that the problem is NP-complete, even if every color class contains at most five points, but it is solvable in $O(n^2)$ time when each color class contains at most three points. If we require that the spanning forest is a linear forest, then the problem becomes NP-complete even if every color class contains at most four points.

연구 동기 및 목표

• 색상 클래스 크기가 유계일 경우 파티션 스패닝 포레스트 문제의 계산 복잡도를 규명하기.
• 각 색상 클래스에 최대 3개 또는 4개의 점이 포함될 경우 문제의 다항시간 해법 여부를 조사하기.
• 스패닝 포레스트가 선형 포레스트(즉, 각 구성요소가 경로여야 함)여야 하는 변형의 복잡도를 분석하기.
• 특정 매개변수화된 경우에 대해 NP-완전성을 증명함으로써 날카로운 복잡도 경계를 설정하기.
• 각 색상 클래스에 최대 3개의 점이 있을 경우 2-SAT 공식화를 사용한 다항시간 알고리즘 제공하기.

제안 방법

• 각 색상 클래스에 최대 3개의 점이 있을 경우 문제를 2-SAT 인스턴스로 공식화하여 연결성 및 교차 방지 조건을 인코딩하기.
• 기하적 제약 조건과 볼록 hull 교차를 활용해 변수 및 선로 기반 가드젯에서 변수 진리값 할당을 강제하기.
• 평면 3-SAT로의 감소를 위해 특수 설계된 가드젯—변수 가드젯, 선로 가드젯, 분할 가드젯, 역변환 가드젯, OR-가드젯—구축하기.
• 논리적 만족 조건을 기하 도형 환경에서 시뮬레이션하기 위해 절차 및 OR-가드젯 설계하기.
• 유효한 기하 도형 그림이 존재할 조건과 원래 평면 3-SAT 공식이 만족 가능할 조건이 정확히 일치함을 증명함으로써 감소의 정당성 입증하기.
• 평면 임베딩과 기하 실현 가능성을 활용해 모든 제약 조건(교차 방지, 연결성)이 구축 과정에서 유지됨을 보장하기.

실험 결과

연구 질문

• RQ1 각 색상 클래스에 최대 3개의 점이 있을 경우 파티션 스패닝 포레스트 문제는 다항시간 내로 해결 가능한가?
• RQ2 각 색상 클래스에 최대 4개 또는 5개의 점이 있을 경우 문제의 복잡도는 어떻게 되는가?
• RQ3 선형 포레스트 변형(각 트리가 경로여야 함)에 대해서도 문제는 NP-완전한가, 즉 각 색상 클래스에 최대 4개의 점이 있을 경우에도 마찬가지인가?
• RQ4 비교적 교차 방지 및 연결성 제약 조건을 유지하면서 기하 가드젯을 통해 문제를 평면 3-SAT로 감소시킬 수 있는가?
• RQ5 각 색상 클래스에 정확히 4개의 점이 있을 경우 문제의 복잡도 상태는 어떻게 되는가?

주요 결과

• 각 색상 클래스에 최대 3개의 점이 있을 경우 2-SAT 공식화를 통해 파티션 스패닝 포레스트 문제는 O(n²) 시간 내에 해결 가능하다.
• 각 색상 클래스에 최대 5개의 점이 있을 경우, 일반적인 점의 위치 조건에서도 문제는 NP-완전하다.
• 각 트리가 경로여야 하는 선형 포레스트 변형은 각 색상 클래스에 최대 4개의 점이 있을 경우에도 여전히 NP-완전하다.
• 각 색상 클래스에 정확히 4개의 점이 있을 경우 비선형 경우의 문제 복잡도는 여전히 미해결 상태이다.
• 특수 기하 가드젯을 사용한 평면 3-SAT에서 기하 문제로의 다항시간 감소를 통해 NP-완전성을 입증하였다.
• 구축 과정은 유효한 교차 없는 도형 그림이 존재할 조건과 원래 평면 3-SAT 공식이 만족 가능할 조건이 정확히 일치함을 보장한다.