Jihun Kim

Certified nonexistence of a 20-vertex graph with consecutive Laplacian spectrum

Pre-publication exact certificate archive, independently checkable verification code, canonical results, and companion manuscript for the nonexistence of a simple graph on 20 vertices with Laplacian spectrum {0,1,...,19}. The frozen certificate archive has SHA-256 1eeda59a36dc835...