グラフ同型問題は解決されましたか?


13

ウィキペディアのグラフ同型問題ページは、いや、解決されていないことを示しているようです。しかし、私の友人は、グラフ同型の多項式時間アルゴリズムを指摘しまし。私は論文の論法を十分に理解していません。

私は、証明のようなものなしに多項式時間アルゴリズムで非常に大まかな試みを行っていますが、続行する前にこの問題にうまく対処できたかどうかを知りたいです。

では、グラフ同型問題は解決されましたか?


1
価値のある質問。サイバーピアレビューでは、回答者/回答が一般性よりも実際に論文の特定のエラーを指摘した方が良いでしょう。確かにここで注意すべき点は、プロの科学者がこれらのタイプの努力について考えていることです。arXivのも、このCollat​​z予想、双子素数、ゴールドバッハ予想、など誤った論文、NP対P上の多くの他の多くのsemifamousの問題は素人の努力を誘致、例えば満ちている
vzn

7
@vzn間違いなく間違いなく論文を読むことに時間を浪費している点はないと思います。
ユヴァルフィルマス

2
@vznあなたの苦情がわかりません。DWの回答(コメントの1時間前に投稿)は、議論中のArXiv論文の特定のエラーを指摘するコメントにリンクしてます。
デビッドリチャービー14

2
@vzn ArXiv論文にはエラーが含まれています。このエラーを修正するために改訂されたわけではありません。これ以上のピアレビューの必要はありません。あなたが何を言っているのかは分かりません:反論は、発見者によって、またはその怪しいバーの後ろにたむろする麻薬の売人によってあなたに伝えられたかどうかにかかわらず、反例です高速道路。
デビッドリチャービー14

1
@vznおそらく、作成者がエラーを修正できなかったため修正されなかったでしょう。ArXivでは、原稿が不正確であることが判明した場合でも、原稿の引き出しを許可していないことに注意してください。
デビッドリチャービー14

回答:


23

いいえ。その紙には欠陥があるようです。この欠陥は、MathOverflowに関するTracy Hallのコメントで説明されています。フォローアップのコメントの著者は、後で彼のアルゴリズムに欠陥がある実現することを主張。

ユヴァルが説明するように、これらの問題を解決しようとするアマチュアからの試みを見ることは珍しくありません。彼らは欠陥がある傾向があります。有名な未解決問題(P対NP、グラフ同型など)の結果に関しては、評判の良い査読済みの会議やジャーナルで公開された文献を参照することをお勧めします-査読は完全ではありませんが、査読済みの論文正しい可能性がはるかに高い。


17

いいえ、グラフ同型問題は解決されていません。リンク先の論文は2007〜2008年のものであり、より広範な科学界で受け入れられていません。(もしあったなら、私はそれについて知っていただろう。)

グラフ同型は、他の多くの有名な問題と同様に、アマチュアによる多くの試みを引き付けます。彼らはほとんど常に間違っています。最初に研究レベルの数学の能力を発揮することなく、この問題に取り組もうとしないようにアドバイスします。


2
専門家によるこれらの種類のクレームに対処する別の方法は、不可能または障壁の結果です。さらに有益な反論は、「同型問題を解決するために[x]タイプの引数を使用しますが、このタイプには特定の障壁があることが[a、b、c]研究からわかっています。そして、この論文はこの障壁に気付いていないか、具体的にどのようにそれが克服されるかを明らかにしているようです。」同型問題および他の重要な問題、たとえばP対NPについて、これについて知られている結果があります。
vzn

1
このような未解決の問題(および失敗)を試みることは、正しい考え方で入れば、非常に有益な学習課題となります。
ニック・アルジェ

しかし、いくつかの言:証拠/主張は、「より広い科学コミュニティによる受け入れ」および特定の個人によるそれらの知識とは無関係に、ある程度まで妥当性があります。例えば、正しい証明が最初に導入されたとき、それは著者以外の誰によってもすぐに/瞬時に「受け入れられる」わけではありません。このダイナミックのさらなるサポートは、数学の歴史にあります。&ガロア、ラマヌジャンなどの場合のように、時には長い期間がクレーム/主張の導入と受け入れの間に行くことができます
vzn 14

8

(多項式時間アルゴリズムの存在の証明の意味で)それがあることは非常に疑わしいでしょう。論文が正しいことは不可能ではありませんが、いくつかの警告サインがあります。

  1. 著者は、査読済みの会場で結果を公開していません(7年後でも)。
  2. 著者は他のどこにも何も発表していないようです。
  3. 論文はアルゴリズムを示していますが、正確さの主張は複雑さについての非公式の手振りの議論です。
  4. 一部の非常に賢い人々の試みに抵抗した問題については、この論文の数学は単純すぎます。
  5. 著者は学術機関と提携していないようです。論文の新しいバージョンはこれを明確にします。

繰り返しになりますが、誰かが論文の欠陥を特定しなければ、これらはだまし証ではありません。おそらく著者は洞察のユニークなフラッシュを持っていて、完全に異なる人生に移ったが、確率の重みはそれに反している-特別な主張は特別な証拠を必要とします。

(4)最近のニュースを詳しく説明するために、LászlóBabaiは最近、既知のグラフ同型アルゴリズムの大幅な改善を主張しました(まだプレプリントはありませんが、彼の公開講義のまともな実行コメントはここにあります)擬似多項式時間アルゴリズムを提供します。ババイと彼の同僚は間違いなく非常に賢い人であり、この結果を得るために使用される数学は難しく、深く、グラフ理論とグループ理論にまたがっています。確率の重みを考えると、これはこのような問題の大幅な進歩の予想レベルです。


3
ポイント1〜4は強いが、5ははるかに状況的である。
デビッドリチャービー14

(5)は正しくありません。機関は(明らかに)ベルリン工科大学あり、一部が州の支援を受けています。(1)このリンク /ペーパークローラーによって支援されます。論文はWoegingerのクレームページで引用されています
vzn 14

3
ババイは準多項式ランタイムの主張を撤回した。どうやら分析にエラーがあったようです。
ラファエル


3

Laszlo Babaiは、2015年11月11日の時点でグラフ同型問題の準多項式解を発見したと主張しています。

... 昨日(2017年4月1日)クレーム撤回しました

出典:http : //jeremykun.com/2015/11/12/a-quasipolynomial-time-algorithm-for-graph-isomorphism-the-details/


あなたが提供したリンクから:ババイはまだプレプリントをリリースしておらず、私が彼に尋ねたとき、彼は「すぐに」と言った。それまで。
-scaaahu

質問は、グラフ同型問題を解決済みと見なすことの意味を定義していませんが、最も可能性の高い解釈は、誰かがその多項式時間アルゴリズムを見つけたか、そのような多項式時間アルゴリズムが存在しないという証拠が与えられたことです。その解釈の下では、この答えは質問に答えません。
DW

4
ババイは準多項式ランタイムの主張を撤回した。どうやら分析にエラーがあったようです。
ラファエル

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.