On Mon, 19 Sep 2016 20:05:47 +0200, bartekltg <b...@g...com>
wrote:
> Akurat podałeś problem łatwy do rozwiązania na kartce,
> ale kosztowny dla głupiego programu.

Według ciebie przeprowadzenie dowodu twierdzenia o czterech barwach
jest łatwe do przeprowadzenia na kartce? Ciekawe czemu matematycy nie
mogli jakoś temu podołać przez ponad sto lat, poczytaj sobie
https://pl.m.wikipedia.org/wiki/Twierdzenie_o_cztere
ch_barwach