Вклад участника
26 апреля 2015
Функциональное программирование
Решение
мФункциональное программирование
Кр2: добавлен разбор кр2
+5210
Функциональное программирование
Кр2
+205
Функциональное программирование
Фотки
мФункциональное программирование
Кр2
+293
Функциональное программирование
Кодирование по Чёрчу
+151
Функциональное программирование
Кодирование по Чёрчу
м+134
Функциональное программирование
Выписать систему уравнений типизации
+1466
Функциональное программирование
Нет описания правки
+545
Функциональное программирование
Аппликативный порядок редукции
+509
Функциональное программирование
Нормальный порядок редукции
м+893
Функциональное программирование
Привести в нормальную форму
+403
Функциональное программирование
Убрать все сокращения и расставить все скобки
м+757
23 апреля 2015
Декомпозиция Линдона
Существование и единственность: исправлен мелкий баг
мУчастник:Shersh/Тикеты к 4ому терму
Основные факты теории матроидов
м+15
21 апреля 2015
Персистентные структуры данных
Преобразование списка в персистентный за O(1): чуть переписана потенциальная оценка
-300
Персистентные структуры данных
Метод копирование пути
м-20
Участник:Shersh/Тикеты ко 2ому терму
4. Поисковые структуры данных
+7
20 апреля 2015
19 апреля 2015
Персистентные структуры данных
Метод копирование пути
м+2
Персистентные структуры данных
Метод копирование пути
м+1
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м
18 апреля 2015
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+14
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м-7
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
мПоиск k-ой порядковой статистики в двух массивах
Нет описания правки
м-11
Поиск k-ой порядковой статистики в двух массивах
Еще одно решение
м+3
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м-4
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
мПоиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м-42
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+2
Поиск k-ой порядковой статистики в двух массивах
Варианты решения
м-604
Поиск k-ой порядковой статистики в двух массивах
Еще одно решение
м+1
Поиск k-ой порядковой статистики в двух массивах
Чуть менее наивное решение
м-6
Поиск k-ой порядковой статистики в двух массивах
Чуть менее наивное решение
м+2
Поиск k-ой порядковой статистики в двух массивах
Наивное решение
м-8
Поиск k-ой порядковой статистики в двух массивах
Наивное решение
м-1
Дискретная математика, алгоритмы и структуры данных
Сортировка
м+17
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+157
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+4
17 апреля 2015
16 апреля 2015
Сортировка кучей
Сложность
м+2
Участник:Shersh/Тикеты ко 2ому терму
3. Система непересекающихся множеств
м+7
СНМ (реализация с помощью леса корневых деревьев)
Функция Аккермана
-1
Smoothsort
Восстановление свойств последовательности
м+40
Smoothsort
Операции над последовательностью куч
м-17
Smoothsort
Основная идея
м-5
Smoothsort
Связь с быстрой сортировкой
м-23
Smoothsort
Недостатки
м+27
Smoothsort
Лучший случай
м-1
