Участник:Shersh/Тикеты к 1ому терму — различия между версиями
Shersh (обсуждение | вклад)  (→5. Алгоритмы сжатия)  | 
				Shersh (обсуждение | вклад)   (→в процессе проверки Способы оптимизации методв динамического программирования)  | 
				||
| Строка 536: | Строка 536: | ||
## Понизить уровень заголовков первого уровня  | ## Понизить уровень заголовков первого уровня  | ||
## Оформить правильно источники информации  | ## Оформить правильно источники информации  | ||
| − | ===   | + | === Способы оптимизации методв динамического программирования ===  | 
<ol>  | <ol>  | ||
<li value="10">[[Метод четырех русских для умножения матриц]] </li>  | <li value="10">[[Метод четырех русских для умножения матриц]] </li>  | ||
| + | # Взять скобки в Tex  | ||
| + | # Заменить дефисы на тире  | ||
| + | # Заменить литературу на источники информации  | ||
<li>[[Применение метода четырех русских в задачах ДП на примере задачи о НОП]] </li>  | <li>[[Применение метода четырех русских в задачах ДП на примере задачи о НОП]] </li>  | ||
| + | # Заменить дефисы на тире  | ||
| + | # Взять константы в Tex  | ||
| + | # Сделать нормальные картинки (или заменить на таблички)  | ||
| + | # Заменить источники на источники информации  | ||
<li>[[Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза]] </li>  | <li>[[Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза]] </li>  | ||
| − | <li>[[Meet-in-the-middle]] </li>  | + | # Кривая ссылка на оптимальный префиксный код  | 
| + | # Заменить дефисы на тире  | ||
| + | # Взять переменные и константы в Tex  | ||
| + | # Исправить знаки неравенств  | ||
| + | # Оформить правильно источники информации  | ||
| + | <li> '''!!!''' [[Meet-in-the-middle]] </li>  | ||
| + | # Отформатировать псевдокод  | ||
| + | # Добавить примеры задач  | ||
| + | # Оформить правильно источники информации  | ||
</ol>  | </ol>  | ||
| + | |||
=== '''в процессе проверки''' Другие задачи ===  | === '''в процессе проверки''' Другие задачи ===  | ||
<ol>  | <ol>  | ||
Версия 00:12, 17 октября 2014
Тикеты индексируются как "X-Y", где X — номер раздела, Y — номер конспекта внутри раздела (например, конспект ДНФ из раздела булевых функций имеет тикет 2-3)
Заявки можно подавать только на те конспекты, которые отмечены !!!. Один такой тикет засчитывается за баллов (в случае исправления, конечно же). Не берите за раз много исправлений — оставляйте своим однокурсникам, да и вдруг вы даже один тикет не осилите .
- Если вдруг окажется мало исправлений в одной вашей заявке, то дополнительно к ней на моё усмотрение может добавиться ещё несколько тикетов, не помеченных восклицательными знаками.
 - Если не осталось конспектов с !!!, нет желания их делать, нет желания делать новый конспект или разобрали все хорошие темы, то можно взять несколько правок, не отмеченных !!!, но для этого необходимо заранее мне сообщить о своём таком желании, а я уже сам выдам темы. Несколько таких правок будут засчитаны, как одна с !!!.
 
Содержание
1. Отношения
- Определение отношения
 - Композиция отношений, степерь отношения, обратное отношение
 -  fixed Рефлексивное отношение. Антирефлексивное отношение.
- Объединить ссылки с источниками
 - Не везде присутствует tex, где должен быть
 
 -  fixed Симметричное отношение
- Объединить источники и ссылки
 
 -  fixed Антисимметричное отношение
- Объединить источники и ссылки
 - Исправить знаки неравенств в техе
 - Увеличить картинки
 - Заменить тире на шаблон
 
 - Транзитивное отношение
 - Отношение порядка
 - Отношение эквивалентности
 -  Транзитивное замыкание отношения
- Заменить тире на шаблон
 - Исправить кривой местами tex
 - Заменить ссылки на источники информации
 
 -  !!! Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения
- Отформатировать псевдокод
 - Добавить ссылок в источники информации
 - интересно, что алгоритм работает только для конечных отношений, хотя транзитивно замкнуть можно и бесконечное бинарное отношение. Кто сделает модификацию для бесконечных, молодец :) (можно считать, что у нас есть "бесконечная матрица" бинарного отношения, и что мы такую же "бесконечную матрицу" заполняем, впринципе). Понятно, что всю таблицу мы никогда не заполним, но важно, чтобы каждый конкретный элемент таблицы был заполнен через какое-то конечное время.
 - Нужен пример, картинка
 
 -  !!! Транзитивный остов
- Отформатировать псевдокод
 - Добавить категории
 - возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"
 - если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец
 
 
2. Булевы функции
-  Определение булевой функции
- англоязычных терминов
 - термины вроде "самодвойственная и т.п." встечаются в табличке и больше нигде. Сделать ссылки вперед на соответствующие определения.
 - Исправить неравенства в tex
 - Обернуть в tex все константы в тексте
 - Определение двойственной сделать жирным
 - Объединить литературу и источники информации
 
 -  Суперпозиции
- англоязычных терминов
 
 -  ДНФ
- англоязычных терминов
 - писать каждое слово с большой буквы (типа Дизъюнктивная Нормальная Форма) не надо
 - Убрать странные скобки в формулировке теоремы
 - Не то выделено жирным в определениях
 
 -   Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна
- англоязычных терминов
 - Жирные определения
 - Двойной номер в одной из табличек Квайна
 - Обернуть в tex бинарные операции в методе Квайна
 - Все константы и переменные взять в tex
 
 -  КНФ
- англоязычных терминов
 - писать каждое слово с большой буквы (типа Конъюнктивная Нормальная Форма) не надо
 - Определения жирным
 - Все константы и переменные взять в tex
 - Выделить в табличке нужные формы цветом, как в ДНФ
 
 -  взяли Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома
- англоязычных терминов
 - написать, почему факт того, что существует полиномиальный алгоритм, интересен
 - Ссылку на википедию сделать примечанием
 - Добавить ссылки, изменить См. также
 - Исправить странное форматирование в форме Крома
 
 -  взяли  Полином Жегалкина, преобразование Мёбиуса
- англоязычных терминов
 - "Предпосылки" — странное название, переименовать в "Полнота", например
 - Все константы взять в tex
 - Исправить странное форматирование в преобразовании ДНФ
 - Написать, что означает в преобразовании Мёбиуса
 - Пару слов о том, чем удобен полином Жегалкина
 
 -  Полные системы функций. Теорема Поста о полной системе функций
- англоязычных терминов
 - Заменить знаки неравенств в tex
 - Убрать ; в списках
 - Заменить в некоторых местах НЕ на \neg (то же самое про И и ИЛИ) — или заменить на англоязычные названия операций
 - Избавиться от сокращений т.е. и т.к.
 - Все переменные взять в tex
 
 - Представление функции класса DM с помощью медианы
 -  Пороговая функция
- Исправить знаки неравенств в tex
 - Взять все константы в tex
 
 
3. Схемы из функциональных элементов
-  Реализация булевой функции схемой из функциональных элементов
- англоязычных терминов (на схемную сложность, глубину схемы)
 - Оформить красивее определения из логических элементов
 
 -  Простейшие методы синтеза схем из функциональных элементов
- Изменить знаки неравенств
 - Ссылку на метод синтеза схем Шэннона сделать примечанием
 
 -  Метод Лупанова синтеза схем
- Заменить литературу на источники информации
 - Изменить знаки неравенств
 - Запятые криво стоят в определении функции g
 
 -  Cумматор
- англоязычных терминов
 - Переменные и константы взять в tex
 
 -  !!! Каскадный сумматор
- англоязычных терминов
 - Оформить источники информации нормально
 - Добавить более простое и понятное построение из обсуждений
 
 -  Двоичный каскадный сумматор
- англоязычных терминов
 - из определения не ясно, чем двоичный каскадный отличается от просто каскадного, надо это в определение запихать
 
 - Реализация вычитания сумматором
 -  Матричный умножитель
- пункт "определение" не нужен
 - англоязычных терминов
 - надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
 - Называть логические операции не по-русски
 - Нижние индексы у всех переменных проставить
 
 -  Дерево Уоллеса
- пункт "определение" не нужен
 - англоязычных терминов
 - надо писать в определении схем, за сколько они работают, а то не ясно их отличие друг от друга
 
 
4. Представление информации
-  fixed Кодирование информации
- Англоязычные термины
 - Странные точки в определения кода
 - Зачем-то описание однозначно декодируемого кода оформлено как псевдокод
 - Все примеры кодирования/декодирования нормально оформить
 - Непонятный минус префиксных кодов про то, что их надо считывать побитово — никто не мешает считать блок, а потом уже декодировать этот блок
 - В примере плохого декодирования префиксного выделить ошибку чуть понаглядней
 - Добавить в плюсы (или в минусы) размер префиксного кода
 - Заменить литературу на источники информации
 
 -  взяли Представление целых чисел: прямой код, код со сдвигом, дополнительный код
- Англоязычные термины нормально оформить
 - Все константы взять в Tex
 - Выделить и красиво оформить достоинства и недостатки
 - Тип unsigned char для хранения чисел выглядит очень странно
 - Источники информации нормально оформить
 - В дополнительных кодах не всегда верно задаётся определение — вместо положительных нужно писать неотрицательные
 - Обобщить дополнительный код с дополнение до двух на длинную арифметику (это делается тривиально, но пару слов сказать надо, всё-таки так иногда бывает полезно делать)
 
 -  взяли Представление вещественных чисел (все правки стоят 10 баллов)
- Добавить простой способ хранения вещественных чисел
 - Переменные и константы взять в Tex
 - Англоязычные термины
 - Дефис заменить на Шаблон:Тире
 - Добавить описание экспоненциальной формы записи чисел, а то сразу непонятно, что это такое (особенно читающим конспект на первом курсе)
 - Зачем-то картинка Half Precision два раза дублируется
 - Пример операции умножения плохо оформлен
 - Сделать нормальную табличку диапазона значений чисел
 - Добавить, что Extended Precision есть в сопроцессоре Intel
 - Добавить про способы округления
 - Добавить минимальную точность чисел в таком представлении
 - Ссылку на pdf сделать примечанием
 - Добавить см. также
 - Таблички в алгоритме получения числа красиво оформить (а лучше всего картинками сделать, как в примерах до этого)
 
 -  !!! Представление символов, таблицы кодировок
- Добавить информации про code point, code unit, surrogate pair и прочие радости в юникоде
 - Константы и переменные обернуть в Tex
 - Оформить красиво источники информации
 
 
5. Алгоритмы сжатия
-  взяли Алгоритм Хаффмана
- Переменные и константы внести в Tex
 - В определении кода пропущено обозначение кода символа
 - Интервики на реализацию за O(N) и очередь с приоритетами
 - Красиво оформить описание алгоритма
 - Кто сделает картинку примера с английскоим словом, тот молодец :)
 - ? Альтернативное доказательство через теорию матроидов оценивается дополнительно
 - Заменить знаки неравенств
 - Правильно оформить ссылки на источники информации
 
 -  !!! Оптимальное хранение словаря в алгоритме Хаффмана
- Все константы и переменные взять в Tex
 - Добавить доказательство факта, что после удаления вершин всё будет хорошо в наивном решении
 - Заменить дефис на тире
 - Добавить псевдокоды обходов дерева
 - Передача информации для восстановления листьев кривовата описана
 
 -  !!! Алгоритм Хаффмана за O(n)
- Описание сумм чуточку невнятное — исправить
 - Таблички более полными сделать
 - Структурировать описание
 - Добавить категории, см. также, источники информации
 - Добавить псевдокод
 
 -  !!! Алгоритм Ху-Таккера
- Англоязычные термины
 - Заменить дефис на тире
 - Сделать красивый список в определении
 - Переменные и константы взять в Tex
 - Добавить доказательство пропущенных лемм и теорем (если там много, то всё может суммарно оцениться)
 - Исправить знаки неравенств
 - Правильно оформить источники информации
 
 -  !!! Неравенство Крафта
- Зачем-то дублируются определения с статьей про кодирование информации. Убедиться, что они совпадают, выпилить и сделать внутренние ссылки.
 - А зачем оно нужно? Просто интересный факт?
 - Исправить знаки неравенств
 - Правильно оформить источники информации
 - Англоязычные термины
 - max заменить \max
 - Увеличить дроби
 - Правильно оформить источники информации
 
 -  !!! Неравенство Макмиллана
- То же самое, что и в предыдущем
 
 -  !!! Алгоритмы LZ77 и LZ78
- Переменные и константы взять в Tex
 - Добавить примеры итоговых таблиц
 - Рассказать, как декодировать
 - Правильно оформить источники информации
 - ? Добавить оценку степени сжатия
 
 -  взяли Алгоритм LZW
- Слишком много пустых строк
 - Все переменные и константы внести в Tex
 - Достоинства и недостатки красиво оформить
 - Нормально оформить источники информации
 - Добавить пример "хитрости"
 
 -  !!!  Преобразование Барроуза-Уиллера и обратное ему
- Все переменные и константы в тексте взять в Tex
 - Красиво таблички оформить
 - Англоязычные названия
 - Заменить log на \log
 - Доказательство корректности наивного алгоритма
 - Отформатировать псевдокод
 
 -  !!! Преобразование MTF
- Англоязычные термины оформить правильно
 - Переменные и константы взять в Tex
 - Оформить правильно источники информации
 - Описание понятней сделать
 - Ссылку на bzip сделать примечанием
 
 -  Расстояние Хэмминга
- Англоязычные термины правильно оформить
 - Причём там куб?
 - Оформить правильно источники информации
 - Исправить знаки неравенств
 
 -  !!! Избыточное кодирование, код Хэмминга
- Англоязычные термины
 - Заменить дефис на тире
 - Все константы и переменные взять в Tex
 - Добавить пару слов о том, как часто нам нужно заботиться о сохранении целостности данных
 - Исправить знаки неравенств в Tex
 - Увеличить дроби
 - Перерисовать последние две картинки (какие-то они слишком пиксельные)
 - Правильно оформить источники информации
 
 
6. Комбинаторика
Комбинаторные объекты
-  !!! Комбинаторные объекты
- Правильно оформить англоязычные термины
 - Привести формулы каждого объекта — общее количество, формулы с повторениями (для сочетаний, размещений и перестановок) с доказательством
 - Под каждый комбинаторный объект сделать свой подзаголовк уровня ниже
 - Все переменные и константы взять в Tex
 - Добавить ссылок по всем объектам в источники информации
 - Заменить ссылку на числа Стирлинга ссылкой на конспект
 - Заменить дефисы на тире
 
 -  Лексикографический порядок
- Англоязычные термины правильно оформить
 - Отформатировать псевдокод
 - Список в определении криво выглядит
 - Оформить правильно источники информации
 - Добавить примеры порядка интересных комбинаторных объектов — перестановок, сочетаний.
 
 -  !!! Коды Грея
- Правильно оформить англоязычные термины
 - Все константы и переменные взять в Tex
 - Перерисовать кривую картинку
 - Отформатировать псевдокод
 - Доказательства по индукции нормально оформить.
 - Исправить "Беккета" на "Баркера" и кинуть ссылку примечанием на все виды кодов, а на код грея для перестановок сделать интервики
 - Не надо везде писать "Код" в коде Грея с большой буквы
 - Добавить применение кода Грея из обсуждений
 - Исправить знаки неравенств
 - Кое-где пропущены пробелы в Tex в формулах явных кодов Грея
 - Заменить источники на источники информации, добавить больше ссылок
 - Заменить log на \log
 - Примение кодо Грея как-то криво оформлено
 - Написать решение задачи о Ханойских башнях
 - Заменить дефисы на тире
 
 -  Коды Грея для перестановок
- Англоязычные термины
 - Первое Определение разнести на два определения, хотя бы пояснить, что такое просто транспозиция
 - Табличку сделать красивой
 - Отформатировать псевдокод
 - Местами есть лишние скобки
 - Правильно оформить источники информации
 - Поправить ссылку на гамильтонов путь
 - Убрать пункт определение
 
 -  !!! Коды антигрея
- Правильно оформить англоязычные термины
 - Отформатировать псевдокоды
 - Убрать странные рамки в доказательствах корректности
 - Зачем-то увеличена буква G
 - Что-то странное написано в алгоритме генерации троичных кодов антигрея — надо исправить
 - Добавить категории и см. также
 
 -  !!! Цепные коды
- Англоязычные термины
 - Отформатировать псевдокод
 - Обозначения в псевдокоде перенести до псевдокода
 - Заменить \cdots на \dots
 - Добавить применение цепных кодов
 - Добавить источники информации и см. также
 
 -  !!! Правильные скобочные последовательности
- Англоязычные термины
 - Убрать лишние пропуски строк
 - Отформатировать псевдокоды
 - "а если ее нет, то — "No solution"" — оформить по-человечески
 - Убрать доллары из заголовков
 - Лексикографическое сравнение скобок красиво оформить — убрать кавычки, а знаки неравенства внести в Tex
 - Таблички сделать красивыми
 - Почему бы не написать про лексикографический порядок и алгоритм генерации сразу?
 - Добавить простой рекурсивный алгоритм генерации всех правильных скобочных последовательностей в лексикографическом порядке (там 5 строк буквально)
 - Что за result(s) в получении лексикографического порядка?
 - Добавить см. также
 
 
Генерация комбинаторных объектов
- !!! Генерация комбинаторных объектов в лексикографическом порядке
 - Убрать генерацию из определения
 - Обозначения перед псевдокодом обернуть в \mathrm или \mathtt
 - Отформатировать псевдокоды
 - Правильно оформить источники информации
 - Картинку сделать векторной
 - !!! Получение номера по объекту
 - Отформатировать псевдокоды
 - Обозначения обернуть в Tex
 - Константы взять в Tex
 - Оформить правильно источники информации и см. также
 - Добавить примеры сочетаний
 - Добавить асимптотику битовых векторов
 - !!! Получение объекта по номеру
 - То же самое, что и в предыдущей заявке
 - !!! Получение следующего объекта
 - Ссылки в заголовках ужасно смотрятся
 - Отформатировать псевдокоды
 - Все константы и переменные взять в Tex
 - Оформить правильно источники информации и см. также
 - !!! Метод генерации случайной перестановки, алгоритм Фишера-Йетса
 - Отформатировать псевдокоды
 - Обернуть имена функций в \mathrm или \mathtt
 - Убрать обозначение массива как a[]
 - Все переменные взять в Tex
 - Оформить правильно источники информации и см. также
 - Добавить английские имена создателей алгоритма
 - Добавить доказательства неправильных способов реализации
 - !!! Методы генерации случайного сочетания
 - Заменить дефисы на тире
 - Все переменные и константы взять в Tex
 - Отформатировать псевдокоды
 - Убрать обозначение массива с квадратными скобками
 - Заменить \times на \cdot
 - Оформить правильно источники информации
 
Подсчёт числа объектов
- !!! Формула включения-исключения, подсчет числа беспорядков
 - Английские термины правильно оформить
 - "множеств через мощности и мощности всех" — опечатка
 - Тут надо в формуле включения-исключения заменить тире на дефис
 - Увеличить размеры сочетаний
 - Интервики
 - Ссылку на википедию сделать примечанием
 - Добавить реккурентную формулу числа беспорядков
 - Добавить ссылок на источники информации
 - !!! Нахождение количества разбиений числа на слагаемые. Пентагональная теорема Эйлера
 - Задачу оформить шаблоном
 - Ссылки сделать примечаниями
 - Добавить нахождение числа разбиение методом динамического программирования за O(n^3) и за O(n^2)
 - Картинку диаграмы сделать побольше
 - Заменить знаки неравенств
 - Заменить используемые материалы на источники информации
 - Разбить конспект на заголовки
 - Производящая функция
 - Оформить правильно англоязычные термины
 - Убрать точки с запятыми из определения
 - Все переменные и константы в Tex взять
 - Исправить знаки неравенств
 - Оформить ссылки примечаниями
 - Ссылки и литературу заменить на источники информации
 - Лемма Бёрнсайда и Теорема Пойа
 - !!! Задача об ожерельях
 - Эти две заявки принимаются вместе. Суммарно за них можно получить 15 баллов.
 - Помёрджить с соответствующими конспектами из теории чисел
 - Аккуратно всё оформить
 - Заменить дефисы на тире
 - Формулировки задач внести в шаблон
 - Оформить правильно источники информации
 - !!! Числа Стирлинга первого рода
 - Оформить правильно англоязычные термины
 - Переменные и константы взять в Tex
 - Ссылки на википедию сделать примечаниями
 - Добавить доказательство перехода к базису; ещё некоторые тождества доказать было бы неплохо
 - Оформить правильно источники информации
 - !!! Числа Стирлинга второго рода
 - Англоязычные термины правильно оформить
 - Добавить доказетьство перехода к базису
 - Оформить правильно источники информации
 - !!! Числа Эйлера первого и второго рода. Подъемы в перестановках
 - Правильно оформить англоязычные термины
 - Увеличить обозначения чисел Эйлера
 - Все переменные и константы взять в Tex
 - Дефисы заменить на тире
 - Ссылки сделать примечаниями
 - Заменить => на нормальный теховский символ
 - Добавить доказательство леммы
 - Оформить правильно источники информации
 
Свойства комбинаторных объектов
- !!! Умножение перестановок, обратная перестановка, группа перестановок
 - Определение выделить жирным
 - Англоязычные термины
 - Тут вообще неправильно описано умножение перестановок (не путать с подстановками)
 - Отформатировать псевдокоды
 - Все переменные и константы взять в Tex
 - Оформить правильно источники информации
 - Добавить примеров из конспекта групп по теории чисел
 - !!! Действие перестановки на набор из элементов, представление в виде циклов
 - Определения выделить жирным
 - Добавить ссылку на действие группы на множество из конспекта теории чисел
 - Все константы и переменные взять в Tex
 - Оформить правильно источники информации
 - Добавить псевдокод поиска всех циклов в перестановке
 - !!! Таблица инверсий
 - Англоязычные термины
 - Отформатировать псевдокоды
 - Разбить алгоритм построения на два подзаголовка — наивный и за O(n log n)
 - Имена функция в тексте взять в Tex
 - "единица стоит на T_i-ом месте" — непонятно, откуда тут взялось i
 - Интервики
 - Табличку красиво оформить
 - Оформить правильно источники информации, добавить см. также
 - Теорема Кэли
 - Бинарную операцию в группе обозначают не звёздочкой, а кружочком
 - Интервики
 - Оформить правильно источники информации, добавить см. также
 - Добавить словесных пояснений происходящего
 - !!! Матричное представление перестановок
 - Англоязычные термины
 - Заменить дефисы на тире
 - Добавить подробные доказательства утвеждений (или пояснить получше уже существующие)
 - Оформить правильно источники информации
 - Добавить жизненное применение матриц перестановок, если возможно (примеры решения каких-нибудь задач)
 - Задача о минимуме/максимуме скалярного произведения
 - Оформить задачу шаблоном Задача
 - Ссылку в примечании сделать на самом деле примечанием
 - Добавить использование этой теоремы (в теории матроидов и теории расписаний)
 - Оформить правильно источники информации
 - Доказательство плохо разбито на пункты — от нумерации в доказательстве вообще можно избавиться
 - Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП
 - Англоязычные термины
 - Определение взять в шаблон
 - Заменить дефисы на тире
 - Оформить правильно источники информации
 
7. Динамическое программирование
- 0. !!! Динамическое программирование
- Добавить известную цитату про ДП
 - Интервики на NP-полноту
 - Картинки криво расположены
 - Добавить больше примеров
 - Добавить описание принципа оптимальности на подмножествах
 - Оформить правильно источники информации
 - Добавить про мемоизацию (и желательно что-нибудь разумное)
 
 
Классические задачи динамического программирования
-  !!! Кратчайший путь в ациклическом графе
- Добавить интервики
 - Переменные и константы взять в Tex
 - Отформатировать псевдокод
 - Написать в примере, что дана матрица смежности
 - Перерисовать картинку на нормальную
 - Оформить правильно источники информации и см. также
 - Добавить пару слов про то, что эту задачу можно решить поиском в ширину
 
 -  Задача о числе путей в ациклическом графе
- Взять задачу в шаблон
 - Отформатировать псевдокод
 - Обернуть имя функции в тексте в mathrm
 - Заменить дефисы на тире
 - Добавить см. также и источники информации
 
 -  !!! Задача о расстановке знаков в выражении
- Взять задачу в шаблон
 - Исправить знаки неравенств
 - Ссылку примечанием оформить нормально
 - Взять все переменные и константы в тексте в Tex
 - Отформатировать псевдокод
 - Табличку нормально оформить
 - Описать восстановление ответа
 - Источники информации правильно оформить
 
 -  !!! Задача о порядке перемножения матриц
- Взять переменные и константы в Tex
 - Обернуть задачу в шаблон
 - Интервики на конспект правильных скобочных последовательностей
 - Написать, почему нас не устраивает число Каталана в асимптотике
 - Отформатировать псевдокоды
 - Оформить правильно источники информации
 - Убрать про мемоизацию
 
 -  !!! Задача о наибольшей общей подпоследовательности
- Англоязычные термины правильно оформить
 - Взять задачу в шаблон
 - Заменить НОП на LCS в тексте
 - Отформатировать псевдокоды
 - Оформить правильно источники информации
 - Добавить примеры решения различных задач с использованием LCS
 
 -  !!! Задача о наибольшей возрастающей подпоследовательности
- Оформить правильно англоязычные термины
 - Исправить знаки неравенств
 - Заменить дефисы на тире
 - Отформатировать псевдокод и исправить в нём ошибку
 - Взять задачу в шаблон
 - Взять все переменные и константы в Tex
 - Заменить max на \max
 - Решение через табло Юнга вообще криво оформлено
 - Правильно оформить источники информации и см. также
 - Заменить дефисы на тире
 
 -  !!! Задача коммивояжера, ДП по подмножествам
- Оформить правильно англоязычные термины
 - Задачу взять в шаблон
 - Интервики на NP-полноту
 - Угловые скобки в паре сделать правильно
 - Отформатировать псевдокоды
 - Оформить правильно источники информации и см. также
 - Добавить какие-нибудь способы оптимизации
 - Можно добавить фактов про шахматные доски и обход конём
 
 -  !!! Задача о редакционном расстоянии, алгоритм Вагнера-Фишера
- Англоязычные термины
 - Исправить знаки неравенств
 - Взять переменные и константы в Tex
 - Пояснить про eps в функции
 - Отформатировать псевдокоды
 - Оформить правильно источники информации
 
 -  !!! Задача о рюкзаке
- Взять задачу в шаблон
 - Отформатировать псевдокоды
 - Заменить дефисы на тире
 - Исправить знаки неравенств
 - Написать, что метод динамического программирование всё равно не повзволяет решать задачу за полиномиальное время и написать почему
 - Сделать итоговую формулу для А c помощью фигурной скобки
 - Предложить вариант замены картинок на вики-таблички с сохранением обозначения пути
 - Понизить уровень заголовков первого уровня
 - Оформить правильно источники информации
 
 
Способы оптимизации методв динамического программирования
- Метод четырех русских для умножения матриц
 - Взять скобки в Tex
 - Заменить дефисы на тире
 - Заменить литературу на источники информации
 - Применение метода четырех русских в задачах ДП на примере задачи о НОП
 - Заменить дефисы на тире
 - Взять константы в Tex
 - Сделать нормальные картинки (или заменить на таблички)
 - Заменить источники на источники информации
 - Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза
 - Кривая ссылка на оптимальный префиксный код
 - Заменить дефисы на тире
 - Взять переменные и константы в Tex
 - Исправить знаки неравенств
 - Оформить правильно источники информации
 - !!! Meet-in-the-middle
 - Отформатировать псевдокод
 - Добавить примеры задач
 - Оформить правильно источники информации
 
в процессе проверки Другие задачи
- Задача о расстоянии Дамерау-Левенштейна
 - Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами
 - Задача о наибольшей подпоследовательности-палиндроме
 - Динамическое программирование по профилю
 - Динамика по поддеревьям, задачо о паросочетание максимального веса в дереве
 
в процессе проверки 8. Теория вероятностей
- англоязычные термины во все статьи этого раздела для основных определений и понятий
 
-  Вероятностное пространство, элементарный исход, событие
- для угловых скобок юзать \langle, \rangle
 - перечисление оформить как википеречисление
 - привести пример вероятностного пространтсва с счетно-бесконечным числом элементарных событий.
 
 -  Независимые события
- определение несовместных событий
 - критерий для независимости несовместных событий
 
 -  Условная вероятность
- раздел "определение" не нужен, перенести в заголовок
 
 -  Формула Байеса
- определение какое-то дурацкое и копипаста с википедии
 
 -  Формула полной вероятности
- примеры перечислить как подразделы
 
 - Дискретная случайная величина
 - Независимые случайные величины
 -  взяли Математическое ожидание случайной величины
- пробел перед открывающей скобкой должен быть
 
 - Дисперсия случайной величины
 - взяли Ковариация случайных величин
 - Корреляция случайных величин
 -  Энтропия случайного источника
- воообще говоря, это не свойства энтропии, а аксиомы, так что надо и написать, что аксиомы, наверное.
 - В Романовском добавить издание и страницу
 
 -  Симуляция одним распределением другого
- так и нет нормального определения распределения
 - список примеров распределений есть, а самих распределений нет. Надо хотя бы ссылки на википедию кинуть, чтоли.
 - издания и страницы в испточниках
 
 -  Арифметическое кодирование
- раздел "определение" не нужен, перенести в заголовок
 
 -  Парадоксы теории вероятностей
- "Пусть p - предельно ненулевая вероятность" — а что это такое?
 - для предела использовать \limits
 
 -  Схема Бернулли
- запихать примеры в один раздел "Примеры", и оформить каждый как подраздел
 - оформить источник
 
 
в процессе проверки 9. Марковские цепи
-  Марковская цепь
- два раза встречается определение поглощающего состояния (второе определение эквивалентно первому)
 - сделать подраздел "циклические классы"
 - "для i и j, принадлежащих одному классу эквивалентности" -- классу эквиволентности по какому отношению?
 
 -  Теорема о поглощении
- определение поглощающего состояния есть в предыдущем конспекте, его не надо приводить еще раз, сделать внутреннюю ссылку.
 - max -> \max
 - в конце какая-то муть. Расписать рассуждения чуть подробнее
 
 -  Фундаментальная матрица
- написать что-то нормальное про то, зачем вообще нужна эта матрица. Сделать ссылки туда, где она применяется.
 - не сразу понятно, что такое «матрица переходов между непоглощающимися состояниями»
 - получше оформить источник, добавить страницу, сделать ссылку на русскую/английскую вики, если есть
 
 -  Математическое ожидание времени поглощения
- не везде переменные обернуты в латех
 
 -  Расчет вероятности поглощения в состоянии
- куча разного псевдокода, не относящегося непосредственно к расчету вероятности поглощения, его надо разнести в соответствующие конспекты. Писать код нахождения обратной матрицы вообще не осмысленно и к делу не относится.
 - имена переменных в тексте оборачиваются в \mathrm или \mathtt
 - оформить псевдокод в виде функций, без всяких println
 - оформить нормально источник
 
 -  Эргодическая марковская цепь
- определения пересекаются с конспектом про марковские цепи
 
 - Регулярная марковская цепь
 - Примеры использования Марковских цепей
 -  !!! Скрытые Марковские модели
- можно добавить сюда каких-нибудь полезных примеров из распознавания речи и биоинформатики
 
 -  Алгоритм Витерби
- "правдоподобная последовательность скрытых состояний" -- что такое "наиболее правдоподобная"?
 - имена переменных в тексте оборачиваются в \mathrm или \mathtt
 - а \pi что такое?
 
 - Алгоритм "Вперед-Назад"