A non-constructive proof of the Four Colour Theorem
@inproceedings{Jackson2022ANP,
title={A non-constructive proof of the Four Colour Theorem},
author={David M. Jackson and L. Bruce Richmond},
year={2022}
}The approach uses a singularity analysis of generating functions for particular sets of maps, and Tutte’s enumerative and asymptotic work on planar maps and their chromatic polynomials.