[논문 리뷰] Computing higher homotopy groups is W[1]-hard

Jiřı́ Matoušek|arXiv (Cornell University)|2013. 04. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 $k$차 호모토피 군 $\pi_k(X)$를 계산하는 것이 $k$를 매개변수로 삼을 때 4차원 단순연결 심플리시얼 복합체 $X$에 대해 $W[1]$-하드임을 증명한다. 이는 $f(k)n^C$의 실행 시간을 가지는 고정 매개변수 다항시간 알고리즘이 존재할 가능성이 없음을 시사한다. 결과적으로 애니크(Anick)의 원래 #P-난이도 증명을 단순화하기 위해 그래프의 클리크에 기반한 조합적 구성에 의해 문제를 베스트(vest) 문제로 감소시켰다.

ABSTRACT

Recently it was shown that, for every fixed k>1, given a finite simply connected simplicial complex X, the kth homotopy group π_k(X) can be computed in time polynomial in the number n of simplices of X. We prove that this problem is W[1]-hard w.r.t. the parameter k even for X of dimension 4, and thus very unlikely to admit an algorithm with running time bound f(k)n^C for an absolute constant C. We also simplify, by about 20 pages, a 1989 proof by Anick that, with k part of input, the computation of the rank of π_k(X) is #P-hard.

연구 동기 및 목표

• 유한 심플리시얼 복합체에 대해 $k$를 매개변수로 삼을 때 $\pi_k(X)$를 계산하는 문제의 계산 복잡도를 규명하는 것.
• 문제가 $W[1]$-하드임을 보여주어 고정 매개변수 다항시간 알고리즘이 존재할 가능성이 없음을 나타내는 것.
• 애니크의 1989년 $\pi_k(X)$의 질량(rank)을 계산하는 문제에 대한 #P-난이도 증명을 단순화하기 위해 그래프 클리크 구성에 기반한 감소를 통해 베스트 문제로 문제를 변환하는 것.
• 4차원, 단순연결 심플리시얼 복합체에 대해서도 난이도가 유지됨을 보여주는 것.
• 애니크의 원래 증명보다 20페이지 짧은, 감소 기반의 간결한 대체 증명을 제공하는 것.

제안 방법

• 그래프에서 $k$-클리크를 탐지하는 $W[1]$-완전 문제를 유리수 행렬에 의한 벡터 변환을 포함하는 베스트 문제로 감소시킨다.
• 행렬 $T_1, \ldots, T_m$과 벡터 $\mathbf{v}$, 그리고 선택 행렬 $S$를 포함하는 베스트 인스턴스 $\mathcal{V} = (\mathbf{v}, T_1, \ldots, T_m, S)$를 구성한다. 이때 $M$-시퀀스는 결과로 얻어지는 영벡터가 되는 행렬 적용의 유효한 순서를 세는 데 쓰인다.
• 성분 수가 $n + 2m + 1$인 벡터를 사용한다: $n$개의 정점 성분(그래프의 정점에 대응), $m$개의 정점 쌍(각 행렬 $T_i$에 대해 하나의 비밀 성분 쌍), 그리고 값이 1로 설정된 상수 성분.
• 행렬 작동을 정의한다: 정점 $T_i$는 해당 정점 성분을 $k-1$ 증가시키며, 간선 $T_i$는 양 끝점 성분을 각각 1 감소시킨다. 비밀 성분은 $a \mapsto a+1$, $b \mapsto b+a$ 방식으로 갱신된다.
• 행렬 $S$는 0과 1로 이루어진 행렬로, 각 $T_i$의 정점 성분과 두 번째 비밀 성분을 선택한다. 이는 $S \mathbf{w} = \mathbf{0}$이 성립하려면 각 $T_i$가 한 번 이하로만 적용되어야 함을 보장한다.
• 다음과 같이 $M_s = s! \cdot C_k$임을 보이며, 여기서 $C_k$는 입력 그래프에 있는 $k$-클리크의 수이다. 또한 $M_s$는 $s = k + \binom{k}{2}$개의 서로 다른 $T_i$들이 $k$-클리프를 형성하는 순서를 세는 데 기여한다.

실험 결과

연구 질문

• RQ1 4차원 단순연결 심플리시얼 복합체 $X$에 대해 $\pi_k(X)$를 계산하는 문제는 $k$를 매개변수로 삼을 때 고정 매개변수 다항시간 알고리즘을 갖는가?
• RQ2 기존의 감소 기반 기법을 사용해 $\pi_k(X)$의 질량을 계산하는 문제의 #P-난이도를 더 단순하게 재증명할 수 있는가?
• RQ3 입력으로 $k$가 주어질 경우, 저차원 복합체에 대해서도 $\pi_k(X)$의 계산 복잡도는 어떻게 되는가?
• RQ4 베스트 문제는 123H 대수와 Tor-시퀀스와 같은 대수적 위상수학적 구성에 의해 호모토피 군과 어떻게 관련되는가?
• RQ5 클리크 문제의 $W[1]$-난이도를 활용하여 호모토피 군 계산의 난이도를 증명할 수 있는가?

주요 결과

• 4차원 단순연결 심플리시얼 복합체 $X$에 대해 $\pi_k(X)$를 계산하는 문제는 매개변수 $k$에 대해 $W[1]$-하드이다.
• $W[1]$-하드성 결과는 $k$가 고정된 경우에도 유지되며, 이는 임의의 상수 $C$에 대해 $f(k)n^C$ 형태의 알고리즘이 존재하지 않음을 의미한다.
• 증명은 $k$-클리크 문제를 베스트 문제로 감소시키며, $M$-시퀀스의 $s$번째 항은 $s! \cdot C_k$와 같으며, 여기서 $C_k$는 입력 그래프의 $k$-클리크 수이다.
• 구성은 오직 서로 다른 $T_i$들의 순서(각각 $k$-클리프의 정점과 간선에 대응)만이 $S$에 대해 영벡터를 생성하며, 각 순서는 $M_s$에 $s!$의 기여를 한다.
• 애니크의 원래 20페이지 분량의 $\pi_k(X)$의 질량을 계산하는 문제에 대한 #P-난이도 증명을 단순화하여, 그래프 클리크에 기반한 20페이지 짧은 증명으로 대체하였다.
• 결과적으로 문제는 $W[1] = FPT$가 아니라는 것이 널리 믿어지는 바이므로, 고정 매개변수 다항시간 알고리즘이 존재하지 않음을 시사한다.