[论文解读] Graph Isomorphism and Circuit Size

Eric Allender, Joshua A. Grochow+3 more|arXiv (Cornell University)|Nov 25, 2015

Complexity and Algorithms in Graphs参考文献 6被引用 5

一句话总结

本文建立了一個從圖形自同構（GA）問題到剛性圖同構（Rigid GI）承諾問題的智能約化，證明僅透過對具有非平凡自同構的圖對進行查詢，即可解決GA問題。其主要貢獻在於此約化保持了承諾條件，使其具備魯棒性與效率，並表明若Rigid GI屬於承諾-coRP或承諾-coUP，則GA將分別屬於ZPP或UP ∩ coUP。

ABSTRACT

It is well-known [KST93] that the complexity of the Graph Automorphism problem is characterized by a special case of Graph Isomorphism, where the input graphs satisfy the "promise" of being rigid (that is, having no nontrivial automorphisms). In this brief note, we observe that the reduction of Graph Automorphism to the Rigid Graph Ismorphism problem can be accomplished even using Grollman and Selman's notion of a "smart reduction".

研究动机与目标

• 將圖形自同構（GA）問題至剛性圖同構（Rigid GI）承諾問題的智能約化形式化。
• 證明此約化避免查詢非剛性圖，從而保持承諾條件。
• 顯示若對Rigid GI有複雜度類假設，則可推導出GA的對應複雜度類，例如ZPP或UP ∩ coUP。
• 即使原始工作已被後續研究取代，仍保持此約化對未來複雜度理論分析的實用性。

提出的方法

• 針對 i ≥ 1，構造修改後的圖 G_{[j,k]}^{(i-1)}，其中頂點 1 到 i−1 擁有獨特標籤，頂點 j 和 k 分別標記為顏色 r 和 b。
• 從 n−1 開始，對頂點索引 i 進行遞迴搜尋，找出第一組三元組 (i,j,k)，使得 G_{[i,j]}^{(i-1)} 和 G_{[k,i]}^{(i-1)} 同構。
• 透過對頂點 i 及以上使用唯一顏色標籤，確保所有查詢圖均為剛性，從而不存在非平凡自同構。
• 僅在滿足剛性條件的圖對上使用Rigid GI承諾Oracle，因此此約化稱為「智能」，避免了無效查詢。
• 利用此點：若此類著色圖之間同構，則表示原圖 G 中存在非平凡自同構。
• 將此約化與承諾複雜度類（例如承諾-coRP、承諾-coUP）結合，推導出GA的複雜度後果。

实验结果

研究问题

• RQ1 能否以僅查詢剛性圖對的方式，建立從圖形自同構到剛性圖同構的智能約化？
• RQ2 若Rigid GI屬於承諾-coRP或承諾-coUP，會產生何種複雜度類影響？
• RQ3 若存在從GA到Rigid GI的智能約化，是否意味在特定假設下，GA會屬於ZPP或UP ∩ coUP？
• RQ4 能否在不依賴非剛性圖查詢的情況下構造出基於承諾的約化，從而保持承諾條件下的正確性？
• RQ5 此智能約化技術是否適用於圖論與複雜度理論中的其他承諾問題？

主要发现

• 存在從圖形自同構到剛性圖同構的智能約化，所有查詢均僅針對剛性圖對，滿足承諾條件。
• 若Rigid GI屬於承諾-coRP，則圖形自同構屬於ZPP，表示存在具有有界錯誤的高效隨機化演算法。
• 若Rigid GI屬於承諾-coUP，則圖形自同構屬於UP ∩ coUP，表示對所有「是」與「否」實例均有唯一接受路徑。
• 此約化透過系統性搜尋頂點索引與著色圖構造實現，同時保持剛性並檢測自同構。
• 結果顯示GA的複雜度與Rigid GI的複雜度緊密相關，特別是在基於承諾的複雜度類下。
• 證明基於標準KST93約化的修改，確保所有查詢均落在承諾集 Y ∪ N 內，因此符合「智能」定義。