On 16.04.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 Modified: 19. 10. 2010