Proof of a Conjecture on Cycles in a Bipartite Graph.
H Wang
DOI: https://doi.org/10.1002/(sici)1097-0118(199908)31:4<333::aid-jgt8>3.0.co;2-4
1999-01-01
Journal of Graph Theory
Abstract:It was conjectured in [Wang, to appear in The AustralasianJournal of Combinatorics] that, for each integer k ≥ 2,there exists M ( k ) such that if G =( V 1 , V 2 , E ) is abipartite graph with | V 1 | =| V 2 | = n ≥ M ( k ) and d ( x ) + d ( y ) ≥ n + k for each pair of nonadjacent vertices x and y of G with x ε V 1 and y ε V 2 , then, for any k independentedges e 1 , …, e k of G , there exist k vertex-disjoint cycles C 1 , …, C k in G such that e i ε E ( C i for all i ε {1,…, k } and V ( C 1 ⊎··· ∪ C k ) = V ( G ). This conjecture is also verified for k =2, 3 in [Wang, to appear; Wang, manuscript]. In this article, weprove this conjecture to be true if n ≥ 3 k , i.e., M ( k ) ≤ 3 k . We will also show that, if n ≥ 3 k , then for any k independent edges e 1 , …, e k of G ,there exist k vertex-disjoint cycles C 1 ,…, C k of length at most 6 in G suchthat e i ε E ( C i )for all i ε {1, …, k }. © 1999John Wiley & Sons, Inc. J Graph Theory 31: 333343, 1999