【作者单位】Faculty of Computer Engineering,Huaiyin Institute of Technology,Jiangsu, China;Department of computer,Taiyuan Normal University,Taiyuan, China
【召开年】2010
【会议地点】成都
【会议录】计算机与通信技术在农业工程国际会议 CCTAE 2010论文集
【关键词】Planar graph Dual of graph K-chromaitc
【摘要】 The four-colors problem was formally brought up more than one hundred years ago. K. Apel and W. Haken of Illinois University had proved the question with computer. This proof made widely controversy, however the problem of \'non-computer\' proof is s...