On Verifying and Engineering the Well-gradedness of a Union-closed Family

David Eppstein, Jean-Claude Falmagne, Hasan Uzun

Current techniques for generating a knowledge space, such as QUERY, guarantees that the resulting structure is closed under union, but not that it satisfies wellgradedness, which i…