Участник:Shersh/Тикеты к 1ому терму

Тикеты индексируются как "X-Y", где X — номер раздела, Y — номер конспекта внутри раздела (например, конспект ДНФ из раздела булевых функций имеет тикет 2-3)

Обозначением !!! помечены те конспекты, которые точно дадут 5 баллов при их успешном выполнении. Просто выделены, чтобы сразу можно было на них обратить внимание.

1. Отношения

1. Определение отношения (0.5)
   1. Дефисы заменить на тире
   2. Оформить красиво источники информации
   3. Английские термины к видам отношений
2. Композиция отношений, степерь отношения, обратное отношение
3. Рефлексивное отношение. Антирефлексивное отношение.
4. Симметричное отношение
5. Антисимметричное отношение
6. Транзитивное отношение
7. Отношение порядка
8. Отношение эквивалентности
9. Транзитивное замыкание отношения
10. Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения
11. !!! Транзитивный остов (5)
    1. Отформатировать псевдокод
    2. Добавить категории
    3. возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"
    4. если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец

2. Булевы функции

1. Определение булевой функции
2. Суперпозиции (0.5)
   1. англоязычных терминов
3. ДНФ (0.5)
   1. англоязычных терминов
   2. писать каждое слово с большой буквы (типа Дизъюнктивная Нормальная Форма) не надо
   3. Убрать странные скобки в формулировке теоремы
   4. Не то выделено жирным в определениях
4. Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна (2.5)
   1. англоязычных терминов
   2. Жирные определения
   3. Непонятно, как работает метод Карно, возможно в таблице ошибка
   4. Двойной номер в одной из табличек Квайна
   5. Обернуть в tex бинарные операции в методе Квайна
   6. Все константы и переменные взять в tex
5. КНФ
6. Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома (3)
   1. англоязычных терминов
   2. написать, почему факт того, что существует полиномиальный алгоритм, интересен
   3. Ссылку на википедию сделать примечанием
   4. Добавить ссылки, изменить См. также
   5. Исправить странное форматирование в форме Крома
7. Полином Жегалкина, преобразование Мёбиуса
8. Полные системы функций. Теорема Поста о полной системе функций
9. Представление функции класса DM с помощью медианы
10. Пороговая функция

3. Схемы из функциональных элементов

1. Реализация булевой функции схемой из функциональных элементов (1)
   1. англоязычных терминов (на схемную сложность, глубину схемы)
   2. Оформить красивее определения из логических элементов
   3. Сделать красивую табличку
   4. Источники информации и См. также
2. Простейшие методы синтеза схем из функциональных элементов (0.5)
   1. Изменить знаки неравенств
   2. Ссылку на метод синтеза схем Шэннона сделать примечанием
   3. Определение жирным
   4. Оформить правильно См. также и Источники информации
   5. Увеличить дроби
3. Метод Лупанова синтеза схем (0.5)
   1. Заменить литературу на источники информации
   2. Изменить знаки неравенств
   3. Запятые криво стоят в определении функции g
   4. Увеличить дроби
4. Cумматор
5. Каскадный сумматор (0.5)
   1. англоязычных терминов
   2. Оформить источники информации нормально
6. fixed Двоичный каскадный сумматор (1)
   1. англоязычных терминов
   2. из определения не ясно, чем двоичный каскадный отличается от просто каскадного, надо это в определение запихать
   3. Табличку оформить красиво
   4. Источники информации
   5. Увеличить картинку
   6. Список в обозначениях оформить правильно
7. Троичный сумматор
8. Реализация вычитания сумматором
9. fixed Матричный умножитель (4)
   1. пункт "определение" не нужен
   2. англоязычных терминов
   3. надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
   4. Называть логические операции не по-русски
   5. Нижние индексы у всех переменных проставить
   6. Картинку про умножение в столбик сделать красивой векторной
   7. Вторую картинку подписать
   8. Третью картинку прокомментировать
   9. Источники информации и См. также
10. Дерево Уоллеса (1)
    1. пункт "определение" не нужен
    2. англоязычных терминов
    3. надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
    4. Оформить правильно Источники информации
    5. См. также
    6. Увеличить дроби
    7. Как-нибудь нормально назвать depth, size и sum
    8. Чуть-чуть увеличить картинки
11. Контактная схема
12. Квантовые гейты

4. Представление информации

1. Кодирование информации
2. fixed Представление целых чисел: прямой код, код со сдвигом, дополнительный код (7)
   1. Англоязычные термины нормально оформить
   2. Все константы взять в Tex
   3. Выделить и красиво оформить достоинства и недостатки
   4. Тип unsigned char для хранения чисел выглядит очень странно
   5. Источники информации нормально оформить
   6. В дополнительных кодах не всегда верно задаётся определение — вместо положительных нужно писать неотрицательные
   7. Обобщить дополнительный код с дополнение до двух на длинную арифметику (это делается тривиально, но пару слов сказать надо, всё-таки так иногда бывает полезно делать)
3. Представление вещественных чисел
4. Представление символов, таблицы кодировок

5. Алгоритмы сжатия

1. fixed Алгоритм Хаффмана (5)
   1. Переменные и константы внести в Tex
   2. В определении кода пропущено обозначение кода символа
   3. Интервики на реализацию за O(N) и очередь с приоритетами
   4. Красиво оформить описание алгоритма
   5. Картинка с английским словом
   6. Заменить знаки неравенств
   7. Правильно оформить ссылки на источники информации
2. Оптимальное хранение словаря в алгоритме Хаффмана
3. Алгоритм Хаффмана за O(n) (1)
   1. Мутное доказательство после разбора случаев, надо понятней написать, а то сейчас не ясно, почему будет всё ок
4. Алгоритм Ху-Таккера (1)
   1. Англоязычные термины
   2. Заменить дефис на тире
   3. Сделать красивый список в определении
   4. Переменные и константы взять в Tex
   5. Исправить знаки неравенств
   6. Правильно оформить источники информации
5. Неравенство Крафта
6. Неравенство Макмиллана
7. Код Шеннона
8. Оптимальный префиксный код с длиной кодового слова не более L бит
9. Алгоритмы LZ77 и LZ78 (2)
   1. Переменные и константы взять в Tex
   2. Добавить примеры итоговых таблиц
   3. Рассказать, как декодировать
   4. Правильно оформить источники информации
   5. Получше расписать описание алгоритма
   6. Таблицы сделать красивыми
   7. Интервики
10. Алгоритм LZW
11. Алгоритм LZSS
12. fixed Преобразование Барроуза-Уиллера и обратное ему (5)
    1. Все переменные и константы в тексте взять в Tex
    2. Красиво таблички оформить
    3. Англоязычные названия
    4. Заменить log на \log
    5. Доказательство корректности наивного алгоритма
    6. Отформатировать псевдокод
    7. Оформить правильно источники информации
13. Преобразование MTF
14. Расстояние Хэмминга (1)
    1. Англоязычные термины правильно оформить
    2. Причём там куб?
    3. Оформить правильно источники информации
    4. Исправить знаки неравенств
15. Избыточное кодирование, код Хэмминга
16. Гамма-, дельта- и омега-код Элиаса

6. Комбинаторика

Комбинаторные объекты

1. взяли Комбинаторные объекты (6)
   1. Правильно оформить англоязычные термины
   2. Привести формулы каждого объекта — общее количество, формулы с повторениями (для сочетаний, размещений и перестановок) с доказательством
   3. Под каждый комбинаторный объект сделать свой подзаголовк уровня ниже
   4. Все переменные и константы взять в Tex
   5. Добавить ссылок по всем объектам в источники информации
   6. Заменить ссылку на числа Стирлинга ссылкой на конспект
   7. Заменить дефисы на тире
2. Лексикографический порядок
3. Коды Грея
4. Коды Грея для перестановок
5. Коды антигрея
6. Цепные коды
7. Правильные скобочные последовательности

Генерация комбинаторных объектов

8. взяли Генерация комбинаторных объектов в лексикографическом порядке (3)
1. Заменить скобки "больше-меньше" на угловые
2. Нормальную красивую картинку нарисовать
9. Получение номера по объекту
10. Получение объекта по номеру
11. Получение следующего объекта
12. взяли Получение предыдущего объекта (3)
1. Добавить специализацию для получения предыдущего разбиения на множества
13. взяли Метод генерации случайной перестановки, алгоритм Фишера-Йетса (5)
1. Добавить Шаблон:Задача
2. Переименовать Тасование
3. Отформатировать псевдокоды
4. Обернуть имена функций в \mathrm или \mathtt
5. Убрать обозначение массива как a[]
6. Все переменные взять в Tex
7. Оформить правильно источники информации и см. также
8. Добавить английские имена создателей алгоритма
9. Добавить доказательства неправильных способов реализации
14. Методы генерации случайного сочетания

Подсчёт числа объектов

14. Формула включения-исключения, подсчет числа беспорядков
15. Нахождение количества разбиений числа на слагаемые. Пентагональная теорема Эйлера
16. Производящая функция (3)
1. Оформить правильно англоязычные термины
2. Убрать точки с запятыми из определения
3. Все переменные и константы в Tex взять
4. Исправить знаки неравенств
5. Оформить ссылки примечаниями
6. Ссылки и литературу заменить на источники информации
17. fixed Лемма Бёрнсайда и Теорема Пойа
18. fixed Задача об ожерельях (10)
1. Помёрджить с соответствующими конспектами из теории чисел
2. Аккуратно всё оформить
3. Заменить дефисы на тире
4. Формулировки задач внести в шаблон
5. Оформить правильно источники информации
19. Числа Стирлинга первого рода
20. Числа Стирлинга второго рода
21. fixed Числа Эйлера первого и второго рода. Подъемы в перестановках (5)
1. Правильно оформить англоязычные термины
2. Увеличить обозначения чисел Эйлера
3. Все переменные и константы взять в Tex
4. Дефисы заменить на тире
5. Ссылки сделать примечаниями
6. Заменить => на нормальный теховский символ
7. Добавить доказательство леммы
8. Оформить правильно источники информации
22. Числа Каталана

Свойства комбинаторных объектов

22. !!! Умножение перестановок, обратная перестановка, группа перестановок (5)
1. Определение выделить жирным
2. Англоязычные термины
3. Тут вообще неправильно описано умножение перестановок (не путать с подстановками)
4. Отформатировать псевдокоды
5. Все переменные и константы взять в Tex
6. Оформить правильно источники информации
7. Добавить примеров из конспекта групп по теории чисел
8. Добавить реккурентную формулу числа инволюций c доказательством
23. Действие перестановки на набор из элементов, представление в виде циклов
24. Таблица инверсий
25. Теорема Кэли (1)
1. Бинарную операцию в группе обозначают не звёздочкой, а кружочком
2. Интервики
3. Оформить правильно источники информации, добавить см. также
4. Добавить словесных пояснений происходящего
26. !!! Матричное представление перестановок (5)
1. Англоязычные термины
2. Заменить дефисы на тире
3. Добавить подробные доказательства утверждений (или пояснить получше уже существующие)
4. Оформить правильно источники информации
5. Добавить жизненное применение матриц перестановок, если возможно (примеры решения каких-нибудь задач)
27. Задача о минимуме/максимуме скалярного произведения (2)
1. Оформить задачу шаблоном Задача
2. Ссылку в примечании сделать на самом деле примечанием
3. Добавить использование этой теоремы (в теории матроидов и теории расписаний)
4. Оформить правильно источники информации
5. Доказательство плохо разбито на пункты — от нумерации в доказательстве вообще можно избавиться
28. Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП (0.5)
1. Англоязычные термины
2. Определение взять в шаблон
3. Заменить дефисы на тире
4. Оформить правильно источники информации

7. Динамическое программирование

0. !!! Динамическое программирование (5)

1. Добавить известную цитату про ДП
2. Интервики на NP-полноту
3. Картинки криво расположены
4. Добавить больше примеров
5. Добавить описание принципа оптимальности на подмножествах
6. Оформить правильно источники информации
7. Добавить про мемоизацию (и желательно что-нибудь разумное)

Классические задачи динамического программирования

1. Кратчайший путь в ациклическом графе
2. Задача о числе путей в ациклическом графе (4)
   1. Взять задачу в шаблон
   2. Отформатировать псевдокод
   3. Обернуть имя функции в тексте в mathrm
   4. Заменить дефисы на тире
   5. Добавить см. также и источники информации
   6. Добавить пример простого ациклического графа в виде прямоугольной матрицы с препятствиями
3. !!! Задача о расстановке знаков в выражении (6)
   1. Взять задачу в шаблон
   2. Исправить знаки неравенств
   3. Ссылку примечанием оформить нормально
   4. Взять все переменные и константы в тексте в Tex
   5. Отформатировать псевдокод
   6. Табличку нормально оформить
   7. Описать восстановление ответа
   8. Источники информации правильно оформить
   9. Добавить решение задачи без возможности использования скобок
4. Задача о порядке перемножения матриц (3)
   1. Взять переменные и константы в Tex
   2. Обернуть задачу в шаблон
   3. Интервики на конспект правильных скобочных последовательностей
   4. Написать, почему нас не устраивает число Каталана в асимптотике
   5. Отформатировать псевдокоды
   6. Оформить правильно источники информации
   7. Убрать про мемоизацию
5. Задача о наибольшей общей подпоследовательности
6. Задача о наибольшей возрастающей подпоследовательности
7. взяли Задача коммивояжера, ДП по подмножествам
8. Задача о редакционном расстоянии, алгоритм Вагнера-Фишера
9. !!! Задача о рюкзаке (8)
   1. Взять задачу в шаблон
   2. Отформатировать псевдокоды
   3. Заменить дефисы на тире
   4. Исправить знаки неравенств
   5. Написать, что метод динамического программирование всё равно не повзволяет решать задачу за полиномиальное время и написать почему
   6. Сделать итоговую формулу для А c помощью фигурной скобки
   7. Предложить вариант замены картинок на вики-таблички с сохранением обозначения пути
   8. Понизить уровень заголовков первого уровня
   9. Оформить правильно источники информации

Способы оптимизации методов динамического программирования

10. Метод четырех русских для умножения матриц (0.5)
1. Взять скобки в Tex
2. Заменить дефисы на тире
3. Заменить литературу на источники информации
11. Применение метода четырех русских в задачах ДП на примере задачи о НОП (3.5)
1. Заменить дефисы на тире
2. Взять константы в Tex
3. Сделать нормальные картинки (или заменить на таблички)
4. Заменить источники на источники информации
12. Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза (1)
1. Кривая ссылка на оптимальный префиксный код
2. Заменить дефисы на тире
3. Взять переменные и константы в Tex
4. Исправить знаки неравенств
5. Оформить правильно источники информации
13. !!! Meet-in-the-middle (5)
1. Отформатировать псевдокод
2. Добавить примеры задач
3. Оформить правильно источники информации

Другие задачи

14. Задача о расстоянии Дамерау-Левенштейна
15. Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами
16. Задача о наибольшей подпоследовательности-палиндроме
17. Наибольшая общая возрастающая подпоследовательность (2)
1. Переименовать в "Задача о ..."
2. Отформатировать псевдокоды
3. Англоязычные термины
4. Добавить Шаблон:Задача
5. Оформить правильно источники информации
18. Задача о наибольшей общей палиндромной подпоследовательности
19. !!! Динамическое программирование по профилю (7)
1. Англоязычные термины
2. Заменить умножение на \cdot
3. Заменить дефисы на тире
4. Взять переменные и константы в Tex
5. Отформатировать псевдокоды
6. Добавить ещё примеров
7. Оформить правильно источники информации
8. Добавить нормальное объяснение происходящего (и почему это работает)
20. !!! Динамика по поддеревьям, задача о паросочетании максимального веса в дереве (5)
1. Взять все переменные в Tex
2. Убрать определение паросочетания
3. Отформатировать псевдокод
4. Оформить правильно источники информации
5. Убрать первый пункт
6. Добавить ещё примеров

8. Теория вероятностей (проверяется)

1. Вероятностное пространство, элементарный исход, событие
   1. Англоязычные термины
   2. Заменить дефисы на тире
   3. Определения выделить жирным
   4. Все константы и переменные взять в Tex
   5. Убрать точки с запятой из определений
   6. Оформить правильно см. также и источники информации
2. Независимые события
   1. Оформить правильно англоязычные термины
   2. Тире в шаблон, переменные и константы в Tex
   3. Пример несовместных событий
   4. Определения выделить жирным
   5. Заменить все дроби на \genfrac
   6. Оформить правильно источники информации
   7. Пример Тетраэдра оформить нормально
3. Условная вероятность
   1. Англоязычные термины правильно оформить
   2. Увеличить дроби
   3. Переменные и константы взять в Tex
   4. Оформить правильно источники информации
4. Формула полной вероятности
   1. примеры перечислить как подразделы
5. Формула Байеса
6. !!! Дискретная случайная величина
   1. Англоязычные термины
   2. Примеры
   3. Исправить знаки неравенств
   4. Оформить правильно источники информации
   5. Добавить про функцию плотности вероятности
7. Независимые случайные величины
   1. Англоязычные термины
   2. Заменить ссылку примечанием на интервики
   3. Заменить дефисы на тире, переменные и константы взять в Tex
   4. Правильно оформить источники информации
8. Математическое ожидание случайной величины
9. !!! Дисперсия случайной величины
   1. Англоязычные термины
   2. Дефисы на тире, дроби в \genfrac
   3. Убрать ; в свойствах
   4. Если легко показать, то надо показать
   5. Добавить про центральные моменты
10. Ковариация случайных величин
    1. Правильно оформить англоязычные термины
    2. Избавиться от двоеточия в определении
    3. Пробел перед открывающей скобкой
    4. Оформить правильно источники информации
    5. Убрать "что и требовалось доказать"
    6. Источники информации, см. также
11. Корреляция случайных величин
    1. Заменить дефисы на тире
    2. Рабить определение на две части — про среднеквадратичное отклонение и ковариацию
    3. Переменные и константы взять в Tex
    4. Исправить знаки неравенств
    5. Оформить правильно источники информации
12. Энтропия случайного источника
    1. воообще говоря, это не свойства энтропии, а аксиомы, так что надо и написать, что аксиомы, наверное.
    2. В Романовском добавить издание и страницу, источники информации правильно оформить
    3. Англоязычные термины
    4. Убрать треугольники из свойств
    5. Исправить знаки неравенств
13. !!! Симуляция одним распределением другого
    1. так и нет нормального определения распределения
    2. список примеров распределений есть, а самих распределений нет; надо дать описание и кинуть формулы
    3. издания и страницы в источниках информации
    4. Англоязычные термины
    5. Увеличить дроби, исправить знаки неравенств
    6. Зачем-то формулы написаны по центру
    7. Картинки в общем случае криво расположены
    8. Вывод оформить правильно
    9. Увеличить дроби
14. Арифметическое кодирование
    1. раздел "определение" не нужен, перенести в заголовок
    2. Оформить правильно англоязычные термины
    3. Отформатировать псевдокод
    4. Заменить дефисы на тире
    5. Оформить правильно источники информации
15. Парадоксы теории вероятностей
16. !!! Схема Бернулли
    1. запихать примеры в один раздел "Примеры", и оформить каждый как подраздел, да и вообще нормальную структуру конспекту придать
    2. оформить источник
    3. Англоязычные термины
    4. Определение выделить жирным
    5. Перерисовать картинку
    6. Исправить знаки неравенств
    7. Константы и переменные взять в Tex
    8. Ссылки на формулы красиво оформить
    9. Оформить правильно источники информации

9. Марковские цепи (проверяются)

1. !!! Марковская цепь
   1. два раза встречается определение поглощающего состояния (второе определение эквивалентно первому)
   2. сделать подраздел "циклические классы"
   3. "для i и j, принадлежащих одному классу эквивалентности" -- классу эквиволентности по какому отношению?
   4. Интервики на графы
   5. Англоязычные термины правильно оформить
   6. Оформить правильно источники информации
2. !!! Теорема о поглощении
   1. определение поглощающего состояния есть в предыдущем конспекте, его не надо приводить еще раз, сделать внутреннюю ссылку.
   2. max -> \max
   3. в конце какая-то муть. Расписать рассуждения чуть подробнее
   4. Заменить дефисы на тире
   5. А что такое непоглощающая матрица?
   6. Источники информации
3. !!! Фундаментальная матрица
   1. написать что-то нормальное про то, зачем вообще нужна эта матрица. Сделать ссылки туда, где она применяется.
   2. не сразу понятно, что такое «матрица переходов между непоглощающимися состояниями»
   3. получше оформить источник, добавить страницу, сделать ссылку на русскую/английскую вики, если есть
   4. Англоязычные термины
   5. Определения выделить жирным
   6. Дефисы на тире, переменные в Tex
4. Математическое ожидание времени поглощения
   1. не везде переменные обернуты в латех
5. !!! Расчет вероятности поглощения в состоянии
   1. куча разного псевдокода, не относящегося непосредственно к расчету вероятности поглощения, его надо разнести в соответствующие конспекты. Писать код нахождения обратной матрицы вообще не осмысленно и к делу не относится.
   2. имена переменных в тексте оборачиваются в \mathrm или \mathtt
   3. оформить псевдокод в виде функций, без всяких println
   4. оформить нормально источник
   5. Помёрджить с предыдущим конспектом
   6. Заголовки первого уровня убрать
6. Эргодическая марковская цепь
   1. определения пересекаются с конспектом про марковские цепи
   2. Сделать ссылку примечанием
   3. Заменить дефисы на тире
   4. Оформить правильно источники информации
7. Регулярная марковская цепь
   1. Переменные взять в Tex
   2. Оформить правильно источники информации
8. Примеры использования Марковских цепей
   1. Переменные в Tex
   2. Заменить литературу на источники информации
9. !!! Скрытые Марковские модели
   1. можно добавить сюда каких-нибудь полезных примеров из распознавания речи и биоинформатики, или просто любых примеров
   2. Переменные и константы взять в Tex
   3. Ссылку на вики оформить примечанием
   4. Оформить правильно источники информации
   5. Исправить небольшую багу в картинке
   6. Англоязычные термины
10. !!! Алгоритм Витерби
    1. "правдоподобная последовательность скрытых состояний" — что такое "наиболее правдоподобная"?
    2. имена переменных в тексте оборачиваются в \mathrm или \mathtt
    3. а \pi что такое?
    4. Отформатировать псевдокод
    5. Англоязычные термины
    6. Заменить ссылки на источники информации
11. Алгоритм "Вперед-Назад"
    1. Отформатировать псевдокод
    2. Заменить литературу на источники информации