[논문 리뷰] Tight lower bounds on the matching number in a graph with given maximum degree

Michael A. Henning, Anders Yeo|arXiv (Cornell University)|2016. 04. 18.

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

한 줄 요약

이 논문은 최대 차수 k 이하인 그래프에서 매칭 수 α′(G)에 대한 날카운 하한을 확립하며, 모든 연결 그래프 G에 대해 α′(G) ≥ γn + βm − K 를 만족하는 모든 쌍 (γ, β)의 집합 Lk가 볼록 집합임을 증명한다. 홀수 k ≥ 3일 경우 Lk는 두 개의 닫힌 반평면의 교집합이며 극단점이 하나뿐이며, 짝수 k ≥ 4일 경우 세 개의 반평면의 교집합이며 극단점이 두 개이며, 이는 n(정점 수)와 m(간선 수)에 대한 선형 하한의 가장 날카운 형태를 완전히 특성화한다.

ABSTRACT

Let $k \geq 3$. We prove the following three bounds for the matching number, $α'(G)$, of a graph, $G$, of order $n$ size $m$ and maximum degree at most $k$. If $k$ is odd, then $α'(G) \ge \left( \frac{k-1}{k(k^2 - 3)} ight) n \, + \, \left( \frac{k^2 - k - 2}{k(k^2 - 3)} ight) m \, - \, \frac{k-1}{k(k^2 - 3)}$. If $k$ is even, then $α'(G) \ge \frac{n}{k(k+1)} \, + \, \frac{m}{k+1} - \frac{1}{k}$. If $k$ is even, then $α'(G) \ge \left( \frac{k+2}{k^2+k+2} ight) m \, - \, \left( \frac{k-2}{k^2+k+2} ight) n \, - \frac{k+2}{k^2+k+2}$. In this paper we actually prove a slight strengthening of the above for which the bounds are tight for essentially all densities of graphs. The above three bounds are in fact powerful enough to give a complete description of the set $L_k$ of pairs $(γ,β)$ of real numbers with the following property. There exists a constant $K$ such that $α'(G) \geq γn + βm - K$ for every connected graph $G$ with maximum degree at most~$k$, where $n$ and $m$ denote the number of vertices and the number of edges, respectively, in $G$. We show that $L_k$ is a convex set. Further, if $k$ is odd, then $L_k$ is the intersection of two closed half-spaces, and there is exactly one extreme point of $L_k$, while if $k$ is even, then $L_k$ is the intersection of three closed half-spaces, and there are precisely two extreme points of $L_k$.

연구 동기 및 목표

• 최대 차수 k 이하인 연결 그래프에 대해 정점 수 n과 간선 수 m에 대한 매칭 수 α′(G)에 대한 가장 날카운 선형 하한을 결정하는 것.
• 모든 최대 차수 Δ(G) ≤ k인 연결 그래프 G에 대해 α′(G) ≥ γn + βm − K 를 만족하는 모든 쌍 (γ, β)의 집합 Lk를 특성화하는 것.
• Lk가 볼록 집합이며, 홀수 및 짝수 k에 대해 그 기하학적 구조—특히 극단점과 정의하는 반평면—를 완전히 기술하는 것.
• 유한한 수의 그래프, 특히 트리와 k-정규 그래프를 포함한 모든 간선 밀도에서 유도된 하한이 날카운다는 것을 보여주는 것.
• 이전의 매칭 수 하한 결과를 통합하고 강화하여 (γ, β) 쌍에 대한 타당 영역을 완전하고 날카우며 정확하게 특성화하는 것.

제안 방법

• k의 홀짝성에 따라 세 개의 날카운 하한을 유도: 홀수 k에 대해 하나, 짝수 k에 대해 두 개로, 모두 n과 m의 선형 함수로 표현되며 명시적인 상수를 포함한다.
• 매칭 수를 분석하기 위해 기초 도구로 Tutte–Berge 공식을 사용하며, (n + |X| − oc(G−X))/2 를 최소화하는 정점 부분집합 X를 고려한다.
• 모든 최대 차수 ≤ k인 그래프에 대해 유효하고 날카로운 선형 하한 (an + bm − K)를 분류하기 위해 k-좋음과 k-긴장 쌍 (a,b)의 개념을 도입한다.
• 기하학적 및 볼록 해석을 적용하여 Lk가 (γ, β)에 대한 선형 부등식으로 정의된 닫힌 반평면의 교집합임을 보이며, 극한 그래프 가족에서 유도된 명시적 계수를 제공한다.
• 트리와 k-정규 그래프, 그리고 구성된 가족 G′k,r을 사용하여 하한의 날카움을 입증하기 위해 극한 예시를 구성한다.
• 보조정리 8을 통한 보간과 볼록 조합 논증을 활용하여 극단점의 볼록 캄의 모든 점들이 또한 k-좋음임을 보이며, Lk의 전체 볼록 구조를 확립한다.

실험 결과

연구 질문

• RQ1 최대 차수 k 이하인 모든 연결 그래프 G에 대해 α′(G) ≥ γn + βm − K 를 만족하는 가장 날카운 선형 하한 (γ, β)의 형태는 무엇인가요?
• RQ2 Lk의 유효한 (γ, β) 쌍의 구조는 k의 홀짝성에 따라 어떻게 달라지나요?
• RQ3 Lk의 극단점은 무엇이며, 트리와 k-정규 그래프와 같은 극한 그래프 가족과 어떻게 관련이 있나요?
• RQ4 희박한 그래프(예: 트리)와 높은 밀도의 그래프(예: k-정규 그래프)에서 동시에 하한이 날카로울 수 있으며, 중간 밀도의 모든 경우에도 적용 가능한가요?
• RQ5 Lk의 기하학적 성격은 무엇이며, 이를 닫힌 반평면의 교집합으로 어떻게 완전히 기술할 수 있나요?

주요 결과

• 홀수 k ≥ 3일 경우, 집합 Lk는 두 개의 닫힌 반평면 ℓ₁ 및 ℓ₂의 교집합이며 정확히 하나의 극단점: ( (k−1)/(k(k²−3)), (k²−k−2)/(k(k²−3)) ).
• 짝수 k ≥ 4일 경우, Lk는 세 개의 닫힌 반평면 ℓ₁, ℓ₃, 및 ℓ₄의 교집합이며 정확히 두 개의 극단점: (1/(k(k+1)), 1/(k+1)) 및 (−(k−2)/(k²+k+2), (k+2)/(k²+k+2)).
• 홀수 k에 대한 하한은 α′(G) ≥ ((k−1)/(k(k²−3)))n + ((k²−k−2)/(k(k²−3)))m − (k−1)/(k(k²−3)) 이며, 이는 무한한 수의 트리와 k-정규 그래프에서 날카롭다.
• 짝수 k에 대해서는 두 개의 서로 다른 하한이 도출되며: α′(G) ≥ n/(k(k+1)) + m/(k+1) − 1/k 와 α′(G) ≥ ((k+2)/(k²+k+2))m − ((k−2)/(k²+k+2))n − (k+2)/(k²+k+2), 이는 각각 관련된 그래프 가족에서 날카롭다.
• 집합 Lk는 볼록이며, Lk에 속하는 모든 (γ, β) 쌍은 모든 간선 밀도에서 무한한 수의 그래프에서 유효하고 날카로운 선형 하한을 제공한다.
• 논문은 유도된 하한이 타당할 뿐 아니라 최적임을 증명하며, Lk 외부의 모든 쌍 (γ, β)는 최대 차수 Δ(G) ≤ k인 모든 연결 그래프에 대해 α′(G)를 γn + βm − K 로 아래에서 유계로 제한하지 못한다.