Guanze Yu

Five Maximal Incoming Classes Suffice: Exact Certificates and Structural Constraints for Seymour's Second-Neighbourhood Conjecture

This research preprint develops exact incoming-core certificates and structural restrictions related to Seymour's second-neighbourhood conjecture. Its principal computer-assisted theorem proves that every finite nonempty oriented graph with at most five inclusion-maximal incoming...