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 40 118×
Přečteno 27 757×
Přečteno 26 777×
Přečteno 22 971×
Přečteno 20 672×