刘彦佩.平面图的理论与四色问题(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阅读器 |