[논문 리뷰] A note on the complexity of Feedback Vertex Set parameterized by mim-width

Lars Jaffke, O‐joung Kwon외 1명|arXiv (Cornell University)|2017. 11. 14.

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

한 줄 요약

이 논문은 다색 클리크에서의 축소를 변형하여, 선형 mim-폭과 H-그래프를 포함한 경우조차도 Feedback Vertex Set 문제가 mim-폭에 대해 W[1]-경통임을 입증한다. 이는 최근에 제안된 XP 알고리즘과 대비하여, mim-폭에 의한 매개변수화가 고정차수다항시간(FTP) 계산 가능성으로 이르지 못함을 보여주며, 이 매개변수화에 대한 문제의 복잡도 상태를 완전히 해결한다.

ABSTRACT

We complement the recent algorithmic result that Feedback Vertex Set is XP-time solvable parameterized by the mim-width of a given branch decomposition of the input graph [3] by showing that the problem is W[1]-hard in this parameterization. The hardness holds even for linear mim-width, as well as for H-graphs, where the parameter is the number of edges in H. To obtain this result, we adapt a reduction due to Fomin, Golovach and Raymond [2], following the same line of reasoning but adding a new gadget.

연구 동기 및 목표

• mim-폭에 대해 매개변수화된 Feedback Vertex Set 문제의 매개변수화된 복잡도를 규명하는 것.
• 기존의 XP 알고리즘과 고정차수다항시간 계산 가능성의 가능성 사이의 격차를 메우는 것.
• 선형 mim-폭과 H-그래프와 같은 제한된 설정에서도 문제의 W[1]-경통성이 유지됨을 보여주는 것.
• 기존의 Multicolored Clique에서의 축소를 변형하여 Maximum Induced Forest에 대해 경통성을 입증한 후, 이중성에 의해 Feedback Vertex Set로 결과를 이전하는 것.

제안 방법

• Fomin 등 [2]의 H-그래프에서의 Independent Set에 대한 축소를 Maximum Induced Forest로 변형하기 위해 수정된 기계적 구성 방식을 사용한다.
• 특정 H-표현을 가진 H-그래프 $ G' $를 구성하여 다색 클리크 인스턴스를 인코딩한다.
• H-표현 내의 모델 가중치 집합을 정의하여, 유도된 산림이 원래 그래프의 클리크에 대응하도록 한다.
• 다양한 구성 부분 간의 정점 선택 일관성을 보장하기 위해 핵심적인 주장(claim)을 사용하며, 이는 유효한 클리크만이 큰 유도된 산림을 생성하도록 보장한다.
• 유도된 산림과 피드백 정점 집합 간의 이중성 관계를 활용한다: 그래프가 크기 $ k $의 유도된 산림을 가진다는 것은 크기 $ n-k $의 피드백 정점 집합을 가진다는 것과 동치이다.
• 구축된 H-그래프의 mim-폭이 $ |H| $의 함수로 유계임을 보이며, 축소가 매개변수화된 복잡도를 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 mim-폭에 대해 매개변수화된 Feedback Vertex Set 문제는 고정차수다항시간 계산 가능한가?
• RQ2 선형 mim-폭으로 제한된 경우에도 Feedback Vertex Set 문제의 W[1]-경통성이 유지되는가?
• RQ3 H-그래프 클래스로의 경통성 확장은 가능한가, 여기서 매개변수는 $ |H| $, 즉 H의 간선 수인가?
• RQ4 mim-폭을 매개변수로 사용할 경우, Feedback Vertex Set 문제의 매개변수화된 복잡도는 완전히 해결되었는가?

주요 결과

• mim-폭에 대해 매개변수화된 Feedback Vertex Set 문제는 선형 분해 구조를 갖는 유계 mim-폭이 주어져도 여전히 W[1]-경통이다.
• 매개변수 $ |H| $, 즉 H의 간선 수일 때, H-그래프에 대해 W[1]-경통성이 유지된다.
• 축소 과정을 통해 Maximum Induced Forest 문제도 $ w + k $에 대해 W[1]-경통임을 보여주며, 여기서 $ w $는 mim-폭, $ k $는 해의 크기이다.
• 구성 과정은 최대 크기의 유도된 산림이 원래 그래프의 유효한 다색 클리크에 대응하도록 보장하며, 핵심 주장에 의해 일관성 조건이 강제된다.
• 결과적으로, 이 매개변수화 하에서 Feedback Vertex Set 문제가 FPT 알고리즘을 갖지 못함을 의미하며, 이는 FPT = W[1]이 아닐 경우에만 성립하며, 최근의 XP 알고리즘에 남아 있던 복잡도 격차를 완전히 메운다.