第36章 脑袋上有包吗？！ (第2/3页)
br> 徐明不禁笑了。 以前当人渣的时候真的不在乎这个。 毕竟在学渣眼里，证明题和计算题没什么区别。 反正不是！ “这说明用一个已知的结果去验证一个问题是很难的。同样，如果有人告诉你1333452可以写成两个相邻数的乘积，你可能会觉得这个人在吹牛！但是如果他告诉你1333452=3651*3562，你可以简单的用计算器验证一下，发现是正确的！因此，大多数科学家大胆推测，所有完全多项式不确定性问题都可以转化为一类逻辑运算问题，称为可满足性问题。既然这类问题所有可能的答案都可以在多项式时间内计算出来，那么人们就在想，这类问题是否存在一种确定性的算法，可以在多项式时间内直接计算或搜索出正确答案？这就是著名的Na=a吗？你猜！” 我觉得比如徐明，可以换个思路给大家解释一下，也许他们能有更好的理解。 a完全问题。 毕竟，把世界级的数学难题简化成生活中的常识性问题并不容易！ 唉，我为这些书呆子观众伤透了心！ 但是徐明最在乎的是系统的5000分！ “妈的！我其实懂！” “我也是！” “主管真是平易近人，给我们这些渣渣找到了另一种回答方式！” “哈哈哈，主管继续！” “支持！” ...... 弹幕说的大家都懂，此时直播间的人气已经上升到近千万。 m橡树岭研究所、克莱数学研究所、牛津大学、楚华大学、哈佛大学等。，各大名校的数学专家都在这个时候陆续走进了徐明的直播间。 方巍办事处。 “妈的！老李！带我去条款那里！《徐明》里的这小子上节目了！我要一起学！” 方巍正忙着修改他的博士论文，这时路易斯突然闯了进来，吓了他一跳！ “什么？这个男孩很快又开始回答了。 a是完全问题？“ “是的！我们去看看吧！” “不！我觉得不对！” 这个世界级难题的每一个解决方案，都要费一番脑筋。 徐明现在一定需要一个安静的环境。按照路易的性格，去了之后连喊带跳都不行？ “为什么？现场听比网上听好多了？”路易斯全神贯注于 这完全是个问题。我根本没在意这个细节。 “你想！这本身就是一个世纪问题。你去了之后，跳啊跳。怎么能让徐明安心解决问题？还是老老实实在你办公室看直播吧！”方巍翻着白眼。 路易斯认为这是真的，噘嘴，回到他的办公室。 很多江北知名高校的数学专家也关注了徐明的这场直播，他们坐在电脑前等待许名杰。 a完全问题。 如果你从上帝的角度看观众，你会发现许多数学专家都拿着小笔记本，他们不断地在电脑上写来写去。 在直播间。 “要解决这个猜想，只有两种可能！一个是找到这样的算法。只要针对一个特定的Na完全问题找到算法，这类问题都可以解决！因为它们都可以转化为同一个问题。另一种可能是这样的算法不存在。那么就要从数学上证明为什么不存在。” “但是今天，我结合《超数导论》里的知识，证明这个算法确实存在！实际上 一个完整的问题不难！现在有很多搜索方法，比如:最近邻法、插入法、模拟退火算法、遗传算法、神经网络算法等等！就是不统一！“ “关于Na=a，证明大纲可以简单描述为三个简单的定理！” “定理一 设G=(V，E)是简单无向图，va，vb是G中距离大于2的两个顶点，E‘=E∨{(va，vb)}，则G‘=(V，E‘)与G有相同的最大团。 推论:对于任意简单无向图G=(V，E)，存在一个简单无向图G’=(V，E’)，它满足: ①E？e’； (2)G’中任意两个顶点之间的距离不大于2； (3)G’与G有相同的最大团。” “定理2 设G=(V，E)为 简单无向图， ≥3，如果G中任意两个顶点之间的距离不大于2，则存在 多项式时间算法可以解决G在这种算法下的图着色问题，即确定G的顶点色数。” “定理三 设G=(V，E)为 简单无向图， ≥3，如果G中任意两个顶点之间的距离不大于2，那么G的图着色问题(点色数问题)可以在
多项式时间内G的最大团问题。“ “万犊子，我不懂！”
上一页
目录
下一页