[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).
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 35 404×
Přečteno 24 418×
Přečteno 23 161×
Přečteno 19 655×
Přečteno 16 905×