Hlavní navigace

Názor ke článku Obtížnost hledání min od Karel - [8] Autor také netvrdí, že dokazuje NP-úplnost. Říká:...

  • 27. 3. 2014 20:30

    Karel (neregistrovaný)

    [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).