Odpovídáte na názor ke článku Obtížnost hledání min.
Důkaz v článku je špatně. Měli bychom totiž převádět SAT (nebo něco jiného NP těžkého) na MineSweeper a ne obráceně.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 39 587×
Přečteno 27 427×
Přečteno 26 470×
Přečteno 22 649×
Přečteno 20 326×