[논문 리뷰] Enumeration of Enumeration Algorithms

K. Wasa|arXiv (Cornell University)|2016. 05. 17.

Advanced Combinatorial Mathematics참고 문헌 53인용 수 20

한 줄 요약

이 종합적 서베이는 기하학, 그래프, 초그래프, 매트로이드, 문자열, 논리 등 다양한 조합론적 도메인에 걸쳐 정렬 알고리즘을 체계적으로 정리한다. 문제 유형별로 알려진 알고리즘을 체계적으로 정리하며, 복잡도 한계, 공간 요구량, 참고문헌을 제공하며, 다항 지연과 단위 해결당 일정 평균 시간을 중심으로 하여 조합적 정렬 및 알고리즘 설계 분야의 기본 참고자료로 기능한다.

ABSTRACT

In this paper, we enumerate enumeration problems and algorithms. This survey is under construction. If you know some results not in this survey or there is anything wrong, please let me know.

연구 동기 및 목표

• 그래프, 초그래프, 문자열, 논리 등 다양한 도메인에 걸쳐 정렬 알고리즘의 통합된 최신 목록을 제공하기 위해.
• 시간 복잡도, 공간 사용량, 지연 성질(예: 다항 지연, 일정 평균 시간)을 기반으로 알려진 알고리즘을 분류하고 요약하기 위해.
• 후쿠다, 마츠이 등 다양한 연구자들의 작업을 수합하여 결과를 수집하고 정리함으로써 연구자들이 사용할 수 있는 실시간 업데이트 가능한 참고자료로 기능하기 위해.
• 기존 문헌의 빈도와 격차를 식별함으로써 효율적인 정렬 알고리즘 개발을 지원하기 위해.
• 문제 유형과 알고리즘 기법에 대한 체계적인 개요를 제공함으로써 조합적 정렬 분야의 연구를 촉진하기 위해.

제안 방법

• 기하학, 그래프 이론, 초그래프, 매트로이드, 순서 이론, 논리, 순열, SAT, 집합, 문자열, 서베이를 포함한 11개의 주요 섹션으로 정렬 문제를 분류한다.
• 각 문제에 대해 입력, 출력, 총 시간 복잡도 및 단위 해결당 지연 시간, 공간 복잡도, n(입력 크기), N(해결 수), m(제약 조건 수)와 같은 핵심 파rameter를 기재한다.
• 깊이 우선 탐색, 백트래킹, 동적 프로그래밍과 같은 알려진 알고리즘 기법을 사용하며, 효율적인 생성을 위해 힙 또는 트라이와 같은 데이터 구조를 종종 함께 활용한다.
• 기하 문제(예: 정규 삼등분)의 경우 선형 프로그래밍(LP) 서브루틴을 활용하며, 복잡도는 LP 해법 시간에 따라 달라진다.
• 리드론 단어, 목걸이, 팔찌 등을 활용한 조합 생성 기법을 적용하여 출력당 일정 평균 시간을 달성한다.
• 기존 문제(예: 삼등분을 위한 최대 독립 집합)로의 감소 및 CAT(일정 평균 시간) 알고리즘과 같은 기존 정렬 프레임워크를 활용한다.

실험 결과

연구 질문

• RQ1 스패닝 트리, 클리크, 삼등분과 같은 기본 조합 문제에 대해 가장 효율적인 정렬 알고리즘은 무엇인가?
• RQ2 어느 정렬 문제들이 다항 지연 또는 단위 해결당 일정 평균 시간을 제공할 수 있으며, 그 뒤에 있는 알고리즘 원리는 무엇인가?
• RQ3 정렬 알고리즘을 체계적으로 분류하고 정리하면 연구 및 구현에 어떻게 기여할 수 있는가?
• RQ4 다양한 문제 유형 간에 총 시간, 지연, 공간 사용량 간의 주요 복잡도 트레이드오프는 무엇인가?
• RQ5 어느 문제들은 아직 열려 있거나 효율적인 정렬 알고리즘이 부족한가? 연구자들이 이러한 격차를 메우기 위해 어떻게 기여할 수 있는가?

주요 결과

• 평면상의 $n$개 점 사이의 $k$개의 최소 거리를 $O(n\text{log}n + k\text{log}k)$ 총 시간에 정렬할 수 있으며, 이는 $O(n+k)$ 공간을 사용한다.
• 점 집합에서의 교차하지 않는 완전 매칭의 정렬은 $O(2^n n^4)$ 전처리 시간 이후에 다항 지연을 달성한다.
• 고정 밀도 $d$를 가진 $k$-진 목걸이의 정렬은 총 시간 $O(nN)$, 공간 $O(n)$에 수행되며, 여기서 $N$은 해의 수이다.
• 고급 조합 생성 기법을 활용하여 $k$-진 목걸이, 팔찌, 금지된 부분문자열을 포함한 문자열의 정렬에서 단위 해결당 일정 평균 시간을 달성한다.
• $d$차원 공간에서의 모든 정규 삼등분의 정렬은 $O(ds \cdot \text{LP}(r,ds) \cdot T)$ 시간에 수행되며, 여기서 $T$는 삼등분의 수이고 $\text{LP}$는 선형 프로그래밍을 해결하는 데 걸리는 시간이다.
• 평면상 점 집합의 모든 삼등분에 대한 정렬 알고리즘은 총 시간 $O(|P|N)$, 공간 $O(|P|)$에 수행되며, 여기서 $N$은 삼등분의 수이다.