[논문 리뷰] Counting Subgraphs in Degenerate Graphs

Lior Gishboliner, Yevgeny Levanzov외 1명|arXiv (Cornell University)|2020. 01. 01.

Limits and Structures in Graph Theory참고 문헌 46인용 수 4

한 줄 요약

이 논문은 비가역 그래프에서 복제본을 세는 것이 선형 시간에 가능할 수 있는 그래프 H를 완전히 특성화하며, 최근 제안된 처리 가능성에 대한 충분조건이 필수조건이기도 하다는 것을 증명한다. 이는 비가역 그래프에서 유도 부분그래프 세기 및 동형사상 세기 문제에 대한 열린 문제를 새로운 딱지 기법을 통해 해결한다.

ABSTRACT

We consider the problem of counting the number of copies of a fixed graph $H$ within an input graph $G$. This is one of the most well-studied algorithmic graph problems, with many theoretical and practical applications. We focus on solving this problem when the input $G$ has bounded degeneracy. This is a rich family of graphs, containing all graphs without a fixed minor (e.g. planar graphs), as well as graphs generated by various random processes (e.g. preferential attachment graphs). We say that $H$ is easy if there is a linear-time algorithm for counting the number of copies of $H$ in an input $G$ of bounded degeneracy. A seminal result of Chiba and Nishizeki from '85 states that every $H$ on at most 4 vertices is easy. Bera, Pashanasangi, and Seshadhri recently extended this to all $H$ on 5 vertices, and further proved that for every $k > 5$ there is a $k$-vertex $H$ which is not easy. They left open the natural problem of characterizing all easy graphs $H$. Bressan has recently introduced a framework for counting subgraphs in degenerate graphs, from which one can extract a sufficient condition for a graph $H$ to be easy. Here we show that this sufficient condition is also necessary, thus fully answering the Bera--Pashanasangi--Seshadhri problem. We further resolve two closely related problems; namely characterizing the graphs that are easy with respect to counting induced copies, and with respect to counting homomorphisms. Our proofs rely on several novel approaches for proving hardness results in the context of subgraph-counting.

연구 동기 및 목표

• 비가역 그래프에서 복제본을 세는 것이 선형 시간에 가능할 수 있는 모든 그래프 H를 완전히 특성화하는 것.
• Bera, Pashanasangi, 및 Seshadhri 가 제기한 '쉬운' 그래프 H의 특성화에 대한 열린 문제를 해결하는 것.
• 비가역 그래프에서 유도 부분그래프 세기 및 동형사상 세기 문제로 특성화를 확장하는 것.
• 서브그래프 세기 처리 가능성에 대해 최근 제안된 프레임워크의 충분성과 필요성을 동시에 확립하는 것.

제안 방법

• 비가역 그래프에서 서브그래프 세기 문제를 다루는 Bressan의 프레임워크를 활용하여 선형 시간 처리 가능성에 대한 충분조건을 도출하는 것.
• Bressan의 프레임워크에서 유도된 충분조건이 필수조건이기도 하다는 것을 증명함으로써, 쉬운 그래프 H를 완전히 특성화하는 것.
• 비가역성 설정에서의 서브그래프 세기 문제에 특화된 새로운 딱지 기법을 개발하는 것.
• 비가역성 그래프에서의 처리 가능성에 영향을 주는 그래프 H의 구조적 성질을 분석하는 것.
• 조합론적 및 그래프 이론적 추론을 사용하여 서브그래프 세기 문제의 복잡도에 대한 날카로운 상한을 확립하는 것.
• 분석을 유도 부분그래프 세기 및 동형사상 세기 문제로 확장하여 유사한 특성화를 보여주는 것.

실험 결과

연구 질문

• RQ1 비가역성 그래프에서 복제본을 세는 데 선형 시간 알고리즘이 가능한 그래프 H는 무엇인가?
• RQ2 Bressan이 제안한 처리 가능성에 대한 충분조건이 비가역 그래프에서 선형 시간 서브그래프 세기 문제에 대해 필수조건이기도 한가?
• RQ3 쉬운 그래프 H의 특성화는 비가역 그래프에서 유도 부분그래프 세기 문제로 확장될 수 있는가?
• RQ4 동일한 프레임워크는 비가역 그래프에서 동형사상 세기 문제에 적용될 수 있는가?
• RQ5 H의 어떤 구조적 성질이 비가역 그래프에서 세는 것이 쉬운지 결정하는가?

주요 결과

• Bressan가 제안한 비가역 그래프에서 선형 시간 서브그래프 세기 문제에 대한 충분조건은 필수조건이기도 하며, 이는 모든 쉬운 그래프 H를 완전히 특성화한다.
• 5개 이하 정점으로 이루어진 모든 그래프 H는 비가역 그래프에서 세는 데 쉬우며, 이는 이전 결과를 확인하고 확장한다.
• 모든 k > 5에 대해, 세는 데 쉬운 그래프가 아닌 k-정점 그래프 H가 존재함을 보여, 문제의 임계값 행동을 확인한다.
• 쉬운 그래프 H의 특성화는 유도 부분그래프 세기 문제로 확장되며, 완전한 분류를 제공한다.
• 프레임워크는 동형사상 세기 문제에 대해서도 완전한 특성화를 제공하며, 유사한 필수 및 충분조건을 갖는다.
• 논문은 비가역성 설정에서의 서브그래프 세기 문제에 특화된 새로운 딱지 기법을 확립한다.