[논문 리뷰] Finding large and small dense subgraphs

Reid Andersen|ArXiv.org|2007. 02. 05.

Complexity and Algorithms in Graphs참고 문헌 14인용 수 11

한 줄 요약

이 논문은 밀도가 가장 높은 최소 k개 정점 부분그래프(DalkS) 문제를 제안하며, 효율적인 근사 알고리즘을 제시한다: O(m + n log n) 시간 내에서 3-근사 알고리즘과 매개변수 흐름을 통한 2-근사 알고리즘. 또한, 최대 k개 정점 부분그래프(DamkS) 문제의 계산 복잡도가 NP-난이도인 밀도가 가장 높은 k-정점 부분그래프 문제(DkS)와 거의 동일한 난이도임을 보여주며, DamkS의 γ-근사 알고리즘이 존재할 경우 DkS에 대해 4(γ² + γ)-근사 알고리즘이 유도됨을 시사한다.

ABSTRACT

We consider two optimization problems related to finding dense subgraphs. The densest at-least-k-subgraph problem (DalkS) is to find an induced subgraph of highest average degree among all subgraphs with at least k vertices, and the densest at-most-k-subgraph problem (DamkS) is defined similarly. These problems are related to the well-known densest k-subgraph problem (DkS), which is to find the densest subgraph on exactly k vertices. We show that DalkS can be approximated efficiently, while DamkS is nearly as hard to approximate as the densest k-subgraph problem.

연구 동기 및 목표

• 대규모 네트워크에서 크기와 밀도가 둘 다 높은 부분그래프를 찾는 문제에 도전하며, 표준 밀도가 가장 높은 k-정점 부분그래프 문제(DkS)가 NP-난이도임을 고려한다.
• 최소 k개 정점을 포함하는 밀도가 가장 높은 부분그래프(DalkS) 문제를 제안하고 해결한다.
• 밀도가 가장 높은 최대 k-정점 부분그래프(DamkS) 문제의 계산 복잡도를 분석하고 고전적인 밀도가 가장 높은 k-정점 부분그래프 문제와의 관계를 규명한다.
• DkS에서 DamkS로의 근사 보존 감소를 수립하여, DamkS에 대한 진전이 DkS에 대한 개선된 근사 비율을 이끌어낼 수 있음을 보여준다.

제안 방법

• 밀도가 가장 높은 부분그래프 문제에 대한 차리카르의 알고리즘을 확장하여, 가중치 기반 차수에 기반한 정점 제거 전략을 사용한 근사 알고리즘으로 DalkS에 대해 3-근사 알고리즘을 제안한다.
• 단일 매개변수 최대 유량 계산을 통해 DalkS에 대해 2-근사 알고리즘을 개발하며, 갈로-그리고지아디스-타르잔 방법을 확장한다.
• 밀도가 가장 높은 k-정점 부분그래프 문제(DkS)에서 DamkS로의 감소를 수립하여, DamkS에 대해 γ-근사 알고리즘이 존재할 경우 DkS에 대해 4(γ² + γ)-근사 알고리즘이 존재함을 보여준다.
• DamkS에 대해 일반화된 (β, γ)-근사 프레임워크를 제안하며, β는 출력 부분그래프의 크기를 제어하고, γ는 밀도 근사 비율을 제어한다.
• 다양한 저밀도 부분그래프를 반복적이고 근사적인 절차를 통해 하나의 더 큰 부분그래프로 조합하여, 정점 수가 제한되고 충분한 밀도를 확보한 부분그래프를 생성한다.
• 조건부 기댓값의 방법을 적용하여 정점 수를 줄일 동안 밀도를 유지함으로써, 최종 부분그래프가 요구하는 근사 비율을 충족함을 보장한다.

실험 결과

연구 질문

• RQ1 최소 k개 정점을 포함하는 밀도가 가장 높은 부분그래프 문제(DalkS)는 효율적으로 근사 가능할 수 있으며, 만약 가능하다면 어떤 근사 비율과 실행 시간을 달성할 수 있는가?
• RQ2 DamkS의 계산 복잡도는 고전적인 밀도가 가장 높은 k-정점 부분그래프 문제(DkS)와 비교해 어떻게 되는가?
• RQ3 DkS에 대해 향상된 근사를 이끌어낼 수 있는 DamkS에 대한 다항시간 근사 알고리즘이 존재하는가?
• RQ4 DkS에 대해 부분선형 근사 비율을 도출할 수 있도록 DamkS에 대한 국소 알고리즘을 설계할 수 있는가?
• RQ5 DalkS에 대해 달성 가능한 가장 날카로운 근사 비율은 무엇이며, 이는 입력 그래프의 구조와 어떻게 관련되어 있는가?

주요 결과

• DalkS에 대해 3-근사 알고리즘은 가중치가 있는 그래프에서는 O(m + n log n) 시간 내에, 가중치가 없는 그래프에서는 O(m) 시간 내에 실행되며, 차리카르의 탐욕적 접근을 확장한 것이다.
• DalkS에 대해 2-근사 알고리즘이 존재하며, 단일 매개변수 최대 유량 계산을 통해 다항시간 내에 계산 가능하다.
• 만약 DamkS에 대해 γ-근사 알고리즘이 존재한다면, DkS에 대해 4(γ² + γ)-근사 알고리즘이 존재함을 보여주며, DamkS가 DkS와 거의 동일한 난이도임을 시사한다.
• DamkS에 대해 일반화된 (β, γ)-근사가 존재할 경우, DkS에 대해 4(γ² + γβ)-근사가 존재하며, β가 작을수록 더 날카로운 상한선을 제공한다.
• 밀도가 가장 높은 최대 k-정점 부분그래프 문제는 최대 차수 3인 그래프에 대해서도 NP-완전하며, 표준 복잡도 가정 하에 근사가 어려운 것으로 남아 있다.
• 논문은 DamkS에 대해 국소적 (log n, k^δ)-근사 알고리즘의 존재를 추측하며, 이는 DkS에 대해 O(k^δ log²n) 근사 비율을 도출할 수 있음을 시사한다. 다만 δ = 0은 실현 가능성이 낮다.