手机浏览器扫描二维码访问
1850年,英格兰国教会神父柯克曼在闲暇时间提出一个数学问题:“学校有15名女生,每天3人一组出去散步。要保证每周的7天内,任何两人都有一次同组的经历,但也只能有一次同组经历。请问如何办到?”,这就是柯克曼女生问题。
在现代数学家看来,这类问题最好的办法把他们看成超图——一堆三个节点或更多的节点组成的集合。15个女生就是节点,三人同组就看成这三个节点用三条线段(图论术语会说三条边)连接成的三角形。
柯克曼女生问题实际上就是问,有没有一种三角形的排列,把这些女生节点连接起来,并且,这些三角形还不能共边。共边意味着两个女生被同组安排了两次。题设要求的安排意味着女生们每周都能相聚一次,而每一天都是和新朋友一起散步。
柯克曼提出这个问题之后,近200年来,无数相关问题吸引和困扰着数学家。
1973年,传奇数学家埃尔德什提出了一个类似的问题。
他问能不能构造一个超图,这个超图拥有如下两个看似矛盾的性质。
性质一,任意两个节点都恰好被一个三角形包含,就和之前的女生一样。性质一要求了三角形要非常的密。
性质二要求三角形要以某种精确的方式铺得足够广(具体的说,就是任意拿出几个三角形,三角形占用的结点数要比三角形本身的数量至少多出三个)。
”这有点矛盾,这些物体的布局你既要求局部上稀疏,又要求整体上稠密。“加州理工学院的数学家康隆(DavidConlon)如是说道。
2022年1月,四位数学家通过一份长达50的论文,证明了只要节点足够多,总是可以构造这样的超图。伯明翰大学的数学家罗(AllanLo)说:“为了得到这个结果,他们用的办法的技术性程度令人惊叹。”康隆也说:“这是一个非常优秀的成果。”
研究团队建立了一个满足埃尔德什苛刻要求的系统方法,该系统方法从一个随机选择的三角形的开始,极其小心地设计以后续过程以满足他们的要求。“证明里那些复杂困难的分支情况的数量是非常惊人的。”康隆说。
他们的证明策略是从一个三角形开始,细致的构造这个超图。举个例子,你可以试想一下我们提到的15个女生,然后两两相连做线段。
我们需要从这些线段上描出我们需要的、满足条件的一堆三角形:
第一,任意两个三角形不共边。(满足这样条件的系统叫做施泰纳三元系)
第二,让每个三角形的子集占用足够多的节点。
数学家们对此有个通俗的类比。
现在假设我们不是在描三角形,而是在用乐高积木建造房屋。
你建造的前几个房子非常宏伟、坚固和精致。
你建好这些后,就把它们放在旁边备用。数学家把它们称为”吸收器“。
现在,用剩下的乐高积木继续随意的建造房屋。
当剩下的乐高积木越来越少的时候,你会发现一些散落的积木,和一些搭建不完善的房屋。
这个时候,你可以从吸收器上抽出几个积木块,用在不完善的建筑上。
因为吸收器非常的坚固,抽出一些积木不会导致严重的后果。
施泰纳三元系中,你的构造的房屋就是吸收器。
吸收器在这里就是精心挑选的线段(边)。
如果发现无法把剩余的三元组搭建成满足条件的三角形时,可以使用吸收器中的线段进行调整。当你做完这些调整后,吸收器本身也融入到了各个三角形之中。
吸收器的办法有时会遇到阻碍。
但是数学家们修补了这个问题,他们找到了一种新办法绕过这些阻碍。
比如,有一种叫做迭代吸收器的,它将线段划分成嵌套集合序列,于是每个吸收器都是会为下一级迭代服务。
”十多年来,进步巨大,“康隆说。”这已经是某种艺术形式,如果看成艺术,他们展示了一个非常高级的艺术。“
即便有了迭代吸收器,埃尔德什问题也依旧很难。”这就是问题没有得到解决的原因“,论文其中一个作者索尼(MehtaabSawhney)说。
比如,在迭代吸收的其他应用中,一旦你完成了一个集合的构建——无论是三角形、泰纳三元系,还是其他结构——你可以认为事情告一段落并扔在一边。然而,埃尔德什的条件要求让这四位数学家不能这样做。有问题的三角形很容易触及多个吸收器的节点。
“一个你在500步前选择的三角形,你需要以某种方式记住,并知道如何处理它,”索尼说。
这四个人最终发现,如果他们选择的三角形足够精细,他们就可以绕过每一个小问题。“最好的办法是考虑每个由100个三角形组成的子集,并保证以正确的可能性挑选三角形,”索尼说。
论文的作者们乐观地认为,他们的这个方法可以推广到别的问题。他们已经将他们的方法应用于一个关于拉丁方的问题——一个简化版的数独问题。
除此之外,还有几个问题最终可能被吸收器方法解决。“组合学中,尤其是在组合设计论中,随机过程是一个非常强大的工具。”其中一个也是关于拉丁方的问题叫做Ryser-Brualdi-Stein猜想,自1960年代以来一直没有解决。
智利大学的数学建模中心的副主任斯坦恩(MayaStein)说,虽然吸收器方法可能需要进一步发展才能解决这个问题,但自30年前方法建立以来,它已经走过了漫长的道路。“看到这些方法是如何进步和丰富起来,真是人生一大幸事。”
喜欢数学心请大家收藏:()数学心
当绿茶反派男配想上位 我当过的炮灰都成了宠文男主[快穿] 重生后她燃炸了 我说今夜无神,于是众神陨落 [HP同人] 隐藏在霍格沃茨当教授 盛宠拽后:本宫就爱戏诸王 肥妃有福,双面王爷倾世妃 本座的猫儿师尊 [综影视同人] 炮灰终结者 忠犬影卫饲养法则 BOSS伪装白莲花女主杀疯了 快穿之大佬总是在撩我 鬼灭RPG为美好的世界献上帝君 告白未果,我决定做回低调逆袭者 成就华流天王,从历经生死战开始 [穿书]男主他想弄死我+番外 宗门全是美强惨,小师妹是真疯批 [咒回同人] 全员术师 白夜(重生) 我把皇子养歪了
男神要婚了,不甘心的白纤纤夜上男神的床一夜疯狂,嫁不了男神,就生个小男神相依为命也知足。没想到,小男神真有了,可亲爹却另有其人。都说负负得正,她是错错得对。以为睡错了,其实睡对了。当小不点遇上真男神,爹地,我帮你搞定妈咪的奖励呢?厉凌烨微微一笑,等我睡服你妈咪再说。小不点撇撇小嘴,当晚就把妈咪拉到了自己的小床上。厉晓宁,你给我下来。某男怒了。白纤纤护小狗一样的护着小不点,他还是个孩子,你要不要脸?厉凌烨拎着小狐狸般的小不点直接丢出门外,自己女人只能上自己的床,要人不要脸。...
那一夜,日月同空。炎黄仙主帝景联合天外邪魔于宇宙禁区星空深渊内谋害挚友,以图谋掌控天地万物。那一日,极道宗少年莫轻语丧父身残,自一南海小岛上重获新生。这是一个传奇的开始,亦是一段腐朽的终结。有些人在诞生的那一刻就注定不会平凡...
人外有人,天外有天!异界争霸,从未间断!欲望,让人从不妥协!!信念,使人勇往直前!!上古的世代里,圣灵神,是万王之王,万主之主!!!圣灵神的能力和权柄,是每个凡人一生所向往的巅峰!!!圣灵神创造了无数的空间,将祂的艺术品分散在各个位面,为了荣耀祂。然而,人类的劣根性无法泯灭将圣灵神所创造的第一批人当成真神去敬拜,而丢弃了创造他们的真神。在圣灵神的引导下,一个无名的传道人,在异空,承接使命。圣灵手札书友群455870376论坛家族未来,灵魂的天地...
主角秦怡严易泽新郎出轨闺蜜,秦怡一气之下嫁给了众所周知的严家傻子少爷严易泽,做好了守一辈子活寡的准备,谁知新婚夜,痴痴傻傻的严易泽竟露出了邪魅的笑容,秦怡这才意识到所有人都被他给骗了军婚小说网提供秦怡严易泽最新章节,秦怡严易泽全文免费阅读,秦怡严易泽无弹窗广告清爽在线阅读体验...
陆苒做梦都没想到,她居然穿越成了小说里下场凄惨的恶毒女配!为了保住小命,她发誓坚决抱紧男女主的粗大腿!炮灰闺蜜羞辱女主时,陆苒揽住她小腰不,你不想。宠女老爹撮合自己与男主,陆苒揪住他衣袖不,我不想!怀抱熊猫,手牵迷妹,美滋滋的陆苒却被男主拦在了路上。从前你要嫁我,如今还作数吗?陆苒我没说过,我不嫁你,放开我啊啊啊啊啊啊展开收起...
一个化身医生,卑鄙的躲藏在医院里面,依靠偷取血库血液为生的懒惰僵尸一个住在红灯区,开着私家诊所,装作平凡人的僵尸医生一个亦正亦邪的僵尸医生身为僵尸却嗜钱如命搜刮金钱却生活清贫!中医,不只有针灸!如在阅读过程中产生恶心,呕吐等症状,请立即停止阅读本书。并且不需要在书评区留下只字片语以彰显个人品味以免影响其他朋友的阅读心情,谢谢所有朋友合作。...