刘彦佩.平面图的理论与四色问题(V)——四色问题的计算机解决途径[J].数学研究及应用,1986,6(2):175~188
平面图的理论与四色问题(V)——四色问题的计算机解决途径
Planar Graph Theory and the Four Color Problem (V)——The Channel of Proof of the Four Color Theorem Assisted by Computer
投稿时间:1984-08-20  
DOI:10.3770/j.issn:1000-341X.1986.02.045
中文关键词:  
英文关键词:
基金项目:
作者单位
刘彦佩 中国科学院应用数学研究所 
摘要点击次数: 2321
全文下载次数: 811
中文摘要:
      
英文摘要:
      This is the fifth part of the series of five papers about planar graph theory and the four color problem.It contains the following five sections . §21Reducibility; § 22 Unavoidable sets of configurations; § 23Discharging; § 24Testing reducibility by computer; § 25The probability analysis.
查看全文  查看/发表评论  下载PDF阅读器