[논문 리뷰] Empirical Evaluation of Approximation Algorithms for Generalized Graph Coloring and Uniform Quasi-Wideness

Wojciech Nadara, Marcin Pilipczuk외 3명|arXiv (Cornell University)|2018. 02. 27.

Advanced Graph Theory Research인용 수 7

한 줄 요약

이 논문은 희박한 그래프 계열에서 일반화된 그래프 색칠하기와 균일한 준넓이성에 대한 근사 알고리즘을 경험적으로 평가하며, 균일한 준넓이성에 대해 다항식 크기 보장을 갖는 새로운 알고리즘을 제안한다. 실험 결과 단순 휴리스틱이 이론적으로 보장된 알고리즘보다 실질적으로 뛰어난 성능을 보이며, 이는 이론적 한계와 실용적 성능 사이의 격차를 시사한다.

ABSTRACT

The notions of bounded expansion and nowhere denseness not only offer robust and general definitions of uniform sparseness of graphs, they also describe the tractability boundary for several important algorithmic questions. In this paper we study two structural properties of these graph classes that are of particular importance in this context, namely the property of having bounded generalized coloring numbers and the property of being uniformly quasi-wide. We provide experimental evaluations of several algorithms that approximate these parameters on real-world graphs. On the theoretical side, we provide a new algorithm for uniform quasi-wideness with polynomial size guarantees in graph classes of bounded expansion and show a lower bound indicating that the guarantees of this algorithm are close to optimal in graph classes with fixed excluded minor.

연구 동기 및 목표

• 실세계 그래프에서 일반화된 색칠 수와 균일한 준넓이성에 대한 근사 알고리즘의 실용적 성능을 평가하기 위해.
• 이러한 구조적 파라미터에 대한 기존 알고리즘의 이론적 보장과 경험적 결과 사이의 격차를 조사하기 위해.
• 증명 가능한 다항식 크기 보장을 갖는 균일한 준넓이성에 대한 새로운 알고리즘을 개발하고 테스트하기 위해.
• 특히 이론적으로 기반을 둔 접근 방식과 비교하여 실무에서 가장 효과적인 휴리스틱을 식별하기 위해.

제안 방법

• 실세계 그래프 데이터셋에서 일반화된 색칠 수와 균일한 준넓이성에 대한 다수의 근사 알고리즘을 경험적으로 평가하기 위해.
• 단순 휴리스틱, 귀납적 알고리즘, 이론적으로 보장된 알고리즘(특히 [82] 및 [70]의 방법 변형 포함)을 구현하고 비교하기 위해.
• 이론적 크기 경계를 확보하기 위해 약하게 갈 수 있는 집합으로 탐색 공간을 제한하는 균일한 준넓이성에 대한 새로운 알고리즘을 제안하기 위해.
• 그래프 $G(k,r,m')$의 재귀적 구성법을 사용하여 균일한 준넓이성에 대한 알고리즘 성능의 하한을 확립하기 위해.
• 이론적 보장과 실용적 효율성 사이의 트레이드오프를 분석하기 위해 삭제 집합 크기와 색칠 수 근사치를 측정하기 위해.
• 다양한 실세계 네트워크를 대상으로 상세한 실험적 비교를 수행하여 확장성과 해의 품질을 평가하기 위해.

실험 결과

연구 질문

• RQ1 실세계 그래프에서 단순 휴리스틱과 이론적으로 보장된 알고리즘 간의 일반화된 색칠 수 근사치 성능는 어떻게 비교되는가?
• RQ2 다항식 크기 보장을 갖는 균일한 준넓이성에 대한 새로운 알고리즘의 실용적 성능는 어떠한가?
• RQ3 강력한 이론적 보장을 갖는 새 알고리즘이 단순한 휴리스틱보다 실질적으로 성능이 열 劣하는 이유는 무엇인가?
• RQ4 색칠 수와 준넓이성에 대한 이론적 한계가 실세계 네트워크에서 관측된 값과 얼마나 일치하는가?
• RQ5 더 정교한 독립집합 휴리스틱은 가장 단순한 휴리스틱을 초월하여 균일한 준넓이성 근사의 성능을 향상시킬 수 있는가?

주요 결과

• 균일한 준넓이성에 대한 가장 단순한 휴리스틱이 실세계 그래프에서 해의 품질 측면에서 이론적 보장을 갖는 모든 다른 알고리즘을 초월하였다.
• 일반화된 색칠 수에 대해서는 가장 단순한 휴리스틱이 경쟁력 있었으며, 이론적 보장을 갖지 않는 두 개의 귀납적 휴리스틱에 의해 뿐만 아니라 뛰어난 성능를 보였다.
• 다항식 크기 이론적 경계를 확보하는 균일한 준넓이성에 대한 새 알고리즘은 과도하게 보수적인 탐색 공간 제약로 인해 실질적으로 성능이 열 劣하였다.
• 이론적 하한 분석 결과, 고정된 배제된 미니어처를 갖는 그래프 계열에서는 새 알고리즘의 보장이 최적에 가깝다는 것이 드러났다.
• 알고리즘으로부터의 상한과 구성법으로부터의 하한 사이의 격차는 실용적 근사 품질 향상 여지를 시사한다.
• 결과는 이론적 보장이 항상 실용적 효율성으로 이어지지 않음을 시사하며, 이러한 알고리즘적 환경에서 이론과 실천 사이의 괴리가 존재함을 강조한다.