7468
2019
eng
article
0
2019-07-25
2019-07-25
--
Cutting planes for families implying Frankl's conjecture
We find previously unknown families of sets which ensure Frankl's conjecture holds for all families that contain them using an algorithmic framework. The conjecture states that for any nonempty finite union-closed (UC) family there exists an element of the ground set in at least half the sets of the considered UC family. Poonen's Theorem characterizes the existence of weights which determine whether a given UC family implies the conjecture for all UC families which contain it. We design a cutting-plane method that computes the explicit weights which satisfy the existence conditions of Poonen's Theorem. This method enables us to answer several open questions regarding structural properties of UC families, including the construction of a counterexample to a conjecture of Morris from 2006.
Mathematics of Computation
10.1090/mcom/3461
yes
epub ahead of print
01.07.2019
Jonad Pulaj
Ambros Gleixner
Mathematical Optimization
Mathematical Optimization Methods
Pulaj, Jonad
MIP-ZIBOPT
MODAL-SynLab
MODAL-Gesamt