[논문 리뷰] Packing identical simple polygons is NP-hard

Sarah R. Allen, John Iacono|arXiv (Cornell University)|2012. 09. 24.

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

한 줄 요약

이 논문은 이동과 회전을 허용하는 동일한 작은 단순 다각형 *k*개를 더 큰 단순 다각형에 넣는 문제의 NP-난이도를 증명한다. 저자들은 평면 회로 SAT에서의 새로운 감소를 제시하여, 전체 회로를 큰 다각형이 아닌 작은 다각형의 형태에 인코딩함으로써, 두 입력 도형이 모두 단순 다각형인 경우에 대해 이 문제의 NP-난이도를 처음으로 입증한다.

ABSTRACT

Given a small polygon S, a big simple polygon B and a positive integer k, it is shown to be NP-hard to determine whether k copies of the small polygon (allowing translation and rotation) can be placed in the big polygon without overlap. Previous NP-hardness results were only known in the case where the big polygon is allowed to be non-simple. A novel reduction from Planar-Circuit-SAT is presented where a small polygon is constructed to encode the entire circuit.

연구 동기 및 목표

• 이전에 P에 속하는지, NP-난이도인지 알려져 있지 않았던 단순 다각형 포장 문제의 계산 복잡도를 규명하는 것.
• 두 다각형 모두 단순(구멍이 없는)인 경우에 NP-난이도를 입증함으로써, 계산 기하학 분야의 핵심 격차를 메우는 것.
• 전체 회로를 큰 다각형의 구조가 아닌 작은 다각형의 기하학적 형태에 인코딩하는 새로운 감소 기법을 개발하는 것.
• 비단순 다각형이나 정사각형과 같은 특정 형태를 초월하여, 다각형 포장의 난이도에 대한 이해를 넓히는 것.

제안 방법

• 평면 격자 SAT(Planar-Grid-SAT)라는 평면 회로 SAT의 변종에서 출발하여 다각형 포장 문제의 어려운 인스턴스를 구성하는 감소 기법.
• 논리 상태와 회로 요소(배선, 인버터, AND 게이트)를 표현하기 위해 돌출부, 포함부, 마이크로노치를 갖춘 복잡한 비凸 다각형을 설계.
• 돌출부와 포함부에 의한 기하 제약 조건으로 유일한 고정된 포장 구성이 가능하게 하여 회로의 진리 할당을 시뮬레이션.
• 이격된 다각형 배치에서 변수의 진리 값(참/거짓)을 나타내기 위해 이동된 포함부와 나일러를 도입하여 '상태'를 정의.
• 열의 기수성과 회로 요소 유형(배선, 인버터, AND 게이트)에 따라 마이크로노치의 위치를 프로그래밍하여 논리 일관성을 보장.
• 큰 다각형은 회로 논리에 의존하지 않으며, 오직 크기와 외곽선 형태만으로 작은 다각형의 위치 제약을 부여한다.

실험 결과

연구 질문

• RQ1 동일한 단순 다각형 *k*개를 단순 다각형에 넣는 문제는 NP-난이도인가?
• RQ2 회로 논리가 큰 다각형이 아닌 작은 다각형에 인코딩된 방식으로 평면 회로 SAT에서 감소를 구성할 수 있는가?
• RQ3 어떤 기하적 특징이 유일하거나 제약된 포장을 강제하여 논리 변수와 게이트를 시뮬레이션할 수 있는가?
• RQ4 비凸이고 크기가 변하는 작은 다각형을 사용하여 다각형 포장 프레임워크에서 임의의 회로 논리를 시뮬레이션할 수 있는가?
• RQ5 이 구성은 다른 다각형 포장 변종, 특히 볼록 다각형이나 일정한 복잡도를 갖는 다각형의 경우에 복잡도에 어떤 영향을 미치는가?

주요 결과

• 동일한 단순 다각형 *k*개를 단순 다각형에 넣는 문제의 NP-난이도가 증명되었다.
• 감소 과정은 배선, 인버터, AND 게이트를 포함한 전체 평면 격자 SAT 회로를 작은 다각형의 형태에 인코딩한 작은 다각형을 구성한다.
• 포장은 변수의 진리 할당을 제외하고는 유일하며, 마이크로노치와 포함부와 같은 기하 제약 조건이 논리 일관성을 강제한다.
• 큰 다각형은 회로의 구조에 의존하지 않으며, 오직 크기와 경계 형태만으로 작은 다각형의 위치 제약을 부여한다.
• 다각형의 크기가 다항식 크기인 비凸 다각형을 사용하여, 향후 복잡도 분석에 새로운 과제를 도입한다.
• 이 결과는 두 입력 다각형이 모두 단순인 경우에 대해 NP-난이도를 입증함으로써 오랫동안 남아있던 열린 문제를 해결한다.