收录日期:2018/10/23 18:07:54 时间:2016/05/20 18:27:30 标签:数据结构与算法
绝对是难题。呵
哪位高手能够用代码证明出验证四色猜想,呵
只需要处理10个区域的涂色问题。
四色猜想已经利用计算机证明是定理了,我不知道如何做的.但这里有段利用四色定理着色的说明http://expert.csdn.net/Expert/topic/2059/2059607.xml?temp=.8564112
很不幸 我在一本小学书上看到了BASIC版的程序——涂色,不是证明
呵呵,不会
我好象也在大学时听说“四色猜想已经利用计算机证明是定理了”
唉,呵我想用JS实现,呵有谁会吗?!
你想实现10个区域的涂色问题,还是就10个区域来证明四色定理?
找 超超 去, 估计他可以帮助你找到这个四色问题的当前世界研究状况的结论。
何必拿出个世界级难题来炫耀呢
又不是你提出的问题,又不是你想出的高级证明方法
至多说明你看到了这么个问题
你很想要难题吗?
上网找找,各种难的,真难
可是跟你我有什么关系.
回楼上的,呵正是因为难才拿来问,呵
如果是些小问题自己想想就知道了还用问吗!

因为这个对我很有用但我不会证明所以才需要贴出来大家讨论。
“哪位高手能够用代码证明出验证四色猜想”
呵呵,到底是代码证明四色猜想,还是验证四色定理?

四色猜想已经被证明是定理了。而且是计算机参加数学证明的一个经典例子。网上可以搜到很多资料。 
代码证明四色猜想。
呵呵。
会证明的这个东西的大概不上这个CSDN的
已经是一个定理了,不再是要求证明的了!悲
描述这么简单的问题,用计算机证明肯定是个愚蠢的方法,我不欣赏,最好有个简明的方法。
表述简单的不见得就是容易证明的
费马定理表述很简单,可是证明呢?!
有的定理即便是给出了证明,全世界能够看懂的也没有几个。
费马定理表述很简单,可是证明呢?!

--------------------
费马定理已经被证明了
费马定理是被证明了,可是证明的过程有几个人看得懂
数学定理是什么?就是把几个预先定义的准则,变换了一种形式而已。
小子无知,敢问证明了四色定理有什么作用?
听说4色定理是把所有的情况归结为1800多种情况,然后用计算机枚举的,全部枚举过去,代表任何情况都可以,因此证明完...(似乎如此,如果我没记错的话)
嗯,首先问一下搂主的本意
正如Tiangua所说,是分成许多种情况分别枚举讨论的,在我印象中有不少数学难题的计算机证明都是类似这种分类枚举证出的,但伴随着一个问题:没有人有耐心去仔细研究证明过程!几千种情况有谁会去一一验证,所以我们只能大致的看看论证者的原则,并相信计算机的准确性了。至于谁能随随便便的就在这里贴个证明程序出来,那是搞笑吧!真那么容易,几十年来世界上成千上万的科学工作者不成白痴了么?!
相信科学!

换了个邻接矩阵,Dijkstra算法运行就会出错!咋回事啊! VC 操作word 2003 ,自动保存文档 问题 CMPP认证错,怪!!! GPS为什么能定位却不能出图 dllhost占用CPU过大,IIS无法访问 下拉组合框的值如何替换进去,难搞! listbox一列显示多行 登录问题 存储过程 无法获取配置信息,用户可能被屏蔽 【解决并回复】 简单问题在线等 SESSION被覆蓋 关于java的JList中项的单击事件怎样获得 JAVA socket编程问题 急求函数发生器的设计电路图 \"form4\"方法没有采用“0”个参数的重载 请问包含“文件审批”功能的产品有哪些 高手请进 问题比较急 表面上我是一个新手,其实我真正的身份是马甲,猜中是谁的马甲的奖励50分!!! 继续找工作还是去做淘宝??? 一个PropertySheet的问题? 如何理解asp.net中的“回传” 多线程中是否不能使用对象在线程之间传递? 好奇怪~~~~SQL server2000非正常安装后出现问题 大家帮我看看jfreechart乱码问题怎么解决,有没有用过的? 生成视图 回老公司的人多吗 来发表看法 请问一个获取存储过程返回值的问题 makefile里面如何运用 #define 如何得到真正的进程号而非线程号 急!高手指导,链接access数据库,数据填充问题。在线等