[논문 리뷰] Computing Dense and Sparse Subgraphs of Weakly Closed Graphs

Tomohiro Koana, Christian Komusiewicz외 1명|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 밀도 높고 희박한 부분그래프를 약한 γ-폐쇄 그래프에서 찾는 고정 매개변수 가능(FPT) 알고리즘을 제안한다. 이는 비가역성과 폐쇄성을 일반화하는 그래프의 클래스이다. 클리크 열거, 이분 클리크 탐지, s-프랙스, 독립 지배 집합 변형 문제 등은 γ에 대해 고정 매개변수 가능함을 보이며, 효율적인 커퍼니제이션과 향상된 실행 시간을 제공한다. 동시에 독립 지배 집합에 대한 커퍼니제이션 하한을 증명한다.

ABSTRACT

A graph G is weakly γ-closed if every induced subgraph of G contains one vertex v such that for each non-neighbor u of v it holds that |N(u)∩ N(v)| < γ. The weak closure γ(G) of a graph, recently introduced by Fox et al. [SIAM J. Comp. 2020], is the smallest number such that G is weakly γ-closed. This graph parameter is never larger than the degeneracy (plus one) and can be significantly smaller. Extending the work of Fox et al. [SIAM J. Comp. 2020] on clique enumeration, we show that several problems related to finding dense subgraphs, such as the enumeration of bicliques and s-plexes, are fixed-parameter tractable with respect to γ(G). Moreover, we show that the problem of determining whether a weakly γ-closed graph G has a subgraph on at least k vertices that belongs to a graph class 𝒢 which is closed under taking subgraphs admits a kernel with at most γ k² vertices. Finally, we provide fixed-parameter algorithms for Independent Dominating Set and Dominating Clique when parameterized by γ+k where k is the solution size.

연구 동기 및 목표

• 약한 γ-폐쇄 그래프의 알고리즘 유용성을 클리크 열거를 넘어서 더 넓은 범위의 밀도 높고 희박한 부분그래프 문제로 확장하기.
• 독립 지배 집합, 지배 클리크, 이분 클리크 열거와 같은 핵심 NP-난해 문제들이 γ 매개변수에 대해 고정 매개변수 가능함을 확립하기.
• γ와 해 크기 k에 대해 매개변수화된, 유도 부분그래프에 대해 닫혀 있는 부분그래프 문제에 대해 날카로운 경계를 가진 커퍼니제이션 결과 제공하기.
• 커퍼니제이션의 한계를 탐색하여, 표준 가정 하에 상수 γ에 대해 독립 지배 집합이 다항식 커퍼니제이션을 갖지 않는다는 것을 보여주기.
• 약한 폐쇄 그래프에서 클리크 이완 형태인 s-클럽의 복잡도를 조사하기, 특히 s ≥ 2일 경우에 대해.

제안 방법

• 모든 유도 부분그래프가 어떤 비이웃과의 공통 이웃 수가 γ 미만인 정점을 가지도록 보장하는 약한 폐쇄 순서 σ를 제안하기.
• 각 노드에서 분기 계수가 최대 γ−1인 재귀적 탐색 트리 알고리즘을 설계하여 지배 클리크 문제에 대해 O*( (γ−1)^k ) 실행 시간을 확보하기.
• 약한 폐쇄 기반의 가지치기로 깊이 제한된 탐색 트리를 사용하여 클리크 및 s-프랙스와 같은 밀도 높은 부분그래프를 효율적으로 열거하기.
• 유도 부분그래프에 대해 닫혀 있는 부분그래프 문제의 인스턴스를 최대 γk²개 정점으로 축소하기 위해 커퍼니제이션 기법 적용하기.
• λ-히팅 세트 문제에서의 감소를 활용하여, 표준 복잡도 가정 하에 독립 지배 집합에 대한 커퍼니제이션 하한을 증명하기.
• 약한 폐쇄 그래프에서 s-클럽 문제의 복잡도를 분석하여, 4-폐쇄 그래프에서도 2-클럽 문제가 NP-난해임을 보여주기.

실험 결과

연구 질문

• RQ1 밀도 높거나 희박한 부분그래프를 찾는 문제들이 약한 γ-폐쇄 그래프에서 효율적으로 해결될 수 있으며, γ에 대해 고정 매개변수 복잡도는 어떻게 되는가?
• RQ2 약한 폐쇄 매개변수 γ는 독립 지배 집합과 지배 클리프 문제에 대해 커퍼니제이션을 가능하게 하는가? 그러한 커퍼니제이션의 한계는 무엇인가?
• RQ3 s-클럽과 같은 클리크 이완 형태는 약한 γ-폐쇄 그래프에서 고정 매개변수 가능한가, 특히 작은 s에 대해 어떻게 되는가?
• RQ4 약한 폐쇄 매개변수 γ는 비가역성 또는 폐쇄 수보다도 더 빠른 이분 클리프 및 s-프랙스 열거 알고리즘 설계에 사용될 수 있는가?
• RQ5 약한 γ-폐쇄 그래프에서 유도 부분그래프에 대해 닫혀 있는 부분그래프 문제에 대해 가능한 가장 날카로운 커퍼니제이션 크기는 무엇인가?

주요 결과

• 유전적 그래프 클래스 G에 속하는 최소 k개의 정점을 포함하는 부분그래프를 찾는 문제는 γ와 k에 대해 매개변수화되었을 때 최대 γk²개의 정점으로 커퍼니제이션 가능하다.
• 지배 클리프 문제는 실행 시간이 O*( (γ−1)^k )인 FPT 알고리즘을 갖는다. 이는 지구적 시간 가설 하에 크게 향상될 수 없다는 것이 거의 확실하다.
• 상수 γ에 대해 독립 지배 집합은 다항식 커퍼니제이션을 갖지 않으며, coNP ⊆ NP/poly가 성립하지 않는 한, 이는 본질적인 커퍼니제이션의 한계를 나타낸다.
• 2-클럽 문제는 4-폐쇄 그래프에서도 NP-난해임을 보여주며, 이는 클리크 이완 형태가 여전히 약한 폐쇄 그래프에서 어렵다는 것을 시사한다.
• 약한 폐쇄 수 γ는 항상 비가역성 d+1 또는 폐쇄 수 c 이하이므로, 알고리즘 설계에 있어 더 유리한 매개변수일 수 있다.
• 스플릿 그래프 및 클리크 크기가 유계인 그래프의 경우, 각각 크기 k^O(γ)와 k^O(γ²)의 거의 날카로운 커퍼니제이션 결과가 알려져 있어, 향후 커퍼니제이션 결과의 잠재력이 있음을 시사한다.