• 한국인터넷방송통신학회논문지
• /
• 제15권1호
• /
• pp.269-276
• /
• 2015

본 논문은 지금까지 미해결 문제로 알려진 정점 색칠 문제에 대한 Erd$\ddot{o}$s-Faber-Lov$\acute{a}$sz 추측을 증명하였다. Erd$\ddot{o}$s-Faber-Lov$\acute{a}$sz 추측은 "k개의 $K_k$-클릭 합 교차 그래프는 k개의 색으로 칠할 수 있다". 즉, x(G)=k이다". Erd$\ddot{o}$s-Faber-Lov$\acute{a}$sz 추측을 증명하기 위해 본 논문은 교차되는 정점수와 한 정점에서 교차되는 클릭수를 구하여 모두 짝수이면 그래프의 최소 차수 ${\delta}(G)$ 정점을 최대독립집합 (minimum Independent set, MIS)에 포함시키는 방법을 적용하고, 둘 중 어느 하나가 홀수이면 최대 차수 ${\Delta}(G)$ 정점을 MIS에 포함시키는 방법을 적용하였다. 알고리즘 수행결과 얻은 MIS 개수가 x(G)=k이다. $3{\leq}k{\leq}8$인 $K_k$-클릭 합 교차 그래프에 대해 실험한 결과 모든 그래프에서 x(G)=k를 얻는데 성공하였다. 결국, "k개의 $K_k$-클릭 합 교차 그래프는 k개의 색으로 칠할 수 있다".는 Erd$\ddot{o}$s-Faber-Lov$\acute{a}$sz 추측은 성립함을 증명하였다.