[8] Autor také netvrdí, že dokazuje NP-úplnost. Říká: "Zde jako malé myšlenkové cvičení ukázka, jak lze algoritmicky řešit hledání min převedením na problém splnitelnosti výrokových formulí (SAT)." Může se mu maximálně vytknout, že neupozornil na to, že plynule přešel k opačnému směru, což tady většinu lidí evidentně zmátlo - závěr, že by to měl být důkaz NP-úplnosti, tady někdo špatně vydedukoval až v diskuzi. Kromě toho, když by to dělal obráceně, tak by také ještě musel dokázat, že ta úloha je vůbec NP (to, že je NP-těžká, ještě neznamená, že je NP).
ČLÁNKY DO MAILU