[논문 리뷰] A QPTAS for Facility Location on Unit Disk Graphs

James R. Lee, Rezapour, Mohsen외 2명|arXiv (Cornell University)|2016. 08. 04.

Advanced Graph Theory Research인용 수 7

한 줄 요약

이 논문은 평면 상의 연속된 호의 교차 그래프로 정의되는 스트링 그래프의 모든 그래프가 m개의 간선을 가질 때 크기 O(√m)의 균형 잡힌 분리집합을 가짐을 증명함으로써, 유닛 디스크 그래프에서 시설 위치 문제에 대한 준다항식 시간 근사체계(QPTAS)를 수립한다. 이 결과는 Fox와 Pach(2010)의 추측을 확인하며, 스펙트럴 분할과 등각 메트릭을 사용하여 고정된 미니어를 배제하는 그래프의 더 넓은 클래스로 평면 분할 정리의 일반화를 이루었다.

ABSTRACT

For undirected graphs G=(V,E) and G_0=(V_0,E_0), say that G is a region intersection graph over G_0 if there is a family of connected subsets {R_u \subseteq V_0 : u \in V} of G_0 such that {u,v} \in E \iff R_u \cap R_v eq \emptyset. We show if G_0 excludes the complete graph K_h as a minor for some h \geq 1, then every region intersection graph G over G_0 with m edges has a balanced separator with at most c_h \sqrt{m} nodes, where c_h is a constant depending only on h. If G additionally has uniformly bounded vertex degrees, then such a separator is found by spectral partitioning. A string graph is the intersection graph of continuous arcs in the plane. String graphs are precisely region intersection graphs over planar graphs. Thus the preceding result implies that every string graph with m edges has a balanced separator of size O(\sqrt{m}). This bound is optimal, as it generalizes the planar separator theorem. It confirms a conjecture of Fox and Pach (2010), and improves over the O(\sqrt{m} \log m) bound of Matousek (2013).

연구 동기 및 목표

• Fox와 Pach(2010)의 추측을 해결하는 것: m개 간선을 가진 스트링 그래프가 O(√m) 크기의 균형 잡힌 분리집합을 가짐을 입증하는 것.
• 고정된 미니어 Kh를 배제하는 그래프의 경우, 평면 분할 정리의 일반화를 region 교차 그래프에 적용하는 것.
• 선형 프로그래밍과 스펙트럴 방법을 사용하여 이러한 분리집합을 구축하는 다항식 시간 알고리즘을 개발하는 것.
• 배제된 미니어에 대한 엄밀한 고유값과 극한 분포의 경계를 확립하여, 메트릭 임bedding과 플로우 이론에의 응용을 가능하게 하는 것.

제안 방법

• 기저 그래프 G0 위에서의 영역 교차 그래프(rigs) 개념을 사용하며, 이는 G0의 연결 부분집합에 대응하는 정점으로 구성된다.
• 랜덤 분리집합 구성에서 왜곡을 제어하기 위해 등각 그래프 메트릭과 패딩된 분할을 적용한다.
• 등각 메트릭과 다중 플로우 사이의 이중성을 활용하여 혼잡도를 경계하고 분리집합 크기를 유도한다.
• 유계 차수 그래프에서 분리집합을 찾기 위해 스펙트럴 분할 기법을 활용한다.
• 미니어가 없는 그래프에서의 구조적 복잡성을 관리하기 위해 '신중한 미니어'와 '자르는 트리'를 도입한다.
• 가중 L2 노름과 고유값 경계를 사용하여 분리집합 크기의 정량적 추정을 유도한다.

실험 결과

연구 질문

• RQ1 m개 간선을 가진 스트링 그래프는 크기 O(√m)의 균형 잡힌 분리집합을 가질 수 있는가?
• RQ2 고정된 미니어 Kh를 배제하는 그래프로 평면 분할 정리를 일반화할 수 있는가?
• RQ3 분리집합 크기의 최적의 종속성은 미니어 제거 매개변수 h에 대해 어떻게 되는가?
• RQ4 유계 차수를 가진 rigs에서 스펙트럴 방법을 사용하여 분리집합을 효율적으로 구성할 수 있는가?
• RQ5 이러한 그래프 가족에서 이중 리프시츠 임베딩과 다중 플로우 최소 컷 정리에 어떤 함의가 있는가?

주요 결과

• 논문은 모든 m개 간선을 가진 스트링 그래프가 크기 O(√m)의 2/3-균형 잡힌 분리집합을 가짐을 증명하며, Fox와 Pach(2010)의 추측을 확인한다.
• G0에서 Kh를 미니어로 배제하는 임의의 rig G에 대해, 균형 잡힌 분리집합 크기는 ch√m 이하로 경계되며, 여기서 ch ≤ O(h³√log h)이다.
• 정점의 차수가 균일하게 유계일 경우, 스펙트럴 분할이 이러한 분리집합을 제공하며, 이는 구축 가능한 알고리즘을 제공한다.
• 이 결과는 Matoušek의 O(√m log m) 경계보다 정량적으로 개선되어 최적의 O(√m) 크기로 도달한다.
• 고유값 경계 λk(G) ≤ O(d²_max h⁶ log h / k) · |V_G| 가 확립되어 스펙트럴 성질과 분리집합의 구조를 연결한다.
• 모든 정점에 대한 확률 측도 µ에 대해 크기 O(ch√m / n)의 가중 분리집합이 존재함을 보였으며, 여기서 ch ≤ O(h³ log h)이다.