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 35 862×
Přečteno 25 082×
Přečteno 23 524×
Přečteno 19 973×
Přečteno 17 293×