[논문 리뷰] Parameterized Complexity of Geodetic Set

Leon Kellerhals, Tomohiro Koana|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 논문은 NP-난이도의 Geodetic Set 문제에 대한 매개변수화 복잡도 분석을 시작하며, 피드백 정점 수, 경로 폭, 해의 크기를 함께 매개변수로 삼을 경우 W[1]-난이도임을 증명한다. 그러나 피드백 간선 수, 트리 깊이, 모듈러 폭에 대해선 새로운 ILP 및 MSO1 논리 접근법을 통해 고정 매개변수 가능(fixed-parameter tractable) 알고리즘을 개발한다. 주요 기여는 트리 폭 이외의 구조적 매개변수에 대해 Geodetic Set의 최초 고정 매개변수 가능 결과를 도출한 것이다.

ABSTRACT

A vertex set S of a graph G is geodetic if every vertex of G lies on a shortest path between two vertices in S. Given a graph G and k ∈ ℕ, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size at most k. Complementing various works on Geodetic Set restricted to special graph classes, we initiate a parameterized complexity study of Geodetic Set and show, on the negative side, that Geodetic Set is W[1]-hard when parameterized by feedback vertex number, path-width, and solution size, combined. On the positive side, we develop fixed-parameter algorithms with respect to the feedback edge number, the tree-depth, and the modular-width of the input graph.

연구 동기 및 목표

• 트리 유사도를 측정하는 구조적 그래프 매개변수에 대해 Geodetic Set의 매개변수화 복잡도를 조사하기 위해.
• 특히 시리즈-병렬 그래프에 대해 트리 폭이 유계인 그래프에서 Geodetic Set의 복잡도 이해를 빈도를 메우기 위해.
• 피드백 간선 수, 트리 깊이, 모듈러 폭 등의 새로운 매개변수에 대해 고정 매개변수 가능 알고리즘을 개발하기 위해.
• MSO1 논리와 ILP의 표현 능력이 고정된 지름과 고정된 클리크 폭 제약 조건 하에서 Geodetic Set를 해결하는 데 어떻게 활용될 수 있는지 탐색하기 위해.

제안 방법

• 피드백 정점 수, 경로 폭, 해의 크기를 함께 매개변수로 삼을 경우 W[1]-난이도임을 증명하기 위해 W[1]-난이도인 그리드 타일링 문제로부터 매개변수화된 감소를 사용하였다.
• 피드백 간선 수에 대해선 변수 수가 유계인 정수선형계획법(ILP)을 적용하기 전에 다항시간 데이터 축소 규칙과 분기 절차를 설계하였다.
• Geodetic Set 문제를 길이가 그래프의 지름에 대한 함수로 상한이 되는 MSO1 논리 공식으로 표현하였다.
• Courcelle의 정리를 활용하여 클리크 폭과 지름의 합에 대해 고정 매개변수 가능성을 유도하였으며, 기존의 매개변수 계층 구조를 통해 이를 트리 깊이와 모듈러 폭로 확장하였다.
• 피드백 간선 수 G에 대해 2^O(fen(G))개의 ILP 인스턴스를 구성하는 새로운 접근법을 사용하였으며, 각 인스턴스는 O(fen(G)^2)개의 이진 변수와 O(fen(G))개의 비이진 변수를 가지며, O*(2^O(fen(G)^2)) 시간 내에 해결 가능하다.
• 도우블 유형의 경로에서 해가 되는 정점 수가 상수로 유계임을 증명하여, 피드백 간선 수 알고리즘에서 효율적인 분기 가능성을 확보하였다.

실험 결과

연구 질문

• RQ1 피드백 정점 수, 경로 폭, 해의 크기를 함께 매개변수로 삼을 경우 Geodetic Set는 W[1]-난이도인가?
• RQ2 피드백 간선 수에 대해 Geodetic Set는 고정 매개변수 시간 내에 해결 가능한가?
• RQ3 트리 깊이와 모듈러 폭에 대해 Geodetic Set는 고정 매개변수 가능한가?
• RQ4 지름에 따라 상한이 되는 공식 길이를 갖는 MSO1 논리로 문제를 표현할 수 있는가?
• RQ5 피드백 간선 수 조건 하에서 변수 수가 유계인 ILP를 사용하면 Geodetic Set에 대해 실용적이거나 이론적으로 효율적인 알고리즘이 도출되는가?

주요 결과

• Geodetic Set는 트리에서는 자명하지만, 피드백 정점 수, 경로 폭, 해의 크기를 함께 매개변수로 삼을 경우 W[1]-난이도이다.
• 피드백 간선 수에 대해 고정 매개변수 가능하며, 새로운 ILP 기반 접근법을 통해 O*(2^O(fen(G)^2))의 실행 시간을 갖는다.
• 클리크 폭과 지름의 합에 대해 MSO1 공식을 통해 고정 매개변수 가능성이 도출되며, 이 공식의 길이는 지름에 따라 결정된다.
• 이 결과는 트리 깊이와 모듈러 폭로도 확장되며, 이는 둘 다 클리크 폭과 지름의 함수로 상한이 되기 때문이다.
• Geodetic Set 맥락에서 변수 수가 유계인 ILP를 처음으로 적용한 것으로, 새로운 알고리즘 기법을 제시한다.
• 모든 도우블 유형의 경로에서 해가 되는 정점 수는 상수로 유계이므로, 피드백 간선 수 알고리즘에서 효과적인 분기 가능성이 확보된다.