送交者: mangolasi 于 2005-4-13, 16:22:23:
A quick note: as memory serves correctly, 4-color map problem was "proved" by that way. A bit pity, since the origin of the problem is almost purely aesthetic and most people thought (at the first sign) that there must be a elegant and logical proof. Eventually I heard that the computer output for the proof is very huge thus dirty and ugly.