Статьи по дате последнего редактирования
Материал из DISCOPAL
Ниже показано до 50 результатов в диапазоне от 251 до 300.
Просмотреть (предыдущие 50 | следующие 50) (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)
- Blog:Advanced Algorithms/2016-10-07 Закрыта запись на осенний семестр-2016 «Эффективных алгоритмов» (12:47, 7 октября 2016)
- Blog:Advanced Algorithms/2016-10-07 Семинар 14 октября, в 903 КПМ (13:48, 7 октября 2016)
- Вероятность/Задачи/roll-two-dice/Решение Лещёв Даниил (14:56, 2 ноября 2016)
- Вероятность/Задачи/estimate-probability/Решение Дербышев (12:59, 6 декабря 2016)
- Blog:Advanced Algorithms/2016-12-01 Переход в режим экзамена (15:28, 8 декабря 2016)
- MAX-CUT: вероятностное округление (09:46, 10 декабря 2016)
- Полиномиальная иерархия. Доказать, что если P=NP, то P=coNP (19:06, 10 декабря 2016)
- Полиномиальная иерархия. Доказать, что если P=NP, то P=coNP/Решение Иноземцев (20:22, 10 декабря 2016)
- ISO in NP (21:10, 10 декабря 2016)
- ISO in NP/Решение Иноземцев (21:34, 10 декабря 2016)
- Задача о прокалывающей прямой (01:15, 11 декабря 2016)
- Задача о прокалывающей прямой/Идея решения Хайруллин Ринат (01:22, 11 декабря 2016)
- Полиномиальный в среднем алгоритм для SAT/Замечание Досаев (21:16, 12 декабря 2016)
- Машина Тьюринга: задача о k-лентах/Лазарев Андрей (11:08, 13 декабря 2016)
- Машина Тьюринга: задача о k-лентах/Лазарев Андрей/решение (11:11, 13 декабря 2016)
- Формально об алгоритмах. Вычислительные модели/Задачи/Факториал числа (14:10, 13 декабря 2016)
- Минимальное количество монет (17:55, 13 декабря 2016)
- Если существует унарный NP-полный язык, то P=NP (18:33, 14 декабря 2016)
- Если существует унарный NP-полный язык, то P=NP/Решение Иноземцев (18:34, 14 декабря 2016)
- Ближайший сосед (00:04, 16 декабря 2016)
- MAX-SAT: вероятностное округление/Задачи/MAX-SAT-random-t-samples (08:23, 20 декабря 2016)
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3SAT→3Coloring (09:50, 20 декабря 2016)
- Эффективная «домашка» — задачи студентам на MediaWiki (22:53, 26 января 2017)
- Как оформлять задачи (06:44, 9 марта 2017)
- Вероятность/Задачи/shuffle-52-card (23:05, 12 апреля 2017)
- Схемная сложность (08:37, 13 апреля 2017)
- Бесконечное разрешимое подмножество бесконечного перечислимого множества (22:36, 10 мая 2017)
- Бесконечное разрешимое подмножество бесконечного перечислимого множества/Решение (22:58, 10 мая 2017)
- Сильно связный граф NL-complete (23:30, 10 мая 2017)
- Сильно связный граф NL-complete/Решение Сеилов (23:53, 10 мая 2017)
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)