[논문 리뷰] Graph Isomorphism and Circuit Size

Eric Allender, Joshua A. Grochow외 3명|arXiv (Cornell University)|2015. 11. 25.

Complexity and Algorithms in Graphs참고 문헌 6인용 수 5

한 줄 요약

이 논문은 그래프 자동동형성(GA) 문제를 강한 그래프 이sov모르피즘(Rigid GI)의 약속 문제로 지능적인 감소를 구축하며, 비자기적 자동동형성이 없는 쌍(즉, 강한 그래프)에만 질의를 사용하여 GA를 해결할 수 있음을 보여준다. 주요 기여는 이러한 감소가 약속 조건을 유지하므로 강건하고 효율적이며, Rigid GI가 약속-공-RP 또는 약속-공-UP에 속해 있다면 GA는 각각 ZPP 또는 UP ∩ coUP에 속한다는 것을 의미한다.

ABSTRACT

It is well-known [KST93] that the complexity of the Graph Automorphism problem is characterized by a special case of Graph Isomorphism, where the input graphs satisfy the "promise" of being rigid (that is, having no nontrivial automorphisms). In this brief note, we observe that the reduction of Graph Automorphism to the Rigid Graph Ismorphism problem can be accomplished even using Grollman and Selman's notion of a "smart reduction".

연구 동기 및 목표

• 그래프 자동동형성(GA) 문제에서 강한 그래프 이sov모르피즘(Rigid GI) 약속 문제로의 지능적인 감소를 체계화하기.
• 비강성 그래프에 질의하지 않고도 약속 조건을 유지하는 감소를 보여주기.
• Rigid GI에 대한 복잡도 클래스 가정이 GA에 대해 ZPP 또는 UP ∩ coUP와 같은 해당 클래스를 유도함을 보여주기.
• 원래 작업이 대체되었음에도 불구하고 향후 복잡도 이론적 분석에 유용한 감소를 유지하기.

제안 방법

• i ≥ 1일 때, 정점 1부터 i-1까지는 서로 다른 레이블을 부여하고, 정점 j와 k에는 각각 빨간색(r)과 파란색(b)의 색상 레이블을 부여한 수정된 그래프 G_{[j,k]}^{(i-1)}를 구성하기.
• n−1부터 시작하여 정점 인덱스 i에 대해 재귀적 검색 전략을 사용하여, G_{[i,j]}^{(i-1)}와 G_{[k,i]}^{(i-1)}가 이sov모르픽인 첫 번째 삼중조합 (i,j,k)을 찾기.
• 모든 질의된 그래프가 강성 조건을 만족하도록 정점 i 이상의 정점에 고유한 색상 레이블을 부여하여 비자기적 자동동형성이 존재하지 않도록 하기.
• 강성 조건을 만족하는 쌍에만 Rigid GI 약속 오라클을 사용함으로써, 무의미한 질의를 피하는 방식으로 감소를 '지능적'으로 만들기.
• 이러한 색상 레이블이 부여된 그래프 간의 이sov모르피즘이 원래 그래프 G의 비자기적 자동동형성이 존재함을 의미함을 활용하기.
• Rigid GI 약속 복잡도 클래스(예: 약속-coRP, 약속-coUP)와 감소를 조합하여 GA에 대한 복잡도 결과 유도하기.

실험 결과

연구 질문

• RQ1 그래프 자동동형성 문제를 강한 그래프 이sov모르피즘 문제로 지능적인 감소를 통해 비강성 그래프 쌍에만 질의하여 감소시킬 수 있는가?
• RQ2 Rigid GI가 약속-coRP 또는 약속-coUP에 속해 있다면 어떤 복잡도 클래스 영향이 발생하는가?
• RQ3 GA에서 Rigid GI로의 지능적인 감소가 존재할 경우, 특정 가정 하에 GA가 ZPP 또는 UP ∩ coUP에 속한다는 것을 의미하는가?
• RQ4 비강성 그래프 질의에 의존하지 않고도 약속 조건을 유지하면서 약속 기반 감소를 구성할 수 있는가?
• RQ5 지능적인 감소 기법은 그래프 이론 및 복잡도 이론의 다른 약속 문제에도 적용 가능한가?

주요 결과

• 모든 질의가 강성 그래프 쌍에만 이루어지며 약속 조건을 만족하는 그래프 자동동형성 문제에서 강한 그래프 이sov모르피즘 문제로의 지능적인 감소가 존재한다.
• Rigid GI가 약속-coRP에 속해 있다면, 그래프 자동동형성 문제는 ZPP에 속하며, 이는 오차가 제한된 효율적인 랜덤 알고리즘을 의미한다.
• Rigid GI가 약속-coUP에 속해 있다면, 그래프 자동동형성 문제는 UP ∩ coUP에 속하며, 이는 참 및 거짓 인스턴스에 대해 고유한 수용 경로가 존재함을 의미한다.
• 감소는 정점 인덱스에 대한 체계적 검색과 강성과 자동동형성 탐지를 유지하는 색상 그래프 구성 방식을 통해 구성된다.
• 결과적으로 GA의 복잡도는 Rigid GI의 복잡도와 밀접하게 연결되어 있으며, 특히 약속 기반 복잡도 클래스에서 그러한 연결이 뚜렷하다.
• 표준 KST93 감소의 변형을 기반으로 한 증명으로, 모든 질의가 약속 집합 Y ∪ N 내에 존재하므로 지능적인 감소로 간주된다.