[논문 리뷰] Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs

Mateus de Oliveira Oliveira|arXiv (Cornell University)|2013. 03. 18.

Advanced Graph Theory Research참고 문헌 36인용 수 4

한 줄 요약

이 논문은 방향성 있는 그래프에 대한 z-위상적 순서를 도입하고, 주어진 MSO₂ 공식을 만족하며 k개의 방향 경로의 합집합인 부분그래프를 f(φ,k,z)·n^{O(k·z)} 시간 내에 세는 알고리즘을 제시한다. 주요 기여는 z-위상적 순서가 유계인 방향성 그래프에 대한 MSO 논리에 대한 새로운 알고리즘적 메타정리로, 무한한 무방향 트리-너비와 클리크-너비를 가진 그래프에서도 다수의 계산 문제에 대해 다항시간 해법을 가능하게 한다.

ABSTRACT

We introduce the notion of z-topological orderings for digraphs. We prove that given a digraph G on n vertices admitting a z-topological order- ing, together with such an ordering, one may count the number of subgraphs of G that at the same time satisfy a monadic second order formula ϕ and are the union of k directed paths, in time f (ϕ, k, z) * n^O(k*z) . Our result implies the polynomial time solvability of many natural counting problems on digraphs admitting z-topological orderings for constant values of z and k. Concerning the relationship between z-topological orderability and other digraph width measures, we observe that any digraph of directed path-width d has a z- topological ordering for z <= 2d + 1. On the other hand, there are digraphs on n vertices admitting a z-topological order for z = 2, but whose directed path-width is Θ(log n). Since graphs of bounded directed path-width can have both arbitrarily large undirected tree-width and arbitrarily large clique width, our result provides for the first time a suitable way of partially trans- posing metatheorems developed in the context of the monadic second order logic of graphs of constant undirected tree-width and constant clique width to the realm of digraph width measures that are closed under taking subgraphs and whose constant levels incorporate families of graphs of arbitrarily large undirected tree-width and arbitrarily large clique width.

연구 동기 및 목표

• 방향성 그래프에서 MSO₂ 성질을 만족하는 부분그래프를 세는 데 위한 새로운 알고리즘 프레임워크를 개발하는 것.
• 무방향 트리-너비와 클리크-너비가 유계가 아닌 방향성 그래프로 알고리즘적 메타정리를 확장하는 것.
• MSO 기반 알고리즘의 효율성을 보장하는 새로운 방향성 그래프 너비 측정법인 z-위상적 순서를 규명하는 것.
• z-위상적 순서, 정규 슬라이스 언어, 그리고 MSO 논리 간의 관계를 설정하는 것.
• 이전 메타정리의 한계를 극복하기 위해 부분그래프에 대해 닫혀 있는 너비 측정법을 도입하면서도, 무방향 트리-너비와 클리크-너비가 높을 수 있도록 하는 것.

제안 방법

• 각 방향 경로가 정점 순서를 최대 z번만 가로지르는 z-위상적 순서의 개념을 도입한다.
• 슬라이스 이론과 슬라이스 그래프를 사용하여, 슬라이스 알파벳 위의 정규 언어로 방향성 그래프와 MSO 성질을 표현한다.
• 주어진 MSO₂ 공식을 만족하고, k개의 방향 경로의 합집합이며, 자이그재그 수 ≤ z인 방향성 그래프를 정확히 포괄하는 z-확장-포화 슬라이스 그래프를 구축한다.
• 슬라이스 분해 위에서 동적 프로그래밍 프레임워크를 적용하여 유효한 부분그래프를 효율적으로 세는 방법을 제시한다.
• 정리 7.2를 활용하여 구성된 슬라이스 그래프의 크기와 정점 수를 기반으로 실행 시간을 근사한다.
• 세는 문제를 슬라이스 문자열 위의 정규 언어에 대한 소속 테스트 문제로 환원하여, 유한 오토마타를 통해 효율적인 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 무방향 트리-너비와 클리크-너비가 유계가 아닌 방향성 그래프로 MSO₂ 모델 체킹과 세기 문제를 확장할 수 있는가?
• RQ2 부분그래프에 대해 닫혀 있고, 해밀턴 순환의 수와 같은 문제에 대해 효율적인 MSO 기반 알고리즘을 허용하는 방향성 그래프 너비 측정법이 존재하는가?
• RQ3 z-위상적 순서가 MSO 세기 문제에 대해 방향성 그래프에서 고정 매개변수 복잡도 알고리즘을 가능하게 하는 구조적 매개변수로 기능할 수 있는가?
• RQ4 z-위상적 순서는 방향 경로-너비와 사이클 랭크와 같은 기존의 방향성 너비 측정법과 어떻게 관련이 있는가?
• RQ5 슬라이스 이론을 어떻게 수정하여 z-위상적 순서 제약 조건 하에서 MSO로 정의된 부분그래프를 정규 언어 특성으로 표현할 수 있는가?

주요 결과

• 논문은 임의의 MSO₂ 공식 φ, 정수 k, 그리고 z-위상적 순서에 대해, φ를 만족하고 k개의 방향 경로의 합집합인 부분그래프의 수를 f(φ,k,z)·n^{O(k·z)} 시간 내에 세는 것으로 입증한다.
• 이 알고리즘은 z = 2이고 n개의 정점을 가진 방향성 그래프에 적용 가능하며, 이 경우 방향 경로-너비가 Θ(log n)임을 보여, 이 프레임워크가 로그 크기의 방향 경로-너비를 가진 그래프를 포괄함을 보여준다.
• 이 프레임워크는 무한한 무방향 트리-너비와 클리크-너비를 가진 그래프를 처리할 수 있으며, 예를 들어 모든 간선이 왼쪽과 위로 방향이 설정된 n×n 방향 그리드는 z = 1이지만 트리-너비와 클리크-너비가 Ω(n)임을 보여준다.
• 이 방법은 MSO₂ 공식과 k = 2 경로를 사용하여 DAG에서 해밀턴 순환의 수를 다항시간 내에 세는 것을 가능하게 하며, 이러한 그래프들은 높은 트리-너비와 클리크-너비를 가짐에도 불구하고 가능하다.
• z-확장-포화 슬라이스 그래프의 구축은 자이그재그 수 ≤ z이면서 φ를 만족하는 부분그래프만 세는 것을 보장하여, 해공간에 대한 정밀한 제어를 가능하게 한다.
• z-위상적 순서를 구조적 매개변수로 사용함으로써 쿠르셀의 정리를 방향성 그래프로 일반화하여, 이전에는 다항시간으로 접근이 어려웠던 클래스에까지 논리적 알고리즘 이론의 영역을 확장한다.