[논문 리뷰] Compressed Decision Problems in Hyperbolic Groups

Derek F. Holt, Markus Lohrey외 1명|arXiv (Cornell University)|2018. 08. 21.

Geometric and Algebraic Topology참고 문헌 51인용 수 4

한 줄 요약

이 논문은 초등형 군에서 압축된 단어 문제, 쌍대화 문제, 동시 쌍대화 문제, 중심화자 문제 및 배낭 문제들이 다항시간 내에 해결 가능하다는 것을 증명한다. 핵심 기여는 직선 프로그램을 이용한 단어의 단순화된 사전순 정규형을 다항시간에 계산할 수 있는 알고리즘을 제공함으로써, 이 군의 범주에서 여러 결정 문제를 효율적으로 해결할 수 있도록 하는 것이다.

ABSTRACT

We prove that the compressed word problem and the compressed simultaneous conjugacy problem are solvable in polynomial time in hyperbolic groups. In such problems, group elements are input as words defined by straight-line programs defined over a finite generating set for the group. We prove also that, for any infinite hyperbolic group G, the compressed knapsack problem in G is NP-complete.

연구 동기 및 목표

• 초등형 군에서 압축된 단어 문제의 다항시간 해결 가능성을 입증하는 것.
• 이 결과를 쌍대화 문제, 동시 쌍대화 문제, 중심화자 문제 및 배낭 문제의 압축된 형태로 확장하는 것.
• 무한 초등형 군에서 압축된 배낭 문제의 NP-완전성 증명하기.
• 초등형 군의 자동형사 군 및 외부 자동형사 군의 단어 문제의 다항시간 해결 가능성 입증하기.
• 초등형 군에서 직선 프로그램으로 표현된 군 원소의 단순화된 사전순 정규화를 위한 기초 알고리즘 제공하기.

제안 방법

• 주어진 입력 프로그램에 대해 초등형 군 내에서 단순화된 사전순 정규형을 갖는 직선 프로그램을 다항시간에 계산하는 알고리즘을 개발한다.
• 초등형 군의 기하적 성질, 특히 선형 등면적 부등식과 준볼록성 등을 이용하여 단어 길이를 유계화하고 효율적인 단순화를 가능하게 한다.
• 그로모프 초등형성과 자동 구조 이론의 결과를 적용하여 길이가 유계된 군 원소는 일정 시간 내에 처리될 수 있음을 보장한다.
• 직선 프로그램(SLP) 기법을 활용하여 군 원소를 압축적으로 표현하고 효율적으로 곱셈 및 쌍대화 연산을 수행한다.
• 연결 및 부분군 분석을 통해 압축된 동시 쌍대화 문제와 중심화자 문제를 길이 유계된 단어 문제로 환원한다.
• 정리 6.6(배낭 표현식의 해의 크기가 유계됨)을 활용하여 검색 공간을 입력 길이의 지수함수 크기로 제한하고, SLP 평가를 통한 NP 검증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 초등형 군에서 압축된 단어 문제는 다항시간 내에 해결 가능한가?
• RQ2 초등형 군에서 압축된 동시 쌍대화 문제도 다항시간 내에 해결 가능한가?
• RQ3 초등형 군에서 압축된 중심화자 문제는 효율적으로 해결 가능한가?
• RQ4 무한 초등형 군에서 압축된 배낭 문제의 계산 복잡도는 어떠한가?
• RQ5 압축된 단어 문제의 해결 가능성은 초등형 군에서 Aut(G) 및 Out(G)의 단어 문제의 다항시간 해결 가능성으로 이어지는가?

주요 결과

• 모든 초등형 군에서 압축된 단어 문제는 직선 프로그램에 대한 단순화된 사전순 정규화 알고리즘을 통해 다항시간 내에 해결 가능하다.
• 압축된 동시 쌍대화 문제 역시 다항시간 내에 해결 가능하며, 해가 존재할 경우 쌍대화 요소 역시 다항시간 내에 계산 가능하다.
• 압축된 중심화자 문제 역시 다항시간 내에 해결 가능하며, 길이가 유계된 입력에 대해서는 중심화자의 생성자를 일정 시간 내에 계산할 수 있다.
• 모든 무한 초등형 군에서 압축된 배낭 문제는 NP-완전하며, 해의 크기는 입력 크기의 다항함수로 유계된다.
• 초등형 군의 자동형사 군 및 외부 자동형사 군의 단어 문제 역시 압축된 단어 문제 및 동시 쌍대화 문제로 환원함으로써 다항시간 내에 해결 가능하다.
• 단순화된 사전순 정규화 알고리즘은 다항시간 내에 작동하며, 준볼록성과 유계된 토르션 성질을 포함한 초등형 군의 기하적·조합적 성질에 기반한다.