[논문 리뷰] Simplified existence theorems on all fractional [a,b]-factors

Hongliang Lu|arXiv (Cornell University)|2011. 03. 21.

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

한 줄 요약

이 논문은 그래프에서 모든 분수형 $[a,b]$-요소의 존재 조건을 단순화하고 날카롭게 규명한다. 최소 차수 $\frac{1}{4a}\left((a+b-1)^2 + 4b\right)$를 가지며, 모든 비인접한 정점 쌍이 최소 $\frac{bn}{a+b}$ 크기의 공통 이웃을 가지는 그래프 $G$는 모든 분수형 $[a,b]$-요소를 갖는다. 이 조건들은 최적임을 증명한다. 본 결과는 Anstee의 분수형 요소 특성 분석을 새로운 방식으로 적용하여 이전의 $(g,f)$-요소 및 분수형 요소 이론을 일반화한다.

ABSTRACT

Let $G$ be a graph with order $n$ and let $g, f : V (G) ightarrow N$ such that $g(v)\leq f(v)$ for all $v\in V(G)$. We say that $G$ has all fractional $(g, f)$-factors if $G$ has a fractional $p$-factor for every $p: V (G) ightarrow N$ such that $g(v)\leq p(v)\leq f (v)$ for every $v\in V(G)$. Let $a<b></b>

연구 동기 및 목표

• 모든 분수형 $(g,f)$-요소를 갖는 그래프를 위한 필수 및 필요조건을 도출하는 것.
• 그래프에서 모든 분수형 $[a,b]$-요소의 존재를 위한 날카로운 충분 조건을 설정하는 것.
• Anstee의 단일 분수형 요소 이론을 일반화하여 더 날카롭고 최적의 경계를 제공함으로써 이전 결과를 일반화하는 것.
• 최소 차수 및 이웃 합 조건의 최적성을 명시적 그래프 구성으로 증명하는 것.

제안 방법

• 단일 분수형 $(g,f)$-요소의 존재 조건을 특성화하기 위해 Anstee의 필수 및 충분 조건을 응용하여 모든 분수형 요소의 존재 조건을 분석하는 것.
• 비판적 정점 집합의 이웃 구조를 분석하기 위해 $T = \{v \in V(G) \setminus S \mid d_{G-S}(v) < f(v)\}$를 정의하는 것.
• 비존재를 가정할 경우 모순을 이끌어내기 위해 정점 집합 $S$와 $T$에 대한 이중 세기 및 극한 케이스 분석을 수행하는 것.
• 비인접한 $u,v$에 대해 $|N_G(u) \cup N_G(v)| \geq \frac{bn}{a+b}$인 이웃 합 조건을 적용하여 $T$의 크기 및 외부 연결 수를 제한하는 것.
• 최적 경계의 날카로움을 입증하기 위해 극한 그래프(예: $K_{bm} + (am+1)K_1$ 및 $K_m + (K_r \cup K_{(a+b+1)/2})$)를 구성하는 것.
• 대수적 변환 및 이차 부등식을 사용하여 경계가 위반될 경우 모순을 도출함으로써 조건의 필수성을 확인하는 것.

실험 결과

연구 질문

• RQ1 Anstee의 단일 분수형 요소 이론을 일반화하여, 모든 분수형 $(g,f)$-요소를 갖는 그래프의 필수 및 충분 조건은 무엇인가?
• RQ2 모든 분수형 $[a,b]$-요소의 존재를 보장하기 위해 필요한 최소 차수 조건은 무엇인가?
• RQ3 최소 차수 조건과 함께, 모든 분수형 $[a,b]$-요소를 보장하기 위한 이웃 합 조건은 무엇인가?
• RQ4 모든 분수형 $[a,b]$-요소에 대한 제시된 최소 차수 및 이웃 조건이 최적인가?
• RQ5 명시적 그래프 구성으로 유도된 경계의 날카로움을 입증할 수 있는가?

주요 결과

• 모든 분수형 $(g,f)$-요소를 갖는 그래프 $G$의 필요 및 충분 조건은, 모든 부분집합 $S \subseteq V(G)$에 대해 $g(S) - f(T) + \sum_{x \in T} d_{G-S}(x) \geq 0$ 이 성립하는 것이다. 여기서 $T = \{v \in V(G) \setminus S \mid d_{G-S}(v) < f(v)\}$이다.
• 최소 차수 조건 $\delta(G) \geq \frac{1}{4a}\left((a+b-1)^2 + 4b\right)$는 모든 분수형 $[a,b]$-요소의 존재에 대해 필수적이며 충분하다.
• 모든 비인접한 $u,v$에 대해 $|N_G(u) \cup N_G(v)| \geq \frac{bn}{a+b}$인 이웃 합 조건은 최소 차수 조건과 함께 사용될 경우, 모든 분수형 $[a,b]$-요소의 존재에 대해 필수적이며 충분하다.
• 최소 차수 및 이웃 합 조건의 경계는 명시적 구성으로 입증된 바, 이 조건을 위반하는 경우 모든 분수형 $[a,b]$-요소를 갖지 않는 그래프가 존재함을 보여 최적임을 입증한다.
• 구성 $G = K_{bm} + (am+1)K_1$는 이웃 합 조건을 약화시킬 수 없음을 보여주며, 이는 $K_{bm}$에서는 $h \equiv a$이고 나머지 부분에서는 $h \equiv b$인 분수형 $h$-요소가 존재하지 않는 그래프를 생성한다.
• 다른 구성 $G = K_m + (K_r \cup K_{(a+b+1)/2})$에서 $m < \frac{1}{4a}((a+b-1)^2 + 4b) - \frac{a+b-1}{2}$인 경우, 최소 차수 조건의 최적성이 확인된다.