[논문 리뷰] Reducing Graph Transversals via Edge Contractions

Paloma T. Lima, Vinícius F. dos Santos외 2명|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research참고 문헌 26인용 수 2

한 줄 요약

이 논문은 간선 수축를 통한 그래프 전이탈의 매개변수 복잡도를 조사하며, 정점 커버, 피드백 정점 집합, 홀수 사이클 전이탈과 같은 불변량을 중심으로 다룬다. 일부 전이탈 문제에 대해 작은 매개변수 조건에서도 co-NP-난이도임을 증명하는 반면, 정점 커버 감소 문제의 경우 XP에 속하고 FPT 시간 내에 2-근사가 가능하다는 것을 보이며, 다양한 불변량 간의 가용성에 상당한 격차가 있음을 드러낸다.

ABSTRACT

For a graph parameter π, the Contraction(π) problem consists in, given a graph G and two positive integers k,d, deciding whether one can contract at most k edges of G to obtain a graph in which π has dropped by at least d. Galby et al. [ISAAC 2019, MFCS 2019] recently studied the case where π is the size of a minimum dominating set. We focus on graph parameters defined as the minimum size of a vertex set that hits all the occurrences of graphs in a collection ℋ according to a fixed containment relation. We prove co-NP-hardness results under some assumptions on the graphs in ℋ, which in particular imply that Contraction(π) is co-NP-hard even for fixed k = d = 1 when π is the size of a minimum feedback vertex set or an odd cycle transversal. In sharp contrast, we show that when π is the size of a minimum vertex cover, the problem is in XP parameterized by d.

연구 동기 및 목표

• 간선 수축 문제의 매개변수 복잡도를 정점 커버, 피드백 정점 집합, 홀수 사이클 전이탈 등의 그래프 전이탈 감소 문제로 연구하기.
• 그래프 불변량 π에 따라 Contraction(π) 문제의 가용성 또는 비가용성을 판단하기.
• 고정된 작은 k와 d 값에 대해서도 문제의 co-NP-난이도가 발생하는 조건을 규명하기.
• 특히 매개변수 d에 대해 정점 커버 크기 π가 최소일 경우 문제의 매개변수 가용성 탐색하기.

제안 방법

• 저자들은 π가 그래프 가족 H의 포함 관계 하에서 최소 전이탈의 크기인 Contraction(π) 문제를 분석한다.
• H에 비클리크 2-연결 그래프 또는 길이 ≥4의 경로가 포함된 구조적 가정 하에 co-NP-난이도를 증명한다.
• 정점 커버의 경우, d에 대해 매개변수화된 XP 알고리즘을 설계하며, 수축된 그래프에서 작은 히팅 세트를 탐색하는 유한한 검색을 사용한다.
• 정점 커버 수가 작을 경우, 수정된 그래프에서 작은 정점 커버를 추측함으로써 이중 구조를 활용해 문제를 해결할 수 있음을 보인다.
• 전체 순열을 방지하기 위해 후보 수축 수를 제한하는 방식으로 2-근사 전략을 사용한다.
• Courcelle의 정리와 트리폭 및 이중 구조 수정에 대한 기존 FPT 알고리즘을 적용하여 매개변수 가용성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 k = d = 1일 때 π가 최소 피드백 정점 집합 크기 또는 홀수 사이클 전이탈 크기일 경우 Contraction(π) 문제의 co-NP-난이도는 성립하는가?
• RQ2 가족 H에 대해 Contraction(τ≺H) 문제가 co-NP-난이도가 되는 조건은 무엇인가?
• RQ3 Contraction(vc) 문제의 경우 d에 대해 매개변수화된 FPT 시간 내에 해결 가능한가, 아니면 W[1]-난이도인가?
• RQ4 Contraction(vc) 문제에 대해 d에 대해 매개변수화된 근사 스킴이 존재하는가? 그 근사 비율은 얼마인가?
• RQ5 H가 평면 그래프를 포함할 경우, 그래프의 트리폭은 매개변수 τ≺H(G)와 어떻게 관련되는가?

주요 결과

• π가 최소 피드백 정점 집합 크기 또는 홀수 사이클 전이탈 크기일 경우, 조건 k = d = 1에서도 Contraction(π) 문제는 co-NP-난이도이다.
• H가 비클리크 2-연결 그래프 또는 최소 4개 정점의 경로를 포함할 경우, 다양한 포함 관계 하에서 Contraction(τ≺H) 문제는 co-NP-난이도이다.
• 정점 커버의 경우, d에 대해 매개변수화된 XP에 속하며, 시간 복잡도 2^O(d) · n^O(1)로 실행되는 알고리즘이 존재한다.
• Min-Contraction(vc) 문제는 d에 대해 매개변수화된 FPT 시간 내에 2-근사 알고리즘이 존재한다.
• H가 평면 그래프를 포함하고 ≺가 미니처 관계일 경우, 문제의 매개변수 τ≺H(G) + k에 대해 FPT이다.
• H = {P3}, H = {Kh} for h ≥3 (서브그래프/유도 서브그래프 관계 하에서), 그리고 임의의 트리에 대해서는 여전히 미해결 상태이다.