[논문 리뷰] On the hardness of computing an average curve

Kevin Buchin, Anne Driemel외 1명|arXiv (Cornell University)|2019. 02. 21.

Data Management and Algorithms참고 문헌 20인용 수 9

한 줄 요약

이 논문은 이산 및 연속 프리셰트 거리와 동적 시간 워핑(DTW) 하에서 1-메디안(평균 곡선)을 계산하는 데 있어 NP-난이도 및 W[1]-난이도를 입증하여 곡선의 중심기반 클러스터링에 대한 근본적인 계산 불가능성을 증명한다. 또한 이산 프리셰트 거리 하에서 $(k,\ell)$-메디안 및 $(k,\ell)$-센터 문제에 대해 다항시간 $(1+\varepsilon)$-근사 알고리즘을 제안하며, $k,\ell$ 가 고정되어 있을 경우 $(k,\ell)$-센터 문제에 대한 정확한 알고리즘을 제공한다.

ABSTRACT

We study the complexity of clustering curves under $k$-median and $k$-center objectives in the metric space of the Fréchet distance and related distance measures. Building upon recent hardness results for the minimum-enclosing-ball problem under the Fréchet distance, we show that also the $1$-median problem is NP-hard. Furthermore, we show that the $1$-median problem is W[1]-hard with the number of curves as parameter. We show this under the discrete and continuous Fréchet and Dynamic Time Warping (DTW) distance. This yields an independent proof of an earlier result by Bulteau et al. from 2018 for a variant of DTW that uses squared distances, where the new proof is both simpler and more general. On the positive side, we give approximation algorithms for problem variants where the center curve may have complexity at most $\ell$ under the discrete Fréchet distance. In particular, for fixed $k,\ell$ and $\varepsilon$, we give $(1+\varepsilon)$-approximation algorithms for the $(k,\ell)$-median and $(k,\ell)$-center objectives and a polynomial-time exact algorithm for the $(k,\ell)$-center objective.

연구 동기 및 목표

• 다양한 노름을 사용하는 이산 및 연속 프리셰트 거리와 DTW 하에서 다각형 곡선의 1-메디안(평균 곡선)을 계산하는 데 있어 계산 복잡도를 규명하는 것.
• 입력 곡선의 수를 매개변수로 삼을 때 1-메디안 문제의 고정 매개변수 복잡도(fixed-parameter tractability) 여부를 조사하는 것.
• 특히 $(k,\ell)$-메디안 및 $(k,\ell)$-센터 목표 함수에 대해 중심 복잡도 $\ell$ 이하로 제한된 곡선 클러스터링을 위한 효율적인 근사 알고리즘을 개발하는 것.
• 메트릭 성질이 없는 것으로 알려진 DTW 및 연속 프리셰트 거리 하에서 1-메디안 문제에 대해 상수 요소 근사가 가능한지 탐색하는 것.

제안 방법

• 1-메디안 문제의 NP-난이도를 입증하기 위해 프리셰트 거리 하에서 최소 봉투 구역 문제를 1-메디안 문제로 감소시킨다.
• 이산 및 연속 프리셰트 거리와 DTW 거리 하에서 입력 곡선 수 $m$ 을 매개변수로 삼을 때 1-메디안 문제의 W[1]-난이도를 입증하기 위해 고정 매개변수 복잡도 기법을 사용한다.
• 유한한 후보 중심 곡선 집합을 탐색함으로써 이산 프리셰트 거리 하에서 $(k,\ell)$-메디안 및 $(k,\ell)$-센터 문제에 대해 $(1+\varepsilon)$-근사 알고리즘을 제안한다.
• 각 중심 곡선이 입력 곡선의 정점 주변에 있는 유한한 영역 내에서 최대 $\ell$ 개의 정점을 가질 수 있도록 가능한 $k$ 개의 중심 곡선 조합을 모두 검사하는 의사결정 알고리즘을 적용한다.
• 디스크의 교차 영역의 위상적 변화를 활용하여 $O((mn)^3)$ 개의 임계 반경 값에 대해 이진 탐색을 수행함으로써 $(k,\ell)$-센터 문제의 최적 반경 $r$ 을 찾는다.
• 곡선 정점 주변의 디스크 경계로 형성된 평면 그래프의 기하학적 구성 기법을 활용하여 최대 교차 영역과 후보 중심을 열거한다.

실험 결과

연구 질문

• RQ1 이산 프리셰트 거리 하에서 다각형 곡선의 1-메디안 문제는 NP-난이도인가?
• RQ2 이산 및 연속 프리셰트 거리와 DTW 거리 하에서 입력 곡선 수 $m$ 을 매개변수로 삼을 때 1-메디안 문제의 W[1]-난이도는 존재하는가?
• RQ3 고정된 $k$, $\ell$, $\varepsilon$ 에 대해 이산 프리셰트 거리 하에서 $(k,\ell)$-메디안 및 $(k,\ell)$-센터 문제에 대해 $(1+\varepsilon)$-근사 알고리즘을 설계할 수 있는가?
• RQ4 메트릭 성질이 없는 DTW 및 연속 프리셰트 거리 하에서 1-메디안 문제의 근사 한계는 무엇인가?
• RQ5 이산 프리셰트 거리 하에서 $(k,\ell)$-센터 문제에 대한 정확한 알고리즘이 DTW 또는 연속 프리셰트 설정으로 확장 가능한가?

주요 결과

• 이산 및 연속 프리셰트 거리와 다양한 노름을 사용하는 DTW 하에서 1-메디안 문제의 NP-난이도가 입증된다.
• 이산 및 연속 프리셰트 거리와 DTW 거리 하에서 입력 곡선 수 $m$ 을 매개변수로 삼을 때 1-메디안 문제의 W[1]-난이도가 입증된다.
• 고정된 $k$, $\ell$, $\varepsilon > 0$ 에 대해 이산 프리셰트 거리 하에서 $(k,\ell)$-메디안 및 $(k,\ell)$-센터 문제에 대해 다항시간 $(1+\varepsilon)$-근사 알고리즘이 존재한다.
• 2차원에서 $k$ 와 $\ell$ 가 고정되어 있을 경우 이산 프리셰트 거리 하에서 $(k,\ell)$-센터 문제에 대해 정확한 다항시간 알고리즘이 존재한다.
• DTW 하에서 1-메디안 문제의 근사 요소는 $1 + \Omega(1/m)$ 이하로 하한이 존재하므로, 상수 요소 근사는 거의 불가능하다는 것을 시사한다.
• DTW 는 메트릭 성질이 없기 때문에 곡선 정점 주변의 디스크 내에서 탐색하는 기하학적 접근이 실패하며, 연속 프리셰트 거리의 경우 저거리 곡선에서 정점과의 거리가 가까운 특성이 없기 때문에 동일한 접근이 실패한다.