[논문 리뷰] Domination Problems in Nowhere-Dense Classes of Graphs

Anuj Dawar, Stephan Kreutzer|ArXiv.org|2009. 07. 24.

Advanced Graph Theory Research참고 문헌 23인용 수 9

한 줄 요약

이 논문은 거리-d 독립집합 문제 및 관련된 몇몇 독립집합 문제들이 전연-밀도가 아닌 클래스의 그래프에서 고정-파rameter 추적 가능(FPT)임을 증명한다. 저자들은 이러한 클래스의 균일한 준넓이성 성질을 이용하여 깊은 구조 정리에 의존하지 않고 이를 증명하며, 기존의 H-미니처-프리, 유계 확장, 국소적으로 제외된 미니처 클래스에 대한 결과를 일반화한다.

ABSTRACT

We investigate the parameterized complexity of generalisations and variations of the dominating set problem on classes of graphs that are nowhere dense. In particular, we show that the distance-d dominating-set problem, also known as the (k,d)-centres problem, is fixed-parameter tractable on any class that is nowhere dense and closed under induced subgraphs. This generalises known results about the dominating set problem on H-minor free classes, classes with locally excluded minors and classes of graphs of bounded expansion. A key feature of our proof is that it is based simply on the fact that these graph classes are uniformly quasi-wide, and does not rely on a structural decomposition. Our result also establishes that the distance-d dominating-set problem is FPT on classes of bounded expansion, answering a question of Ne{\v s}et{ř}il and Ossona de Mendez.

연구 동기 및 목표

• 희박한 그래프 클래스에서 독립집합 문제의 고정-파ram터 추적 가능성(FPT)을 조사하는 것.
• H-미니처-프리 및 유계 확장 그래프에서 알려진 FPT 결과를 더 넓은 전연-밀도 그래프 클래스로 확장하는 것.
• 균일한 준넓이성—조합적 성질—이 독립집합 문제의 FPT 추적 가능성에 충분한지 보여주는 것.
• Nešetřil과 Ossona de Mendez가 제기한, 유계 확장 클래스에서 거리-d 독립집합 문제의 FPT 상태에 대한 열린 질문을 해결하는 것.
• 복잡한 그래프 구조 이론을 피하는 더 단순한 조합적 증명 프레임워크를 제공하는 것.

제안 방법

• 전연-밀도 그래프 클래스의 균일한 준넓이성 성질을 핵심 구조적 가정으로 활용한다.
• G\S가 큰 2-산란 집합을 포함하도록 하는 작은 정점 집합 S를 식별하는 데 기반한 재귀적 알고리즘 절차를 사용한다.
• 로만 독립집합에서 비영인 값이 할당된 정점의 수를 유 bounds하기 위해 이를 적용한다. 이는 매개변수화된 재귀를 가능하게 한다.
• 작은 크기의 집합 S가 반드시 중요한 정점(예: 로만 독립집합에서 값 2로 할당된 정점)을 포함해야 하는 인스턴스로 독립집합 문제를 환원하여, 유한 깊이의 재귀를 허용한다.
• 정의 가능한 집합과 재귀적 분해를 통해 은밀하게 일阶논리 및 모델 체크 원리를 활용한다.
• 다양한 독립집합 변형에 대해 이 접근을 일반화하여, 모두 작은 집합에 대한 유사한 구조적 제약 조건으로 환원됨을 보여준다.

실험 결과

연구 질문

• RQ1 거리-d 독립집합 문제는 전연-밀도 그래프 클래스에서 고정-파ram터 추적 가능(FPT)한가?
• RQ2 유계 확장 및 H-미니처-프리 그래프에서의 독립집합 문제의 FPT 상태는 단일이고 더 단순한 프레임워크로 통합될 수 있는가?
• RQ3 균일한 준넓이성 성질만으로도 독립집합 문제의 FPT 추적 가능성을 보장할 수 있는가? 더 깊은 구조 분해가 필요하지 않은가?
• RQ4 유계 확장 클래스에서 거리-d 독립집합 문제의 FPT 상태에 대한 열린 질문을 긍정적으로 해결할 수 있는가?
• RQ5 일阶논리 모델 체크의 알고리즘 적 타당성은 전연-밀도 클래스에서 어느 정도까지 확장될 수 있는가?

주요 결과

• 거리-d 독립집합 문제는 전연-밀도 그래프 클래스 전반에서 FPT이며, H-미니처-프리, 유계 확장, 국소적으로 제외된 미니처 클래스에 대한 이전 결과를 일반화한다.
• 증명은 복잡한 그래프 미니처 이론에 의존하지 않고 균일한 준넓이성 성질에만 의존한다. 이는 이전 접근 방식보다 단순화된다.
• Nešetřil과 Ossona de Mendez가 제기한, 유계 확장 클래스에서 거리-d 독립집합 문제의 FPT 상태에 대한 열린 질문을 해결한다.
• 로만 독립집합, 연결된 독립집합, 효율적 독립집합 등 다양한 독립집합 문제들이 전연-밀도 클래스에서 FPT임이 입증된다.
• 이 접근은 다양한 독립집합 변형에 동일하게 적용 가능한 투명하고 조합적인 프레임워크를 제공한다.
• 방향성 있는 분리 경로 문제(Directed Disjoint Paths problem)는 degree-4 그래프, 즉 전연-밀도 그래프에서도 여전히 W[1]-하드임을 보여, 이 클래스에서 모든 문제들이 타당하지는 않음을 시사한다.