[논문 리뷰] Finding any given 2-factor in sparse pseudorandom graphs efficiently

Jie Han, Yoshiharu Kohayakawa외 2명|arXiv (Cornell University)|2019. 02. 16.

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

한 줄 요약

이 논문은 $\lambda = O(p^2 n / \log n)$ 조건을 만족하는 흩어진 의사난수 그래프에서 주어진 2-팩터(스패닝 2-정규 부분그래프)를 효율적으로 찾는 결정적 다항시간 알고리즘을 제시한다. 이는 거의 최적의 의사난수 조건을 달성한다. 방법론은 향상된 흡수-저수 기법과 삼각형 임bedding 보조정리의 조합을 통해, 최소 차수 및 의사난수 제약 조건 하에서 임의의 2-팩터, 특히 해밀턴 사이클과 삼각형-팩터를 강력하게 임베딩할 수 있도록 보장한다.

ABSTRACT

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $φ\colon V(H) o V(G)$ so that $φ(u)φ(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,λ)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $Ω(pn)$. A $(p,λ)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B| ight |<λ\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $λ=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov. We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.

연구 동기 및 목표

• 희박한 의사난수 그래프에 주어진 2-팩터를 임베딩하는 결정적 다항시간 알고리즘을 개발하는 것.
• 이러한 임베딩이 보장되는 엄밀한 의사난수 조건, 특히 $\lambda = O(p^2 n / \log n)$ 를 설정하는 것.
• Nenadov가 최근 제기한, 효율적 2-팩터 임베딩을 위한 최소한의 bijumbledness 조건에 대한 열린 문제를 해결하는 것.
• 흡수-저수 방법의 적용 범위를 제어된 이질성 조건을 가진 희박한 의사난수 그래프로 확장하는 것.
• 일반적인 2-팩터, 특히 해밀턴 사이클과 삼각형-팩터를 포함한 임의의 2-팩터를 일관된 프레임워크로 통합하여, 일정한 최소 차수 비율을 가진 그래프에 임베딩하는 것.

제안 방법

• 알고리즘은 희박한 의사난수 그래프에 적합하게 조정된 흡수-저수 기법의 개선된 변형을 사용한다. 이는 $(p, \lambda)$-bijumbledness 조건을 만족한다.
• 이러한 방법은 이질성 제어 기반의 근시적 삼각형 임베딩 절차를 사용한다: 임의의 정점 $v$에 대해, 그 이웃이 저수 집합으로의 연결이 충분히 크다면, 이질성 조건 $|e(A,B) - p|A||B|| < \lambda\sqrt{|A||B|}$ 를 통해 삼각형을 찾을 수 있다.
• 정점 체인을 그룹으로 분할하고, Nenadov(2018)의 삼각형 임베딩 보조정리를 적용하여 동시에 세 개의 체인을 커버함으로써, 매 단계에서 남은 체인 수를 세 개 감소시킨다.
• 남은 체인들을 제거 가능한 정점의 저수를 통해 매칭하며, 낮은 차수의 정점들이 프로세스를 막는 것을 방지한다. 이는 $\lambda = O(p^2 n / \log n)$ 를 통해 문제를 일으키는 정점의 수를 제한함으로써 보장된다.
• 알고리즘은 $O(n^4)$ 시간 내에 실행되며, 각 단계—정점 선택, 삼각형 탐색, 매칭—은 깊이 우선 탐색과 브루트 포스 이웃 검사 방법을 통해 다항시간 내에 수행된다.
• 증명은 확산자 혼합 보조정리와 이질성 성질을 활용하여, 필요한 구조를 임베딩할 수 있도록 집합 간에 충분한 간선이 존재함을 보장한다.

실험 결과

연구 질문

• RQ1 희박한 의사난수 그래프에서 임의의 2-팩터를 효율적으로 결정적으로 임베딩할 수 있도록 보장하는 데 필요한 최소 의사난수 조건(즉, $\lambda$ 기준)은 무엇인가?
• RQ2 흡수-저수 방법은 $\lambda = O(p^2 n / \log n)$ 조건을 만족하는 희박한, bijumbled 그래프에서 농밀하거나 난수처럼 보이는 설정이 아닌 상황에서도 적응 가능할 수 있는가?
• RQ3 2-팩터에 삼각형이나 짧은 사이클이 포함되어 있을 경우, 이는 의사난수 제약 조건에 더 민감하므로 알고리즘이 여전히 효율적이고 정확한가?
• RQ4 $\lambda = O(p^2 n / \log n)$ 의 경계는 얼마나 최적에 가까운가? $\log n$ 요소를 제거할 수 있는가?
• RQ5 유사한 의사난수 조건 하에서, 2-팩터를 초월한 다른 스패닝 서브그래프의 임베딩에도 이 방법을 확장할 수 있는가?

주요 결과

• 논문은 $\lambda = O(p^2 n / \log n)$ 와 최소 차수 $\delta = \Omega(pn)$ 를 만족하는 $(p, \lambda)$-bijumbled 그래프에서 주어진 2-팩터를 찾는 결정적 다항시간 알고리즘을 제공하며, 이는 Nenadov가 제기한 질문에 대한 답이 된다.
• 이 알고리즘은 거의 최적성을 달성한다. $\lambda$-경계에 포함된 $\log n$ 요소는 로그 인자 수준에서 최적임이 입증되어, 조건이 거의 최적에 가깝다.
• 삼각형-임베딩 보조정리와 체계적인 흡수-저수 전략의 조합을 통해, 해밀턴 사이클과 삼각형-팩터를 포함한 모든 2-팩터를 성공적으로 임베딩한다.
• 알고리즘의 실행 시간은 $O(n^4)$ 이하로 제한되며, 핵심 동작—정점 선택, 삼각형 탐색, 매칭—모두가 다항시간 내에 수행된다.
• 분석 결과, 저수 집합으로의 낮은 차수 연결을 가진 정점의 수는 $O(\lambda / \ell)$ 이하로 제한되며, 이는 근시적 매칭 과정이 방해 없이 진행될 수 있음을 보장한다.
• 2-팩터의 둘레가 4 이상인 경우, 필요한 의사난수 조건을 완화할 수 있으며, 이는 삼각형이 많은 구조가 더 강력한 의사난수 요구 조건을 야기함을 시사한다.