[논문 리뷰] Bidirectional Collision Detection and Faster Deterministic Isomorphism Testing

David J. Rosenbaum|arXiv (Cornell University)|2013. 04. 14.

Complexity and Algorithms in Graphs참고 문헌 11인용 수 12

한 줄 요약

이 논문은 군, 환, 그래프에서의 동형성 테스트에 대해 제곱근 속도 향상을 달성하는 새로운 결정론적 알고리즘 프레임워크인 이방향 충돌 검출을 소개한다. 정방향과 역방향에서 효율적으로 충돌을 탐지함으로써 일반 군 동형성의 런타임을 $ n^{(1/2)/log n + O(1)} $로 줄였으며, 오랫동안 유지되어 온 $ n^{/log n + O(1)} $의 생성자 순회 방법보다 크게 향상시켰다.

ABSTRACT

In this work, we introduce bidirectional collision detection --- a new algorithmic tool that applies to the collision problems that arise in many isomorphism problems. For the group isomorphism problem, we show that bidirectional collision detection yields a deterministic n^((1 / 2) log n + O(1)) time algorithm whereas previously the n^(log n + O(1)) generator-enumeration algorithm was the best result for several decades. For the hard special case of solvable groups, we combine bidirectional collision detection with methods from the author's previous work to obtain a deterministic square-root speedup over the best previous algorithm. We also show a deterministic square-root speedup over the best previous algorithm for testing isomorphism of rings. We can even apply bidirectional collision detection to the graph isomorphism problem to obtain a deterministic T^(1 / sqrt(2)) speedup over the best previous deterministic algorithm. Although the space requirements for our algorithms are greater than those for previous deterministic isomorphism tests, we show time-space tradeoffs that interpolate between the resource requirements of our algorithms and previous work.

연구 동기 및 목표

• 일반 군 동형성에 대한 결정론적 알고리즘을 $ n^{/log n + O(1)} $의 생성자 순회 기반을 초월해 향상시키는 오랫동안 남아 있던 열린 문제를 해결하기 위해.
• 이러한 속도 향상을 단일 알고리즘 프레임워크를 통해 가역군, 환, 그래프 동형성 문제로 확장하기 위해.
• 새로운 알고리즘과 생성자 순회 방법의 자원 요구량을 연결하는 결정론적 시간-공간 트레이드오프를 수립하기 위해.
• 양자 충돌 검출의 수정을 통해 동형성 문제에 대한 양자 시간-공간 트레이드오프를 탐색하기 위해.

제안 방법

• 동형성 문제에서 충돌 탐색을 결정론적으로 가속화하기 위한 새로운 기법으로 이방향 충돌 검출을 제안한다.
• 이를 군 동형성에 적용하기 위해 두 개의 후보 동형사상 집합을 구성하고, 양방향 탐색을 통해 공통 원소가 존재하는지 확인한다.
• 검색 공간의 블록 분해를 사용하여 시간-공간 트레이드오프를 유도하며, 생성자 순회와 새로운 알고리즘이 극단점이 되도록 한다.
• 가역군에 대해 이방향 충돌 검출을 기존 기법과 조합하여 네제곱근 속도 향상을 달성한다.
• 환 동형성에 이 프레임워크를 적용하기 위해 환에 대한 생성자 순회의 유사 기법을 사용한다.
• 그래프 동형성에 이 방법을 적용하여 이전까지 가장 뛰어난 결정론적 알고리즘 대비 $ T^{1/ackslashsqrt{2}} $의 속도 향상을 얻는다.

실험 결과

연구 질문

• RQ1 이방향 충돌 검출을 사용하여 일반 군 동형성에 대해 결정론적 제곱근 속도 향상을 달성할 수 있는가?
• RQ2 기존 기법과 결합했을 때 이 프레임워크를 통해 가역군 동형성에 대해 네제곱근 속도 향상을 달성할 수 있는가?
• RQ3 이방향 충돌 검출을 환 동형성에 적용하여 유사한 제곱근 속도 향상을 달성할 수 있는가?
• RQ4 이 방법을 그래프 동형성에 적응시켜 비트리비얼한 결정론적 속도 향상을 달성할 수 있는가?
• RQ5 이 새로운 프레임워크를 사용하여 동형성 문제에 대해 달성 가능한 시간-공간 트레이드오프는 무엇인가?

주요 결과

• 이방향 충돌 검출은 일반 군 동형성에 대해 결정론적 $ n^{(1/2)/log n + O(1)} $ 시간 알고리즘을 제공하며, $ n^{/log n + O(1)} $의 생성자 순회 방법에 비해 제곱근 속도 향상을 달성한다.
• 가역군의 경우, 이방향 충돌 검출을 기존 기법과 조합하면 결정론적 $ n^{(1/4)/log n + O(/log n/ackslashlogackslashlog n)} $ 시간 알고리즘이 도출되며, 네제곱근 속도 향상을 달성한다.
• 환 동형성에 대해서도 결정론적 제곱근 속도 향상이 달성되었으며, 군 동형성에서 관찰된 성능 향상과 동일하다.
• 그래프 동형성의 경우, 이 방법은 이전까지 가장 뛰어난 결정론적 알고리즘 대비 $ T^{1/ackslashsqrt{2}} $의 속도 향상을 제공한다.
• 시간-공간 트레이드오프가 수립되었으며, 일반 군의 경우 $ TS = n^{/log n + O(1)} $, $ S \leq n^{(1/2)/log n + O(1)} $이고, 가역군의 경우 $ TS = n^{(1/2)/log n + O(/log n/ackslashlogackslashlog n)} $이다.
• 양자 시간-공간 트레이드오프가 유도되었으며, 일반 군의 경우 $ T\sqrt{S} = n^{(1/2)/log n + O(1)} $, 가역군의 경우 $ T\sqrt{S} = n^{(1/4)/log n + O(/log n/ackslashlogackslashlog n)} $이다.