グラフ同型の現在の既知の硬さは何ですか?


21

P-hardであることが知られているファクタリングの質問に触発されて、グラフ同型の硬さに関する現在の類似した知識の状態はどうなっているのでしょうか。GIがPにあるかどうかは現在不明であると確信していますが、次のとおりです。

GIがより難しい現在知られている最大のクラスは何ですか?

ような質問で回答されませんでした)

コメントのいくつかに対処するために、GIが現在知られている最大のクラスを知りたいのですが、問題は完全です。GIの既知のアルゴリズムは、スーパー多項式関数によって上限が設定されており、NPのメンバーです。しかし、GIがP-hardであることは知られていません。私はそれがCハードであることがわかっているクラスCを知りたいです、そしてできればできるだけ包括的です。


2
「似たような質問には答えられませんでした」本当ですか?ジョシュア・グロチョウの答えがここの質問に答えていると思います。
タイソンウィリアムズ

こちらの「複雑度クラスGI」セクションをご覧ください:en.wikipedia.org/wiki/Graph_isomorphism_problem
アーロンスターリング

3
@Tysonと彼のコメントに賛成票を投じた人:Mitchが言っていることは、そこにある答えはGraph Isomorphismの上限ではなく、Graph Isomorphismの上限を示しているだけだと思います。
伊藤剛

これを重複した質問とは思わないことを付け加えます。ジョシュアの答えは上限を与えます。この質問は、「GIは少なくともAC0は難しいですか?」-はい、@ Tsuyoshiに同意します。
アーロンスターリング

6
平面グラフについては、Lに対して完全であることが知られています... theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…を
ジョシュアハーマン

回答:


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