Showing math.COShow all
2 papers · 1 filter
math.CO2026
Supersaturation for Eventown via Generator Switching
Zicheng Han, Xiande Zhang, Yuhao Zhao
An eventown family is a family of even-sized subsets of in which every two distinct members have an even-sized intersection. A classical theorem of Berlekamp and Graver shows…
math.CO2026
A Hypergraph Container Method for Spread SAT: Approximation and Speedup
Zicheng Han, Yupeng Lin, Jie Ma +1
We develop a hypergraph container method for the Boolean Satisfiability Problem (SAT) via the newly developed container results [Campos and Samotij (2026)]. This provides an explic…