[논문 리뷰] Equivalence between Extendibility and Factor-Criticality

Zan‐Bo Zhang, Tao Wang외 1명|arXiv (Cornell University)|2010. 11. 15.

Advanced Graph Theory Research참고 문헌 5인용 수 5

한 줄 요약

이 논문은 비이분 그래프에서 $k$-확장 가능성과 $2k$-요소비결정성의 등가성을 보장하는 확장 매개변수 $k$에 대한 날카운 하한을 설정하며, 홀수 차수를 가진 그래프에서 $k\frac{1}{2}$-확장 가능성과 $(2k+1)$-요소비결정성의 등가성에 대해서도 같은 방식으로 설정한다. $k \geq (\nu+2)/4$ 이면 비이분 그래프는 $k$-확장 가능할 때이고, 뿐만 아니라 $2k$-요소비결정적임을 증명하며, $k \geq (\nu-3)/4$ 이면 그래프는 $k\frac{1}{2}$-확장 가능할 때이고, 뿐만 아니라 $(2k+1)$-요소비결정적임을 증명한다. 두 하한은 구성에 의해 최적임을 입증한다.

ABSTRACT

In this paper, we show that if $k\geq (ν+2)/4$, where $ν$ denotes the order of a graph, a non-bipartite graph $G$ is $k$-extendable if and only if it is $2k$-factor-critical. If $k\geq (ν-3)/4$, a graph $G$ is $k\ 1/2$-extendable if and only if it is $(2k+1)$-factor-critical. We also give examples to show that the two bounds are best possible. Our results are answers to a problem posted by Favaron [3] and Yu [11].

연구 동기 및 목표

• 비이분 그래프에서 $k$-확장 가능성과 $n$-요소비결정성 사이의 비자명한 함수 존재 문제를 제기한 Favaron과 Yu의 오랫동안 미해결된 문제를 해결하기 위해.
• 그래프의 순서 $\nu$에 대해 $k$의 최소값을 규명하여, $k$-확장 가능 그래프가 $2k$-요소비결정적이 되도록 보장하기 위해.
• $k\frac{1}{2}$-확장 가능 그래프로의 등가성 확장을 시도하고, $(2k+1)$-요소비결정성에 해당하는 임계값을 설정하기 위해.
• 유도된 $k$의 하한이 최적임을 증명하기 위해, $k$가 더 작을 경우 등가성이 성립하지 않는 극한 그래프를 구성하기 위해.

제안 방법

• 수학적 귀납법과 매칭 확장 논증을 사용하여, $k \geq (\nu+2)/4$ 를 만족하는 $k$-확장 가능한 비이분 그래프가 $2k$-요소비결정적임을 증명한다.
• 레미마 1.8에서 유도된 바에 따르면, $k$-확장 가능한 그래프는 모든 $m \leq k$ 에 대해 $m$-확장 가능하므로, 문제를 더 작은 경우로 축소한다.
• 요소비결정성 개념을 적용하기 위해, $G-S$ 가 완전 매칭을 갖지 않는 크기 $2k$ 의 집합 $S$ 가 존재한다고 가정하고, $G-v$ 에서의 매칭 확장을 통해 모순을 도출한다.
• $H^{(k)} = I_{k+2} \vee (K_{k+3} \cup K_{2k})$ 라는 그래프의 가족을 구성하여, $k < (\nu-3)/4$ 일 때 $k\frac{1}{2}$-확장 가능성은 $(2k+1)$-요소비결정성을 의미하지 않음을 보여준다.
• 정점 분할의 짝수성과 크기 분석을 통해, $H^{(k)}$ 가 임의의 $2k+1$ 개의 정점을 제거한 후에도 완전 매칭을 갖는다는 것을 증명함으로써, $k\frac{1}{2}$-확장 가능성을 입증한다.
• 최소 차수와 연결성에 관한 기존 결과(예: 레미마 1.10)를 활용하여, $k$-확장 가능한 그래프의 구조적 성질를 제약한다.

실험 결과

연구 질문

• RQ1 비이분 그래프에서 $k$-확장 가능성과 $2k$-요소비결정성의 등가성이 성립하는 $k$ 의 값은 $\nu$ 와 어떤 관계가 있는가?
• RQ2 $k$-확장 가능성과 $2k$-요소비결정성의 등가성에 대해 $k \geq (\nu+2)/4$ 이 최적인가?
• RQ3 $k\frac{1}{2}$-확장 가능성과 $(2k+1)$-요소비결정성 사이에도 유사한 등가성이 성립할 수 있으며, 그 경우의 최소 $k$ 값은 무엇인가?
• RQ4 유도된 $k$ 의 하한은 최적인가, 아니면 향상시킬 수 있는가?
• RQ5 극한 구성 방법을 통해 하한이 날카로운지 입증할 수 있는가?

주요 결과

• 모든 $k \geq (\nu+2)/4$ 에 대해, 비이분 그래프는 $k$-확장 가능일 때이고, 뿐만 아니라 $2k$-요소비결정적이다.
• 모든 $k \geq (\nu-3)/4$ 에 대해, 그래프는 $k\frac{1}{2}$-확장 가능할 때이고, 뿐만 아니라 $(2k+1)$-요소비결정적이다.
• $k$-확장 가능한 그래프에 대해 $k \geq (\nu+2)/4$ 이라는 하한은 최적임이 입증되었으며, $k < (\nu+2)/4$ 일 때 반례를 통해 이를 확인할 수 있다.
• $k\frac{1}{2}$-확장 가능한 그래프에 대해 $k \geq (\nu-3)/4$ 이라는 하한 역시 최적임이 입증되었으며, $H^{(k)}$ 의 구성에 의해 이를 입증한다.
• $H^{(k)} = I_{k+2} \vee (K_{k+3} \cup K_{2k})$ 는 $k\frac{1}{2}$-확장 가능하지만 $(2k+1)$-요소비결정적이지 않으며, 이는 하한의 날카로움을 증명한다.
• 이러한 결과들은 Favaron와 Yu가 제기한, $k$-확장 가능성과 $n$-요소비결정성 사이의 비자명한 함수 존재 문제를 해결한다.