Теория графов:Тикеты

Тикеты индексируются как "X-Y", где X — номер раздела, Y — номер конспекта внутри раздела (например, конспект Алгоритм A* из раздела Кратчайшие пути в графах имеет тикет 5-7)

1. Остовные деревья

Построение остовных деревьев

1. Остовные деревья: определения, лемма о безопасном ребре
2. Алгоритм Прима
3. Алгоритм Краскала
4. Алгоритм Борувки
5. Теорема Тарьяна (критерий минимальности остовного дерева)
6. Алгоритм двух китайцев (7)
1. Англоязычные термины оформить правильно
2. Добавить определение покрывающего дерева
3. Описать реализацию красиво
4. Дефис заменить на тире
5. Отформатировать псевдокод
6. Доказать, почему не более V конденсаций
7. Источники информации оформить правильно
8. Доказать второе замечание
9. Добавить отступы в описании примера
10. 5ый пункт в описании алгоритма расписать чуть понятней
11. Категория

Обходы графов

2 Эйлеровы графы

1. Алгоритм построения Эйлерова цикла (2)
   1. Какое-то мутное доказательство леммы про корректность алгоритма

3 Гамильтовы графы

1. Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре

4. Обход в глубину

1. Обход в глубину, цвета вершин
   1. поправить тех (цифры и аргументы функций)
   2. разделить функции в псевдокоде
   3. убрать из названия конспекта "цвета вершин"
   4. Заменить "NILL" на что-то более подходящее
2. Лемма о белых путях
   1. поправить тех (названия функций)
   2. добавить "см. также"
   3. "...есть как белые, так и черные, и серые вершины" - бред
   4. источники информации
3. Использование обхода в глубину для проверки связности
   1. СНМ не к месту
   2. источники информации
4. Использование обхода в глубину для поиска цикла
   1. добавить реализацию для неориентированного графа
5. Использование обхода в глубину для топологической сортировки
   1. поправить теорему в "постановке задачи"
   2. поправить тех для dfs-ов
   3. поправить тех в псевдокоде
   4. описать в псевдокоде ans, visited
   5. пример отнести к применениям
6. Использование обхода в глубину для поиска компонент сильной связности
   1. тех для чисел
   2. максимально перевести объяснения в коде на русском в псевдокод
   3. "см. также"
7. Использование обхода в глубину для поиска точек сочленения
   1. разделить функции в псевдокоде
   2. добавить комментарии к псевдокоду
8. Построение компонент вершинной двусвязности
   1. поправить тех (для "dfs", "paint")
9. Использование обхода в глубину для поиска мостов
   1. шаблон "задача"
   2. 2 одинаковых "enter(x)" в описании ret(v)
   3. "enter" и "ret" (как функции) - в \mathrm
10. Построение компонент реберной двусвязности
    1. поправить тех для "dfs", "paint"

5. Кратчайшие пути в графах

1. Обход в ширину
   1. исправить речевые ошибки в описании
   2. поправить тех
   3. 0-1 bfs переписать
   4. нормально сформулировать доказательство 1ого утверждения
   5. поправить псевдокод ("in", "=="(хотя уже есть [math]\ne[/math]), "Q = [math]\varnothing[/math]")
   6. добавить "см. также"
2. Алгоритм Форда-Беллмана
   1. поправить тех для чисел
   2. из s достижимы циклы отрицательного веса [math]\nRightarrow[/math] не существует кратчайших путей
   3. весь конспект бессвязный - не ясно что к чему и как относится. Нормально структурировать
   4. сделать доказательство первой леммы более содержательным
   5. пункт "Псевдокод" - бред почти полностью
   6. иногда w(x, y), иногда w(xy) - исправить; обычно написано в неверном порядке
   7. систематизировать комментарии в псевдокоде (добавить, сделать содержательными)
   8. добавить "см. также"
3. Алгоритм Дейкстры 0.5
   1. в таблице из оценки сложности поиск минимума не правильно указан для двоичной кучи и для фибоначчиевой кучи
   2. добавить "см. также"
4. Алгоритм Флойда
   1. поправить нерабочий тех
   2. переписать, чтобы индексация d была везде через "[]"
   3. комментарии в псевдокоде несодержательны
5. Алгоритм Джонсона
   1. поправить псевдокод
6. Алгоритм Левита
   1. избавиться от тернарного оператора
   2. поправить тех min
   3. формализовать (хотя бы частично) доказательство лемм (возможно, добавить еще)
   4. про реализацию через дек внести ясность
   5. утверждение о сложности обернуть в соответствующих шаблон
7. Алгоритм A*
   1. теорема доказана не полностью
8. Алгоритм D*
   1. ссылки на доказательства заменить на доказательства
   2. использование g(s) до ее определения
   3. описание g(s) очень мутное
   4. "исходящие" и "входящие" вершины - правильно назвать
   5. в определении rhs не хватает скобок
   6. описание сделать более информативным - что за что отвечает и когда предполагается, что будет изменятся
   7. добавить "см. также"
9. Эвристики для поиска кратчайших путей
   1. поправить тех
   2. вряд ли 16MB памяти в таблице про Европу

6. Задача о паросочетании

1. Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
2. Алгоритм Куна для поиска максимального паросочетания
   1. поправить тех у "dfs"
3. Паросочетания в недвудольных графах. Алгоритм вырезания соцветий (7)
   1. как-то тут сумбурно написано и все в кучу, надо это аккуратно расписать, выделить алгоритм, доказательство и привести пример с картинками

7. Задача о максимальном потоке

1. Определение сети, потока
   1. добавить "см. также"
2. Разрез, лемма о потоке через разрез
   1. добавить "см. также"
   2. поправить тех для чисел
3. Дополняющая сеть, дополняющий путь
   1. добавить "см. также"
4. Лемма о сложении потоков
   1. добавить "см. также"
5. Теорема Форда-Фалкерсона
   1. исправить "\text{in}"
6. Алгоритм Форда-Фалкерсона, реализация с помощью поиска в глубину
   1. нормально расположить картинки
7. Алгоритм Эдмондса-Карпа (0,25)
   1. Добавить см также
8. Алгоритм масштабирования потока
9. Блокирующий поток (0,5)
   1. Добавить немного общей информации
   2. Интервики
10. Схема алгоритма Диница
    1. добавить "см. также"
    2. поправить тех
11. Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями
12. Алгоритм поиска блокирующего потока в ациклической сети (10)
    1. алгоритм МКМ плохо и непонятно написан, желательно переписать описание, сделать псевдокод чуть менее абстрактным, добавить доказательство, добавить картиночку, вынести в отдельную статью, ссылка на оригинальную статью есть в обсуждении
13. Метод проталкивания предпотока (7)
    1. Картиночки с резервуарами!
    2. Источники информации
    3. Добавить см. также
    4. Дефисы заменить на тире
    5. Отформатировать псевдокоды
14. Алгоритм "поднять-в-начало"
    1. [math]O(V^3)[/math] не сравнимо с [math]O(V^2E)[/math]
    2. поправить тех
15. Теорема о декомпозиции
    1. добавить "см. также"
    2. поправить "-" в псевдокоде
16. Теорема о декомпозиционном барьере
    1. оформить следствие
17. Циркуляция потока
    1. поправить тех
    2. добавить "см. также"
18. Алгоритм Каргера для нахождения минимального разреза
    1. поправить сигму в определении веса разреза и определение множества там же
    2. поправить псевдокод (если возможно)
    3. поправить комментарий в псевдокоде
    4. теорема не утверждает "что вероятность получить правильный ответ ... очень мала". Нормально сформулировать
    5. [math]e^{count⋅(−\frac{2}{n^2})}=e^{−2ln(n)}[/math] - это как вообще?
    6. [math]\log[/math] можно использовать без базы только в оценках [math]O(...)[/math]
    7. заменить "/" на "\frac"
    8. добавить "см. также"

8. Задача о потоке минимальной стоимости

1. Поток минимальной стоимости 3
   1. исправить замечания из обсуждения статьи
2. Теорема Форда-Фалкерсона о потоке минимальной стоимости
3. Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети
4. Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости
5. взяли Использование потенциалов Джонсона при поиске потока минимальной стоимости (5)
   1. Написать и оформить так, чтобы не было чуши
6. Сведение задачи о назначениях к задаче о потоке минимальной стоимости (0,5)
   1. Добавить см также
   2. Источники информации оформить нормально
7. Венгерский алгоритм решения задачи о назначениях