[논문 리뷰] The Complexity of Hamiltonian Cycle Problem in Digraps with Degree Bound Two is Polynomial Time

Guohun Zhu|arXiv (Cornell University)|2007. 04. 03.

Graph theory and applications참고 문헌 2인용 수 2

한 줄 요약

이 논문은 최대 차수 2인 방향 그래프에서 해밀토니안 사이클 문제(HCP)가 다항시간 내에 해결 가능하다는 것을 증명한다. 이는 해밀토니안 사이클의 인cidience 행렬과 균형 잡힌 이분 그래프 간의 일대일 대응을 통해 이루어지며, 이는 완벽한 매칭에서 해밀토니안 사이클로의 역매핑을 포함한다. 또한 이러한 그래프에서 비동형인 두 번째 해밀토니안 사이클을 찾는 것도 다항시간 내에 가능하다는 것을 보이며, 이러한 결과를 바탕으로 P = BPP = NP를 도출한다.

ABSTRACT

Abstract. The complexity Hamiltonian cycle problem (HCP) in digraph D with degree bound two is solved by two mappings. The first bijection is between of a incidence matrix of Cnm of a simple digraph to a matrix F of a balanced bipartite undirected graph G; The second mapping is reverse from a perfect matching of G to a cycle of D. It proves that the complexity of HCP in D is polynomial. and finding a second nonisomorphism Hamiltonian cycle from a given Hamiltonian digraph with degree bound two is also polynomial. Lastly it deduce P = BPP = NP base on the results. 1

연구 동기 및 목표

• 최대 차수 2인 방향 그래프에서 해밀토니안 사이클 문제(HCP)의 계산 복잡도를 규명하는 것.
• 구조적 매핑을 사용하여 이러한 방향 그래프에서 HCP를 다항시간 내에 해결할 수 있는 알고리즘을 수립하는 것.
• 차수 제한이 있는 방향 그래프에서 비동형인 두 번째 해밀토니안 사이클을 효율적으로 찾을 수 있는지 증명하는 것.
• 이러한 결과가 복잡도 클래스의 동등성, 특히 P = BPP = NP에 미치는 광범위한 영향을 탐색하는 것.

제안 방법

• 간단한 방향 사이클의 인cidience 행렬과 균형 잡힌 이분 그래프의 행렬 표현 간의 일대일 대응을 설정하는 것.
• 방향 그래프의 인cidience 구조를 균형 잡힌 이분 그래프로 매핑하여 사이클 성질을 유지하는 것.
• 이분 그래프에서의 완벽한 매칭과 원래 방향 그래프에서의 해밀토니안 사이클 간의 대응 관계를 활용하는 것.
• 이분 그래프에서의 완벽한 매칭을 다시 원래 그래프의 사이클로 역매핑하여 해밀토니안 사이클을 재구성하는 것.
• 이분 그래프에서의 완벽한 매칭이 다항시간 내에 해결 가능하므로, 이는 차수 제한이 있는 방향 그래프에서 HCP의 다항시간 해법을 유도하는 것.
• 제약 조건 하에 HCP의 다항시간 해법을 바탕으로 P = BPP = NP의 등식을 도출하는 것.

실험 결과

연구 질문

• RQ1 최대 차수 2인 방향 그래프에서 해밀토니안 사이클 문제는 다항시간 내에 해결 가능한가?
• RQ2 기존에 알려진 해밀토니안 사이클이 있을 때, 차수 제한이 있는 방향 그래프에서 비동형인 두 번째 해밀토니안 사이클을 효율적으로 찾을 수 있는가?
• RQ3 방향 그래프의 인cidience 행렬과 이분 그래프에서의 완벽한 매칭 간의 구조적 관계는 무엇인가?
• RQ4 차수 제한이 있는 방향 그래프에서 HCP의 다항시간 해법이 더 넓은 복잡도 클래스의 동등성을 의미하는가?
• RQ5 방향 그래프의 사이클과 이분 그래프의 매칭 간의 일대일 대응을 활용하여 기본적인 복잡도 클래스 문제를 해결할 수 있는가?

주요 결과

• 최대 차수 2인 방향 그래프에서 해밀토니안 사이클 문제는 인cidience 행렬과 균형 잡힌 이분 그래프 간의 구성적 일대일 대응을 통해 다항시간 내에 해결 가능하다.
• 유도된 이분 그래프에서의 완벽한 매칭은 원래 방향 그래프의 해밀토니안 사이클과 정확히 일치하며, 이는 효율적인 사이클 재구성 가능성을 보장한다.
• 차수 제한이 있는 방향 그래프에서 비동형인 두 번째 해밀토니안 사이클을 찾는 것도 다항시간 내에 해결 가능하다.
• 이 클래스에서 HCP의 다항시간 알고리즘이 존재한다는 것은 P = BPP = NP를 의미한다.
• 구조적 매핑은 방향 그래프에서의 사이클 탐지 문제와 이분 그래프에서의 매칭 문제 간의 새로운 연결 고리를 제공한다.