民科吧 关注:360,449贴子:4,863,694
  • 16回复贴,共1

四色定理非计算机证明

只看楼主收藏回复

把每个国家看作一个点,相邻国家之间连线,可以得到一个较为好看的几何图形(①图)此时问题转化为相连点之间颜色需不同。不妨把得到的图形中的多边形化为几个三角形,注意的是两点之间最多只有一条直线相连。
我们都可以做到用一条线把所有点相连(图①的黑笔),即全为三角形的线线不相交的几何图形存在通路。选取那一条线的点作为x轴,把x轴的点复制到y轴上,再将原来相连的点连线。可以整理出图②的样子。得到只有第一和第四象限的平面直角坐标系。此时问题转化为每个等腰直角三角形的两个45度角的颜色不同,注意y轴方向的45度角的点与在x轴上的90度角的点是等效的。
先从y轴正半轴出发。像我这样画图的话,从x轴的正无穷大看起,就是从右往左看。每遇到一个等边直角三角形,先把其在x轴上的点全用①②两点标记,把x轴上原来来相连的点沿等腰直角三角形的斜边投影到y轴方向的等腰直角三角形直角边上(如图⑤)。比较y轴上的点,把其中与直角点颜色序号相同的点换为③颜色(图⑤红笔),在把换为③颜色的点投影回x轴上,那么我们就解决了这个等腰直角三角形在x轴上的“部分”点的排列。之所以是“部分”,是因为一个等腰直角三角形经常“内含”一个等腰直角三角形,或“外包”一个等腰直角三角形(如图④)。这时就要灵活转换①②③颜色,如果解决了一个等腰直角三角形,那么就以等腰直角三角形的x轴上的直角边两边的两端点重新为①②颜色去解决下一个等腰直角三角形。我们此时能够把x轴上的所有点都排列。排列为1212123121321321321231313之类的
对y轴负半轴同理,将等腰直角三角形的x轴上的直角边端点视为①②,在排列,只不过把要转换的③颜色换为④颜色。这样问题即得证 拓展:有n条垂直的线,就要2n个颜色区分。如问题为三维立体的就需要6种颜色。立体且存在像美国和阿拉斯加的“这两个空间必须一样颜色”就要8种颜色。平面且存在像美国和阿拉斯加的“这两个空间必须一样颜色”就要6种颜色
注意④图,这种情况是不会发生的



IP属地:广西来自Android客户端1楼2024-07-19 20:38回复
    插眼


    IP属地:云南来自Android客户端2楼2024-07-19 21:19
    回复
      我最近刚好比较闲,但我想先确认一下,你能承认你的过程有可能错误吗只有经得起质疑,经过验证而非嘴硬维护的才可能是科学的


      IP属地:北京来自Android客户端3楼2024-07-27 20:00
      收起回复
        如果想x轴第二个节点和y轴第五个节点相互连接,图中的线段交叉了,是这样想吗?节点出了在xy轴上,还有很多在xy轴之间,这不用进行说明吗


        IP属地:广西4楼2024-10-08 16:50
        收起回复
          关于第一个问号,如果有交叉,说明是出现了一种不可能的情况。比如实际的图(左下)中⑤和③不可能再相连,则在简化的图(右上)中⑤和③再次相连则必定会出现交叉。第二个问题其实不是很明白你想问什么


          IP属地:广西来自Android客户端5楼2024-12-07 13:32
          收起回复
            图①的黑笔不是有很多线吗,怎么是一条?


            IP属地:广西6楼2024-12-16 16:16
            收起回复
              就是把图一的图形化简。换句话说,就是寻找一条哈密顿路径。遗憾的是我们对哈密顿路径的求解依然是个难题。还有哥们像你这样的人都什么来头,这个叫百度贴吧的好像有很多人都和你是志趣相投的人🤔
              事实上关于此问题哈密顿路径的寻求过程也是有一大长篇的文字的。是的,也就是说在本题具有的条件中这个哈密顿路径的寻求是成立的
              @打开发帖历史


              IP属地:广西来自Android客户端7楼2024-12-19 21:05
              收起回复
                插眼


                IP属地:江苏来自Android客户端8楼2024-12-23 00:57
                回复