Статьи по дате последнего редактирования
Материал из DISCOPAL
Ниже показано до 100 результатов в диапазоне от 251 до 350.
Просмотреть (предыдущие 100 | следующие 100) (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)
- X-O в PSPACE (00:44, 11 мая 2017)
- X-O в PSPACE/решение Сеилов (00:53, 11 мая 2017)
- PH =? PSPACE (13:21, 13 мая 2017)
- PH =? PSPACE/решение Сеилов (13:22, 13 мая 2017)
- МТ не меняет вход (13:23, 13 мая 2017)
- МТ не меняет вход/решение Сеилов (13:24, 13 мая 2017)
- Планирование Задач на Одинаковых Машинах (12:06, 8 декабря 2017)
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи (12:45, 8 декабря 2017)
- Smallest Last (12:04, 9 декабря 2017)
- Minimum Multicover (12:38, 9 декабря 2017)
- Minimum Hitting Set (13:01, 9 декабря 2017)
- Maximum Integer d-dimentional Knapsack (13:29, 9 декабря 2017)
- Maximum Integer k-choice Knapsack (13:55, 9 декабря 2017)
- Эвристика fixed partinioning (14:59, 9 декабря 2017)
- Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке/Задачи (15:01, 9 декабря 2017)
- Blog:Advanced Algorithms/Спецподход для студентов из ИСПРАН-группы (15:35, 9 декабря 2017)
- Greedy algorithm for SAT (10:37, 18 декабря 2017)
- MAX-SAT-Weighted (10:49, 18 декабря 2017)
- Динамическое программирование для задачи о рюкзаке/Задачи/Палиндром (21:31, 19 декабря 2017)
- Blog:Advanced Algorithms/2017-12-18 Экзамен в осеннем 2017. Сбор результатов. (13:13, 24 декабря 2017)
- Жадный алгоритм (22:29, 16 мая 2018)
- Как смотреть многопоточное MKV-видео (13:59, 7 сентября 2018)
- Blog:Advanced Algorithms/2018-12-21 Экзамен в 2018 (19:05, 21 декабря 2018)
- Курс лекций «Сложность алгоритмов» (ИСПРАН, 3 курс МФТИ)/Вопросы (08:54, 28 февраля 2019)
- Sberbank-BS (16:05, 15 марта 2019)
- StasFomin/LMS/BS (16:17, 15 марта 2019)
- GRE-CS-v01 (18:19, 10 апреля 2019)
- Fibo-fragment-cpp (20:51, 10 апреля 2019)
- Линейное программирование/Разделяющая прямая (20:01, 15 мая 2019)
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/Модификация random-bit-generator (01:02, 16 мая 2019)
- Линейное программирование/Задачи/Выпуклый многогранник (01:15, 16 мая 2019)
- DocMarking/TestCases (08:39, 5 сентября 2019)
- DocMarking/Алгоритмы (09:54, 9 сентября 2019)
- Blog:DocMarking/2019-09-05 (10:27, 9 сентября 2019)
- Blockchain-research (09:07, 24 сентября 2019)
- Jupyterization/2018 (13:42, 25 октября 2019)
- OptimizePython (10:24, 9 ноября 2019)
- StasFomin/ToIsprasFB/LVEE-2019 (12:44, 21 ноября 2019)
- Blog:Advanced Algorithms/Выход на финишную прямую в 2019 (05:46, 20 декабря 2019)
- Quest-A (12:29, 20 декабря 2019)
- Quest-E (12:12, 13 января 2020)
- Nnkuz (13:40, 11 февраля 2020)
- Вероятность/Задачи/coin-game-n-k/Решение Животовского Никиты (20:50, 20 мая 2020)
- Гамильтонов путь. Решение/Гилязев Руслан (20:50, 20 мая 2020)
- Вероятность/Задачи/coin-game-n-k/Решение Торчинской (20:50, 20 мая 2020)
- Вероятность/Задачи/alice-bob-three-strange-dice/Решение Хламов (20:50, 20 мая 2020)
- Вероятность/Задачи/coin-ten-times/Решение Сергея Быко (20:50, 20 мая 2020)
- Blog:Advanced Algorithms/2020-05-19 Дистанционный зачет по «Эффективным алгоритмам» (16:55, 26 мая 2020)
- Quest-O2 (17:25, 26 мая 2020)
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)