Участник:Shersh/Тикеты к 3ему терму
< Участник:Shersh
Версия от 20:34, 10 сентября 2015; Shersh (обсуждение | вклад) (→1. Основные определения теории графов)
Тикеты нумеруются как "X-Y", где X — номер темы, а Y — номер тикета внутри темы.
1. Основные определения теории графов
- Основные определения: граф, ребро, вершина, степень, петля, путь, цикл
- взяли Лемма о рукопожатиях (1)
- Увеличить дроби
- Взять константы в tex
- Заменить умножение на \cdot
- Добавить пару слов о графах с петлями и кратными рёбрами
- Заменить источники на источники информации
- взяли Теорема о существовании простого пути в случае существования пути (4)
- Алгоритм и предположение зря оформлены как псевдокод
- Добавить ссылок
- Заменить названия способов доказательств на конструктивное и неконструктивное
- Исправить ошибку в доказательстве построением
- Плохо, что картинка наплывает на заголовок — переделать
- Добавить в формулировку теоремы, что вершинно-простой путь
- Теорема о существовании простого цикла в случае существования цикла
- взяли Матрица смежности графа (3) вместе со следующим
- "Для графов без петель и кратных рёбер матрица смежности бинарна (состоит из нулей и единиц), причём её главная диагональ целиком состоит из нулей. " — зачем объединять эти свойства, можно разнести на два
- Что за помеченный граф?
- Добавить про что, в матрице смежности можно хранить веса рёбер
- Оформить правильно источники информации
- Добавить оценку на память матрицы смежности и привести примеры, когда эффективно её использовать, а когда нет
- взяли Связь степени матрицы смежности и количества путей вместе с предыдущим
- Это можно внести в прошлый конспект
- Добавить что-нибудь про бинарное возведение в степень
- взяли Матрица инцидентности графа (4 или больше, зависит от свойств)
- Добавить свойства матрицы инцидентности с доказательствами
- Добавить ссылок в источники информации
- Англоязычные термины
- Оформить правильно источники информации
- Добавить См. также на матрицу смежности
- Добавить про списки смежности и их оформить тоже в таблички
- Циклическое пространство графа
- взяли Фундаментальные циклы графа (0.5)
- Источники информации нормально оформить
- Подписать получше картинку
- Заменить многоточия на \ldots
- взяли Дерево, эквивалентные определения (0.5)
- Англоязычные термины
- Пофиксить знаки неравенств
- Источники информации нормально оформить
- Алгоритмы на деревьях
- взяли Дополнительный, самодополнительный граф (1)
- Англоязычные термины оформить правильно
- Заменить угловые скобки на \langle и \rangle
- Интервики
- Добавить ссылки в источники информации
- Шаблоном заменить тире
- Теоретико-множественные операции над графами
2. Связность в графах
- Отношение связности, компоненты связности (0.5)
- англоязычные термины
- интервики
- Заменить тире на шаблон
- Добавить См. также
- Отношение реберной двусвязности (0.5)
- англоязычные термины
- Оформить правильно источники информации
- Перенести из См. также визуализатор в источники информации
- Отношение вершинной двусвязности (0.5)
- англоязычные термины
- Добавить ссылок
- Оформить правильно источники информации
- Точка сочленения, эквивалентные определения (0.5)
- Англоязычные термины
- Цифры в начале определений не нужны, их можно в хедер определения
- Оформить пункты в теореме маркированным списком через #
- Источники информации
- Мост, эквивалентные определения (0.5)
- См. выше
- Граф компонент реберной двусвязности (0.5)
- Нормально оформить источники информации и см. также
- Англоязычные термины
- Избавить от a) и б) в доказательстве
- Граф блоков-точек сочленения (0.5)
- См. выше
- Капс какой-то зачем-то
- k-связность (0.5)
- англоязычные термины
- Тире заменить на шаблон
- Дефисы в определениях ровно поставить
- Палку вертикальную в множестве заменить на \mid
- Странное обозначение — \smallsetminus
- Источники информации
- Теорема Менгера (0.5)
- убрать кванторы там, где они не нужны (в формулировках теорем) и заменить словами
- Тире заменить на шаблон
- Можно добавить ссылок, оформить см. также по-другому
- Источники информации
- Теорема Менгера, альтернативное доказательство (0.5)
- Заменить тире на шаблон
- Обращение к леммам сделать через интервики
- См. также на оригинальное доказательство
- Источники информации
- Вершинная, реберная связность, связь между ними и минимальной степенью вершины (1.5)
- пункт "Определения" не нужен
- Изменить знаки неравенств в tex
- Не надо дублировать определения из другого конспекта
- Отформатировать псевдокод
- find_flow какой-то стрёмный
- Источники информации
- k-связность с маленькой буквы
- Добавить См. также на что-нибудь разумное
- Добавить см. также
3. Остовные деревья
Построение остовных деревьев
- Остовные деревья: определения, лемма о безопасном ребре
- Алгоритм Прима
- Алгоритм Краскала
- !!! Алгоритм Борувки (5)
- Описание алгоритма оформить красиво и чуточку понятней
- Доказательство теоремы оформить красиво
- Переделать доказательства с учётом возможного равенства рёбер
- Отформатировать псевдокод
- Пример как-то кривовато описан (особенно это разделение на компоненты связности)
- Заменить дефис на шаблон
- Источники информации правильно оформить
- Категория
- !!! Теорема Тарьяна (критерий минимальности остовного дерева) (5)
- Доказательство красиво оформить
- Заменить дефис на шаблон
- Зачем там написано про Краскала? Если алгоритм доказывается через критерий, то надо в отдельный пункт
- Почему ребро uv — единственное ребро, пересекающее разрез?
- Источники информации
- Знаки неравенств
- Категория
- !!! Алгоритм двух китайцев (6)
- Англоязычные термины оформить правильно
- Добавить определение покрывающего дерева
- Описать реализацию красиво
- Дефис заменить на тире
- Отформатировать псевдокод
- Доказать, почему не более V конденсаций
- Источники информации оформить правильно
- Доказать второе замечание
- Добавить отступы в описании примера
- 5ый пункт в описании алгоритма расписать чуть понятней
- Категория
Свойства остовных деревьев
- Матрица Кирхгофа
- Связь матрицы Кирхгофа и матрицы инцидентности (0.5)
- Англоязычные термины
- Константы взять в Tex
- См. также и источники информации
- Категория
- Подсчет числа остовных деревьев с помощью матрицы Кирхгофа (0.5)
- Добавить ссылку на формулу Бине-Коши (примечание на википедию или интервики на конспект линала)
- Источники и см. также
- Исправить знаки неравенств
- Заменить тире на шаблон
- Категория
- Количество помеченных деревьев (0.5)
- Англоязычные термины
- Первый пункт не нужен
- Категория
- Оформить доказательство красиво
- См. также и источники информации
- = в Tex
- Коды Прюфера (0.5)
- Не оформлять описание алгоритма как псевдокод
- Англоязычные термины
- Категория
- См. также и Источники информации
4. Обходы графов
Эйлеровы графы
- Эйлеров цикл, Эйлеров путь, Эйлеровы графы, Эйлеровость орграфов
- !!! Покрытие ребер графа путями (5)
- Так и не надо определение почти связного графа — надо внести в предыдущий конспект, а здесь сделать интервики
- Знак "не принадлежит" оформить в Tex
- Что-то доказательство какое-то неочевидное. Надо пояснить, почему Эйлеров цикл распадётся на N путей
- То же самое в достаточности
- Оформить правильно источники информации
- Категория
- Алгоритм построения Эйлерова цикла (3)
- Отформатировать псевдокод
- Довести до ума. Начиная с представления уже тяжко. До этого момента надо подытожить текущие доказательство, а то там много разных фактов и надо их как-то в одну пачку собрать, сказав, чего хочется достичь дальше.
- Категория
- !!! Произвольно вычерчиваемые из заданной вершины графы (6)
- Англоязычные термины оформить правильно
- Что значит неодноэелементный?
- Стрелки слишком длинные
- На картинке ошибка — почему-то не соединена средняя вершина в дереве, хотя она имеет нечётную степень
- Источники информации правильно оформить
- Хотелось бы больше пояснений в доказательстве
- В строении не очевидно, что каждый произвольно вычерчиваемый граф можно построить, используя в основе какой-то лес
- Категория
Гамильтоновы графы
- !!! Гамильтоновы графы (6.5)
- Заменить дефисы на тире
- Исправить знаки неравенств
- Отформатировать псевдокод
- Помёрджить с конспектом динамического программирования и пофиксить ошибки в обоих, если есть (должны остаться алгоритмы поиска пути/цикла, пути, минимизирующего какой-то критерий)
- Источники информации
- Категория
- Теорема Хватала (0.5)
- Исправить знаки неравенств
- Поставить \mid в множествах
- Лишние кавычки в доказательствах вокруг стрелок
- Убрать q.e.d
- Оформить правильно источники информации
- Категория
- Теорема Поша
- Теорема Дирака
- Теорема Оре
- !!! Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре (5)
- Странные обозначения для графа и множеств вершин и рёбер
- Убрать умножение звёздочкой
- Заменить дефис на тире
- Отформатировать псевдокод
- Источники информации
- Исправить знаки неравенств
- Категория
- !!! Теорема Гринберга (5)
- Англоязычные термины оформить правильно
- Дефис заменить на тире
- Картинки криво расположены
- Ссылки поехали в примере
- Добавить подзаголовок "Пример" или "Использование теоремы", а лучше что-то поудачней
- Почему необходимое условие? А в обратную сторону?
- Пояснить, что такое R и R'. Иначе непонятно в теореме, почему область R разбита на e + 1 грань
- Категория
- !!! Турниры (5)
- Англоязычные термины
- Добавить оценку на число турниров в графе из n вершин
- Убрать лишние определения
- Оформить правильно источники информации
- Немного неправильно сформулировано утверждение про полустепени вершин
- Категория
- Теорема Редеи-Камиона (0.5)
- Исправить знаки неравенств
- Правильно оформить источники информации
- Категория
5. Укладки графов
- Укладка графа на плоскости (0.5)
- Англоязычные термины правильно оформить
- Добавить пару ссылок на конспекты вычгеома о том, чем хороши планарные графы
- Источники информации
- Формула Эйлера (0.5)
- Исправить знаки неравенств
- Заменить литературу на источники информации
- Добавить ссылок
- Непланарность (0.5)
и
- Исправить знаки неравенств
- Источники информации
- Константы в Tex
- Укладка дерева (1)
- Заменить sup и inf на \sup и \inf
- Заменить дефисы на тире
- Картинки адекватно расположить
- Англоязычные термины правильно оформить
- Зачем в начале замечание про грань?
- Увеличить дроби
- Укладка графа с планарными компонентами реберной двусвязности (0.5)
- Заменить источники на источники информации
- Взять все переменные в Tex
- Добавить См. также
- Интервики на мост
- Укладка графа с планарными компонентами вершинной двусвязности (0.5)
- Исправить знаки неравенств
- Заменить источники на источники информации
- deg заменить на \deg
- Теорема Понтрягина-Куратовского
- Двойственный граф планарного графа (1)
- Добавить пробел после "двойственным" в определении
- Интервики
- Убрать neat из определения самодвойственного графа
- Увеличить дроби
- Добавить источники информации
- Интервики на мост, планарные графы
- Добавить См. также
- Теорема Фари
6. Раскраски графов (проверяются)
- взяли Раскраска графа
- Правильно оформить англоязычные термины
- Заменить \phi на \varphi
- Пункт "Хроматическое число" не нужен
- Заменить дефисы на тире
- Пояснить, что такое нулевой граф
- Список хроматических чисел нормально оформить
- Четвёртый пример заменить на двудольные графы (дерево, в частности, является таким)
- Оформить правильно источники информации
- Примечания перенести выше
- Кинуть интервики на неразрешимость задачи о раскраске графа
- Написать о связи хроматического числа и хроматического многочлена, и почему нельзя найти хроматическое число, если у нас есть такая замечательная штука, как хроматический многочлен?
- Двудольные графы и раскраска в 2 цвета
- Англоязычные термины
- Картинку двудольного графа перенести ниже, а то плохо смотрится
- Интервики
- Добавить, что можно ещё за проход в ширину проверить
- Оформить правильно источники информации
- Перенести см. также до источников информации, а ссылку заменить на интервики
- fixed Хроматический многочлен
- Англоязычные термины
- Пустой граф обозвать удачней, а примечание выделить жирным
- Теорему о хроматическом многочлене красиво оформить
- Обозначение стягивания ребра перенести перед теоремой о цветах дерева, а лучше дерево вообще ближе к концу перенести
- Заменить дефисы на тире
- Интервики
- Убрать запятые и точки после многоточий в теореме о коэффициентах
- Добавить формулы хроматических многочленов цикла и колеса
- Оформить правильно источники информации
- !!! Формула Зыкова
- Определения выделить жирным
- Англоязычные термины правильно оформить
- Написать более подробное, понятное и корректное доказательство
- Исправить знаки неравенств
- Правильно оформить источники информации
- Добавить см. также
- !!! Формула Уитни
- Заменить дефисы на тире
- Исправить знаки неравенств
- Заменить \phi на \varphi
- Правильно оформить источники информации
- А что такое собственные и несобственный раскраски?
- Пояснить непонятные места в доказательстве в целом
- Добавить см. также
- Теорема Брукса
- Заменить дефисы на тире
- Интервики
- "на iом шаге" — пропущен дефис
- Исправить знаки неравенств
- Оформить правильно источники информации
- Добавить см. также
- Верхние и нижние оценки хроматического числа
- Заменить дефисы на тире
- Исправить знаки неравенств
- Интервики
- Англоязычные термины
- Заменить max на \max
- Все переменные взять в Tex
- Увеличить дроби
- Оформить правильно источники информации
- Хроматическое число планарного графа
- Все константы взять в Tex
- Первая лемма — тривиальное следствие из теоремы Понтрягина-Куратовского
- Доказательство по индукции красиво оформить
- Заменить дефисы на тире
- Исправить знаки неравенств
- Теорема о 5-раскраске планарного графа именная — Хивуд — дать ей название
- Оформить правильно источники информации
- Многочлен Татта
- Заменить дефисы на тире
- " Уитни (Whiney rank polynomial)." — кажется, пропущено t
- "Показатели в формуле раногового" — зачем это в определение вносить?
- Интервики
- Оформить правильно источники информации
- Теория Рамсея
- Тут вообще ад какой-то
7. Обход в глубину (проверяется)
- Обход в глубину, цвета вершин
- Англоязычные термины правильно оформить
- Отформатировать псевдокод
- Лемма о белых путях
- Добавить источников, см. также
- взяли Использование обхода в глубину для проверки связности
- Отформатировать псевдокод
- Зачем-то задачи, алгорим и реализация сделаны маркированным списком. Изменить структуру конспекта
- Добавить примеров задач, например, как по двум вершинам определять, являются ли они связанными в режиме online
- Добавить источники информации, см. также
- Tex внутри конспекта сделать красивым
- fixed Использование обхода в глубину для поиска цикла в ориентированном графе
- Заменить тире на шаблон
- Отформатировать псевдокод
- Добавить ссылок в источники информации
- Пункт "реализация" какой-то несодержательный
- Добавить алгоритм поиска цикла в неориентированном графе, переименовав конспект
- fixed Использование обхода в глубину для топологической сортировки
- Неформальное определение написать по-человечески
- Отформатировать псевдокод
- Добавить пару о слов (или пару строк кода) о проверке графа на ацикличность, если нельзя вершины отсортировать топологически
- Добавить см. также, красифо оформить источники информации
- Добавить пример задачи, где нужна топологическая сортировка (конкретной задачи, а не примеры из введения)
- Использование обхода в глубину для поиска компонент сильной связности
- Некрасивый список в доказательстве теоремы
- Отформатировать псевдокод
- Добавить ссылок
- !!! Использование обхода в глубину для поиска точек сочленения
- Убрать отступ в теореме
- Отформатировать псевдокод
- Источники информации красиво оформить
- Добавить примеры того, когда и почему становится плохо, если функция up будет определена по-другому
- Построение компонент вершинной двусвязности
- Отформатировать псевдокод
- Красиво оформить источники
- Использование обхода в глубину для поиска мостов
- Заменить min на \min
- Отформатировать псевдокод
- Некрасиво оформлено утверждение маркированным списком, да и у тело утверждения тоже некрасивое
- Нормаоьно оформить источники информации, добавить см. также
- Построение компонент реберной двусвязности
- Отформатировать псевдокод
- Визуализатор внести в источники информации
8. Кратчайшие пути в графах (проверяются)
- fixed Обход в ширину
- Оформить правильно англоязычные термины
- Интервики
- Отформатировать псевдокод
- Добавить другие примеры использования бфс — рёбра 0 и 1, рёбра до k
- Оформить правильно источники информации
- Алгоритм Форда-Беллмана
- Интервики
- Отформатировать псевдокоды
- for в тексте взять в mathrm
- Заменить дефисы на тире
- Исправить знаки неравенств
- Оформить правильно источники информации
- Алгоритм Дейкстры
- Псевдокод вообще криво оформлен
- Исправить знаки неравенств
- Оформить правильно источники информации
- !!! Алгоритм Левита
- Оформить правильно англоязычные термины
- Отформатировать псевдокод
- Оформить правильно источники информации
- Добавить пример графа, на котором алгоритм работает экспоненциальное время
- !!! Алгоритм Флойда
- Оформить правильно источники информации
- Заменить min на \min
- Отформатировать правильно псевдокод
- Вспомнить алгоритм построение транзитивного замыкания на первом курсе
- Исправить в тексте знаки равенства и неравенства
- Оформить правильно источники информации
- Добавить оптимизацию с битовыми масками
- !!! Алгоритм A*
- что-то со второй картиночкой, там гифка, а почему-то не отображается
- псевдокод — практически копипаста из википедии, правда непонятно, что с этим делать. Я уверен, например, что никто (я тоже) не знает, что такое tentative.
- какая-то тут муть написана, что в корректности, что в оптимальности
- а еще можно написать про случай с монотонной эвристикой
- Оформить правильно англоязычные термины
- Оформить правильно ссылки примечаниями и источники информации
- !!! Алгоритм Джонсона
- Англоязычные термины
- Заменить дефисы на тире
- Зачем-то в шаблоне определение написано не определение
- Исправить знаки неравенств
- Отформатировать псевдокоды
- Доказательство со стрелочками красиво оформить
- Оформить правильно источники информации
- Эвристики для поиска кратчайших путей
- "Дано" криво оформлено
- Заменить дефисы на тире
- Оформить правильно источники информации и англоязычные термины
- Алгоритм D*
- Оформить правильно англоязычные термины
- Отформатировать псевдокоды
- Оформить правильно источники информации
9. Задача о паросочетании (проверяется)
- fixed Теорема о максимальном паросочетании и дополняющих цепях
- Конспект дублируется, убрать его
- Сделать общий конспект про паросочетания, определения и свойства, взять информацию из других конспектов
- Добавить картинку
- Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
- что-то тут какие-то по мелочи баги, предлоги иногда пропущены и все такое
- Интервики
- Отформатировать псевдокод
- == в тексте заменить на =
- Оформить правильно источники информации
- fixed Алгоритм Куна для поиска максимального паросочетания
- зачем-то в разделах "алгоритм" и "время работы" какие-то дурацкие отступы
- код -- копипаста с емакса
- источники перечислять с помощью *, а не :
- Криво оформлено описание алгоритма
- В конспекте по ссылке теоремы Бержа нет этой теоремы :(
- Теорема Холла
- добавить ссылку на английскую википедию
- Англоязычные термины
- Дефисы на тире
- Оформить доказательство правильно
- Исправить знаки неравенств
- Константы в Tex
- Примечания маленькие
- Добавить больше ссылок, заменить на источники информации
- Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах
- Оформить правильно источники информации
- Убрать neat в определении
- Убрать
- Англоязычные термины оформить правильно
- Пункт Определения не нужен
- Связь вершинного покрытия и независимого множества
- См. предыдущее
- !!! Матрица Татта и связь с размером максимального паросочетания в двудольном графе
- Англоязычные термины оформить правильно
- Дублируется определение совершенного паросочетания
- Пояснить про независимые переменные
- И что за детерминант от элемента матрицы, а не самой матрицы?
- - -> —
- Источники информации
- Теорема Татта о существовании полного паросочетания
- Оформить правильно англоязычные термины
- Убрать граф из mathbb
- Сделать ссылку примечанием
- Источники информации
- !!! Паросочетания в недвудольных графах. Алгоритм вырезания соцветий
- как-то тут сумбурно написано и все в кучу, надо это аккуратно расписать, выделить алгоритм, доказательство и привести пример
- !!! Декомпозиция Эдмондса-Галлаи
- Много пустых строк
- Пробелы перед открывающей круглой скобкой
- Определение нечётных компонент дублируется с конспектом из теоремы Татта
- Переменные в Tex
- Дефисы на тире
- Добавить доказательства теорем (хотя бы одной)
- Убрать заголовки первого уровня
- !!! Задача об устойчивом паросочетании (все правки стоят 10 баллов)
- Переменные и константы в Tex
- Добавить сначала постановку задачи
- Кривая ссылка на паросочетание
- Дефисы на тире
- Определения выделять жирным
- Отформатировать псевдокоды
- Зачем-то списки в доказательствах лемм использованы
- Битая ссылка на соседей
- Надо бы доказать все леммы
- Оформить правильно источники информации
10. Задача о максимальном потоке (проверяется)
- fixed Определение сети, потока
- Оформить правильно источники информации
- Правильно оформить англоязычные термины
- Интервики
- Исправить знаки неравенств
- Дефисы на тире
- !!! Разрез, лемма о потоке через разрез
- Оформить правильно англоязычные термины
- Списки кривые
- Определения выделить жирным
- Дефисы превратить в тире
- Убрать ; из леммы, сделать маркированный список
- Исправить знаки неравенств
- Скобки в тексте кое-где лишние
- Источники информации
- Нарисовать красивую картинку вместо текущей
- fixed Дополняющая сеть, дополняющий путь
- Англоязычные термины правильно оформить
- Оформить правильно источники информации
- Нарисовать пример
- fixed Лемма о сложении потоков
- Дефисы на тире
- Знаки неравенств
- Убрать "Аналогичная"
- Теорема Форда-Фалкерсона
- Знаки неравенств, источники информации
- Алгоритм Форда-Фалкерсона, реализация с помощью поиска в глубину
- гм, и зачем "дельта" русским словом в псевдокоде?
- псевдокод сейчас не вполне понятен — какой-то Cmin, какой-то dfs, который непонятно как использовать. Обернуть это в полноценную функцию, которая считает значение потока и отрефакторить псевдокод
- Константы взять в Tex
- Источники информации
- Знаки неравенств
- !!! Алоритм Эдмондса-Карпа
- а описание алгоритма где?
- везде упоминается кратчайший путь, но не указывается, какой конкретно — по ребрам, пропускным способностям, или чему?
- ссылки на русскую/английскую википедию
- Отформатировать псевдокод
- while в тексте обернуть в \mathrm
- Знаки неравенств
- Добавить про грибок в конспект
- Алгоритм масштабирования потока
- ссылки на русскую/английскую википедию
- ссылка на "Андрей Станкевич: Задача о максимальном потоке" на работает, а жаль, интересно даже, что там было. Если есть, найдите другой источник этой же статьи.
- Отформатировать псевдокод
- Блокирующий поток
- англоязычные термины
- ссылки на русскую и английскую википедию
- Добавить немного общей информации
- взяли Схема алгоритма Диница
- "динамические деревья Слетора и Тарьяна" — ссылку внешнюю хотя бы сделайте
- "makeGl" назвать как-нибудь нормально
- "algorithmDinica" тоже назвать нормально
- Интервики
- Написать более подробный псевдокод
- !!! Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями
- может, назвать остаточную сеть , как в предыдущих конспектах?
- "сети с текущим потоком, равным 0, и максимальным потоком, равным F" — в какой сети? (бывает исходная, остаточная и слистая еще как минимум) Тут имеется в виду, что расстояние измерили до того, как пускать поток, чтоли?
- В лемме в утверждении фигурирует поток , но дальше про него ничего нет. Зачем он?
- "Мы можем применить Лемму(2" — лемму 3, наверное?
- Дефисы на тире, знаки неравенств, источники информации
- !!! Алгоритм поиска блокирующего потока в ациклической сети
- "Жадный Алгоритм" — зачем с большой буквы алгоритм?
- Не нравится мне dfs без аргументов в удаляющем обходе, вообще он какой-то плохой, переписать псевдокод для этого алгоритма польностью, чтобы было приближено к реальной реализации
- алгоритм МКМ плохо и непонятно написан, желательно переписать описание, сделать псевдокод чуть менее абстрактным, добавить доказательство, возможно, добавить картиночку, а может даже вынести в отдельную статью, ссылка на оригинальную статью есть в обсуждении
- Метод проталкивания предпотока
- зачем какие-то кванторы в for?
- initialaze -> initialize
- названия функций в тексте оборачиваются в \mathrm или \mathtt
- Англоязычные термины
- Отформатировать псевдокоды
- Алгоритм "поднять-в-начало"
- названия функций в тексте оборачиваются в \mathrm или \mathtt
- relable -> relabel
- Англоязычные термины оформить правильно
- Отформатировать псевдокоды
- Теорема о декомпозиции
- кванторы в псевдокоде не нужну, написать просто not exists, и вообще отформатировать псевдокод
- Дефисы на тире
- Переписать формулировку теоремы
- Отформатировать псевдокод
- Оформить правильно источники информации
- Теорема о декомпозиционном барьере
- Источники информации
- Пояснить,почему такие константы используются
- Циркуляция потока
- англоязычные термины
- ссылки на русскую и английскую википедию
- раздел постановка задачи не нужен, перенести в заголовок, задачу можно в шаблон взять
- сделать псевдокод чуть менее абстрактным и оформленным в соответствии с правилами
- Источники информации
- Алгоритм Каргера для нахождения минимального разреза
- внутреннюю ссылку на мультиграф
- названия функций в тексте оборачиваются в \mathrm или \mathtt
- Англоязычные термины
- Отформартировать псевдокод
11. Задача о потоке минимальной стоимости (проверяется)
- !!! Поток минимальной стоимости
- "Найти любой поток величины..." -- а почему так получится поток минимальной стоимости? (видимо, надо сослаться на лемму)
- Убрать "Определение задачи", из-под определения вынести формулировку в шаблон задача
- Оформить правильно источники информации
- Добавить определений стоимости, свойства стоимости на обратных рёбрах, картинки нарисовать
- Теорема Форда-Фалкерсона о потоке минимальной стоимости
- Исправить знаки неравенств
- Источники информации
- Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети
- Интервики на декомпозицию
- Знаки неравенств
- !!! Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости
- Помёрджить с теоремой Ф-Ф
- Отформатировать псевдокод
- Использование потенциалов Джонсона при поиске потока минимальной стоимости
- Определение выделить жирным
- Написать более подробный псевдокод
- Сведение задачи о назначениях к задаче о потоке минимальной стоимости
- Взять задачи в шаблон
- !!! Венгерский алгоритм решения задачи о назначениях
- написать более подробный псевдокод
- Интервики
- Источники информации