图形同构问题是否已解决?


13

维基百科的图形同构问题页面似乎表明,不,它尚未解决。但是,我的一个朋友指出了一种用于图同构的多项式时间算法。我没有足够的经验去理解本文的推理。

我确实在没有多项证明的情况下尝试了多项式时间算法,但是我想知道在继续之前是否已经成功解决了这个问题。

那么,图的同构问题解决了吗?


1
值得提出的问题。在进行网络同行评审时,如果受访者/答案实际上指出了论文中的特定错误而非普遍性,那会更好。诚然,需要警告的是,是专业科学家对此类努力的看法。的arXiv充满了错误的论文,很多P上VS NP但许多其他semifamous问题吸引爱好者的努力,例如也考拉兹猜想,孪生素数,哥德巴赫猜想,等等
VZN

7
@vzn我认为浪费阅读时间几乎肯定是不正确的,并且对这个问题没有新发现没有任何意义。
Yuval Filmus 2014年

2
@vzn我不明白您的投诉。DW的答案(在您的评论前一个小时发布)链接到一条评论,该评论的确指出了所讨论的ArXiv论文中的特定错误。
David Richerby 2014年

2
@vzn ArXiv纸张包含错误。尚未进行修订以修复该错误。无需再进行任何同行审查。我不知道您说的是二手货:反例就是反例,无论它是由发现者还是在那个肮脏的酒吧后面闲逛的毒贩传达给您的高速公路。
David Richerby 2014年

1
@vzn大概因为作者无法修复该错误而未进行修订。请注意,ArXiv不允许撤回手稿,即使事实证明它们不正确。
David Richerby 2014年

Answers:


23

否。那篇论文似乎有缺陷。Tracy Hall在MathOverflow的评论中解释了该缺陷。一个后续评论声称,笔者后来意识到有他的算法存在缺陷。

正如尤瓦尔(Yuval)解释的那样,看到业余爱好者解决这些问题的尝试并不少见。他们往往有缺陷。当涉及到著名的开放性问题(例如,P vs NP,图同构等)的结果时,我建议在知名的同行评审会议和期刊上寻找发表的文献-同行评审不是完美的,但是同行评审的论文正确的可能性更高。


17

不,图形同构问题尚未解决。您链接的论文是2007年至2008年,尚未被更广泛的科学界所接受。(如果是的话,我会知道的。)

像许多其他著名的问题一样,图同构吸引了业余爱好者的许多尝试。他们几乎总是错的。我建议不要在未首先具备研究级数学能力的情况下尝试解决此问题。


2
专家处理此类索赔的另一种方法是不可能或障碍性结果。则以“本文使用[x]类型的参数来尝试解决同构问题,但从[a,b,c]研究中知道,这种类型存在特定障碍方法,论文似乎没有意识到这一障碍,也没有具体揭示如何克服这一障碍。” 对于同构问题和其他关键问题,例如P vs NP,有关于此的结果。
vzn 2014年

1
如果有正确的心态,尝试解决此类未解决的问题(并失败)可能是一项非常富有成果的学习练习。
Nick Alger 2014年

但是,有些疑问:证明/主张在某种程度上与“更广泛的科学界的接受”以及特定个人对它们的了解无关,其有效性。例如,当首次引入正确的证明时,作者以外的任何人都不会立即/立即“接受”它。在数学历史记录中可以找到对此动态的进一步支持。&有时在提出索赔/主张和接受之间可能要
花费

8

我对此非常怀疑(就多项式时间算法的存在性而言)。尽管并非不可能正确无误,但仍有许多警告信号:

  1. 作者尚未在同行评审的场所(即使7年后)也未发表结果。
  2. 作者似乎未在任何地方发表任何其他文章。
  3. 本文介绍了这些算法,但是正确性的主张是关于复杂性的非正式的争论。
  4. 对于一个拒绝了某些非常聪明的人尝试的问题,本文中的数学太简单了。
  5. 作者似乎与某学术机构无关。本文的新版本对此做了澄清。

同样,如果没有人识别出纸张中的缺陷,这些也不是简单的证明。也许作者具有独特的洞察力,然后又进入了完全不同的生活,但是概率的重要性却与之相反-非同寻常的主张需要非同寻常的证据。

为了详细说明(4)个最新消息,LászlóBabai最近宣称对已知的图形同构算法进行了重大改进(尚无预印本,但可以在此处找到关于他的公开演讲的不错的评论),给出了伪多项式时间算法。Babai和他的同事们绝对是非常聪明的人,并且用于获得此结果的数学方法非常困难,深入并且涵盖了图论和群论。给定概率的权重,这是在此类问题上取得重大进展的预期水平。


3
1-4点很强,但5点更多。
David Richerby 2014年

(5)不正确。该机构(显然)是柏林工业大学是由州政府资助的。(1)受此链接 /爬虫程序支持。该文件在Woeginger索赔页面上被引用。
vzn 2014年



3

Laszlo Babai声称自2015年11月11日起已找到图同构问题的拟多项式解。

...并昨天(4/1/2017)撤回了索赔

资料来源:http : //jeremykun.com/2015/11/12/a-quasipolynomial-time-algorithm-for-graph-isomorphism-the-details/


通过您提供的链接:Babai尚未发布预印本,当我问他时,他说:“很快,很快。” 直到那时。
scaaahu 2015年

该问题并未定义图同构问题算作求解将意味着什么,但最可能的解释是:有人找到了它的多项式时间算法,或者给出了不存在这种多项式时间算法的证据。 。根据这种解释,此答案不能回答问题。
DW


By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.