Odpovídáte na názor ke článku Obtížnost hledání min.
27. 3. 2014 10:44
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 37 905×
Přečteno 26 522×
Přečteno 25 247×
Přečteno 21 364×
Přečteno 19 192×
ČLÁNKY DO MAILU