Участник:Dgerasimov/Тикеты по конспектам year2012
Тикеты нумеруются как "X-Y", где X — номер темы, а Y — номер тикета внутри темы.
1. Основные определения теории графов
- Основные определения: граф, ребро, вершина, степень, петля, путь, цикл
- moar англоязычных терминов
- "Мультиграф с петлями принято называть псевдографом. " — при этом понятие мультиграфа встречается позже. Нехорошо, разобраться все же с правильными порядком и правильными определениями
- Из определения орграфа с beg и end никак не следует, что там не может быть петель (кто мешает сделать beg e = v, end e = v?).
- "некоторые абстрактные множества." — а что такое неабстрактные множества?
- "V — конечное множество вершин" — при этом далее в каком-то конспекте есть пример для бесконечного графа. Не надо заставлять граф быть конечным, лучше написать отдельно, что называется конечным графом.
- запись " " я вообще не очень понимаю. Если вы понимаете, объясните мне, иначе напишите нормально :)
- альтернативное определение неориентированного графа мне не нравится, потому что прямо перед ним мы говорим, что ребро — неупорядоченная пара, а потом внезапно , а декартово произведение у нас еще как упорядочено.
- Лемма о рукопожатиях
- Теорема о существовании простого пути в случае существования пути
- перенести определения в "Основные определения"
- форматирование в некоторых местах какое-то упоротое, думаю, это видно.
- Теорема о существовании простого цикла в случае существования цикла
- добавить интервики
- форматирование в некоторых местах какое-то упоротое
- Матрица смежности графа
- "Для графов без петель и кратных рёбер матрица смежности бинарна (состоит из нулей и единиц), причём её главная диагональ целиком состоит из нулей. " — зачем объединять эти свойства, можно разнести на два.
- Связь степени матрицы смежности и количества путей
- Матрица инцидентности графа
- Определение инцидентности вроде есть в "Основных определениях", если нет — перенести его туда
- Циклическое пространство графа
- Пункт "Определение" не нужен, см. правила форматирования
- Ker, dim, Rang надо запихать в \operatorname, а также кинуть ссылку на определение ядра оператора (в матане/функате на конспектах точно есть)
- интервики
- "Литература (формулировки другие) " — "формулировки другие" относится к конкретному источнику, а не ко всей литературе.
- Фундаментальные циклы графа
- определения "каркаса", кажется, до этого не было, а вообще это вроде то же самое, что "остов", который используется во всем остальном курсе, так что если это так, заменить.
- Раздел "Определение" не нужен.
- Дерево, эквивалентные определения
- Кажется, ранее не было определний , если нет, то надо куда-нибудь их добавить и сделать на них ссылку.
- Дополнительный, самодополнительный граф
- Оформить нормально определение изоморфности графов (видимо, его надо в "Основные опредения"), и добавить на него ссылку
- англоязычные термины
2. Связность в графах
- Отношение связности, компоненты связности
- англоязычные термины
- интервики
- Отношение реберной двусвязности
- англоязычные термины
- Отношение вершинной двусвязности
- англоязычные термины
- Граф компонент реберной двусвязности
- Граф блоков-точек сочленения
- Капс какой-то зачем-то
- Точка сочленения, эквивалентные определения
- Цифры в начале определений не нужны, их можно в хедер определения
- Мост, эквивалентные определения
- англоязычные термины
- Цифры в начале определений не нужны, их можно в хедер определения
- k-связность
- англоязычные термины
- Теорема Менгера
- убрать кванторы там, где они не нужны (в формулировках теорем) и заменить словами
- Теорема Менгера, альтернативное доказательство
- Вершинная, реберная связность, связь между ними и минимальной степенью вершины
- пункт "Определения" не нужен
3. Остовные деревья
- Матрица Кирхгофа
- Пункт "Определение" не нужен, вынести в начало статьи
- "простого графа" — а простой — это какой? Кинуть ссылку на определение простого графа.
- 0, else — так не говорят, говорят "0, otherwise"
- Связь матрицы Кирхгофа и матрицы инцидентности
- Подсчет числа остовных деревьев с помощью матрицы Кирхгофа
- Количество помеченных деревьев
- англоязычные термины
- Коды Прюфера
4. Обходы графов
- Эйлеров цикл, Эйлеров путь, Эйлеровы графы, Эйлеровость орграфов
- англоязычные термины
- не нужно по параграфу для каждого определения, либо сделать "Основные определения", либо вообще все в заголовок вынести
- "См. Также" — зачем "также" с большой буквы?
- Покрытие ребер графа путями
- Алгоритм построения Эйлерова цикла
- Произвольно вычерчиваемые из заданной вершины графы
- Гамильтоновы графы
- англоязычные термины
- Теорема Хватала
- Теорема Дирака
- Теорема Оре
- Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре
- Турниры
- Теорема Редеи-Камиона
5. Укладки графов
6. Раскраски графов
7. Обход в глубину
- Обход в глубину, цвета вершин
- Лемма о белых путях
- Использование обхода в глубину для проверки связности
- Использование обхода в глубину для поиска цикла в ориентированном графе
- Использование обхода в глубину для топологической сортировки
- Использование обхода в глубину для поиска компонент сильной связности
- Использование обхода в глубину для поиска точек сочленения
- Построение компонент вершинной двусвязности
- Использование обхода в глубину для поиска мостов
- Построение компонент реберной двусвязности
8. Кратчайшие пути в графах
9. Построение остовных деревьев
10. Задача о паросочетании
- Теорема о максимальном паросочетании и дополняющих цепях
- Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
- Алгоритм Куна для поиска максимального паросочетания
- Теорема Холла
- Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах
- Связь вершинного покрытия и независимого множества
- Матрица Татта и связь с размером максимального паросочетания в двудольном графе
- Паросочетания в недвудольных графах. Алгоритм вырезания соцветий
11. Задача о максимальном потоке
- Определение сети, потока
- Разрез, лемма о потоке через разрез
- Дополняющая сеть, дополняющий путь
- Лемма о сложении потоков
- Теорема Форда-Фалкерсона
- Алгоритм Форда-Фалкерсона, реализация с помощью поиска в глубину
- Алоритм Эдмондса-Карпа
- Алгоритм масштабирования потока
- Блокирующий поток
- Схема алгоритма Диница
- Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями
- Алгоритм поиска блокирующего потока в ациклической сети
- Метод проталкивания предпотока
- Алгоритм "поднять-в-начало"
- Теорема о декомпозиции
- Теорема о декомпозиционном барьере
- Циркуляция потока
- Алгоритм Каргера для нахождения минимального разреза
12. Задача о потоке минимальной стоимости
- Поток минимальной стоимости
- Теорема Форда-Фалкерсона о потоке минимальной стоимости
- Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети
- Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости
- Использование потенциалов Джонсона при поиске потока минимальной стоимости
- Сведение задачи о назначениях к задаче о потоке минимальной стоимости
- Венгерский алгоритм решения задачи о назначениях