隣接行列の多項式を検査することによるグラフ同型への素朴なアプローチに関する文献
私はおそらく偽陽性を持っているグラフ同型へのアプローチを説明し、それが機能しないことを示す文献があるかどうか知りたいです。 2つの隣接行列所与、同型のチェックの確か素朴な方法は、行ごとかどうかをチェックすることであるの、行が存在するの列の順列であるを付し、。もう少し厳密には、質問は"ローカル同型"があるれるすべての行の。ローカル同型の生成は、行列を作成することにより、多項式時間で実行できます。次にとG,HG,HG, HuuuGGGvvvGGGuuuG[u]∼H[v]G[u]∼H[v]G[u] \sim H[v]ππ\piG[u]∼H[π(u)]G[u]∼H[π(u)]G[u] \sim H[\pi(u)]n×nn×nn\times nAAAA[u,v]=(G[u]∼H[v])A[u,v]=(G[u]∼H[v])A[u,v] = (G[u]\sim H[v])GGGHHHは局所同型であり、はサイクルカバーを持ち、すべてのサイクルカバーは局所同型です。AAA すべての通常のグラフは明らかにこの方法をだますので、少し単純な方法は、行列のべき乗を計算し、ローカル同型性をチェックして、事実を利用することですあなたが設定することにより、複数の行列を持っているあなたが見つけたときにどのようにその力、とだけ最後にサイクルカバーのチェックを。さらに少ない単純なアプローチは、演算回路の組実際、多項式のセットを見つけることである、と設定A [U、V] = 0を我々が見つけたときに、任意の多項式PとP（G）[U] \ない\シムPを（ H）[v]。G2,H2,G3,H3,…G2,H2,G3,H3,…G^2, H^2, G^3, H^3,\ldotsA[u,v]=0A[u,v]=0A[u,v] = 0Gk[u]≁Hk[v]Gk[u]≁Hk[v]G^k[u]\not\sim H^k[v]A[u,v]=0A[u,v]=0A[u,v]=0pppp(G)[u]≁p(H)[v]p(G)[u]≁p(H)[v]p(G)[u]\not\sim p(H)[v] これは私にグラフ同型への信じられないほど素朴なアプローチのように見えるので、誰かがすでにそれを調査して次のような定理を証明したと確信しています Thm無限に多くのnnn場合、非同型のn×nn×nn\times n行列G,HG,HG, Hと順列ππ\piがあり、すべての多項式ppp、p(G)p(G)p(G)とp(H)p(H)p(H)はその順列によって局所的に同型になります：p(G)∼πp(H)p(G)∼πp(H)p(G)\overset{\pi}{\sim}p(H)。 質問：そのような定理はありますか？文献を調べましたが、見つかりません。 2つの非同型行列ごとに、計算することでローカル同型が反論されるように、多項式である次数境界がある場合、または簡単に計算できる多項式、それぞれ長さが多項式で制限されているが指数関数的である場合、グラフ同型のPアルゴリズムがあります。そのような多項式（または算術回路）が推測しやすい場合は、coRPアルゴリズムがあります。非局所同型性を目撃する算術回路（のファミリ）が常に存在する場合、これはcoNPアルゴリズムを提供します。kkknnnG1,H1,…,Gpoly(n),Hpoly(n)G1,H1,…,Gpoly(n),Hpoly(n)G^1, H^1, \ldots, G^{poly(n)}, H^{poly(n)}p1,…,pkp1,…,pkp_1, \ldots ,p_k ハイパワー行列のエントリが小さいフィールドで多項式を計算することによって、たとえばそれらをモジュロ小さい素数で計算することによって大きくなりすぎるという問題を回避できることに注意してください。でCONPのアルゴリズム、証明者は、これらの素数を提供することができます。