[논문 리뷰] On the Complexity of Isomorphism Problems Related to Polytopes

Volker Kaibel, Alexander Schwartz|arXiv (Cornell University)|2001. 06. 12.

Advanced Graph Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 볼록 다면체 간의 조합적 동형성을 결정하는 것이 단순하거나 단순 다면체인 경우조차도 그래프 동형성 완비임을 입증한다. 그러나 차원이 유한한 경우 다면체 동형성 문제에 대해 다항 시간 알고리즘을 제시하며, 이는 차수 유한인 그래프에 대한 루크스 알고리즘을 활용한다.

ABSTRACT

We show that the problem to decide whether two (convex) polytopes are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the polytope isomorphism problem in bounded dimension, which is based on Luks' algorithm for the isomorphism problem of graphs of bounded maximal degree.

연구 동기 및 목표

• 볼록 다면체 간의 조합적 동형성 결정 문제의 계산 복잡도를 규명하는 것.
• 단순하거나 단순 다면체와 같은 특수 클래스에 대해 동형성 문제의 복잡도가 여전히 높은지 조사하는 것.
• 차원이 유한할 경우 다면체 동형성 문제에 대해 효율적인 알고리즘을 개발하는 것.
• 구조화된 환경에서 다면체 동형성과 그래프 동형성 간의 관계를 설정하는 것.

제안 방법

• 다면체 동형성 문제를 조합적 구조 인코딩을 통해 그래프 동형성 문제로 환원한다.
• 문제가 GI에 속하고 GI-난이도이므로 그래프 동형성 완비임을 입증한다.
• 다면체의 경우에 대해 차수 유한인 그래프에 대한 루크스 알고리즘을 적용한다.
• 차원의 유한성을 활용해 관련 그래프의 최대 차수를 제한함으로써 다항 시간 계산이 가능하게 한다.
• 다면체의 면 레이어 구조를 활용해 동형성 제약 조건을 그래프 이론적 용어로 변환한다.
• 정점 차수에 대한 차원에 의존하는 경계를 활용하여 루크스 알고리즘의 효율성을 보장한다.

실험 결과

연구 질문

• RQ1 볼록 다면체 간의 조합적 동형성 문제는 계산적으로 어렵다?
• RQ2 단순하거나 단순 다면체와 같은 특수 다면체 클래스에 대해서도 복잡도가 높은가?
• RQ3 차원이 유한한 경우 동형성 문제를 효율적으로 해결할 수 있는가?
• RQ4 구조화된 환경에서 다면체 동형성과 그래프 동형성 간의 관계는 무엇인가?
• RQ5 루크스의 차수 유한 그래프 동형성 알고리즘을 다면체 동형성에 적응시킬 수 있는가?

주요 결과

• 볼록 다면체 간의 조합적 동형성 결정 문제는 그래프 동형성 완비이다.
• 단순하거나 단순 다면체로 제한된 경우에도 복잡도 결과가 유지된다.
• 차원이 유한한 경우 다면체 동형성 문제에 대해 다항 시간 알고리즘이 존재한다.
• 알고리즘은 다면체의 구조를 최대 차수가 유한한 그래프로 인코딩하는 데 의존한다.
• 차원의 제한 덕분에 관련 그래프의 차수가 유한해지며, 이는 루크스 알고리즘의 적용을 가능하게 한다.
• 그래프 동형성으로의 환원은 정확하고 날카로우며, GI 복잡도 클래스 내에서 완비성을 입증한다.