[논문 리뷰] Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations

Mikael Gast, Mathias Hauptmann외 1명|arXiv (Cornell University)|2012. 10. 09.

Complexity and Algorithms in Graphs참고 문헌 30인용 수 6

한 줄 요약

이 논문은 휠 구조 기반의 다중그래프 임bedding과 유계 차수 증폭기 구축을 이용하여 연결된 파워 라이드 그래프(PLG) 및 그 기능적 일반화에서 최소 정점 커버(Min-VC) 문제에 대한 명시적 근사 불가능성 하한을 설정한다. 0 < β < β_max ≈ 2.48일 때 연결된 (α, β)-PLG 다중그래프에서 Min-VC는 APX-난이도를 지닌다. 이 경우 기능적 β = 1 ± 1/f(n)이고 f(n) = ω(log n)일 때, 명시적 근사 비율은 1 + ϵ_d / (1 + 2d)이다.

ABSTRACT

We prove new explicit inapproximability results for the Vertex Cover Problem on the Power Law Graphs and some functional generalizations of that class of graphs. Our results depend on special bounded degree amplifier constructions for those classes of graphs and could be also of independent interest.

연구 동기 및 목표

• 파워 라이드 그래프에서 Min-VC에 대한 알려진 근사 상한과 근사 불가능성 하한 사이의 격차를 메우기 위해.
• 기존의 이산된 파워 라이드 그래프에서의 근사 불가능성 결과를 이산적이지 않은 연결된 (α, β)-PLG 다중그래프로 확장하기 위해.
• f(n)이 빠르게 증가할 때 β = 1 ± 1/f(n)인 기능적 파워 라이드 도수 분포에서 Min-VC의 난이도를 분석하기 위해.
• 특정 (α, β)-PLG의 구조적 특성에 맞게 설계된 새로운 유계 차수 증폭기 구축법을 개발하기 위해.
• 연결된 및 기능적 PLG 클래스에서 Min-VC에 대한 명시적이고 정량적인 근사 불가능성 요소를 설정하기 위해.

제안 방법

• 휠 기반 그래프 구축을 이용하여 (α, β)-PLG에 다중그래프 임bedding을 통해 특수한 유계 차수 증폭기를 구성한다.
• 구간 크기 추정 기법을 활용하여 β = 1 ± 1/f(n)인 (α, β)-PLG에서의 노드 차수 분포를 분석한다.
• 차수 수열의 점근적 분석과 반올림 오차 추정을 이용하여 특정 차수 구간 내의 노드 수를 근사한다.
• Min-VC_d의 어려운 인스턴스에서 (α, β)-PLG로의 감소를 적용하여 근사 비율 격차를 유지한다.
• 구간 [x∆, y∆] 및 (y∆, z∆]의 크기 추정을 활용하여 보조 그래프를 임bedding하고 난이도를 유지한다.
• f(n) = ω(log n) 함수를 활용하여 차수 구간 추정의 수렴성을 확보하고 점근적 정확성을 유지한다.

실험 결과

연구 질문

• RQ1 0 < β < β_max ≈ 2.48일 때 연결된 (α, β)-PLG 다중그래프에서 Min-VC는 APX-난이도를 가질까?
• RQ2 f(n) = ω(log n)일 때 β = 1 ± 1/f(n)인 기능적 파워 라이드 그래프에서 Min-VC에 대한 명시적 근사 불가능성 하한을 설정할 수 있을까?
• RQ3 이산된 PLG에서의 난이도 결과는 연결된 경우로 확장될 수 있을까?
• RQ4 β가 상수가 아닌 n의 함수일 때 (α, β)-PLG에서 Min-VC의 정확한 근사 비율 하한은 무엇일까?
• RQ5 0 < β < β_max일 때 동일한 난이도 결과를 β = β ± 1/f(n)로 확장할 수 있을까?

주요 결과

• 0 < β < β_max ≈ 2.48일 때 연결된 (α, β)-PLG 다중그래프에서 Min-VC는 APX-난이도를 가진다.
• f(n) = ω(log n)일 때 기능적 β = 1 − 1/f(n)이면, Min-VC는 근사 비율 1 + ϵ_d / (1 + 2d) 내에서 근사가 불가능하며, 여기서 ϵ_d는 Min-VC_d의 근사 불가능성 비율이다.
• f(n) = ω(log n)일 때 기능적 β = 1 + 1/f(n)이면, 동일한 근사 불가능성 비율 1 + ϵ_d / (1 + 2d)가 유지된다.
• β = 1 ± 1/f(n)인 (α, β)-PLG에서 노드 수 |[1, ∆f]|는 (1 ± o(1)) · α · e^α를 만족한다.
• x = e^{-(1−c')α}, y = e^{-(1−c)α}인 구간 [x∆f, y∆f]의 크기는 (1 ± o(1)) · |[1, ∆f]|이다.
• z = e^{-(1−c'')α}일 때 (y∆f, z∆f] 내의 노드 수는 o(|Gα,βf|)이며, 이는 보조 그래프를 임bedding하고 난이도를 유지하는 데에 충분하다.