On 16.4.2015 at 12:20 in S6, there is the following noon lecture:
Deciding 4-colorability of planar triangulations is polynomial independently of the Four Color Theorem
I will show how to express the number of proper 4-colourings of a planar triangulation as a determinant. Hence it is in particular polynomial to decide if this number is non-zero.
Webmaster: kamweb.mff.cuni.cz Archive page