Concepts de base
단순 다각형에서 단위 정사각형 포장은 NP-어려우며, 이는 단순 직교 볼록 다각형에서도 성립한다. 또한 단순 다각형에서 작은 다각형들로 덮기와 분할하기 문제 역시 NP-어려운 것으로 밝혀졌다.
Résumé
이 논문은 단순 다각형에서의 단위 정사각형 포장, 덮개, 분할 문제의 복잡성을 다룬다.
먼저 저자들은 단순 다각형에서 단위 정사각형 포장 문제가 NP-어려움을 보였다. 이를 위해 Monotone-Planar-3SAT 문제에서 출발하여, 변수와 절 사이의 관계를 나타내는 기하학적 구조를 설계하였다. 이 구조는 평면이 아니지만, 모든 꼭짓점이 외부 면에 위치하도록 하여 단순 다각형을 구성할 수 있었다.
이 기술은 단순 다각형에서 최소 덮개와 최소 분할 문제의 NP-어려움을 보이는 데에도 활용되었다. 최적의 덮개가 특정한 형태를 가지면 이를 분할로 변환할 수 있음을 보였다.
마지막으로 저자들은 단순 직교 볼록 다각형에서의 단위 정사각형 포장 문제 역시 NP-어려움을 보였다. 이를 위해 Planar-3SAT 문제를 변형한 Clover-3SAT 문제를 정의하고, 이에 대한 기하학적 구현을 제시하였다. 이 구현은 매우 복잡하며, 각 부분의 정확한 동작을 검증하는 데 많은 노력이 필요하다.
Stats
단순 다각형에서 단위 정사각형 포장 문제는 NP-어렵다.
단순 다각형에서 최소 덮개와 최소 분할 문제 역시 NP-어렵다.
단순 직교 볼록 다각형에서 단위 정사각형 포장 문제도 NP-어렵다.
Citations
"단순 다각형에서 단위 정사각형 포장 문제가 NP-어려움은 오랫동안 알려진 미해결 문제였다."
"이 논문은 단순 다각형에서 최소 덮개와 최소 분할 문제의 NP-어려움을 보인 첫 사례이다."
"단순 직교 볼록 다각형에서 단위 정사각형 포장 문제의 NP-어려움 증명은 매우 복잡하다."