[논문 리뷰] A tight Erdos-Pósa function for planar minors

Wouter Cames van Batenburg, Tony Huyn외 2명|arXiv (Cornell University)|2019. 01. 06.

Advanced Graph Theory Research인용 수 13

한 줄 요약

이 논문은 평면 그래프 H에 대해 f(k) = c(H)k log k가 성립하는 엄밀한 에르되시–포사 함수를 증명함으로써 평면 미니처에 대한 엄밀한 에르되시–포사 성질을 확립한다. 여기서 c(H)는 H에 의존하는 상수이며, 이는 G가 H를 미니처로 가지는 k개의 정점 분리 부분그래프를 포함하거나, 이러한 모든 미니처를 제거하는 크기가 f(k) 이내인 히팅 세트가 존재함을 의미한다. 이 결과는 이전의 상한을 향상시키며, H-미니처 피킹 문제에 대해 다항시간 O(log OPT)-근사 알고리즘을 도출한다.

ABSTRACT

Let H be a planar graph. By a classical result of Robertson and Seymour, there is a function f : N → R such that for all k ϵ N and all graphs G, either G contains k vertex-disjoint subgraphs each containing H as a minor, or there is a subset X of at most f(k) vertices such that G−X has no H-minor. We prove that this remains true with f(k) = ck log k for some constant c = c(H). This bound is best possible, up to the value of c, and improves upon a recent result of Chekuri and Chuzhoy [STOC 2013], who established this with f(k) = ck logd k for some universal constant d. The proof is constructive and yields a polynomial-time O(log OPT)-approximation algorithm for packing subgraphs containing an H-minor.

연구 동기 및 목표

• H가 평면 그래프일 경우 에르되시–포사 성질에 대한 엄밀한 함수 f(k)를 확립하는 것.
• 체쿠리와 추조이가 이전에 확보한 f(k) = ck log^d k의 상한을 향상시키는 것.
• H-미니처 피킹 문제에 대해 다항시간 O(log OPT)-근사 알고리즘을 도출하는 구조적 증명을 제공하는 것.
• f(k) = c(H)k log k 상한이 상수 c(H)에 대해 최적임을 보여주는 것. 이는 최상의 점근적 성장률을 정확히 따름.

제안 방법

• 평면 그래프의 구조와 로버트슨–세이머 그래프 미니처 이론을 활용하여 H-미니처 포함성을 분석하는 것.
• 그래프의 재귀적 분해를 통해 H-미니처 부분그래프를 식별하거나 제거하는 것.
• 평면 미니처의 맥락에서 피킹과 커버링 간의 이중성 원리를 적용하는 것.
• k개의 정점 분리 H-미니처 부분그래프를 찾거나 크기가 O(k log k)인 히팅 세트를 계산하는 구조적 알고리즘을 설계하는 것.
• 엄밀한 f(k) = c(H)k log k 함수를 사용하여 알고리즘의 근사 비율을 O(log OPT)로 경계하는 것.
• 히팅 세트 크기가 이론적 상한에 상수 배수 이내로 유지되도록 보장하기 위해 청구 원리(charging argument)를 활용하는 것.

실험 결과

연구 질문

• RQ1 평면 미니처에 대해 f(k) = c(H)k log k인 엄밀한 함수 f(k)가 어떤 상수 c(H)에 대해 존재할 수 있는가?
• RQ2 f(k) = c(H)k log k 상한이 평면 H에 대해 상수 c(H)에 대해 최적인가?
• RQ3 구조적 알고리즘이 그래프 내에서 H-미니처 부분그래프 피킹 문제에 대해 O(log OPT)-근사 성능을 달성할 수 있는가?
• RQ4 향상된 상한 f(k) = c(H)k log k는 이전 결과들보다 고차수 로그 인자(예: log^d k, d > 1)를 포함한 결과들을 포함하는가?

주요 결과

• 논문은 평면 미니처에 대해 f(k) = c(H)k log k를 엄밀한 에르되시–포사 함수로 확립하였으며, 상수 c(H)에 대해 최상의 점근적 성장률을 정확히 따름.
• 체쿠리와 추조이의 이전 결과인 f(k) = ck log^d k보다 상한을 향상시켜, 로그 인자의 차수를 d > 1에서 1로 감소시킴.
• H를 미니처로 가지는 정점 분리 부분그래프의 피킹 문제에 대해 다항시간 O(log OPT)-근사 알고리즘을 구성함.
• 알고리즘은 구조적이며 이론적 상한과 일치함으로써, f(k) = c(H)k log k 함수의 엄밀함을 확인함.
• 평면 미니처에 대해 에르되시–포사 함수의 로그 인자는 상수 c(H)에 대해 피할 수 없음을 확인함.
• 증명 기법은 유사한 이중성 성질을 가진 다른 미니처 폐쇄 그래프 클래스에도 일반적으로 적용 가능한 프레임워크를 제공함.