-
每张地图都可以用四种颜色着色,因此具有共同边界的国家的颜色不同。
-
四色定理,也称为:四色猜想四色问题是世界三大数学猜想之一。 四色定理的本质是二维平面的内在性质,即平面内不能有两条直线相交,团块岩石中没有共同点。 渗透
四色问题写道:“任何只有四种颜色的地图都可以用不同的颜色绘制一个具有共同边界的国家。 换句话说,在不引起混淆的情况下,地图只需要用四种颜色标记。
用数学术语来说,它“被任意细分为不重叠的区域,每个区域总是可以用四个数字 1234 中的一个标记,而不会给两个相邻区域相同的数字。 “我们所说的相邻区域,是指有一整段边界是公共的。 如果两个区域仅相交一个点或有限数量的点,则它们不称为相邻区域。
因为用相同的颜色着色不会引起混淆。
四色猜想的理论依据如下:
地图上的任何区域都必须有邻域。
通过邻域与其他非邻域之间的间接联系,任何地图都可以表示为图形理论。 假设有一张地图至少需要 m 着色,那么只有一个条件决定了地图必须用 m 着色,即地图至少有这样一个区域 q,并且与该区域相邻的所有区域都必须满足 m-1 着色。
首先,在满足这个条件后,Q 只能使用第 m 个颜色,其次,如果第一个推论是错误的,对于 m 着色图没有这样的区域,那么地图上任何区域的邻域都只能满足小于 m-1 的着色,那么整个地图就不需要 m 个颜色了, 这与假设相矛盾,因此这是一个充分和必要的条件。
假设我们取一个具有至少 m 个结构着色的映射 m,并且上面有 n 个区域满足上述条件,那么我们可以去掉图论图中的所有 n 个区域以及它们与邻居的关系线,这样我们就可以将构建一个至少具有 m 个着色的映射 m 的问题转化为一个需要至少添加 n 个区域的区域问题满足推理 1 条件的 M-1 着色图。
如果五色图存在并且能够成功构建,那么必须有一个四色模型图来构建这样一个五色模型,而要存在这样一个四色模型图,就必须有一个构建四色的三色模型图,同样,要存在这样一个三色模型图,就必须有一个构建它的双色模型图, 因此,让我们构建五色图是否存在。
-
海伍德将“四色猜想”改为“五色定理”,这是对加强命题条件的让步。
四色定理(近代三大数学问题之一),又称四色猜想和四色问题,是世界三大数学猜想之一。 四色定理的本质是二维平面的内在性质,即平面上没有公点就不能交叉的两条直线。
许多人已经证明,在一个二维平面上构造五个或更多的二乘二区域是不可能的,但是他们没有把它们提升到二维的逻辑关系和内在性质的水平,所以出现了许多伪反例。
然而,这些恰恰是对图论严谨性的研究和发展。 虽然计算机证明了它虽然做出了数百亿次的判断,但终究只是在巨大的数值优势上成功了,这并不符合数学严谨的逻辑体系,至今仍有无数的数学爱好者投身于研究。
海伍德猜想
希伍德猜想是图论中的一个重要猜想 j.)于1890年提出。
当时,为了解决四色问题,海伍德建立了一个更广义的命题,将x(s)表示为曲面S上所有贴图颜色数的上限,海伍德推测存在以下公式:
方括号表示四舍五入,而四色猜想正是e(s)=2的情况,这里,方括号表示内数上方的整数,因为,当时,我不知道四色猜想是否正确,所以e=2的情况被排除在公式之外,花了将近一个世纪的时间才研究出这个猜想是否正确, 直到 20 世纪 60 年代末,它才被彻底解决,结果是,除了克莱因瓶 n,这个磨坊唯一的例外,赫伍德猜想是正确的,因此,以下已证明的公式被称为海伍德公式,或海伍德定理, 或地图着色定理。
以上内容参考:百科全书-赫伍德猜想。
-
这个四色猜想,在严格意义上还没有被橘丹河证明过。
有些数学家使用计算机。 它已被证明,但一些数学家仍然不承认这种方法。
附录:四色问题的计算机证明。
高速数字计算机的发明促使更多的数学家研究“四色问题”。 自1936年以来一直在研究四色猜想的海克公开声称,四色猜想可以通过找到一组不可避免的可约化图形来证明。 他的学生Trey编写了一个计算程序,Heiko不仅可以用它来证明配置是可简化的,还可以通过将地图修改为数学上所谓的“对偶”。
他标记了每个国家的首都,然后用一条越过边界的铁路将邻国的首都连接起来,抹去了除首都(称为顶点)和铁路圆圈(称为字母尘埃弧或边缘)之外的所有线条,其余的被称为原始地图的双图。 到六十年代后期,Heiko 引入了一种类似于在电网中移动电荷的方法,以找到不可避免的配置组。 在海克的研究中首次以相当不成熟的形式出现的“放电法”是后来研究必然群的关键因素,也是证明四色定理的核心要素。
电子计算机问世后,由于计算速度的迅速提高和人机对话的出现,大大加快了四色猜想的证明过程。 美国伊利诺伊大学的哈肯于1970年开始改进“放电过程”,后来与阿佩尔合作开发了一个很好的程序。 1976年6月,他们在美国伊利诺伊大学,在两台不同的电子计算机上花费了1200个小时,100亿次判断,最终完成了四色定理的证明,引起了全世界的轰动。
这是100多年来吸引众多数学家和数学爱好者的重大事件,当两位数学家发表他们的研究成果时,当地邮局在当天寄出的所有邮件上都盖上了“四色就够了”的特别邮戳,以庆祝问题的解决。
-
主题,你甚至不明白四色问题。 您不会触摸 4 个盒子中的任何一个。 它可以以相同的颜色使用。 只有两个相互接触的形状需要颜色不一致。
-
四色猜想是正确的,这可以用计算机来证明,但到目前为止还没有人直接证明他是正确的。