四色问题( Four color problem 1936-50Hech,最终解决问题的两个要 素:1000C个情形,100年 约化 (reducibility 放电( ischarging) 1972-76, Appel, Haken,1482个情形, BM360,1200小时,论文139页+400页程 F, conjecture<agnograms <theorem 《集合论与图论》第23讲
《集合论与图论》第23讲 6 四色问题(Four Color Problem) 1936-50,Heesch,最终解决问题的两个要 素: 10000个情形,100年 约化(reducibility), 放电(discharging). 1972-76, Appel, Haken, 1482个情形, IBM360, 1200小时, 论文139页+400页程 序, conjecture<agnograms<theorem
四色问题( Four color problem 猜想( conjecture)< sagnograms<定理 ( theorem 另外一个证明? 《集合论与图论》第23讲
《集合论与图论》第23讲 7 四色问题(Four Color Problem) 猜想(conjecture)<agnograms<定理 (theorem) 另外一个证明?
四色问题( Four color problem 《集合论与图论》第23讲
《集合论与图论》第23讲 8 四色问题(Four Color Problem)
平面图 可平面图( planar graph)可以画在平面上, 使得边与边不在非顶点处相交的图 平面嵌入( imbedding):画在平面上使得边 与边不在非顶点处相交 平面图( plane graph在平面上边与边不 在非顶点处相交的图 《集合论与图论》第23讲
《集合论与图论》第23讲 9 平面图 可平面图(planar graph): 可以画在平面上, 使得边与边不在非顶点处相交的图 平面嵌入(imbedding): 画在平面上使得边 与边不在非顶点处相交 平面图(plane graph): 在平面上边与边不 在非顶点处相交的图
球面嵌入,曲面嵌入 婚球面嵌入:画在球面上使得边与边不在非 顶点处相交 曲面嵌入:画在曲面上使得边与边不在非 顶点处相交,如环面嵌入 定理111可平面嵌入兮可球面嵌 证明:连续球极投影.# 《集合论与图论》第23讲
《集合论与图论》第23讲 10 球面嵌入, 曲面嵌入 球面嵌入: 画在球面上使得边与边不在非 顶点处相交 曲面嵌入: 画在曲面上使得边与边不在非 顶点处相交, 如环面嵌入 定理11.1: 可平面嵌入⇔可球面嵌入 证明: 连续球极投影. #