[논문 리뷰] On the Group and Color Isomorphism Problems.

François Le Gall, David J. Rosenbaum|arXiv (Cornell University)|2016. 09. 27.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 3

한 줄 요약

이 논문은 대칭군의 조합 인자를 제외한 제한된 색상 이somorphism 문제와 군 이somorphism 간의 밀접한 연결을 수립한다. 군 이somorphism이 n^(O(log log n)) 시간 내에 이 제한된 색상 이somorphism 문제로 감소됨을 보이며, 더 빠른 알고리즘의 주요 장애물로 프로젝티브 특수 선형군을 규명한다. 이는 그래프 이somorphism에서 대칭군이 차지하는 역할과 유사하다.

ABSTRACT

In this paper, we prove results on the relationship between the complexity of the group and color isomorphism problems. The difficulty of color isomorphism problems is known to be closely linked to the the composition factors of the permutation group involved. Previous works are primarily concerned with applying color isomorphism to bou nded degree graph isomorphism, and have therefore focused on the alternating composit ion factors, since those are the bottleneck in the case of graph isomorphism. We consider the color isomorphism problem with composition factors restricted to those other than the alternating group, show that group isomorphism reduces in n^(O(log log n)) time to this problem, and, conversely, that a special case of this color isomorphism problem reduces to a slight generalization of group isomorphism. We then sharpen our results by identifying the projective special linear group as the main obstacle to faster algorithms for group isomorphism and prove that the aforementioned reduc tion from group isomorphism to color isomorphism in fact produces only cyclic and projective special linear factors. Our results demonstrate that, just as the alternatin g group was a barrier to faster algorithms for graph isomorphism for three decades, the projective special linear group is an obstacle to faster algorithms for group isomorphism.

연구 동기 및 목표

• 군 이somorphism과 색상 이somorphism 문제 간의 복잡도 관계를 이해하기 위해.
• 더 빠른 군 이somorphism 알고리즘을 방해하는 조합 인자를 규명하기 위해.
• 대칭군 조합 인자를 제외한 군 이somorphism이 색상 이somorphism 문제로 감소됨을 보여주기 위해.
• 프로젝티브 특수 선형군이 이 감소 과정에서 중심적인 장애물임을 입증하기 위해.

제안 방법

• 조합 인자를 비대칭군으로 제한한 색상 이somorphism 문제로 군 이somorphism을 감소시키기.
• 대칭군 이외의 조합 인자를 중심으로 하는 순열군의 구조 분석하기.
• 감소 과정에서 프로젝티브 특수 선형군이 지배적인 요소로 나타남을 규명하기.
• 감소 과정에서 유일하게 순환군과 프로젝티브 특수 선형군 인자만 생성됨을 증명하기.
• 군 이론적 기법을 사용하여 이somorphism 문제의 복잡도 분석하기.
• 특수한 색상 이somorphism 문제의 일례와 일반화된 군 이somorphism 문제 간의 상하향 감소 관계 수립하기.

실험 결과

연구 질문

• RQ1 대칭군 조합 인자를 제외할 경우 군 이somorphism과 색상 이somorphism 간의 복잡도 관계는 어떻게 되는가?
• RQ2 왜 프로젝티브 특수 선형군이 군 이somorphism 알고리즘에서 버티어로 작용하는가?
• RQ3 군 이somorphism은 지수 시간 이하로 제한된 색상 이somorphism 문제로 감소시킬 수 있는가?
• RQ4 이러한 감소 과정에서 나타나는 순열군의 구조적 특성은 무엇인가?
• RQ5 군 이somorphism에 대한 결과는 그래프 이somorphism에서 대칭군이 차지했던 역사적 역할과 어떻게 비교되는가?

주요 결과

• 대칭군 조합 인자를 제외한 경우 군 이somorphism은 n^(O(log log n)) 시간 내에 제한된 색상 이somorphism 문제로 감소한다.
• 감소 과정에서 유일하게 순환군과 프로젝티브 특수 선형군 인자만 생성되며, 후자가 주요 장애물로 규명된다.
• 제한된 색상 이somorphism 문제의 특수한 경우는 일반화된 군 이somorphism 문제로 감소한다.
• 프로젝티브 특수 선형군은 그래프 이somorphism에서 대칭군이 차지하는 역할과 유사하게, 더 빠른 알고리즘을 방해하는 장애물로 작용한다.
• 제한된 조합 인자를 가정할 때 군 이somorphism과 색상 이somorphism 간의 밀접한 구조적 및 복잡도 연결을 수립한다.
• 결과는 군 이somorphism 알고리즘의 진전이 프로젝티브 특수 선형군이 야기하는 과제를 극복하는 데 달려 있음을 시사한다.