On Tuesday, March 4, 2014 11:26:34 PM UTC+1, swtch...@gmail.com wrote:
> We have to figure out why the program gives a wrong answer. > > Maybe the premise was wrong. In this case, maybe saying 4 colors is enough to color any map was only partially right. Maybe it needs to caution that
Just the opposite: since we already know that 4 colors are ALWAYS enough, if the program gives a wrong answer it must be because it is poorly designed.
We have here a problem that has been studied by some of the most clever mathematicians and for which a proof has be obtained.
You find what seems (to you) a very small counterexample. Instead of asking "where am I wrong ?" you boldly state "the theorem does not hold half of the times".