[논문 리뷰] Pairs of Fan-type heavy subgraphs for pancyclicity of 2-connected graphs

Bo Ning|arXiv (Cornell University)|2013. 01. 08.

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

한 줄 요약

이 논문은 팬 유형의 무거운 부분그래프 조건을 도입하여 2-연결 그래프가 전순환임을 보장하는 충분조건을 설정한다: 만약 2-연결 그래프가 클로버-$f_1$-무거운 동시에 $S$-$f_1$-무거운 경우($S = P_4$, $Z_1$, 또는 $Z_2$)라면, 그 그래프는 전순환이다. 주요 결과는 금지 부분그래프 특성화를 degree 기반의 무거운 부분그래프 조건으로 대체함으로써 베드로시안의 금지 부분그래프 정리의 일반화이며, 팬의 해밀턴 조건을 전순환성으로 확장한다.

ABSTRACT

A graph $G$ on $n$ vertices is Hamiltonian if it contains a spanning cycle, and pancyclic if it contains cycles of all lengths from 3 to $n$. In 1984, Fan presented a degree condition involving every pair of vertices at distance two for a 2-connected graph to be Hamiltonian. Motivated by Fan's result, we say that an induced subgraph $H$ of $G$ is $f_1$-heavy if for every pair of vertices $u,v\in V(H)$, $d_{H}(u,v)=2$ implies $\max\{d(u),d(v)\}\geq (n+1)/2$. For a given graph $R$, $G$ is called $R$-$f_1$-heavy if every induced subgraph of $G$ isomorphic to $R$ is $f_1$-heavy. In this paper we show that for a connected graph $S$ with $S eq P_3$ and a 2-connected claw-$f_1$-heavy graph $G$ which is not a cycle, $G$ being $S$-$f_1$-heavy implies $G$ is pancyclic if $S=P_4,Z_1$ or $Z_2$, where claw is $K_{1,3}$ and $Z_i$ is the path $a_1a_2a_3... a_{i+2}a_{i+3}$ plus the edge $a_1a_3$. Our result partially improves a previous theorem due to Bedrossian on pancyclicity of 2-connected graphs.

연구 동기 및 목표

• 팬의 1984년 해밀턴 조건을 전순환성으로 확장하기 위해 차수 기반의 무거운 부분그래프 조건을 도입하기 위해.
• 2-연결 그래프에서 전순환성을 유도하는 연결 그래프의 쌍 $R$와 $S$ ($P_3$를 제외하고)를 특정하기 위해.
• 금지 부분그래프 정리의 베드로시안 일반화를 위해 $\{R,S\}$-자유성 대신 $\{R,S\}$-$f_1$-무거움 조건을 도입하기 위해.
• 특히 클로버 및 경로 유사 부분그래프에 대해 팬 유형 조건의 전순환성으로의 자연스러운 확장 문제를 해결하기 위해.
• 문제 1에서 제기된, $f_1$-무거움 조건이 전순환성을 보장하는 그래프 쌍을 특성화하는 데 부분적인 답을 제공하기 위해.

제안 방법

• f_1-무거움 정의: 임의의 유도 부분그래프 $H \cong R$에 대해, $d_H(u,v) = 2$이면 $\max\{d(u), d(v)\} \geq (n+1)/2$이다.
• 초중요 쌍과 $C$-거리 개념을 사용하여 사이클 구조를 분석하고, 전순환성 가정에 대한 모순을 이끌어내기 위해.
• 귀납법과 정점 제거 기법을 적용하여, 경로 또는 사이클의 정점을 제거함으로써 원래 그래프 $G$에서 더 작은 그래프 $G'$를 구성하며, 핵심 차수 및 연결성 성질을 유지한다.
• 기존의 $P_3$-$f_1$-무거움 조건이 전순환성을 유도한다는 결과를 활용하고, 클로버 및 $Z_2$-부분그래프의 구조적 분석을 통해 이를 확장한다.
• 비초중요 쌍의 존재와 클로버 또는 $Z_2$ 유사 유도 부분그래프를 바탕으로 한 모순 증명을 수행하며, $f_1$-무거움 조건을 이용해 고차수 정점을 강제로 유도한다.
• 레미마 3(해밀턴 사이클과 사이클 스펙트럼에 관한 것)을 적용하여, $G'$가 해밀턴 사이클을 가지며 $d_{G'}(x)+d_{G'}(y) \geq |G'|$이면 $G'$는 전순환적이거나 이분 그래프임을 보이고, 삼각형 존재 조건을 통해 이분 그래프 경우를 제거한다.

실험 결과

연구 질문

• RQ1 연결 그래프 $R$와 $S$의 쌍($S \neq P_3$) 중에서 $\{R,S\}$-$f_1$-무거움 조건이 2-연결 그래프에서 전순환성을 유도하는 경우는 무엇인가?
• RQ2 전순환성 정리에서 금지 부분그래프 조건을 부분그래프의 차수 기반 팬 유형 조건으로 대체할 수 있는가?
• RQ3 $K_{1,3}$-$f_1$-무거움과 $P_4$-$f_1$-무거움이 2-연결 그래프에서 사이클이 아닌 경우 전순환성을 보장하는가?
• RQ4 $Z_2$-부분그래프는 $f_1$-무거움 조건 하에서 전순환성을 강제로 유도하는 데 어떤 역할을 하는가?
• RQ5 초중요 쌍과 $C$-거리 개념은 $f_1$-무거움 조건 하에서 전순환성 증명에 어떻게 기여하는가?

주요 결과

• 2-연결 그래프 $G$가 클로버-$f_1$-무거움이면서 $Z_2$-$f_1$-무거움인 경우, $G$가 사이클이 아니면 전순환적이다.
• 이 결과는 $K_{1,3}$-$f_1$-무거움과 $P_4$-$f_1$-무거움이 함께 2-연결 그래프에서 사이클이 아닌 경우 전순환성을 유도함을 의미한다.
• 논문은 $K_{1,3}$-$f_1$-무거움과 $Z_1$-$f_1$-무거움이 함께 전순환성을 유도함을 보이며, 밀레시안의 결과를 차수 기반 조건으로 확장한다.
• $n \geq 6$이면, $G$가 $\{K_{1,3}, Z_2\}$-$f_1$-무거움이면서 2-연결이면, $G$는 3부터 $n$까지의 모든 길이의 사이클을 포함한다. 유일한 예외는 소규모 특수 케이스일 수 있다.
• 증명은 $G$가 전순환적이지 않다고 가정하고, 초중요 쌍 분석과 차수 제약 조건을 통해 구조적 모순을 이끌어내는 모순 증명을 사용한다.
• 논문은 $S$-$f_1$-무거움 조건만으로 전순환성을 유도하는 유일한 연결 그래프 $S$가 $P_3$임을 확인하며, 이는 그래프 쌍으로의 일반화가 비트리비알리티를 띤다는 것을 의미한다.