Hypergraphs with no special cycles

Abstract

A special cycle in a hypergraph is a cyclex ₁ E ₁ x ₂ E ₂ x ₃ ...x _n E _n x ₁ ofn distinct verticesx _i andn distinct edgesE _j (n≧3) whereE _i ∩{x ₁,x ₂, ...,x _n }={x _i ,x _i+1} (x _n+1=x ₁). In the equivalent (0, 1)-matrix formulation, a special cycle corresponds to a square submatrix which is the incidence matrix of a cycle of size at least 3. Hypergraphs with no special cycles have been called totally balanced by Lovász. Simple hypergraphs with no special cycles onm vertices can be shown to have at most ( ^m₂ )+m+1 edges where the empty edge is allowed. Such hypergraphs with the maximum number of edges have a fascinating structure and are called solutions. The main result of this paper is an algorithm that shows that a simple hypergraph on at mostm vertices with no special cycles can be completed (by adding edges) to a solution.