[논문 리뷰] Generating p-extremal graphs

Derrick Stolee|arXiv (Cornell University)|2011. 05. 09.

Advanced Graph Theory Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 모든 $ p \leq 27 $ 에 대해 $ c_p $ 의 정확한 값을 결정하고 $ p $-극값 그래프—$ p $ 개의 완전 매칭을 가지며 간선 수가 가능한 한 많은 그래프—의 구조를 규명하기 위한 계산 방법을 개발한다. 로바슈의 두 귀두 정리, 원소 그래프에 관한 구조적 결과, 그리고 동형이 없는 생성 기법을 결합하여 저자들은 이전의 한계를 초월해 알려진 $ c_p $ 값들을 확장하고, $ c_p $ 수열이 단조적이지 않음을 입증하여 추측된 渐近적 상한에 강력한 증거를 제공한다.

ABSTRACT

Define f(n,p) to be the maximum number of edges in a graph on n vertices with p perfect matchings. Dudek and Schmitt proved there exist constants n_p and c_p so that for even n >= n_p, f(n,p) = (n^2)/4+c_p. A graph is p-extremal if it has p perfect matchings and (n^2)/4+c_p edges. Based on Lovasz's Two Ear Theorem and structural results of Hartke, Stolee, West, and Yancey, we develop a computational method for determining c_p and generating the finite set of graphs which describe the infinite family of p-extremal graphs. This method extends the knowledge of the size and structure of p-extremal graphs from p <= 10 to p <= 27. These values provide further evidence towards a conjectured upper bound and prove the sequence c_p is not monotonic.

연구 동기 및 목표

• $ p \leq 27 $ 인 $ p $-극값 그래프에 대해 $ n^2/4 $ 를 초과하는 $ c_p $ 의 정확한 값을 계산하는 것.
• $ p \leq 27 $ 인 $ p $-극값 그래프의 무한한 가족을 생성하는 유한한 기본 그래프 집합을 규명하는 것.
• 확장된 계산 결과를 이용해 $ c_p $ 가 단조적이지 않다는 추측을 검증하는 것.
• 스피어와 칸탈레인을 기반으로 한 구조적 프레임워크를 바탕으로 $ p $-극값 그래프에 대한 구조적 틀을 검증하고 개선하는 것.
• 추측된 상한 $ c_p \leq O\left(\left(\frac{\ln p}{\ln \ln p}\right)^2\right) $ 에 대한 계산적 증거를 제공하는 것.

제안 방법

• 로바슈의 두 귀두 정리를 활용하여 원소 그래프의 귀두 분해 및 구조적 성질을 분석한다.
• 하트케 등이 제안한 스피어 분해 프레임워크를 적용하여 $ p $-극값 그래프를 조절 가능한 초과량을 가진 칸탈레인의 순서로 모델링한다.
• 동형이 없는 생성 기법을 사용하여 정점 수가 제한된 후보 기본 그래프를 체계적으로 열거한다.
• 최대 초과량 $ c_p $ 를 도출할 수 있는 $ p_i $-극값 그래프 조합을 찾기 위해 인수 분해 $ p = \prod p_i $ 에 대한 재귀적 탐색을 시행한다.
• 분산 계산 자원을 활용한 계산 파이프라인을 구현하여 $ p \leq 27 $ 인 모든 유효한 스피어 구성 요소를 탐색한다.
• 기존의 상한 및 추측, 특히 $ c_p \leq \max_{q < p} c_q + 1 $ 과의 비교를 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 $ p \leq 27 $ 에 대해 $ c_p $ 의 정확한 값은 무엇이며, 이는 이전에 알려진 $ p \leq 10 $ 을 초월하는가?
• RQ2 $ p $-극값 그래프의 구조적 구성 요소인 칸탈레인과 장벽은 더 큰 $ p $ 에서 어떻게 행동하는가?
• RQ3 $ p = 10 $ 이후로도 $ c_p $ 수열이 비단조적이게 유지되는가, 새로운 데이터가 이를 뒷받침하는가?
• RQ4 합성 수 $ p $ 에 대해 스피어 구조 모델이 $ c_p $ 를 정확하게 예측할 수 있는가, 특히 $ p = \prod p_i $ 인 인수 분해에서 $ c_p = \sum c_{p_i} $ 가 성립할 경우에 대해 어떻게 되는가?
• RQ5 $ p $ 마다 모든 $ p $-극값 그래फ를 생성하는 유한한 기본 그래프 집합이 존재하는가, 그리고 이는 알고리즘적으로 결정될 수 있는가?

주요 결과

• 저자들은 $ p \leq 27 $ 에 대해 $ c_p $ 를 계산하여 이전에 알려진 $ p \leq 10 $ 의 범위를 초월하였으며, $ c_p $ 가 단조적이지 않음을 발견하였다. 특히 $ c_{21} = 5 $, $ c_{22} = 5 $, $ c_{23} = 5 $, $ c_{24} = 5 $, $ c_{25} = 5 $, $ c_{26} = 5 $, $ c_{27} = 6 $ 로서 비단조적 행동을 보였다.
• $ p = 21 $ 에서 $ c_{21} = 5 $ 는 $ 21 = 3 \cdot 7 $ 인 인수 분해를 통해 달성되었으며, 이 때 $ c_3 + c_7 = 2 + 3 = 5 $ 로 초과량의 합과 일치함을 확인하였다.
• $ 16 $-극값 그래프는 유일한 행동을 보였다: $ 16 = 2^4 $ 의 모든 인수 분해는 유효한 스피어를 생성하며 총 초과량 $ c_{16} = 4 $ 를 보였고, $ q \in \{1,2,4,8\} $ 에 대해 $ \frac{1}{2} $ 크기의 장벽을 가진 $ q $-극값 그래프 존재로 인해 여러 구성이 존재하였다.
• 연구는 $ p \leq 27 $ 인 $ p $-극값 원소 그래프가 최대 10개의 정점을 가진다는 것을 확인하였으며, 이는 $ N_p \leq 2\log_2 p $ 라는 추측을 지지한다.
• 저자들은 $ p = \prod p_i $ 인 모든 인수 분해에 대해 $ c_p \geq \sum c_{p_i} $ 를 만족함을 계산적으로 입증하였으며, 이는 $ c_p $ 가 곱셈에 대해 초가법적임을 지지하는 추측 9.3를 뒷받침한다.
• 결과는 $ p $-극값 그래프가 최대 하나의 비자명한 칸탈레인을 가진 스피어로 구성된다는 구조적 모델을 검증하였으며, $ c_p $ 가 최대일 때 이러한 칸탈레인은 스피어의 상단에 위치해야 한다는 것을 확인하였다.