Hainan Zhao

Finite witnesses, payer curvature, and certified reductions for Seymour's second-neighborhood conjecture at minimum out-degree eight

We study Seymour's second-neighborhood conjecture at minimum out-degree eight using degree-independent structural tools from a separately published companion paper and proof-producing finite reductions. We independently reconstruct the minimum-out-degree-seven boundary, obtain th...