平面图四色问题的一个必要定理.pdfVIP

第 19 卷 哈尔演师施大学自然科学学报 Vo 1. 19. No‘ 32003 第 3 期 NATURAL SCIENCES JOURNAL OF HAR BlN NORMAL UNIVERSITY 平面图四色问题的…个必要足理 王礼萍 玉慧蓉 (晗靠自自带院) (附如演市鳞 32 中学〉 E摘撞在】 本文从这辑推理角成讨论丁关于四色问越的←个必要性定骂盟 关键词3 四色问题;逻樨方穆g 泛林，#.i在式 川) 1 或 3 ，即: 〈岛 .y;) = (1 .1) 时，表示同 ilf 涂上颜色 1; 。寻!有 (品 ， yJ 阳(1 ，的时，表示叫可涂上颜色 h 四色问题说的是:婆给…张地图着色，佼佼意 (xy,) = (0 ， 1) 肘，我~Vi ;:可涂上颜色 3; 两个具有公共边界的商家有着不同颜色，最多只 (xy， )=(O.的时，表示叫可涂1:颜色 4. 要阴种颜色就够了.这个问题从英国大学生格恩 ):i!:义 2 JllIii图可四辛苦色的当ÉÌ仅当 G护的 黑(Guthre) 在 1852 年提出累今已有近 150 年时 l巧，还没有叫个理想的究满解答. 1879 f: 1智瞥 点可以被分成四种颜色，且有关联的附上端点赋 予颜色不同. (Kempe) 纷出了这个捎想的第一个证明，俱到 1890 年希伍德(Hewoodl 发现嗡辩证明是错误 2 .lf商图可四着色的必要条件 的，但他指出常普的方法，!在不能证明地图着色周 ~~里设 G=V， E是 n 阶3吃肉JllIii阂， 四种颜色就够了，但可证明1î. 种颜色就够了. ]重到 1976 年 6 月 3建国阿捕尔(K • Applel 等宣布用商 若平商周 G 可因辛苦色的. gp设 aij=l ， 否则 aij=O f草→销点赋予的蓝蓝色3集合{(1 ， 1) ， C1 ， O) ， (O ， I) ， 量t 电子计算机，花 1200 多小时证明了这个问题， (O ， Ql) 中一种. 因色问题就称为四色，lË~型.人们还不满足这些精 !iltl Q俨((x;V Xj) V (yN y川忡1. 巢，浴在探索解决四色问筋的纯数学的证明.本文 证明，1.当 aij=O ， 立句与叫赋予颜色不限， 试图从数现逻辑的新视角讨论囚包问题的必要条 即 :XiYiYYi 可以赋予任何值. 件，以便能指殷解决四色问题的领域及方式. 无论拙，鸟YitYJ 赋予任何值， a，;-叫(Xrf x;)