[논문 리뷰] FPT Algorithms for Finding Dense Subgraphs in c-Closed Graphs.

Edin Husić, Tim Roughgarden|arXiv (Cornell University)|2020. 07. 19.

Advanced Graph Theory Research참고 문헌 32인용 수 7

한 줄 요약

이 논문은 밀도 높은 부분그래프 탐지 및 열거를 위한 고정 매개변수 다항시간(FPT) 알고리즘을 c-closed 그래프에서 제시한다. c-closed 그래프는 강한 삼중 클로처 성질을 가진 그래프의 일종으로, 기존의 Moon-Moser 정리의 일반화된 새로운 조합적 경계와 c-closed 조건에 특화된 새로운 알고리즘 기법을 활용하여, 최대 클리크를 넘어서는 더 넓은 범위의 밀도 높은 부분그래프에 대한 최적화 및 열거 문제에 대해 FPT 알고리즘을 달성함으로써, 기존의 최대 클리크 탐지에 대한 연구를 크게 확장한다.

ABSTRACT

Dense subgraph detection is a fundamental problem in network analysis for which few worst-case guarantees are known, motivating its study through the lens of fixed-parameter tractability. But for what parameter? Recent work has proposed parameterizing graphs by their degree of triadic closure, with a $c$-closed graph defined as one in which every vertex pair with at least $c$ common neighbors are themselves connected by an edge. The special case of enumerating all maximal cliques (and hence computing a maximum clique) of a $c$-closed graph is known to be fixed-parameter tractable with respect to $c$ (Fox et al., SICOMP 2020). In network analysis, sufficiently dense subgraphs are typically as notable and meaningful as cliques. We investigate the fixed-parameter tractability (with respect to $c$) of optimization and enumeration in $c$-closed graphs, for several notions of dense subgraphs. We focus on graph families that are the complements of the most well-studied notions of sparse graphs, including graphs with bounded degree, bounded treewidth, or bounded degeneracy, and provide fixed-parameter tractable enumeration and optimization algorithms for these families. To go beyond the special case of maximal cliques, we use a new combinatorial bound (generalizing the Moon-Moser theorem); new techniques for exploiting the $c$-closed condition; and more sophisticated enumeration algorithms.

연구 동기 및 목표

• c-closed 그래프에서 최대 클리QUE에 국한된 고정 매개변수 다항시간 결과를 더 넓은 범위의 밀도 높은 부분그래프로 확장한다.
• 삼중 클로처 매개변수 c를 통해 밀도 높은 부분그래프 탐지의 최악의 경우 보장을 부족하게 만드는 문제를 해결하기 위해 매개변수화한다.
• 희박한 그래프 클래스(예: 유계 차수, 트리위드, 분해성)와 보완되는 그래프 가족에서의 밀도 높은 부분그래프에 대한 효율적인 열거 및 최적화 알고리즘을 개발한다.
• Moon-Moser 정리를 일반화하여 c-closed 그래프에서의 밀도 높은 부분그래프 수에 대한 더 날카운 경계를 제공한다.
• 클리QUE 열거를 넘어서 c-closed 그래프의 구조적 제약을 활용하는 새로운 알고리즘 기법을 설계한다.

제안 방법

• c-closed 그래프에서의 밀도 높은 부분그래프에 대해 Moon-Moser 정리를 일반화한 새로운 조합적 경계를 도입한다.
• 모든 쌍이 c개 이상의 공통 이웃을 가진다면 반드시 인접해 있다는 c-closed 성질을 활용하여 후보 부분그래프 수를 제한하고 탐색 공간을 잘라낸다.
• 공통 이웃의 수가 유한한 구조를 활용하여 효율적으로 탐색하고 밀도 높은 부분그래프를 보고하는 FPT 열거 알고리즘을 설계한다.
• 고정 매개변수 복잡도 이론의 기법을 적용하여 c-closed 그래프에서의 밀도 높은 부분그래프 탐지에 대해 시간과 공간을 최적화한다.
• c-closed 그래프의 구조적 성질을 활용하여 분해 및 잘라내기 기법을 통해 문제를 더 작고 다룰 수 있는 인스턴스로 축소한다.

실험 결과

연구 질문

• RQ1 c-closed 그래프에서 최대 클리QUE를 넘어서는 밀도 높은 부분그래프 탐지에 대해 고정 매개변수 다항시간 알고리즘을 개발할 수 있는가?
• RQ2 c-closed 조건은 밀도 높은 부분그래프 열거 및 최적화에 대해 더 나은 최악의 경우 경계를 어떻게 향상시킬 수 있는가?
• RQ3 c-closed 그래프에서의 밀도 높은 부분그래프 수를 제한하기 위해 필요한 Moon-Moser 정리의 조합적 일반화는 무엇인가?
• RQ4 기존의 최대 클리QUE 탐지 기법은 c-closed 그래프에서 더 넓은 의미의 밀도 높은 부분그래프로 얼마나 확장될 수 있는가?
• RQ5 c-closed 제약 조건 하에서 밀도 높은 부분그래프를 효율적으로 열거하기 위해 어떤 새로운 알고리즘 전략이 필요한가?

주요 결과

• 논문은 c-closed 그래프에서 밀도 높은 부분그래프 탐지 및 열거가 매개변수 c에 대해 고정 매개변수 다항시간임을 입증한다.
• Moon-Moser 정리를 일반화한 새로운 조합적 경계가 유도되었으며, 이는 c-closed 그래프에서의 밀도 높은 부분그래프 수에 대해 더 날카운 제한을 제공한다.
• 최대 클리QUE를 넘어서는 밀도 높은 부분그래프에 대한 최적화 및 열거를 위한 FPT 알고리즘이 개발되었다.
• c-closed 그래프의 구조적 제약 덕분에 탐색 공간이 크게 줄어들어, 큰 그래프에서도 효율적인 열거가 가능해졌다.
• 제안된 알고리즘은 현실적인 네트워크 모델에서 밀도 높은 부분그래프 문제에 대한 고정 매개변수 다항시간의 적용 범위를 더 넓게 확장한다.