[논문 리뷰] Classes of Intersection Digraphs with Good Algorithmic Properties

Lars Jaffke, O‐joung Kwon외 1명|arXiv (Cornell University)|2021. 05. 04.

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

한 줄 요약

이 논문은 유사 교차 방향 그래프, 예를 들어 반사적 H-방향 그래프와 같은 다양한 클래스가 유계된 bi-mim-width를 가지며, 분기 분해가 제공될 경우 Dominating Set 및 Kernel과 같은 국소적으로 검증 가능한 문제에 대해 다항시간 알고리즘을 제공할 수 있음을 보여주는 directed analogue인 bi-mim-width를 도입한다. 주요 기여는 bi-mim-width가 유계인 방향 그래프에서 이러한 문제들을 효율적으로 해결하기 위한 통합 프레임워크를 제공하는 것이다.

ABSTRACT

An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if $S_v\cap T_v eq \emptyset$ for every vertex $v$. Compared to well-known undirected intersection graphs like interval graphs and permutation graphs, not many algorithmic applications on intersection digraphs have been developed. Motivated by the successful story on algorithmic applications of intersection graphs using a graph width parameter called mim-width, we introduce its directed analogue called `bi-mim-width' and prove that various classes of reflexive intersection digraphs have bounded bi-mim-width. In particular, we show that as a natural extension of $H$-graphs, reflexive $H$-digraphs have linear bi-mim-width at most $12|E(H)|$, which extends a bound on the linear mim-width of $H$-graphs [On the Tractability of Optimization Problems on $H$-Graphs. Algorithmica 2020]. For applications, we introduce a novel framework of directed versions of locally checkable problems, that streamlines the definitions and the study of many problems in the literature and facilitates their common algorithmic treatment. We obtain unified polynomial-time algorithms for these problems on digraphs of bounded bi-mim-width, when a branch decomposition is given. Locally checkable problems include Kernel, Dominating Set, and Directed $H$-Homomorphism.

연구 동기 및 목표

• 교차 방향 그래프에서 알고리즘적 응용을 위해 mim-width의 방향적 대응을 정의하는 것.
• 반사적 교차 방향 그래프 클래스, 특히 반사적 H-방향 그래프가 유계된 bi-mim-width를 갖는지 보여주는 것.
• bi-mim-width가 유계인 방향 그래프에서 국소적으로 검증 가능한 정점 부분집합 및 분할 문제를 체계적으로 통합하고 다항시간으로 해결하는 프레임워크를 구축하는 것.
• 분기 분해가 주어졌을 때, Dominating Set, Kernel, Directed H-Homomorphism 등의 문제에 대해 다항시간 알고리즘을 제공하는 것.
• bi-mim-width의 r제곱에 대한 유계 및 표현 계산 문제와 관련된 열린 문제를 규명하는 것.

제안 방법

• A에서 B로 및 B에서 A로의 방향 컷 구성 요소 내 최대 유도 매칭을 기반으로 한 branch-width 측정으로서 bi-mim-width를 정의한다.
• 정점 집합 내에서 외부 및 내부 이웃에 대한 제약 조건을 가진 방향성 국소 검증 가능한 문제(LCVS 및 LCVP)를 도입한다.
• bi-mim-width를 매개변수로 하는 문제는 거리-r 변형의 경우 시간 복잡도 O(n^{3drw+2}) 내에서 해결 가능하다는 것을 증명한다. 여기서 d는 문제의 복잡도이고 w는 bi-mim-width이다.
• 거리-r 문제를 표준 문제로 감소시키기 위해 방향 그래프의 r제곱을 사용하며, bi-mim-width가 r제곱에 대해 안정적임을 활용한다.
• 반사적 H-방향 그래프의 bi-mim-width는 최대 12|E(H)|의 선형성을 갖는다는 것을 증명하며, 무방향 H-그래프의 기존 유계를 일반화한다.
• 기존의 mim-width에 대한 XP 알고리즘을 방향 설정으로 확장하여 새로운 bi-mim-width 매개변수에 맞게 적응시킨다.

실험 결과

연구 질문

• RQ1 교차 방향 그래프의 효율적 알고리즘 처리를 가능하게 하는 mim-width의 방향적 대응을 정의할 수 있는가?
• RQ2 반사적 교차 방향 그래프 클래스, 예를 들어 반사적 H-방향 그래프 및 조정된 간격 방향 그래프가 유계된 bi-mim-width를 갖는가?
• RQ3 bi-mim-width가 유계일 경우, 방향 그래프에서 국소적으로 검증 가능한 문제들이 체계적으로 통합되고 다항시간으로 해결될 수 있는가?
• RQ4 bi-mim-width와 방향 그래프의 r제곱 간의 관계는 무엇이며, 특히 폭 유지 여부에 대해 어떻게 되는가?
• RQ5 유계된 bi-mim-width를 갖는 클래스에 대해 반사적 교차 방향 그래프의 표현을 다항시간 내에 계산할 수 있는가?

주요 결과

• 반사적 H-방향 그래프의 bi-mim-width는 최대 12|E(H)|의 선형성을 갖는다. 이는 기존의 무방향 H-그래프에 대한 알려진 mim-width 유계를 일반화한다.
• bi-mim-width가 w이고 분기 분해가 주어진 방향 그래프에서, LCVS 및 LCVP 문제, 예를 들어 Dominating Set 및 Kernel 문제는 시간 복잡도 O(n^{3drw+2}) 내에서 해결 가능하다.
• bi-mim-width가 w인 방향 그래프의 r제곱은 bi-mim-width가 최대 rw 이므로 거리-r 변형 문제를 효율적으로 해결할 수 있다.
• 유계된 bi-mim-width를 갖는 반사적 교차 방향 그래프에서 국소적으로 검증 가능한 문제를 해결하기 위한 통합 알고리즘 프레임워크를 확립하였다.
• 논문은 열린 문제를 규명하였으며, 이는 r-독립적인 bi-mim-width 유계의 존재성과 반사적 교차 방향 그래프의 다항시간 표현 계산 가능성에 관한 것이다.