[논문 리뷰] NP-completeness of Partial Chirotope Extendibility

Patrick Baier|ArXiv.org|2005. 04. 21.

graph theory and CDMA systems참고 문헌 2인용 수 3

한 줄 요약

이 논문은 도널드 커니의 부분 CC-시스템의 확장을 증명한 NP-완전성 증명을 활용하여, 부분적으로 정의된 치로토프를 전체 치로토프로 확장하는 문제의 NP-완전성을 입증한다. 문제는 방향 그래프를 비바람이 없는 토너먼트로 확장하는 것으로 귀결되며, 이는 3SAT 축약을 통해 이미 알려진 NP-완전 문제이므로, 치로토프 확장 가능성 역시 NP-완전임을 증명한다.

ABSTRACT

In the monograph "Axioms and Hulls" (1992) Donald Knuth studies some axiomatizations of geometric situations. The structures described by one of the axiom systems are called CC-systems. Knuth proves that it is NP-complete to decide, whether a partially defined CC-system can be extended to a complete CC-system. The aim of this note is to show that Knuth's proof of this result also implies that it is NP-complete to decide the extendability of partially defined chirotopes.

연구 동기 및 목표

• 쿠니의 CC-시스템 확장 가능성과 치로토프 확장 가능성 간의 관계를 명확히 하기 위해.
• 부분 치로토프를 완전한 치로토프로 확장하는 것이 NP-완전임을 입증하기 위해.
• CC-시스템 확장 가능성의 NP-완전성이 치로토프의 경우에도 그대로 적용됨을 보여주기 위해.
• 주어진 공리 하에서 균일한 치로토프와 사전-CC-시스템 간의 등가성을 형식화하기 위해.
• 3SAT에서 비바람이 없는 토너먼트로의 명확한 축약 경로를 제공하기 위해.

제안 방법

• 3SAT 문제를 비바람이 없는 토너먼트로의 방향 그래프 확장 문제로 축약하기 위해.
• 쿠니의 CC-시스템 공리, 특히 공리 1–3 및 5/5’(내부성과 전이성)를 활용하여 사전-CC-시스템을 정의하기 위해.
• 고정된 점 t에 대해 p→q일 때 tpq를 만족하는 규칙을 사용하여 부분 삼중집합에서 토너먼트를 구성하기 위해.
• 사전-CC-시스템이 존재하는 것은 그에 상응하는 토너먼트가 비바람이 없을 때이고, 그 반대도 성립함을 증명하기 위해.
• 그라스만-플루커 관계식이 토너먼트에서 금지된 부분그래프(비바람)의 부재와 논리적으로 동치임을 보여주기 위해.
• 쿠니의 비바람이 없는 토너먼트 확장에 대한 NP-완전성 결과를 적용하여 치로토프 확장의 NP-완전성을 도출하기 위해.

실험 결과

연구 질문

• RQ1 부분적으로 정의된 치로토프를 완전한 치로토프로 확장하는 문제는 계산적으로 어려운가?
• RQ2 쿠니의 CC-시스템 확장 가능성에 대한 NP-완전성 결과가 치로토프의 경우에도 동일한 복잡도를 유도하는가?
• RQ3 부분 치로토프의 확장 가능성은 방향 그래프를 비바람이 없는 토너먼트로 확장하는 문제로 환원될 수 있는가?
• RQ4 치로토프에서 유도된 토너먼트에서 그라스만-플루커 관계식은 비바람 없음 조건과 논리적으로 동치인가?
• RQ5 삼중집합에 대한 부분 함수가 치로토프로 확장될 수 있는지 결정하는 문제의 계산 복잡도는 무엇인가?

주요 결과

• 부분 치로토프를 완전한 치로토프로 확장하는 것은 NP-완전이다.
• 이 NP-완전성은 쿠니의 부분 CC-시스템 확장에 대한 NP-완전성 증명에서 직접 유도된다.
• 부분 CC-시스템은 그에 상응하는 토너먼트가 비바람이 없을 때에만 완전한 CC-시스템으로 확장될 수 있다.
• 그라스만-플루커 관계식과 금지된 부분그래프의 부재를 통해 균일한 치로토프와 사전-CC-시스템 간의 등가성이 확립된다.
• 3SAT에서 비바람이 없는 토너먼트 확장으로의 축약은 치로토프 확장의 NP-완전성을 암시한다.
• 공통된 점을 가진 삼중집합에 대해 정의된 부분 함수로 제한하더라도 문제의 NP-완전성은 유지된다.