[논문 리뷰] Graph isomorphism and volumes of convex bodies

Shmuel Friedland|ArXiv.org|2009. 11. 09.

Point processes and geometric inequalities참고 문헌 15인용 수 3

한 줄 요약

이 논문은 그래프 이sov머피즘 문제와 원점 중심의 증가하는 반경을 가진 구와 특정 볼록 다면체의 교차 부피의 등식 사이에 새로운 등가성을 설정한다. 부피 계산을 위한 기존의 완전 무작위 다항시간 근사계량법(fpras)을 활용하여, 두 그래프 간의 이sov머피즘을 검증하기 위한 복잡도 O*(n¹⁴)의 반-fpras(semi-fpras)를 도출한다. 이는 그래프 이sov머피즘 문제의 오랜 동안 미해결된 계산 복잡도 문제를 해결할 잠재적 길을 제시한다.

ABSTRACT

We show that a nontrivial graph isomorphism problem of two undirected graphs, and more generally, the permutation similarity of two given $n imes n$ matrices, is equivalent to equalities of volumes of the induced three convex bounded polytopes intersected with a given sequence of balls, centered at the origin with radii $t_i\in (0,\sqrt{n-1})$, where $\{t_i\}$ is an increasing sequence converging to $\sqrt{n-1}$. These polytopes are characterized by $n^2$ inequalities in at most $n^2$ variables. The existence of fpras for computing volumes of convex bodies gives rise to a semi-frpas of order $O^*(n^{14})$ at most to find if given two undirected graphs are isomorphic.

연구 동기 및 목표

• 그래프 이sov머피즘의 새로운 기하학적 부피 등식 기반의 특성화를 수립하기 위해.
• 그래프 이sov머피즘 문제를 유계 볼록 집합의 부피 비교 시퀀스로 환원하기 위해.
• 기존의 볼록 부피 계산을 위한 fpras를 활용하여 그래프 이sov머피즘 테스팅을 위한 반-fpras를 설계하기 위해.
• 공명성 대칭 대칭 행렬의 순열 유사성에 대한 기하학적 프레임워크를 제공하기 위해.
• 여전히 NP에 속해 있지만 NP-완전이 아니며 P에도 속하지 않음이 알려져 있지 않은 그래프 이sov머피즘 문제에 대한 잠재적 다항시간 접근법을 제공하기 위해.

제안 방법

• 선형 행렬 방정식 SX - XT = 0 과 비음성 제약 조건 X ≥ -Jₙ 를 만족하는 세 개의 볼록 다면체 P(A,A), P(A,B), P(B,B) 를 정의한다.
• 이 다면체들의 프로베니우스 노름 반경을 사용하여 이sov머피즘을 특성화한다: G와 H는 ||P(A,B)||_F = √(n-1) 인 경우에만 이sov머피즘이다.
• 해공간 P₀(A,A), P₀(A,B), P₀(B,B) 에서 ℝ^Δ 로의 정규직교 투영 T₁, T₂, T₃ 를 구성한다. 이는 내적을 유지하며 다면체를 Δ차원 공간 내 새로운 유계 다면체 X₁, X₂, X₃ 로 변환한다.
• 투영된 다면체 Xᵢ 를 부등식 u_{(i,j),l}ᵀx ≥ -1/n 으로 정의된 반공간의 교차로 표현한다. 여기서 벡터 u 는 다항시간 내에 계산 가능하다.
• 반경 tⱼ = 2^{j/N}/n 인 중첩된 구 B(0, tⱼ) 의 시퀀스에 대해 랜덤화된 부피 추정 알고리즘을 적용한다. 이는 구간 (1/n, √(n−1)) 을 커버한다.
• 각 j 에 대해 i=1,2,3 에 대해 부피 비율 vol(Xⱼ,ᵢ)/vol(Xⱼ₋₁,ᵢ) 이 동일한지 검증한다. 상대 오차 ε 이내로 동일할 경우, 높은 확률로 이sov머피즘임을 확인한다.

실험 결과

연구 질문

• RQ1 그래프 이sov머피즘 문제는 볼록 다면체의 부피 비교 시퀀스로 환원될 수 있는가?
• RQ2 두 행렬의 순열 유사성에 대한 기하학적 특성화는 볼록 다면체와 그들이 구와의 교차에서 형성하는 구조를 통해 가능한가?
• RQ3 볼록 부피 계산을 위한 완전 무작위 다항시간 근사계량법(fpras)을 활용하여 그래프 이sov머피즘을 위한 반-fpras(semi-fpras)를 설계할 수 있는가?
• RQ4 투영된 다면체의 부피 등식을 통한 이sov머피즘 테스팅의 계산 복잡도는 무엇인가?
• RQ5 증가하는 반경을 가진 구와의 교차에서 다면체 P(A,A), P(A,B), P(B,B) 의 부피가 동일할 경우, 그래프 이sov머피즘이 성립하는가?

주요 결과

• 그래프 이sov머피즘 문제는 모든 t ∈ (0, √(n−1)) 에 대해, t 가 √(n−1) 로 수렴하는 증가하는 수열을 따라, 다면체 P(A,A), P(A,B), P(B,B) 와의 교차 부피의 등식과 등가이다.
• 이sov머피즘이 성립하려면 해공간 P₀(A,A), P₀(A,B), P₀(B,B) 의 차원이 동일해야 하며, 이는 필수 조건이다.
• 볼록 몸체의 부피 계산을 위한 fpras 가 존재함을 고려할 때, 그래프 이sov머피즘 테스팅을 위한 복잡도 O*(n¹⁴) 의 반-fpras(semi-fpras)를 설계할 수 있다.
• 모든 j 에 대해 부피 비율 vol(Xⱼ,₁)/vol(Xⱼ₋₁,₁), vol(Xⱼ,₂)/vol(Xⱼ₋₁,₂), vol(Xⱼ,₃)/vol(Xⱼ₋₁,₃) 이 상대 오차 ε 이내로 동일해야만, 이sov머피즘임을 높은 확률로 확인할 수 있다.
• 알고리즘은 O*(n¹⁴) 시간 내에 실행되며, O* 표기법은 log n 과 Δ 에 대한 다항식 인자를 흠집 없이 포함한다. 여기서 Δ ≤ (n−1)² 은 해공간의 차원이다.
• 이 방법은 정규직교 변환을 통한 Δ차원 공간으로의 해공간 투영에 의존하며, 이는 알려진 무작위 알고리즘을 활용한 효율적 부피 추정을 가능하게 한다.