[論文レビュー] An Efficient Algorithm to Recognize Locally Equivalent Graphs in Non-Binary Case

Mohsen Bahramgiri, Salman Beigi|ArXiv.org|Feb 9, 2007

Graph Labeling and Dimension Problems参考文献 5被引用数 3

ひとこと要約

本稿では、奇数位数の有限体上のラベル付きグラフ間の局所同型性を決定する、最初の効率的な多項式時間アルゴリズムを提示する。これは、二値の局所補完の一般化である。等長的系と解空間の代数的構造を活用することで、問題を有界な余次元のアフィン部分空間のチェックに還元し、基底の列挙と制約検証によりO(n⁵)の解法が可能となる。

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.

研究の動機と目的

• 奇数位数の有限体上のラベル付きグラフの局所同型性を決定する効率的なアルゴリズムを開発すること。これは二値の場合を越えて一般化することを目的とする。
• 非二値の局所同型性が線形化可能な二値の場合とは異なり、非線形方程式系を含むという課題に対処すること。
• 解空間の構造的性質を活用するため、等長的系を用いた幾何的枠組みを確立し、グラフ同型性をモデル化すること。
• 二つのグラフが局所同型である場合、その解空間に余次元が最大5であるような大きなアフィン部分空間が含まれることを証明すること。これにより、効率的な探索が可能となる。

提案手法

• 局所同型性をモデル化するための幾何的対象として等長的系を導入し、代数的方程式系の可解性によって同型性を定義する。
• 各ラベル付きグラフに等長的系を関連付け、グラフの局所同型性が等長的系の同型性に一致することを示す。
• 局所同型性問題を、変数が変換パラメータを表すF_q上での線形および二次方程式系の解法として定式化する。
• 同型なグラフの解空間が、余次元が5未満のアフィン部分空間を含むことを証明する。これにより、効率的な探索が可能となる。
• 方程式 (5) の線形方程式の解空間の基底を用意し、その基底ベクトルから最大5個の線形結合をすべて試行して、二次制約 (6) を満たすかを検証する。
• ピボット法を用いて基底をO(n⁴)時間で計算し、二次条件をO(n⁵)時間で検証することで、全体としてO(n⁵)時間のアルゴリズムを実現する。

実験結果

リサーチクエスチョン

• RQ1 非二値ラベル付きグラフの局所同型性は、関連する方程式が非線形であるにもかかわらず、奇数位数の有限体上で効率的に決定可能だろうか？
• RQ2 二つのグラフが局所同型である場合、その同型方程式の解空間が示す構造的性質は何か？
• RQ3 同型方程式の解空間は、有効な変換の探索空間を縮小するためにどのように活用できるか？
• RQ4 解空間の余次元に一様な上限が存在するか。その場合、候補となる変換の列挙が効率的に行えるか？
• RQ5 同型性の検証に、基底ベクトルの少数の線形結合をチェックする問題に還元可能だろうか？

主な発見

• アルゴリズムはO(n⁵)時間で実行され、非二値の場合における局所同型性の決定のための、これまでに知られている最初の多項式時間解法である。
• 二つのグラフが局所同型である場合、それらに関連する解空間には、全解空間内での余次元が5未満のアフィン部分空間が含まれる。
• 解空間の構造により、解は常に計算済みの基底から最大5個のベクトルの線形結合として得られることが保証される。
• 等長的系の幾何的性質と有界な余次元を活用することで、有効な変換の探索空間が大幅に削減される。
• アルゴリズムは効率的であり、奇数標数体の非線形構造を扱えるという点で、従来の二値結果を一般化している。
• この枠組みにより、有限体上のグラフの局所同型性と等長的系の幾何学的性質の間の明確な数学的関係が確立される。