[論文レビュー] An Efficient Algorithm to Recognize Locally Equivalent Graphs

Mohsen Bahramgiri, Salman Beigi|arXiv (Cornell University)|Feb 9, 2007

Graph Labeling and Dimension Problems被引用数 1

ひとこと要約

本稿では、奇数の有限体 𝔽_q 上のラベル付きグラフが一般化された局所補完操作によってローカルに同値であるかどうかを決定する最初の効率的アルゴリズムを提示する。体の演算を用いて二進法の局所補完を任意の奇数体に拡張することで、不変量に基づく比較により効率的に同値性を検査する手法が得られ、非二進の場合の計算グラフ理論における顕著な進展をもたらす。

ABSTRACT

Let $v$ be a vertex of a graph $G$. By the local complementation of $G$ at $v$ we mean to complement the subgraph induced by the neighbors of $v$. This operator can be generalized as follows. Assume that, each edge of $G$ has a label in the finite field $\mathbf{F}_q$. Let $(g_{ij})$ be set of labels ($g_{ij}$ is the label of edge $ij$). We define two types of operators. For the first one, let $v$ be a vertex of $G$ and $a\in \mathbf{F}_q$, and obtain the graph with labels $g'_{ij}=g_{ij}+ag_{vi}g_{vj}$. For the second, if $0 eq b\in \mathbf{F}_q$ the resulted graph is a graph with labels $g''_{vi}=bg_{vi}$ and $g''_{ij}=g_{ij}$, for $i,j$ unequal to $v$. It is clear that if the field is binary, the operators are just local complementations that we described. The problem of whether two graphs are equivalent under local complementations has been studied, \cite{bouchalg}. Here we consider the general case and assuming that $q$ is odd, present the first known efficient algorithm to verify whether two graphs are locally equivalent or not.

研究の動機と目的

• 非二進の有限体上のグラフの局所的同値性を効率的に判定するためのアルゴリズムの欠落を埋める。
• 二進法の局所補完を、任意の奇数の有限体 𝔽_q 上の操作に一般化する。
• これらの一般化された操作の下で、二つのラベル付きグラフが同値であるかどうかを検証する計算的に効率的な手法を開発する。
• 既存の二進法の同値性に関する結果を、奇数の特徴を持つ体のより広範な設定に拡張する。
• 符号理論、量子情報、組合せ論の分野で構造的グラフを扱う研究者にとって実用的なツールを提供する。

提案手法

• 辺ラベルが 𝔽_q に属するグラフに対して、二つの一般化された局所補完操作を定義する：一つは体スカラー a を含む双線形項を加えるもので、もう一つは頂点に接続する辺を非ゼロスカラー b でスケーリングするものである。
• 体の演算を用いて、各操作における変換後の辺ラベルを計算する：第一の操作では g'_{ij} = g_{ij} + a g_{vi} g_{vj} であり、第二の操作では g''_{vi} = b g_{vi}、g''_{ij} = g_{ij}（i,j ≠ v）である。
• 同値なグラフにおいても不変のままとなる不変量を構築し、効率的な比較を可能にする。
• これらの不変量を用いて、同値性問題を 𝔽_q 上の代数的チェックの系列に還元し、全探索を回避する。
• 体の奇数の特徴を活用して、変換規則における逆元の存在と退化の回避を保証する。
• グラフのペアの決定的比較を可能にするために、操作に基づいた正規形の計算戦略を設計する。

実験結果

リサーチクエスチョン

• RQ1 局所補完の概念は、奇数の有限体 𝔽_q 上のラベル付きグラフに、意味的な同値性を保つ形で一般化可能か？
• RQ2 これらの一般化された操作が、効率的な同値性チェックを可能にする代数的性質は何か？
• RQ3 効率的に計算可能で、グラフの同値性をテストするために使用できる不変量の集合は存在するか？
• RQ4 奇数体上のグラフに対して、局所的同値性を多項式時間で判定するアルゴリズムを構築可能か？
• RQ5 既存の二進体に限定されたアプローチと比較して、提案手法は効率性と正しさの点でどのように異なるか？

主な発見

• 本稿では、奇数の有限体上でのグラフの局所的同値性をテストする最初の既知の効率的アルゴリズムを提示する。
• 一般化された局所補完操作は、体の演算を用いて二進法の局所補完を任意の奇数体に拡張する。
• アルゴリズムは、体の構造から導かれる代数的不変量に依存し、ブルートフォース探索を回避する。
• q が奇数であるという仮定の下で、正しさと効率性が保証され、逆元の存在などの体の性質が維持される。
• 本手法により、量子コード設計やグラフ論的符号理論の応用分野における局所的同値性の実用的検証が可能になる。
• 先行研究が二進体に限定されていたのを大幅に拡張し、適用可能なグラフ同値性テストの範囲を著しく広げた。