[논문 리뷰] An Efficient Algorithm to Recognize Locally Equivalent Graphs in Non-Binary Case

Mohsen Bahramgiri, Salman Beigi|ArXiv.org|2007. 02. 09.

Graph Labeling and Dimension Problems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 홀수 차수의 유한체 위에서 레이블이 부여된 그래프 간 국소 등가성(local equivalence)을 결정하는 데 있어 처음으로 효율적인 다항식 시간 알고리즘을 제시한다. 이는 이진 국소 보완성의 일반화이다. 등차계 시스템과 해 공간의 대수적 구조를 활용하여 문제를 유한 차원의 약한 부분공간으로 줄이며, 기저 열거와 제약 조건 검증을 통해 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의 약한 부분공간이 그 해 공간에 포함되어 있음을 보여준다.
• 해 공간의 구조는 항상 계산된 기저에서 최대 다섯 개의 기저 벡터의 선형 조합으로 해를 찾을 수 있음을 보장한다.
• 등차계 시스템의 기하적 성질과 유계 차원을 활용하여 유효한 변환을 위한 탐색 공간을 줄이는 데 성공하였다.
• 이 알고리즘은 비선형적인 홀수 특성의 체에서의 복잡한 구조를 다룰 수 있어 이전의 이진 결과를 일반화하며 효율적이다.
• 이 프레임워크는 그래프의 국소 등가성과 유한체 위에서의 등차계 시스템 기하학 간 엄밀한 연결 고리를 확립한다.