{"id":"arxiv/2608.06820","url":"https://arxiv.org/abs/2608.06820","tags":["math.CO","cs.DS"],"score":0,"title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","domain":"math.CO","source":"arxiv","authors":["Jianshen Zhu"],"reviews":0,"subject":"math.CO","summary":"For a finite hypergraph H, the complements of the models of its associated definite Horn CNF are exactly the stopping sets of H; hence the complements of its coatoms are the inclusion-minimal nonempty stopping sets. We study their output-sensitive enumeration from the hypergraph incidence representation. Our main result is a representation of arbitrary Horn model posets whose incidence size is linear in the incidence length of the normalized Horn input. Given a Horn CNF $Γ$, we construct a hypergraph $C(Γ)$ of rank at most three whose proper-model poset is inclusion-order isomorphic to the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}