|
4 colour theoremFiled in Maths, ILT on August 25th 05 . “A student of mine [Guthrie] asked me today to give him a reason for a fact which I did not know was a fact – and do not yet. He says that if a figure be anyhow divided and the compartments differently coloured so that figures with any portion of common boundary line are differently coloured – four colours may be wanted, but not more – the following is the case in which four colours are wanted. Query cannot a necessity for five or more be invented…” Quoted from a letter by Augustus DeMorgan after Francis Guthrie asked about the number of colours needed. The four colour theorem was the first major theorem to be solved by relying on a computer algorithm (with the provisio that the theorem depends on the compiler not having any logical bugs). Using one of Eric Harshbargers Java applets , I have hacked up a page where you can colour in a map of the new Birmingham City Wards. Actually walking through the colouring of this small map makes you think through aspects of the problem. Quite often, you have to change one of the colours to avoid having the same colours on a boundary – raising the issue of how many logically distinct colourings can their be for each (finite) map? This is filed under Maths, ILT. You can follow any responses to this entry through the RSS 2.0 feed. Both comments and pings are closed for this post. |
[ bodmas home ]
Site delivered by WordPress © Content Keith Burnett, 2006. This old school table-based layout was devised to support a Web authoring module. Mind you, it loads quicker than Kubrick in Safari... |