[论文解读] 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) 的解空间基，并测试至多五个基向量的所有线性组合以满足二次约束 (6)。
• 应用旋转方法在 O(n⁴) 时间内计算基，并在 O(n⁵) 时间内验证二次条件，从而得到整体 O(n⁵) 的算法。

实验结果

研究问题

• RQ1 鉴于相关方程的非线性性质，是否能够高效判定奇数阶有限域上非二元标记图的局部等价性？
• RQ2 当两个图是局部等价时，其等价方程解空间表现出何种结构性质？
• RQ3 如何利用等价系统解空间的性质来缩小有效变换的搜索空间？
• RQ4 是否存在解空间余维的统一有界值，以实现候选变换的高效枚举？
• RQ5 该问题是否可简化为检查基向量的少量线性组合以验证等价性？

主要发现

• 该算法的时间复杂度为 O(n⁵)，提供了非二元情况下局部等价性问题的首个已知多项式时间解法。
• 若两个图是局部等价的，则其关联的解空间在完整解空间中包含一个余维至多为 5 的仿射子空间。
• 解空间的结构保证了解总可表示为从计算所得基中至多五个基向量的线性组合。
• 该方法通过利用同调系统的几何性质和有界余维，显著缩小了有效变换的搜索空间。
• 该算法高效且具通用性，通过处理奇特征域中更复杂的非线性结构，推广了先前的二元结果。
• 该框架在图的局部等价性与有限域上同调系统的几何结构之间建立了严谨的联系。