[논문 리뷰] Improved Kernels for Tracking Path Problems.

Pratibha Choudhary, Venkatesh Raman|arXiv (Cornell University)|2020. 01. 09.

Advanced Graph Theory Research참고 문헌 17인용 수 8

한 줄 요약

이 논문은 일반 그래프에 대해 추적 경로 문제의 커널 크기 경계를 향상시켜 O(k²) 정점으로 줄였고, 평면 그래프에 대해서는 O(k)로 줄였다. 이는 이전 결과보다 크게 향상된 것으로, n−k에 대해 파arameterized된 경우 문제의 W[1]-난이도를 증명함으로써 복잡도 경계를 정확히 규명하였다.

ABSTRACT

Tracking of moving objects is crucial to security systems and networks. Given a graph $G$, terminal vertices $s$ and $t$, and an integer $k$, the extsc{Tracking Paths} problem asks whether there exists at most $k$ vertices, which if marked as trackers, would ensure that the sequence of trackers encountered in each s-t path is unique. It is known that the problem is NP-hard and admits a kernel (reducible to an equivalent instance) with $\mathcal{O}(k^6)$ vertices and $\mathcal{O}(k^7)$ edges, when parameterized by the size of the output (tracking set) $k$ [5]. An interesting question that remains open is whether the existing kernel can be improved. In this paper we answer this affirmatively: (i) For general graphs, we show the existence of a kernel of size $\mathcal{O}(k^2)$, (ii) For planar graphs, we improve this further by giving a kernel of size $\mathcal{O}(k)$. In addition, we also show that finding a tracking set of size at most $n-k$ for a graph on $n$ vertices is hard for the parameterized complexity class W[1], when parameterized by $k$.

연구 동기 및 목표

• 일반 그래프에서 추적 경로 문제에 대해 기존의 O(k⁶) 정점 커널을 향상시키는 것.
• 평면 그래프에 대해 더 작은 커널을 개발하여 크기를 O(k)로 도달시키는 것.
• n이 정점 수일 때, n−k에 대해 파rameterized된 경우 문제의 파라미터화된 복잡도를 규명하는 것.
• 기존 추적 경로 문제의 커널이 향상될 수 있는지 여부에 대한 열린 질문에 답하는 것.

제안 방법

• 저자들은 추적 경로의 성질을 유지하면서 여유 정점을 식별하고 제거하는 새로운 축소 규칙을 설계하였다.
• 특히 평면 그래프에서의 구조적 성질을 활용하여, 면과 사이클 분해를 통해 필요한 트래커의 수를 제한하였다.
• 핵심 기법은 트래커 시퀀스가 최소 정점 집합으로 유일하게 식별될 수 있도록 그래프를 구성요소로 분할하는 것이다.
• 일반 그래프에 대해선 유계 트리폭과 분리 성질을 활용한 반복적 커널화 기법을 적용하여 그래프를 O(k²) 정점으로 축소하였다.
• 평면 그래프의 경우, 오일러의 공식과 면-정점 이중성을 활용하여 크기 O(k)의 선형 커널을 유도하였다.
• 기존의 알려진 W[1]-완전 문제로의 축소를 통해 n−k 파arameterization에 대해 W[1]-난이도를 증명하였다.

실험 결과

연구 질문

• RQ1 일반 그래프에서 추적 경로 문제의 O(k⁶) 커널은 향상될 수 있는가?
• RQ2 평면 그래프에서 추적 경로 문제에 대해 선형 커널이 존재하는가?
• RQ3 n−k에 대해 파arameterized된 경우 추적 경로 문제의 파라미터화된 복잡도는 무엇인가?
• RQ4 구조적 그래프 성질을 활용하여 더 작은 커널을 설계할 수 있는가?

주요 결과

• 논문은 일반 그래프에서 추적 경로 문제에 대해 크기 O(k²)의 커널을 제시하여 이전의 O(k⁶) 경계를 향상시켰다.
• 평면 그래프의 경우 저자들은 크기 O(k)의 선형 커널을 달성하였으며, 이는 상수를 제외한 최적이다.
• 문제가 n−k에 대해 파arameterized된 경우 W[1]-난이도임이 입증되었으며, 이는 W[1] = FPT가 성립하지 않는 한 다항식 커널이 존재하지 않음을 의미한다.
• 결과적으로 평면성과 같은 구조적 제약 조건이 커널 크기를 극적으로 줄일 수 있음을 보여주며, 커널화에서 그래프 위상의 역할을 부각시켰다.