Graph Theory

Odd cycles and low oddness ★★

Author(s):

Conjecture   If in a bridgeless cubic graph $ G $ the cycles of any $ 2 $-factor are odd, then $ \omega(G)\leq 2 $, where $ \omega(G) $ denotes the oddness of the graph $ G $, that is, the minimum number of odd cycles in a $ 2 $-factor of $ G $.

Keywords:

Posted by Gagik
updated December 13th, 2011
4 comments
Combinatorics

Beneš Conjecture ★★★

Author(s): Beneš

Let $ E $ be a non-empty finite set. Given a partition $ \bf h $ of $ E $, the stabilizer of $ \bf h $, denoted $ S(\bf h) $, is the group formed by all permutations of $ E $ preserving each block of $ \mathbf h $.

Problem  ($ \star $)   Find a sufficient condition for a sequence of partitions $ {\bf h}_1, \dots, {\bf h}_\ell $ of $ E $ to be complete, i.e. such that the product of their stabilizers $ S({\bf h}_1) S({\bf h}_2) \dots S({\bf h}_\ell) $ is equal to the whole symmetric group $ \frak S(E) $ on $ E $. In particular, what about completeness of the sequence $ \bf h,\delta(\bf h),\dots,\delta^{\ell-1}(\bf h) $, given a partition $ \bf h $ of $ E $ and a permutation $ \delta $ of $ E $?
Conjecture  (Beneš)   Let $ \bf u $ be a uniform partition of $ E $ and $ \varphi $ be a permutation of $ E $ such that $ \bf u\wedge\varphi(\bf u)=\bf 0 $. Suppose that the set $ \big(\varphi S({\bf u})\big)^{n} $ is transitive, for some integer $ n\ge2 $. Then $$ \frak S(E) = \big(\varphi S({\bf u})\big)^{2n-1}. $$

Keywords:

Posted by Vadim Lioubimov
updated January 3rd, 2010
add new comment