Статьи по дате последнего редактирования
Материал из DISCOPAL
Ниже показано до 20 результатов в диапазоне от 251 до 270.
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)
- Blog:Advanced Algorithms/Запись на экзамены по сложности алгоритмов (09:25, 26 июня 2014)
- Blog:Advanced Algorithms/Запись на осенний семестр-2014 «Эффективных алгоритмов» (01:51, 11 декабря 2014)
- Blog:Advanced Algorithms/Экзамены в осеннем семестре 2014 (09:47, 26 декабря 2014)
- Построение суперпозиции правил логического вывода (17:18, 28 декабря 2014)
- Построение суперпозиции правил логического вывода/Решение (17:21, 28 декабря 2014)
- Blog:Advanced Algorithms/2015-01-07 Экзамен — последнее предупреждение и запись (13:28, 8 января 2015)
- TAUTOLOGY (00:14, 23 апреля 2015)
- DocStruct/ToDo (17:35, 5 мая 2015)
- Полиномиальная иерархия (15:18, 12 мая 2015)
- Жадный алгоритм в задачах о покрытии/Задачи/ex-depth-tree-for-vertex-covering-1-2 (17:08, 19 мая 2015)
- Жадный алгоритм в задачах о покрытии/Задачи/ex-breath-tree-for-vertex-covering-1-2 (17:13, 19 мая 2015)
- Гамильтонов путь/Гилязев Руслан (13:19, 24 мая 2015)
- DocStruct (16:08, 4 июня 2015)
- Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема (15:12, 4 сентября 2015)
- Blog:Advanced Algorithms/Запись на осенний семестр-2015 «Эффективных алгоритмов» (14:04, 19 октября 2015)
- Временная и пространственная сложность алгоритмов (08:58, 25 февраля 2016)
- How to use Ansible and Vagrant for Windows (13:17, 9 марта 2016)
- Вероятностная проверка тождеств (23:40, 13 апреля 2016)
- MAX-SAT: вероятностное округление (23:46, 13 апреля 2016)
- MAX-SAT: дерандомизация (23:50, 13 апреля 2016)
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)