[논문 리뷰] On the Lovász Theta function for Independent Sets in Sparse Graphs

Nikhil Bansal, Anupam Gupta외 1명|arXiv (Cornell University)|2015. 04. 18.

Complexity and Algorithms in Graphs참고 문헌 1인용 수 7

한 줄 요약

이 논문은 최대 차수 d인 그래프에서 최대 독립집합의 Lovász θ-함수 SDP의 정수성 간격을 기존의 ˜O(d/log d)에서 ˜O(d/log^{3/2}d)로 향상시켰으며, Kr-자유 그래프에서의 독립수에 대한 새로운 라모지-이론적 경계를 활용하였다. 또한 Johansson의 색칠 알고리즘을 이용해 더 강력한 SA+ 계층 구조 결과의 알고리즘 버전을 제공하여, ˜O(d/log^2 d) 근사도를 달성하였으며, 이는 유니크 게임 추측 하에서 알려진 최고 수준의 하드네스와 일치한다.

ABSTRACT

We consider the maximum independent set problem on graphs with maximum degree~$d$. We show that the integrality gap of the Lovász $\vartheta$-function based SDP is $\widetilde{O}(d/\log^{3/2} d)$. This improves on the previous best result of $\widetilde{O}(d/\log d)$, and almost matches the integrality gap of $\widetilde{O}(d/\log^2 d)$ recently shown for stronger SDPs, namely those obtained using poly-$(\log(d))$ levels of the $SA^+$ semidefinite hierarchy. The improvement comes from an improved Ramsey-theoretic bound on the independence number of $K_r$-free graphs for large values of $r$. We also show how to obtain an algorithmic version of the above-mentioned $SA^+$-based integrality gap result, via a coloring algorithm of Johansson. The resulting approximation guarantee of $\widetilde{O}(d/\log^2 d)$ matches the best unique-games-based hardness result up to lower-order poly-$(\log\log d)$ factors.

연구 동기 및 목표

• 기본 SDP가 최대 독립집합 문제에 대해 최대 차수 d인 그래프에서 최고의 근사비율과 정수성 간격 사이의 격차를 좁히기 위해.
• 이전의 ˜O(d/log d) 정수성 간격을 넘어선 Lovász θ-함수 SDP의 정수성 간격 향상을 위해, Kr-자유 그래프에 대한 더 강력한 라모지-이론적 경계를 활용하기 위해.
• 최근의 SA+ 계층 구조 결과의 ˜O(d/log^2 d) 정수성 간격에 대해 알고리즘적 버전을 제공하여, 고유 게임 추측 하에서 알려진 최고 수준의 하드네스와 일치시키기 위해.
• 표준 SDP 리 릿지가 라이프팅 없이도 이전보다 더 강력하다는 것을 증명하여, 더 낮은 정수성 간격을 달성함으로써, 이전에 알려진 것보다 더 강력한 정수성 간격을 확보하기 위해.

제안 방법

• 큰 r에 대해 Kr-자유 그래프의 독립수에 대한 새로운 라모지-이론적 경계를 유도하여, 희박한 그래프의 구조적 이해를 향상시키기 위해.
• 향상된 라모지 경계를 활용해 표준 Lovász θ-함수 SDP 리 릿지의 정수성 간격에 대한 더 날카운 상한을 확립하기 위해.
• Johansson의 색칠 알고리즘을 적용하여 비구성적 SA+ 계층 결과를 효율적인 근사 알고리즘으로 전환하기 위해.
• 모멘트 집중 부등식과 Lovász 국소 레미를 활용해 랜덤화 라운딩 절차에서 희귀 사건의 확률을 분석하기 위해.
• Shearer와 Alon의 엔트로피 기반 분석을 올리프트된 SDP의 局소 분포의 구조와 융합하여 독립수를 경계하기 위해.
• SA+ 계층의 국소 분포 성질을 활용하여, 모든 다항로그(d)-크기의 부분그래프가 큰 독립집합을 포함해야 한다는 점을 주장함으로써, 글로벌 경계를 확보하기 위해.

실험 결과

연구 질문

• RQ1 최대 차수 d인 그래프에서 최대 독립집합 문제에 대해 표준 Lovász θ-함수 SDP의 정수성 간격은 ˜O(d/log d)를 초월하여 향상시킬 수 있는가?
• RQ2 큰 r일 때 Kr-자유 그래프의 독립수에 대한 가장 날카운 라모지-이론적 경계는 무엇인가?
• RQ3 SA+ 계층에서의 비구성적 정수성 간격 결과를 희박한 그래프에서의 독립집합 문제에 대해 알고리즘적으로 전환할 수 있는가?
• RQ4 표준 SDP 리 릿지가 이전의 SDP 기반 근사 알고리즘보다 얼마나 더 강력한가?

주요 결과

• 최대 차수 d인 그래프에서 최대 독립집합 문제에 대한 표준 Lovász θ-함수 SDP 리 릿지의 정수성 간격은 ˜O(d/log^{3/2}d) 이하이다.
• 이전까지 알려진 최고의 경계인 ˜O(d/log d)를 향상시켰으며, 이는 라이프팅 없이도 첫 번째로 향상된 결과이다.
• 이 향상은 큰 r에 대해 Kr-자유 그래프의 독립수에 대한 새로운 라모지-이론적 경계에서 기인하며, 이는 이전 결과보다 더 날카롭다.
• Johansson의 색칠을 통해 SA+ 계층의 ˜O(d/log^2 d) 정수성 간격에 대한 알고리즘 버전을 확보하여, ˜O(d/log^2 d)-근사 알고리즘을 도출하였다.
• 이에 따른 근사 보장은 다항로그(log log d) 요소를 제외하고, 유니크 게임 추측 하에서 알려진 최고 수준의 하드네스와 일치한다.
• 논문은 표준 SDP 리 릿지가 이전에 생각했던 것보다 더 강력하다는 것을 입증하였으며, 이는 이전의 SDP 기반 알고리즘보다 더 낮은 정수성 간격을 달성하기 때문이다.