On 20.09.2016 15:21, slawek wrote:
> 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

Czytanie ze zrozumieniem ma przezłość.

Przykład Nemroda, czyli wielomian wielu zmiennych
mający pierdyliard składników po rozpisaniu.

pzdr
bartekltg