[논문 리뷰] The complexity of perfect matchings and packings in dense hypergraphs

Jie Han, Andrew Treglown|arXiv (Cornell University)|2016. 09. 20.

Limits and Structures in Graph Theory참고 문헌 40인용 수 7

한 줄 요약

이 논문은 결정 문제인 완전한 $F$-패킹이 다항시간 내에 해결 가능한 초그래프의 클래스를 식별하는 일반적인 구조 정리(정리 3.1)를 제안한다. 이 도구를 적용하여 최소 $\sigma$-차수 조건 하에서 완전한 매칭 탐지, 최소 차수 조건 하에서 그래프 내 완전한 $F$-패킹, 그리고 $k$-그래프 내 완전한 $K$-패킹에 대한 다항시간 알고리즘을 확립한다. 이는 Keevash, Knox, Mycroft의 추측을 해결하고 Yuster의 질문에 대해 부정적으로 답변하며, 조건이 약화될 경우 NP-완전성이 입증됨으로써 날카로운 임계값을 보여준다.

ABSTRACT

Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is often the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete. Indeed, if $k \geq 3$, the corresponding problem for perfect matchings is NP-complete whilst if $k=2$ the problem is NP-complete in the case when $F$ has a component consisting of at least $3$ vertices. In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give three applications of this tool: (i) Given $1\leq \ell \leq k-1$, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching; (ii) Given any graph $F$ we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect $F$-packing; (iii) We also prove a similar result for perfect $K$-packings in $k$-graphs where $K$ is a $k$-partite $k$-graph. For a range of values of $\ell,k$ (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.

연구 동기 및 목표

• 완전한 $F$-패킹의 결정 문제가 다항시간 내에 해결 가능한 초그래프의 클래스를 식별하기 위한 일반적인 구조적 도구를 개발하는 것.
• Keevash, Knox, Mycroft가 제기한 $k$-그래프 내 완전한 매칭에 대한 최소 $\sigma$-차수 조건에 관한 추측을 해결하는 것.
• Yuster가 제기한, 최소 차수 조건 하에서 그래프 내 완전한 $F$-패킹을 탐지하기 위한 다항시간 알고리즘의 존재성에 관한 질문에 답하는 것.
• 완전한 패킹 결정 문제가 다항시간에서 NP-완전으로 전이되는 조건이 되는 날카로운 차수 조건을 설정하는 것.

제안 방법

• 정리 3.1을 도입하여, 분할 및 폐쇄 성질에 기반해 완전한 $F$-패킹을 허용하는 $k$-그래프를 특성화하는 일반적인 구조 정리이다.
• $(F,\alpha,1)$-도달 가능성과 $F$-폐쇄 집합의 개념을 사용하여 이웃 구조와 차수 조건을 분석한다.
• 규칙성 방법과 초그래프 규칙성을 활용하여 문제를 크기가 유계인 코셋 군 $Q$의 해법 가능성 테스트로 환원한다.
• 최소 차수 조건이 임계값 $\sigma(F)$를 초과할 경우, 분할 클래스의 수와 코셋 군 $Q$의 크기가 유계임을 이용한다.
• 이중 세기와 차수 합의 추론을 통해 임의의 $m+1$개 정점은 $(F,\alpha,1)$-도달 가능한 쌍을 포함하며, 이를 통해 레미마 6.3을 이용한 분할이 가능하다.
• $(F,\beta,2^{m-1},1/m)$-좋은 분할을 구성하고 정리 3.1을 적용하여 결정 문제를 크기가 유계인 시스템의 $q$-해법 가능성 테스트로 환원하며, 이는 다항시간 내에 계산 가능하다.

실험 결과

연구 질문

• RQ1 최소 $\sigma$-차수 조건이 어떤 조건일 때 $k$-그래프 내 완전한 매칭의 결정 문제가 다항시간 내에 해결 가능한가?
• RQ2 임의의 고정된 그래프 $F$에 대해, 최소 차수 조건 하에서 그래프 내 완전한 $F$-패킹을 탐지하기 위한 다항시간 알고리즘을 구성할 수 있는가?
• RQ3 $k$-그래프 내에서 $K$가 $k$-분할일 경우, 완전한 $K$-패킹의 다항시간 해결 가능성을 보장하는 최소 공차수 조건이 존재하는가?
• RQ4 완전한 $F$-패킹의 다항시간 해결 가능성의 임계값이 추측된 최대치와 일치하는가, 아니면 그보다 엄격히 높은가?
• RQ5 구조 정리에서 식별한 임계값 이하로 최소 차수 조건을 낮추었을 경우, 결정 문제의 복잡도는 어떻게 변하는가?

주요 결과

• 논문은 최소 $\sigma$-차수 조건 하에서 $k$-그래프 내 완전한 $F$-패킹을 탐지하기 위한 다항시간 알고리즘을 확립하였으며, 이는 $\ell \geq 0.42k$일 때 Keevash, Knox, Mycroft의 추측을 해결한다.
• 임의의 고정된 그래프 $F$에 대해, 완전한 $F$-패킹의 결정 문제가 다항시간 내에 해결 가능한 최소 차수 조건이 존재함을 증명하였으며, 이는 Yuster의 질문에 대해 부정적인 답변을 제공한다.
• 알고리즘은 $O(n^{m(2m-1)^m})$ 시간 내에 작동하며, 여기서 $m$은 $F$의 정점 수이다. 이는 정점 집합을 최대 $m$개의 클래스로 분할하고 크기가 유계인 시스템의 해법 가능성 테스트에 의존한다.
• 이 방법은 최소 차수가 $\sigma(F)$를 초과할 경우 분할 클래스의 수와 코셋 군 $Q$의 크기가 유계임을 보여주며, 이는 효율적인 결정을 가능하게 한다.
• 최소 차수 조건을 낮추면 결정 문제가 NP-완전이 되므로, 결과는 날카로운 임계값임을 확인하며, 이는 임계값의 날카로움을 확인한다.
• 구조 정리(정리 3.1)는 제시된 세 가지 응용 외의 다른 초그래프 클래스에도 일반적으로 적용 가능한 프레임워크를 제공한다.