万维读者网 > 信息时代 > 正文  

90年历史的凯勒猜想终于被搞定

www.creaders.net | 2020-09-08 22:10:23  煎蛋网 | 0条评论 | 查看/发表评论

  奥特·海因里希·凯勒(Ott-Heinrich Keller)于90年前提出了所谓的凯勒猜想,这是用相同的瓷砖覆盖空间的问题。它断言,如果用单位正方形瓷砖覆盖二维空间,则至少存在两块瓷砖共享一条边(就是说,有两个正方形是对齐邻接的)。凯勒进一步对每个维度的空间都做出了相同的论断:在n维空间里,用单位n维立方体填充空间,则存在两个邻接的单位体共享一个n-1维面。

90年历史的凯勒猜想终于被搞定

  截至今年立秋,仅剩余7维空间的情况尚未得到解决。

  但是现在,数学家借助计算机为这一猜想画上了句号。原始证明于去年10月在线发布,经过近一年的检查,终于被认可。

  作者(斯坦福大学的Joshua Brakensiek,卡内基梅隆大学的Marijn Heule和John Mackey以及罗切斯特理工学院的DavidNarváez)启用了40台计算机。仅仅30分钟后,机器就返回了一个单词作为答案:是的。这个猜想在7维空间里是正确的。

  答案附有很长的逻辑演算过程(200G的文档),解释了为什么是正确的。具体内容过于庞杂,已经无法为人类所理解,但可以通过单独的计算机程序验证其正确性。

  换句话说,即使我们不知道计算机如何解决凯勒的猜想,我们也可以向自己保证它们的正确性。

  实际上,凯勒最原始的猜想,并不完全正确。

  早期的结果支持了凯勒的预言。1940年,奥斯卡·佩隆(Oskar Perron)证明,对于维度是1到6的空间,猜想是正确的。但是50多年后,新一代数学家找到了第一个反例:Jeffrey Lagarias和Peter Shor在1992年证明了该猜想在10维上是错误的。

  不知道大家能不能自行证明一个结论:如果凯勒猜想在n维空间里是错的,则在n+1维空间里也不会正确!

  这样一来,我们知道,在维度大于等于10的空间里,凯勒猜想都不成立。

  所以问题就集中在7,8,9这三个维度上。

  2002年,有人证明了凯勒的猜想在第8维(因此在第9维)也是错误的。

  剩下的只有维度7,它是猜想成立的最高维度,或是失败的最低维度。

  现在,我们知道,凯勒猜想在7维空间里是成立的。

   0


24小时新闻排行榜 更多>>
1 美“爱国侨领”当众大骂中领馆总领事 震惊
2 中国政局突变正在逼近 后习时代或突然到来
3 东航空难夺132命 两年后发最新通报 事故原
4 习近平下地了,没换鞋
5 8名中国公民入境美国遭遣返 中外交部发声

48小时新闻排行榜 更多>>
1 李克强故居外最新挂上了这篇文章
2 比特币突然闪崩 22万人爆仓
3 惊辣!中共外交部正秘密进行这项工作
4 习公开敲打桌子 病根找到了
5 习两会对赵乐际震怒敲桌 传因报告泄露这机
6 形势恶劣出乎意料 习愈加疯狂
7 北京发生罕见大规模汽车冲撞机车及行人事件
8 叶剑英养女揭:胡耀邦死前邓小平一惊天举措
9 美“爱国侨领”当众大骂中领馆总领事 震惊
10 华尔街资金突然大举流出…
热门专题
1
美国大选
6
中共两会
11
秦刚失踪
2
中美冷战
7
台湾大选
12
火箭军悬案
3
以哈战争
8
李克强猝逝
13
台海风云
4
乌克兰战争
9
中国爆雷
14
战狼外交
5
万维专栏
10
李尚福出事
15
普里戈津
一周博客排行 更多>>
1 1364 (图文)红二代披露助毛泽 范学德2
2 风云无定日月有常:中美关系实 阿妞不牛
3 莫言现象:中国知识分子的宿命 万维网友来
4 中国梦未来五年,十年和三十年 文庙
5 何与怀:沉沦神州的血祭者 万维网友来
6 杀一个无辜的人而救更多的人, 平等性
7 中文的突围,从打字机到人工智 思芦
8 辛峰:保守党大幅领先 搭顺风 万维网友来
9 抹杀个体不仅意味着消沉更是灾 施化
10 所谓照片的“历史在场”与“有 湮灭之城
一周博文回复排行榜 更多>>
1 风云无定日月有常:中美关系实 阿妞不牛
2 遇到万维又一个奇葩人物 右撇子
3 巴以冲突引发的讨论 不合群
4 从方孝孺与布鲁诺被惨杀看东西 安博
5 科学不是真理,实践不是检验真 骆驼
6 人才流失才是中国的命门/勒索7 秋念11
7 俄乌战争:俄罗斯打持久战的四 随意生活
8 谁买过、用过九阳豆浆机? 体育老师
9 开始有点儿同情川普了。。。。 爪四哥
10 中国美术学院开除的两位77级学 艺萌
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2024. CyberMedia Network/Creaders.NET. All Rights Reserved.