Earticle

초록

영어

In this paper, I disprove Hadwiger conjecture of the vertex coloring problem, which asserts that “All Kk-minor free graphs can be colored with k-1 number of colors, i.e., X(G) = k given Kk-minor.” Pursuant to Hadwiger conjecture, one shall obtain an NP-complete k-minor to determine X(G) = k, and solve another NP-complete vertex coloring problem as a means to color vertices. In order to disprove Hadwiger conjecture in this paper, I propose an algorithm of linear time complexity O(V) that yields the exact solution to the vertex coloring problem. The proposed algorithm assigns vertex with the minimum degree to the Maximum Independent Set (MIS) and repeats this process on a simplified graph derived by deleting adjacent edges to the MIS vertex so as to finally obtain an MIS with a single color. Next, it repeats the process on a simplified graph derived by deleting edges of the MIS vertex to obtain an MIS whose number of vertex color corresponds to X(G) = k. Also presented in this paper using the proposed algorithm is an additional algorithm that searches solution of X″(G), the total chromatic number, which also remains NP-complete. When applied to a NP-minor graph, the proposed algorithm has obtained X(G) = 3 instead of X(G) = 4, proving that the Hadwiger conjecture is not universally applicable to all the graphs. The proposed algorithm, however, is a simple algorithm that directly obtains an independent set minor of X(G) = k to assign an equal color to the vertices of each independent set without having to determine minors in the first place.

한국어

본 논문은 지금까지 미해결 문제로 알려진 정점 색칠 문제에 대한 Hadwiger 추측의 반증을 제시하였다. Hadwiger 추측은 “모든 Kk -minor free 그래프는 k-1개의 색으로 칠할 수 있다. 즉, Kk -마이너를 얻으면 X(G) = k 이다.” Hadwiger 추측을 적용하여 정점 색칠을 할 경우, 먼저 NP-완전 (NP-complete)인 Kk -마이너를 구하여 X(G) = k 를 결정하고, 다시 NP-완전인 정점 색칠 문제를 풀어야 한다. Hadwiger 추측을 반증하기 위해 본 논문은 정점 색칠의 정확한 해를 O(V)의 선형시간으로 구하는 알고리즘을 제시하였다. 제안된 알고리즘은 그래프의 최소 차수를 가 진 정점을 최대독립집합 (MIS)으로 하고, MIS 정점의 인접 정점 간선을 삭제한 축소된 그래프에 대해 이 과정을 반 복하면서 하나의 색을 가진 MIS를 얻는다. 다음으로 MIS 정점의 간선을 삭제한 축소된 그래프에 대해 동일한 과정 을 수행하여 MIS의 개수가 정점 채색수 X(G) = k가 되는 해를 얻는다. 제안된 알고리즘을 적용하여 NP-완전 문 제인 완전 색칠 (total coloring) 채색수 X″(G)의 해를 구하는 알고리즘을 제안하였다. 제안된 알고리즘을 K4 -마이너 그래프 에 적용한 결과 X(G) = 4가 아닌 X(G) = 3을 얻었다. 결국, Hadwiger 추측은 모든 그래프에 대해 적용되지 않음을 알 수 있다. 제안된 알고리즘은 마이너를 구하지 않으며, 주어진 그래프에 대해 직접 X(G) = k인 독립집합 마이너 를 구하여 각 독립집합 정점들에 동일한 색을 배정하는 단순한 방법이다.

목차

요약
 Abstract
 Ⅰ. 서론
 Ⅱ. Hadwiger 추측
 Ⅲ. 독립집합 정점 색칠 알고리즘
 Ⅳ. 실험 및 결과 분석
 Ⅴ. 결론
 References

키워드

저자

• 이상운 [ Sang-Un Lee | 정회원, 강릉원주대학교 과학기술대학 멀티미디어공학과 ] Corresponding Author

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  한국인터넷방송통신학회 논문지 [The Journal of the Institute of Internet, Broadcasting and Communication]

• 간기

  격월간

• pISSN

  2289-0238

• eISSN

  2289-0246

• 수록기간

  2001~2025

• 십진분류

  KDC 326 DDC 380