博文

科学网博主有关四色问题的证明部分网络文献资料查询

已有 5660 次阅读 2011-2-25 16:00 |个人分类:科学八卦|系统分类:科研笔记| 博客, 科学网, 四色定理, 证明, 4色问题

吴中祥 2010-2-24 10:34 4 色问题的简单证明提要在简单平面上，具体划分涵盖各种可能的任何形状的，彼此相连的任何区域，排除地图中不会出现的各种可能的例外情况，简单证明了：都可仅用 4 种颜色明确区分。并具体提出了几个进一步扩展的问题关键词： ... 个人分类: 数理|2447 次阅读|3 个评论

“四色定理”已被人工推理证明（恳请永久保留）
=Times New Roman][/font][font=宋体]附录二：[/font][align=center][b][font=宋体]关于“四色问题[/font][font=Times New Roman]/[/font][/b][b][font=宋体]定理”的介绍：[/font][/b][/
http://bbs.sciencenet.cn/showtopic-77777.aspx 时间：2010-1-19 8:47:00

想尔的博客-终极四色.doc

Kn元素网格与四色猜想的证明之第二版.doc

Kn元素网格与四色猜想的证明2.0
t][/color][/size][font=宋体]四色猜想的证明一直是个难题，虽然用计算机给出了证明，但其实并没有揭示平面之所以可以四色的内部原因。四色猜想的正确性是有着构造性的原因的，是构造的内部定义保证了四色猜想的正确性。本文抛开了原有四色猜想的传统证明方法，使用全新的构造方式来分析研究图的
http://bbs.sciencenet.cn/showtopic-108898.aspx 时间：2010-9-4 18:43:00

Kn元素网格与四色猜想的证明

http://bbs.sciencenet.cn/forum.php?mod=viewthread&tid=108898

郭春剑
91188部队，海口（571122）
E-mail:：gn1010@163.com

摘要：本文主要通过对Kn元素网格的定义和研究，得出一些基本规律，并在此基础上证明了四色猜想。
关键词：Kn元素网格证明四色猜想
中图分类号： O18

四色猜想的证明一直是个难题，虽然用计算机给出了证明，但其实并没有揭示平面之所以可以四色的内部原因。四色猜想的正确性是有着构造性的原因的，是构造的内部定义保证了四色猜想的正确性。本文抛开了原有四色猜想的传统证明方法，使用全新的构造方式来分析研究图的性质，并对图进行了分类整理，我们使用“网格”这一概念来更好地描绘图的性质。

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

[转贴]“四色问题”的历史
为止，问题也没有能够解决。1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，
http://bbs.sciencenet.cn/showtopic-17032.aspx 时间：2008-4-20 11:41:00

四色问题的一个解决思路
多面体，该问题又可转化为是否存在一个具有5个顶点的正多面体(考虑到节点的对称性，因此是正多面体)。根据多面体点-线-面关系的欧拉定律，这样的正多面体不存在。由此，可以推论四色猜想是正确的。不过，该论证存在一个关键也就是四色猜想能否全部归结为上述问题。如果不能，四色猜想归结出的其他类型问题，能否也可
http://www.sciencenet.cn/blog/user_content.aspx?id=256629 时间：2009-9-19 21:05:21

圈Ｘ域法解决四色问题
的热恋问题，就是3通道的元素顺序问题，问题可以模拟成这样的数学问题，对于2个3元素组，11，21，31，和12，22，32，若第一组元素顺时针按顺序排列，第二组元素必须逆时针按顺序排列，在对应的元素之间，才能避免通道交叉。和3通道的元素顺序问题有关的数学模拟图形如同图2。4通道的元素顺序问题，是这
http://bbs.sciencenet.cn/showtopic-10476.aspx 时间：2008-3-24 17:32:00

色通道和“四色猜想”
dquo;问题，证明了色通道定理的正确，但是还不能认为解决了“四色猜想[1]”问题。作为重要的色通道问题，“四色猜想[1]”问题必须专门论述。3．“四色猜想[1]”问题&
http://bbs.sciencenet.cn/showtopic-6637.aspx 时间：2008-2-18 17:04:00

通道和元素序(解决四色问题的关键)
述的代表团问题，就是3通道的元素序问题，问题可以模拟成这样的数学问题，对于2个3元素组，11，21，31，和12，22，32，若第一组元素顺时针按顺序排列，第二组元素必须逆时针按顺序排列，在对应的元素之间，才能避免通道交叉。具体的数学模拟图形如同图2。4通道的元素序问题，是这样的数学问题，对于2个
http://bbs.sciencenet.cn/showtopic-6574.aspx 时间：2008-2-16 9:26:00

推翻四色定理的例子？
四色定理的反例？
http://www.sciencenet.cn/blog/user_content.aspx?id=337434 时间：2010-6-21 12:18:13

预防“四色病”----科普读物的一项重要功能
世界大难题的行为的共同名词。四色病劳民伤财，怎么才能防治四色病呢？一个办法就是让抵抗力差的人（个人知识基础十分有限、对世界性难题了解不深而成名欲极强的人），主动避免四色病。也就是要使之知己知彼，知难而退。可是，这里又有一个问题，就是犯四色病的人正是因为不能或无法深刻理解所企望解决难
http://www.sciencenet.cn/blog/user_content.aspx?id=212188 时间：2009-1-30 22:37:05

解决＂四色猜想＂的简单办法
的代表团问题，就是3通道的元素顺序问题，问题可以模拟成这样的数学问题，对于2个3元素组，11，21，31，和12，22，32，若第一组元素顺时针按顺序排列，第二组元素必须逆时针按顺序排列，在对应的元素之间，才能避免通道交叉。具体的数学模拟图形如同图2。 4通道的元素顺序问题，是这样的数学问题，对于2
http://bbs.sciencenet.cn/showtopic-6705.aspx 时间：2008-2-21 20:23:00

四色围棋
东平老师画得一手好棋盘、棋子。下了半天，没了下文。可惜可惜。老邪在想，可以不可以多画两种颜色的棋子，在网上四个人下四色围棋？比如黑白红绿，四个人下。在开局的时候，四方各占地盘，应该和传统两两厮杀差不多。但很快第三方出现，就热闹了。应该出现二攻一。试试？
http://www.sciencenet.cn/blog/user_content.aspx?id=239746 时间：2009-6-23 7:25:28

终极四色猜想
证明四色猜想的一个思路，欢迎大块头拍大块砖。
http://bbs.sciencenet.cn/showtopic-97311.aspx 时间：2010-5-9 14:24:00

辉辉 & 傻傻用【色球理论】共同合作完成了【四色定理】的人工解
色球理论】共同合作完成了【四色定理】的人工解。用四色标出了四国【四面体的四个面】边界，即一国一色，每一点连接三国，国与国之间为两点一线。四点六线四面四色共同构成一个完整的三维立体封闭空间【四面体空间】【四色问题：绘制地图最多需用几种颜色？将四色问题简化，即为最少几个国家可构成一
http://www.sciencenet.cn/blog/user_content.aspx?id=389369 时间：2010-12-1 20:11:28

四色猜想的绝妙证明（绝对原创！求给力！）
五种颜色根本不需要。[/size][size=10.5pt][/size][/align][align=left][size=10.5pt]由此证明四色猜想是正确的。[/size][size=10.5pt][/size][/align][align=left][size=10.5pt][/size]
http://bbs.sciencenet.cn/showtopic-115176.aspx 时间：2010-10-30 11:29:00

[原创] 四色猜想的书面常规证明
四色猜想的书面常规证明　秋屏（正文网址：http://blog.sina.com.cn/s/blog_4d2e0dd801009uzq.html）
http://bbs.sciencenet.cn/showtopic-29462.aspx 时间：2008-9-15 20:37:00

解决四色猜想问题是折磨自己（又错了）
解决四色猜想问题是折磨自己（又错了）quxisheng在2008-2-17 0:22:40修改过。
http://bbs.sciencenet.cn/showtopic-6573.aspx 时间：2008-2-16 9:07:00

圈Ｘ域法证明四色猜想确实很简单．
方法，检查了633种特殊的情况。这一新证明也使用了计算机，如果由人工来检查的话是不切实际的。************************8888888881976年美国数学家阿佩尔（K.Appel）与哈肯（W.Haken）宣告借助电子计算机获得了根据上面这些论述，圈Ｘ域法证明四色猜想确实很简单．
http://bbs.sciencenet.cn/showtopic-20576.aspx 时间：2008-5-14 21:26:00

从图的标号问题谈图论问题的机器证明
机器证明的呢？其实图论问题的机器证明早已有之。例如欧拉图的判定，平面图的判定等等算法，都可以看成是机器证明图性质的例子。还有一些特殊的例子，比如四色定理的计算机证明，只不过这样的方法没有一般性，因此从方法的角度看意义不是很大。然而，我现在关心的是对某一大类图论问题（例如标号问题）是否存在一个通用的方
http://www.sciencenet.cn/blog/user_content.aspx?id=352132 时间：2010-8-11 22:27:55

勾股定理的２种记载方法，但有人说：仅数字的记载方法正确
百分之百的把握解决了＂四色猜想＂问题勾股定理的２种记载方法，但有人说：仅数字的记载方法正确．我们证明了＂四色定理＂，如果有人说，图形证明方法不能发表，只能发表代数证明方法怎么办？我们确实证明了＂四色猜想＂．并且发现了＂通道和元素顺序定义＂．——比黄金分割法更珍
http://bbs.sciencenet.cn/showtopic-6311.aspx 时间：2008-2-1 19:35:00

some tales of mathematic!ans(70) by littless
了演讲Birkhoff早年对四色问题也很感兴趣，并说过四色问题是唯一一个他通宵研究的问题，Birkhoff生前最后一篇文章也是关于四色问题在1920年代他的妻子经常给他画地图供他研究，据说有一次宴会上Birkhoff的妻子问一位新婚的Harvard数学家（也是研究四色问题）的妻子在蜜月时是不是也给她
http://www.sciencenet.cn/blog/user_content.aspx?id=260834 时间：2009-10-9 19:29:12

～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～

有没有这样的定理
任何两个被除数与除数的商等于黄金分割数（“不可用于等量代换”）既根除定理。log n A+log n B=log n（A+B）不可能满足。提出讨论。提出歌德巴赫的猜想，丢番图定理，费马大定理正确并不可用于等量带换。*****************************歌德巴赫猜想内容任何&
http://bbs.sciencenet.cn/showtopic-70763.aspx 时间：2009-11-26 20:15:00

中心极限定理之一（总则）
中心极限定理。跟大数定律一样，中心极限定理的内容非常庞大。不夸张地说，中心极限定理所涉及的概念内容极其延伸，几乎撑起了概率论的半边天。一方面，它能深入到概率论，乃至纯数学最核心的部位（如调和函数）；另一方面，它又被广泛应用，哪怕是最实用的工程。限于个人学识，我只能尽力跟大家讨论中心极限定理的小部分
http://www.sciencenet.cn/blog/user_content.aspx?id=242795 时间：2009-7-10 9:56:31

欧拉定理
欧拉定理
http://bbs.sciencenet.cn/showtopic-70560.aspx 时间：2009-11-25 10:18:00

[转贴]近百年的大定理
近百年的大定理, 有一精華帖講1900以前的美麗定理, 這裡是1900以後的Hironaka 的消奇點定理: 特徵零代數簇的奇點一定可以用雙有理轉換消滅掉 (3) Serre, Tate 的類域論: 一個數體擴張的加洛瓦群可以從比較小的那個體裡面的元素重建出來 (4) Smale & F
http://bbs.sciencenet.cn/showtopic-18397.aspx 时间：2008-4-24 15:36:00

Godel定理之拙见 [推荐][转贴]
为定理。既然我们假设XXX不是定理，所以必然有XX也不是定理。同样的论证可知，X也不是定理。但这与SFT 体系的初始公式相矛盾。这就证明了XXX确实是一个定理。显然的确给出了XXX是一个定理的证明。但是这个证明在形式主义看来是不合法的，或者说是没有意义的。因为形式体系中的证明只能由已经证明的定理通
http://bbs.sciencenet.cn/showtopic-36597.aspx 时间：2008-12-22 0:19:00

幻方连续数字成为封闭线形定理
定理1：在以幻方构成的扩张矩阵里，存在一种可进行近旁连接其幻方所有元素的自然数顺序的路径，并且其自然数顺序近旁连接是首尾近旁连接，从而构成封闭状。定理2：符合定理1的幻方只有唯一的一种。手工证明未完成。举例证明：1 2 15 16 1 2 15 16 13 14 3 4 13 14 3 4
http://www.sciencenet.cn/blog/user_content.aspx?id=360063 时间：2010-9-6 21:56:09

费马大定理是怎么证明的？
说清楚，费马大定理就是其中的一个。费马大定理在世界上引起的兴趣就正如哥德巴赫猜想在中国引起的热潮差不多。之所以受到许多人的关注，关键在于它们不需要太多的准备知识。对于费马大定理，人们只要知道数学中头一个重要定理就行了。这个定理在中国叫勾股定理或商高定理，在西方叫毕达哥拉斯定理。它的内涵丰富
http://news.sciencenet.cn//html/shownews.aspx?id=171526 时间：2006-11-16 9:48:40

费马定理的新理解
理可以求出他的三次方程，化解为三个一次参数方程。同理也能化解四次的参数方程，对于高于5次的没有一般的代数能解，这就是著名的阿贝尔定理，只要证明Q,P没有有理数解，费马定理同样可以证明。根据这一思想可以计算出（现已计算出结果），这是目前计算机无法计算出来的。也是一个国家的计算水平的体现
http://bbs.sciencenet.cn/showtopic-25780.aspx 时间：2008-7-17 19:59:00

Kirkman女生散步问题-lianghaisheng定理 1
所有可能组合数为3360/60=56种.由于前述选定3层就是决定第4,5层，所以定理1中最大可能组合数为56种的命题成立。定理2: (Kirkman女生散步问题-播种机定理2): 符合Kirkman女生散步问题解(一周)的最大可能组合数为240种. 已经完成借助计算机程序的证明，人工证明未完成。
http://www.sciencenet.cn/blog/user_content.aspx?id=360050 时间：2010-9-6 21:41:49

近距离接触费马大定理证明者
问的问题。他曾经承认费马大定理被证明之后有一种“伤感”，一种很难再找到挑战的伤感——如果他的目标就是想证明一个又一个猜想的话。“黎曼猜想”是他提到过的在费马大定理之后为数极少的有挑战性的难题。但是，这将是个没有答案的问题，因为即便他真的在为黎曼猜想努力，出于和证明费马大定理同样的原因，他也不大可能让
http://news.sciencenet.cn//html/shownews.aspx?id=136430 时间：2005-9-5 13:12:16

Kirkman女生散步问题-lianghaisheng定理 1
合数为3360/60=56种.由于前述选定3层就是决定第4,5层，所以定理1中最大可能组合数为56种的命题成立。定理2: (Kirkman女生散步问题-lianghaisheng定理2): 符合Kirkman女生散步问题解(一周)的最大可能组合数为240种. 已经完成借助计算机程序的证明，人工证
http://bbs.sciencenet.cn/showtopic-111848.aspx 时间：2010-9-29 16:44:00

维空间和一维空间增殖定理
=14pt]4[/size][font=SimSun][size=14pt]，一维空间增殖定理及其物理效应[/size][/font][/b][size=14pt][/size][size=14pt]4.1 [/size][font=SimSun][size=14pt]一维空间增殖定理[/size
http://bbs.sciencenet.cn/showtopic-79281.aspx 时间：2010-2-2 9:39:00

[原创]数轴的连续性推翻数学定理：......
，b)的一切数后才取a,即其必取至再也无除a外的任何数可取了,才取a。数学有定理断定此x在→a的过程中总与a相隔无穷多个属B的数，即说其总远远不能取尽“吃光”a与b之间的数，从而更不能到达a处。这显然是违反起码数学常识的定理。所以如[1]等所述在B中必有紧贴a的数x＞a与a之间没有任何可取的数了。同
http://bbs.sciencenet.cn/showtopic-1093.aspx 时间：2007-6-9 7:25:00

陆高麒陆高麟论“麒麟定方术”与“麒麟定理”的定论
.麒麟定理：正八面体的体积=体积比值棱长的立方。 06.麒麟定理：正八面体的面积=面积比值棱长的平方。 07.麒麟定理：正四面体的体积=体积比值棱长的立方。 08.麒麟定理：正三角形的面积=面积比值棱长的平方。 09.麒麟定理：正五边形的面积=面积比值棱长的平方。 10.麒麟定理：正六
http://bbs.sciencenet.cn/showtopic-127407.aspx 时间：2011-1-4 13:40:00

刘强定理、真傻定理
=22px][/size][/font][align=center][b][color=#0000ff][font=黑体][size=22px]真傻定理：[/size][/font][/color][/b][/align][align=center][b][color=#0000ff][font=黑
http://bbs.sciencenet.cn/showtopic-78280.aspx 时间：2010-1-22 13:31:00

安德鲁·怀尔斯和费马大定理[转贴]
能理解的数学命题，称为费马大定理。许多数学家为此耗尽了毕生心血。然而200年过去了，人们仅仅对3次幂，4次幂，5次幂和7次幂这四种情形证明费马的断言是成立的。第二次世界大战之后，借助于计算机，数学家对500以内，然后在1000以内，再是10000以内的幂次证明了费马大定理。到上个世纪八十年代，这个范
http://bbs.sciencenet.cn/showtopic-18561.aspx 时间：2008-4-24 22:02:00

从3到n：费马大定理得证历程
称为“费马最后定理”（我国称“费马大定理”）。费马大定理不存在正整数x、y、z，使得xn+yn=zn；n为大于2的正整数。 1676年数学家根据费马的少量提示用无穷递降法证明n＝4。1678年和1738年德国数学家
http://news.sciencenet.cn//htmlnews/200852283616678206977.html?id=206977 时间：2008-5-22 7:7:42

从3到n：费马大定理得证历程
称为“费马最后定理”（我国称“费马大定理”）。费马大定理不存在正整数x、y、z，使得xn+yn=zn；n为大于2的正整数。 1676年数学家根据费马的少量提示用无穷递降法证明n＝4。1678年和1738年德国数学家
http://news.sciencenet.cn//sbhtmlnews/2008/5/206704.html?id=206704 时间：2008-5-22 4:7:42

开场白 + 闲论Atiyah-Singer指标定理（1）─引子 ZZ
Atiyah-Singer指标定理（1）─引子闲论Atiyah-Singer指标定理（2）─雅俗两故事，AS的实质闲论Atiyah-Singer指标定理（3）先声─Riemann-Roch与Gauss-Bonnet-Chern闲论Atiyah-Singer指标定理（4）─黑话破解，主要概念介绍闲论
http://bbs.sciencenet.cn/showtopic-36369.aspx 时间：2008-12-18 17:40:00

转载）五星级文章——《费马大定理》阅读手记
结合在一起，找出了证明费马大定理的钥匙：只要能证明谷山-志村猜想，就自动证明了费马大定理。曙光在前，但并没有人对黎明的到来抱有信心，谷山-志村猜想已经被研究了30年，都以失败告终，如今与费马大定理联系在一起，更是连最后的希望都没有了，因为，任何可能导致解决费马大定理的事情根据定义是根本不可能实
http://bbs.sciencenet.cn/showtopic-52078.aspx 时间：2009-6-16 20:03:00

关于对称性自发破缺和GOLDSTONE定理的小结
个最小值点，对应着两个序参量。由于这个对称性不是连续对称性，当模型的解取其中一个最小值点，对称性退化，但不产生零质量粒子。 4。定域的连续对称性下GOLDSTONE 定理失效。定域规范对称性的自发破缺正好让粒子产生质量，而不产生零质量粒子，这就是HIGGS机制。 5。整体连续对称性和定域规范对称
http://www.sciencenet.cn/blog/user_content.aspx?id=280633 时间：2010-6-3 16:10:44

再发一个试讲用的PPT——静电场与高斯定理
先做完，以备有学校要求试讲大学物理。主要内容1 背景2 静电力与静电场3 电场通量高斯定理4 高斯定理的应用举例GaussLaw_flzhang_nankai_cim
http://www.sciencenet.cn/blog/user_content.aspx?id=297784 时间：2010-2-26 11:07:11

运用韦达定理证明卡尔丹公式之探讨
达定理这样来证明卡尔丹公式是直观的，尤其方便记忆。参考资料：项昭义等，高等代数疑难解析，第184页，河南教育出版社，1982年10月第1版。 ——摘自《教学月刊》（中学理科版），1990年第3期（国内统一刊号：CN33-1046），范盛金，运用韦达定理证
http://bbs.sciencenet.cn/showtopic-8672.aspx 时间：2008-3-11 16:27:00

“四色定理”已被人工推理证明（恳请永久保留）
][color=red][font=宋体]现在关于费马大定理真的出现了使人惊奇的进展。[/font][/color][color=red][/color][color=red][font=宋体]诺姆埃尔基斯宣布了一个反例，因而终于证明费马大定理是不成立的！他今天在研究所里宣告了这件事。他构造的这个对
http://bbs.sciencenet.cn/showtopic-77777.aspx 时间：2010-1-19 8:47:00

维时间和一维时间增殖定理
=14pt]4[/size][font=SimSun][size=14pt]，一维时间增殖定理及其物理效应[/size][/font][size=14pt][/size][/b][size=14pt]4.1 [/size][font=SimSun][size=14pt]一维时间增殖定理[/size
http://bbs.sciencenet.cn/showtopic-80870.aspx 时间：2010-3-2 9:07:00

闲论Atiyah-Singer指标定理（3）─初次见面，要你记得我[转贴]
v,f^w)有一简单但重要的结论，线性映射与其伴随映射的像空间之维度相等：dim im f = dim im f^至此，我们能够给出一个儿童版的指标定理及完整证明：对向量空间之间的线性映射f: V-->W，V中元素按ker f作为不变子空间分成等价类，im f 必定与商集V/ker f同构。自
http://bbs.sciencenet.cn/showtopic-36368.aspx 时间：2008-12-18 17:40:00

Kn元素网格与四色猜想的证明之第二版.doc

想尔的博客-终极四色.doc

xermer