posts - 17, comments - 4, trackbacks - 0, articles - 0
  BlogJava :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理

我的评论

re: 猜测黎鸣老先生的四色定理证明过程 愚人 2006-12-11 10:12  
公理是对的, 即任意平面图所含最大完全子图不超过K(4). 但从该公理上并不能得出四色结论.