[논문 리뷰] Neighborhood complexity and kernelization for nowhere dense classes of graphs

Kord Eickmeyer, Archontia C. Giannopoulou외 5명|arXiv (Cornell University)|2016. 12. 24.

Advanced Graph Theory Research참고 문헌 20인용 수 6

한 줄 요약

이 논문은 어디서도 조밀하지 않은 그래프 클래스가 유계 이웃 복잡도를 가지며, 이러한 클래스에 属하는 그래프 G의 임의의 정점 부분집합 A에 대해, A와 각 정점의 r-이웃의 교차 수가 f(r,ε)·|A|^{1+ε} 이하임을 증명한다. 이 특성은 어디서도 조밀하지 않은 클래스에서 거리-r 독립집합 문제에 대한 첫 번째 거의 선형 커널을 가능하게 하며, 추측을 해결하고, 어디서도 조밀함과 어느 정도 조밀함의 경계에서 파arameterized tractability의 뚜렷한 이분화를 확립한다.

ABSTRACT

We prove that whenever $G$ is a graph from a nowhere dense graph class $\mathcal{C}$, and $A$ is a subset of vertices of $G$, then the number of subsets of $A$ that are realized as intersections of $A$ with $r$-neighborhoods of vertices of $G$ is at most $f(r,ε)\cdot |A|^{1+ε}$, where $r$ is any positive integer, $ε$ is any positive real, and $f$ is a function that depends only on the class $\mathcal{C}$. This yields a characterization of nowhere dense classes of graphs in terms of neighborhood complexity, which answers a question posed by Reidl et al. As an algorithmic application of the above result, we show that for every fixed $r$, the parameterized Distance-$r$ Dominating Set problem admits an almost linear kernel on any nowhere dense graph class. This proves a conjecture posed by Drange et al., and shows that the limit of parameterized tractability of Distance-$r$ Dominating Set on subgraph-closed graph classes lies exactly on the boundary between nowhere denseness and somewhere denseness.

연구 동기 및 목표

• Reidl 등이 제기한 질문에 응답하기 위해, 어디서도 조밀하지 않은 그래프 클래스를 이웃 복잡도로 특성화하는 것.
• 어디서도 조밀하지 않은 그래프 클래스에서 거리-r 독립집합 문제에 대한 거의 선형 커널의 존재를 확립하는 것.
• 어디서도 조밀하지 않은 클래스와 어느 정도 조밀한 클래스의 경계에서 거리-r 독립집합 문제의 파라미터화된 접근 가능성에 뚜렷한 이분화가 존재하는지 보여주는 것.
• 특히 VC-차원과 Sauer-Shelah 보조정리를 활용하여, 흐림된 그래프 클래스에서 모델 이론적 안정성 개념과 알고리즘 조합론을 연결하는 것.

제안 방법

• 그래프 G의 정점 부분집합 A와 G의 정점들의 r-이웃 간의 서로 다른 교차 수로 이웃 복잡도를 정의한다.
• 어디서도 조밀하지 않은 클래스의 안정성으로 인해 r-이웃의 초그래프의 VC-차원을 유계로 제한하고, 이를 통해 Sauer-Shelah 보조정리를 적용할 수 있도록 한다.
• 집합 Z 외부의 정점을 Z에 대한 r-투영으로 분류하여, Z와의 r-이웃 교차가 동일한 정점들을 동치류로 묶는다.
• 거리 r 이내의 거리를 유지하는 경로 유지 기법을 사용하여 Z의 흐림 초집합 A'와 그 투영을 구성한다.
• 거리-r 독립집합 솔루션을 유지하면서 그래프 크기를 f_fin(r,ε)·|Z|^{1+ε} 이하로 줄이는 커널화 절차를 적용한다.
• 최종적으로 거의 선형 커널 bound를 확보하기 위해 ε를 재조정하며, 이웃 복잡도와 VC-차원의 유계성에 기반한다.

실험 결과

연구 질문

• RQ1 어디서도 조밀하지 않은 그래프 클래스는 임의의 정점 부분집합에 대해 이웃 복잡도에 대한 통일된 유계를 가질 수 있는가?
• RQ2 거리-r 독립집합 문제의 거의 선형 커널이 모든 어디서도 조밀하지 않은 그래프 클래스에서 존재하는가?
• RQ3 거리-r 독립집합 문제의 파라미터화된 접근 가능성에 대해, 어디서도 조밀하지 않은 클래스와 어느 정도 조밀한 클래스의 경계에서 뚜렷한 임계점이 존재하는가?
• RQ4 VC-차원과 Sauer-Shelah 보조정리와 같은 모델 이론적 도구를 활용하여, 유계 확장에서의 결과를 어디서도 조밀하지 않은 클래스로 확장할 수 있는가?
• RQ5 어디서도 조밀하지 않은 그래프 클래스에서 안정성과 VC-차원을 통해, 밀도가 높은 보조 초그래프(예: r-이웃)를 조합론적으로 분석할 수 있는가?

주요 결과

• 모든 어디서도 조밀하지 않은 그래프 클래스 C에 대해, 임의의 부분집합 A에 대해 A와 r-이웃의 서로 다른 교차 수는 f(r,ε)·|A|^{1+ε} 이하이며, 여기서 f는 C와 ε > 0에만 의존한다.
• 이 이웃 복잡도 유계 조건은 어디서도 조밀하지 않은 클래스를 특성화하며, 이 클래스에 대한 새로운 조합론적 특성화를 제공한다.
• 거리-r 독립집합 문제의 거의 선형 커널이 모든 어디서도 조밀하지 않은 그래프 클래스에서 존재하며, 커널 크기는 임의의 ε > 0에 대해 f_fin(r,ε)·|Z|^{1+ε} 이하로 유 bounds된다.
• 이 커널화 결과는 Drange 등이 제기한 추측을 해결하며, 어디서도 조밀함이 거리-r 독립집합 문제의 거의 선형 커널화의 정확한 임계점임을 증명한다.
• 이 증명 기법은 안정성에 기반해 r-이웃 초그래프의 VC-차원을 유계로 제한한 후, Sauer-Shelah 보조정리를 적용하여 동치류 수를 제어한다.
• 이 방법은 VC-차원 제어를 통해 지수적 팽창을 다항식 유계로 전환함으로써, 유계 확장에서의 조합론적 추론을 어디서도 조밀하지 않은 클래스로 확장할 수 있도록 한다.