[논문 리뷰] Fast Parallel Fixed-Parameter Algorithms via Color Coding

Max Bannach, Christoph Stockhusen외 1명|arXiv (Cornell University)|2015. 09. 23.

Advanced Graph Theory Research참고 문헌 4인용 수 14

한 줄 요약

이 논문은 색 코드화를 사용하여 빠른 병렬 고정 매개변수 알고리즘을 설계하는 프레임워크를 제안하며, 정점 커버, 그래프 패킹, 클러스터 편집, 정점 분리와 같은 수많은 NP-난이도 그래프 문제들이 매개변수에만 의존하는 상수 시간 병렬 시간 또는 시간 내에 해결될 수 있음을 보여준다. 이는 순차적 FPT 알고리즘과 동일한 작업 복잡도를 유지한다. 핵심 기여는 이러한 문제들을 고정 매개변수 버전의 AC⁰에 포함시켜, 고정 매개변수 가능 문제에 대해 매우 효율적인 병렬 계산의 이론적 가능성을 입증하는 것이다.

ABSTRACT

Fixed-parameter algorithms have been successfully applied to solve numerous difficult problems within acceptable time bounds on large inputs. However, most fixed-parameter algorithms are inherently \emph{sequential} and, thus, make no use of the parallel hardware present in modern computers. We show that parallel fixed-parameter algorithms do not only exist for numerous parameterized problems from the literature -- including vertex cover, packing problems, cluster editing, cutting vertices, finding embeddings, or finding matchings -- but that there are parallel algorithms working in \emph{constant} time or at least in time \emph{depending only on the parameter} (and not on the size of the input) for these problems. Phrased in terms of complexity classes, we place numerous natural parameterized problems in parameterized versions of AC$^0$. On a more technical level, we show how the \emph{color coding} method can be implemented in constant time and apply it to embedding problems for graphs of bounded tree-width or tree-depth and to model checking first-order formulas in graphs of bounded degree.

연구 동기 및 목표

• 기존 고정 매개변수 알고리즘이 본질적으로 순차적이며 현대의 다코어 하드웨어를 효율적으로 활용하지 못하는 데서 비롯되는 병렬성 부족 문제를 해결하기 위해.
• 정점 커버, 그래프 패킹, 클러스터 편집과 같은 매개변수 복잡성 이론의 기본 문제들에 대해 병렬 고정 매개변수 알고리즘이 존재함을 보여주기 위해.
• 이러한 알고리즘이 입력 크기와 무관하게 상수 시간(입력 크기와 무관한 시간) 또는 매개변수에만 의존하는 시간 내에 실행될 수 있으며, FPT 작업 복잡도를 유지할 수 있음을 보여주기 위해.
• 색 코드화와 구조적 그래프 성질을 활용하여 매개변수 복잡성 이론에서 효율적인 병렬 계산의 이론적 기반을 마련하기 위해.
• 일阶논리 모델 체킹과 같은 알고리즘 메타정리들을 매개변수 의존적 런타임을 갖는 병렬 환경으로 확장하기 위해.

제안 방법

• 핵심 기법으로 색 코드화를 사용하며, 상수 시간 내에 계산 가능한 보편적인 색 가족을 활용하여 해 후보를 효율적으로 무작위 선택한다.
• 패킹, 커버링, 분리 문제들을 트리 폭 또는 트리 깊이가 유계인 그래프의 임bedding 문제로 환원하고, 이를 색 코드화를 통해 해결한다.
• 플룸과 그로헤의 모델 체킹 메타정리의 병렬 버전을 적용하여, 일阶논리 성질이 유계 차수 그래프에 대해 para-AC⁰ 시간 내에 체크될 수 있음을 보여준다.
• 공동 읽기, 공동 쓰기 PRAM 모델을 사용하여 상수 시간 병렬 알고리즘을 달성하며, 이때 작업 복잡도는 f(k)·n^c로 제한되며 순차적 FPT 작업 복잡도와 일치한다.
• 입력 크기 n이 아닌 매개변수 k 또는 ℓ에만 의존하는 알고리즘을 설계하기 위해 그래프의 매개변수화된 구조적 성질에 집중한다.
• 매개변수 의존적 작업으로 상수 시간 내에 해결 가능한 문제들을 포괄하는 새로운 복잡도 클래스 para-AC⁰↑를 도입한다. 이는 고정 매개변수 계산으로의 AC⁰ 계층의 확장이다.

실험 결과

연구 질문

• RQ1 고정 매개변수 가능 문제들이 FPT 작업 복잡도를 유지하면서 상수 병렬 시간 내에 해결될 수 있는가?
• RQ2 병렬 환경에서 색 코드화를 상수 시간 내에 구현할 수 있는가? 이를 통해 빠른 매개변수화된 알고리즘을 가능하게 할 수 있는가?
• RQ3 정점 커버, 그래프 패킹, 정점 분리 등 자연스러운 매개변수화된 그래프 문제들 중 para-AC⁰ 또는 para-AC⁰↑에 속하는 문제들은 무엇인가? 이는 높은 병렬 가능성의 지표가 된다.
• RQ4 일阶논리 모델 체킹과 같은 알고리즘 메타정리들이 병렬 매개변수 설정으로 확장될 수 있는가?
• RQ5 정점 커버, 그래프 패킹, 정점 분리와 같은 문제들이 입력 크기와 무관한 런타임을 갖는 병렬 알고리즘을 갖는가?

주요 결과

• 정점 커버 문제는 PRAM 모델에서 FPT 작업 복잡도를 유지하면서 상수 시간 병렬 알고리즘을 갖으며, para-AC⁰에 속한다.
• 고정 크기의 그래프에 대한 삼각형 패킹 및 더 일반적인 그래프 패킹 문제들은 FPT 작업 복잡도를 유지하면서 상수 시간 내에 해결 가능하며, 비유도 부분그래프의 경우에도 마찬가지다.
• ℓ개의 연결된 정점을 잘라내는 문제(p_k,ℓ-cutting-ℓ-connected-vertices)는 para-AC⁰↑에 속하며, 따라서 매개변수 의존적 작업으로 상수 시간 내에 해결 가능하다.
• 최대 ℓ개의 정점을 잘라내는 문제(p_k,ℓ-cutting-at-most-ℓ-vertices) 역시 para-AC⁰↑에 속하며, 색 코드화 기반 알고리즘이 상수 시간 내에 작동한다.
• 유계 차수 그래프에서 일阶논리 모델 체킹은 매개변수 공식의 국소 랭크에만 의존하며, 입력 크기와 무관하게 para-AC⁰ 시간 내에 수행 가능하다.
• 논문은 클러스터 편집, 정점 삭제, 임베딩과 같은 많은 자연스러운 매개변수화된 문제들이 para-AC⁰ 또는 para-AC⁰↑에 속함을 입증하며, 이들의 이론적 병렬 가능성을 보여준다.