Изменения

Перейти к: навигация, поиск

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

16 057 байт убрано, 19:15, 23 февраля 2017
м
Изменён уровень защиты страницы «Участник:Shersh/Тикеты к 3ему терму» ([edit=autoconfirmed] (бессрочно) [move=autoconfirmed] (бессрочно))
# [[Основные определения теории графов|Основные определения: граф, ребро, вершина, степень, петля, путь, цикл]]
# [[Лемма о рукопожатиях]]
# ''взялиfixed'' [[Теорема о существовании простого пути в случае существования пути]] (4)
## Алгоритм и предположение зря оформлены как псевдокод
## Добавить ссылок
# [[Теорема о существовании простого цикла в случае существования цикла]]
# [[Матрица смежности графа]]
# ''взяли'' [[Матрица инцидентности графа]] (4 ''или больше, зависит от свойств'')
## Добавить свойства матрицы инцидентности с доказательствами
## Добавить ссылок в источники информации
## Добавить про списки смежности и их оформить тоже в таблички
# [[Циклическое пространство графа]]
# ''взялиfixed'' [[Фундаментальные циклы графа]] (1)
## Источники информации нормально оформить
## Подписать получше картинку
## Заменить многоточия на \ldots
## Отформатировать по правилам
# ''взялиfixed'' [[Дерево, эквивалентные определения]] (1)
## Англоязычные термины
## Пофиксить знаки неравенств
## Оформить красиво доказательства
# [[Алгоритмы на деревьях]]
# ''взялиfixed'' [[Дополнительный, самодополнительный граф]] (1)
## Англоязычные термины оформить правильно
## Заменить угловые скобки на \langle и \rangle
# [[Граф блоков-точек сочленения]]
# [[k-связность]]
# ''fixed'' [[Теорема Менгера]] (0.5)
## убрать кванторы там, где они не нужны (в формулировках теорем) и заменить словами
## Тире заменить на шаблон
<ol>
<li value="1"> [[Эйлеров цикл, Эйлеров путь, Эйлеровы графы, Эйлеровость орграфов]]</li>
<li> ''взяли'' [[Покрытие ребер графа путями]] (3)</li>
# Какое-то мутное доказательства
<li> [[Алгоритм построения Эйлерова цикла]] (2) </li>
=== Гамильтоновы графы ===
<ol>
<li value="5"> '''fixed''' [[Гамильтоновы графы]] (6.5) </li># Заменить дефисы на тире# Исправить знаки неравенств# Отформатировать псевдокод# Помёрджить с конспектом динамического программирования и пофиксить ошибки в обоих, если есть (должны остаться алгоритмы поиска пути/цикла, пути, минимизирующего какой-то критерий)# Источники информации# Категория<li> ''fixed'' [[Теорема Хватала]] (0.5) </li># Исправить знаки неравенств# Поставить \mid в множествах# Лишние кавычки в доказательствах вокруг стрелок# Убрать q.e.d# Оформить правильно источники информации# Категория<li>[[Теорема Поша]]</li>
<li> [[Теорема Дирака]] </li>
<li> [[Теорема Оре]] </li>
<li> '''fixed''' [[Теорема Поша]]</li><li> [[Теорема Гуйя-Ури]] </li><li> [[Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре]] (5) </li># Странные обозначения для графа и множеств вершин и рёбер# Убрать умножение звёздочкой# Заменить дефис на тире# Отформатировать псевдокод# Источники информации# Исправить знаки неравенств# Категория<li> '''fixed???!!!''' [[Теорема Гринберга]] (5) </li># Англоязычные термины оформить правильно# Дефис заменить на тире# Картинки криво расположеныПояснить переходы в теореме# Ссылки поехали Внести пояснение в примере# Добавить подзаголовок "Пример" или "Использование теоремы", а лучше что-то поудачнейопределение бонда# Почему необходимое условие? А И зачем нужно доказывать отсутствие гамильтонова бонда в обратную сторонуграфе?# Пояснить, что такое R и R'. Иначе непонятно в теореме, почему область R разбита на e + 1 грань# КатегорияКартинку сделать красивой<li> '''fixedвзяли''' [[Турниры]] (56) </li># Англоязычные термины# Добавить оценку на число турниров в графе из n вершин# Убрать лишние определения# Оформить правильно источники информации# Немного неправильно сформулировано утверждение про полустепени вершин# Категория12' '''!!!''' [[Турниры]] (5)# Доказательства всех утверждений из конспекта (эквивалентность определений утверждений и конденсация)<li> ''fixed'' [[Теорема Редеи-Камиона]] (0.5) </li># Исправить знаки неравенств# Правильно оформить источники информации# Категория
</ol>
# [[Укладка графа на плоскости]]
# [[Формула Эйлера]]
# ''fixed'' [[Непланарность K5 и K3,3|Непланарность <tex>K_5</tex> и <tex>K_{3,3}</tex>]] (0.5)
## Исправить знаки неравенств
## Источники информации
== 6. Раскраски графов ==
# [[Раскраска графа]]
# ''взялиfixed'' [[Двудольные графы и раскраска в 2 цвета]] (3)
## Англоязычные термины
## Убрать определение двудольного графа и сделать интервики на основной конспект
== 7. Обход в глубину ==
# '''взялиfixed''' [[Обход в глубину, цвета вершин]] (5)
## Англоязычные термины правильно оформить
## Отформатировать псевдокод
## Переименовать конспект в Обход в глубину, DFS
## Красивую картинку с цветными вершинами
# [[Лемма о белых путях]]
# '''fixed''' [[Использование обхода в глубину для проверки связности]] (5)## Отформатировать псевдокод## Задачу в шаблон## Добавить примеров задач, например, как по двум вершинам определять, являются ли они связанными в режиме online при добавлении рёбер## Добавить источники информации, см. также## Tex внутри конспекта сделать красивым
# [[Использование обхода в глубину для поиска цикла в ориентированном графе]]
# [[Использование обхода в глубину для топологической сортировки]]
# ''fixed'' [[Использование обхода в глубину для поиска компонент сильной связности]] (3)## Некрасивый список в доказательстве теоремы## Отформатировать псевдокод## Добавить ссылок# '''взяли'fixed'' [[Использование обхода в глубину для поиска точек сочленения]] (64)## Убрать отступ в теоремеЧто-то картинки неудачно расположены## Кривая структура у доказательства
## Отформатировать псевдокод
## Источники информации красиво оформить
## Добавить примеры того, когда и почему становится плохо, если функция up будет определена по-другому# ''fixed'' [[Построение компонент вершинной двусвязности]] (3)## Отформатировать псевдокод## Красиво оформить источники# ''fixed'' [[Использование обхода в глубину для поиска мостов]] (3)## Заменить min на \min## Отформатировать псевдокод## Некрасиво оформлено утверждение маркированным списком, да и у тело утверждения тоже некрасивое## Нормально оформить источники информации, добавить см. также# ''fixed'' [[Построение компонент реберной двусвязности]] (3)## Отформатировать псевдокод## Визуализатор внести в источники информации
== 8. Кратчайшие пути в графах ==
# [[Обход в ширину]]
# ''fixed'' [[Алгоритм Форда-Беллмана]] (3)## Получшение введение, задачу в шаблон## Интервики## Отформатировать псевдокоды## for в тексте взять в mathrm## Заменить дефисы на тире## Исправить знаки неравенств## Оформить правильно источники информации# ''fixed'' [[Алгоритм Дейкстры]] (3)## Псевдокод вообще криво оформлен## Исправить знаки неравенств## Оформить правильно источники информации## Табличку сделать красивой# '''fixed''' [[Алгоритм Флойда]] (6)## Оформить правильно источники информации## Заменить min на \min## Отформатировать правильно псевдокод## Вспомнить алгоритм построение транзитивного замыкания на первом курсе## Исправить в тексте знаки равенства и неравенства## Оформить правильно источники информации## Добавить оптимизацию с битовыми масками# '''fixed''' [[Алгоритм Джонсона]] (7)## Англоязычные термины## Заменить дефисы на тире## Зачем-то в шаблоне определение написано не определение## Исправить знаки неравенств## Отформатировать псевдокоды## Доказательство со стрелочками красиво оформить## Оформить правильно источники информации## Расписать сложность других реализаций# '''fixed''' [[Алгоритм Левита]] (7)## Оформить правильно англоязычные термины## Отформатировать псевдокод## Оформить правильно источники информации## Добавить пример графа, на котором алгоритм работает экспоненциальное время## Категории# '''fixed''' [[Алгоритм A*]] (8)## что-то со второй картиночкой, там гифка, а почему-то не отображается## псевдокод — практически копипаста из википедии, правда непонятно, что с этим делать. Я уверен, например, что никто (я тоже) не знает, что такое tentative.## какая-то тут муть написана, что в корректности, что в оптимальности## а еще можно написать про случай с монотонной эвристикой## Оформить правильно англоязычные термины## Оформить правильно ссылки примечаниями и источники информации
# [[Алгоритм D*]]
# ''fixed'' [[Эвристики для поиска кратчайших путей]] (2)## "Дано" криво оформлено## Заменить дефисы на тире## Оформить правильно источники информации и англоязычные термины## Оформить правильно списки, заглавные буквы корректно расставить## Ссылку на основную статью оформить правильно## Таблички сделать красивыми
== 9. Задача о паросочетании ==
# ''fixed'' [[Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях]] (2-3)## Добавить картинок паросочетаний различных красивых (две-три хватит)# ''fixed'' [[Алгоритм Форда-Фалкерсона для поиска максимального паросочетания]] (2)## что-то тут какие-то по мелочи баги, предлоги иногда пропущены и все такое## Интервики## Отформатировать псевдокод## Картинки заползают на заголовки, придумать что-нибудь с этим## == в тексте заменить на =## Оформить правильно источники информации
# [[Алгоритм Куна для поиска максимального паросочетания]]
# ''fixed'' [[Теорема Холла]] (1.5)## добавить ссылку на английскую википедию## Англоязычные термины## Дефисы на тире## Оформить доказательство правильно и красиво## Исправить знаки неравенств## Константы в Tex## Примечания маленькие## Добавить больше ссылок, заменить на источники информации# ''fixed'' [[Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах]] (1)## Оформить правильно источники информации## Убрать neat в определении## Убрать <br> ## Англоязычные термины оформить правильно## Пункт Определения не нужен## Оформить красиво списки# ''fixed'' [[Связь вершинного покрытия и независимого множества]]## См. предыдущее# ''fixed'' [[Матрица Татта и связь с размером максимального паросочетания в двудольном графе]] (2)## Англоязычные термины оформить правильно## Дублируется определение совершенного паросочетания## Пояснить про независимые переменные## И что за детерминант от элемента матрицы, а не самой матрицы?## - -> {{---}}## Источники информации# ''fixed'' [[Теорема Татта о существовании полного паросочетания]] (0.5)## Оформить правильно англоязычные термины## Оформить правильно и красиво доказательства## Убрать граф из mathbb## Сделать ссылку примечанием## Источники информации
# '''!!!''' [[Алгоритм вырезания соцветий|Паросочетания в недвудольных графах. Алгоритм вырезания соцветий]] (7)
## как-то тут сумбурно написано и все в кучу, надо это аккуратно расписать, выделить алгоритм, доказательство и привести пример с картинками
# '''fixed''' [[Декомпозиция Эдмондса-Галлаи]] (5)## Много пустых строк## Пробелы перед открывающей круглой скобкой## Определение нечётных компонент дублируется с конспектом из теоремы Татта## Переменные в Tex## Дефисы на тире## Добавить доказательства теорем (хотя бы одной (ну или хотя бы ссылки примечаниями))## Убрать заголовки первого уровня# '''!!!взяли''' [[Задача об устойчивом паросочетании]] ''(все правки стоят 10 баллов)''
## Переменные и константы в Tex
## Добавить сначала постановку задачи
== 10. Задача о максимальном потоке ==
# [[Определение сети, потока]]
# ''fixed'' [[Разрез, лемма о потоке через разрез]] (4)## Оформить правильно англоязычные термины## Списки кривые## Определения выделить жирным## Дефисы превратить в тире## Убрать ; из леммы, сделать маркированный список## Исправить знаки неравенств## Скобки в тексте кое-где лишние## Источники информации ## Нарисовать красивую картинку вместо текущей
# [[Дополняющая сеть, дополняющий путь]]
# ''fixed'' [[Лемма о сложении потоков]] (0.5)## Переименовать конспект## Убрать "Также есть..."## Вынести названия лемм в заголовки шаблонов# ''fixed'' [[Теорема Форда-Фалкерсона]] (0.5)## Знаки неравенств## Источники информации# '''fixed''' [[Алгоритм Форда-Фалкерсона, реализация с помощью поиска в глубину]] (5)## гм, и зачем "дельта" русским словом в псевдокоде?## псевдокод сейчас не вполне понятен — какой-то Cmin, какой-то dfs, который непонятно как использовать. Обернуть это в полноценную функцию, которая считает значение потока и отрефакторить псевдокод## Константы взять в Tex## Источники информации## Знаки неравенств## Подробней пояснить пример несходимости# '''fixedвзяли''' [[Алоритм Эдмондса-Карпа]] (75)## а описание алгоритма где?## везде упоминается кратчайший путь, но не указывается, какой конкретно — по ребрам, пропускным способностям, или чему?## ссылки на русскую/английскую википедию## Отформатировать псевдокод## while в тексте обернуть в \mathrm## Знаки неравенств## Добавить Полностью описать пример про грибок с картинками в конспектконспекте# ''fixed'' [[Алгоритм масштабирования потока]] (3)## ссылки на русскую/английскую википедию## ссылка на "Андрей Станкевич: Задача о максимальном потоке" на работает, а жаль, интересно даже, что там было. Если есть, найдите другой источник этой же статьи.## Отформатировать псевдокод## Источники информации## См. также## Увеличить картинки# ''взяли'' [[Блокирующий поток]] (1)
## англоязычные термины
## ссылки на русскую и английскую википедию
## Добавить немного общей информации
## Расположить красиво картинки, чтобы не наезжали
# '''fixed''' [[Схема алгоритма Диница]] (6)## "динамические деревья Слетора и Тарьяна" — ссылку внешнюю хотя бы сделайте## "makeGl" назвать как-нибудь нормально## "algorithmDinica" тоже назвать нормально## Интервики## Написать более подробный псевдокод# '''!!!fixed''' [[Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями]] (6)
## может, назвать остаточную сеть <tex>G_f</tex>, как в предыдущих конспектах?
## "сети с текущим потоком, равным 0, и максимальным потоком, равным F" — в какой сети? (бывает исходная, остаточная и слоистая еще как минимум) Тут имеется в виду, что расстояние измерили до того, как пускать поток, что ли?
## Знаки неравенств
## Источники информации
# '''fixed''' [[Алгоритм поиска блокирующего потока в ациклической сети]] (5)## "Жадный Алгоритм" — зачем с большой буквы алгоритм?## Не нравится мне dfs без аргументов в удаляющем обходе, вообще он какой-то плохой, переписать псевдокод для этого алгоритма полностью, чтобы было приближено к реальной реализации
## '''!!! (10)''' алгоритм МКМ плохо и непонятно написан, желательно переписать описание, сделать псевдокод чуть менее абстрактным, добавить доказательство, добавить картиночку, вынести в отдельную статью, ссылка на оригинальную статью есть в обсуждении
# '''взяли!!!''' [[Метод проталкивания предпотока]] (7)## зачем какие-то кванторы в for?Картиночки с резервуарами!## initialaze -> initializeИсточники информации## названия функций в тексте оборачиваются в \mathrm или \mathttДобавить см. также## Англоязычные терминыДефисы заменить на тире
## Отформатировать псевдокоды
## Больше неформальных описаний, чтобы было понятно## За картиночки с резервуарами {{---}} отдельные большие бонусы!# '''fixed''' [[Алгоритм "поднять-в-начало"]] (5, но сначала лучше сделать предыдущий) ## названия функций в тексте оборачиваются в \mathrm или \mathtt## relable -> relabel## Англоязычные термины оформить правильно## Отформатировать псевдокоды# ''fixed'' [[Теорема о декомпозиции]] (3)## Дефисы на тире## Переписать формулировку теоремы## Отформатировать псевдокод## Оформить правильно источники информации# ''fixed'' [[Теорема о декомпозиционном барьере]] (3)
## Источники информации
## Пояснить,почему такие константы используются
## Увеличить дроби
## А что из этой теоремы следует?
# ''fixed'' [[Циркуляция потока]] (3)## англоязычные термины## ссылки на русскую и английскую википедию## раздел постановка задачи не нужен, перенести в заголовок, задачу можно в шаблон взять## сделать псевдокод чуть менее абстрактным и оформленным в соответствии с правилами## Источники информации# ''fixed'' [[Алгоритм Каргера для нахождения минимального разреза]] (2)## внутреннюю ссылку на мультиграф## названия функций в тексте оборачиваются в \mathrm или \mathtt## Англоязычные термины## Отформартировать псевдокод
== 11. Задача о потоке минимальной стоимости ==
# '''fixed''' [[Поток минимальной стоимости]] (5)## "Найти любой поток величины..." -- а почему так получится поток минимальной стоимости? (видимо, надо сослаться на лемму)## Убрать "Определение задачи", из-под определения вынести формулировку в шаблон задача## Оформить правильно источники информации (и вообще всё оформить правильно)## Добавить определений стоимости, свойства стоимости на обратных рёбрах, картинки нарисовать# '''fixed''' [[Теорема Форда-Фалкерсона о потоке минимальной стоимости]] (0.5, вместе с алгоритмом)## Исправить знаки неравенств## Источники информации# ''fixed'' [[Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети]] (0.5)
## Интервики на декомпозицию
## Знаки неравенств
## Источники информации
# '''fixed''' [[Поиск потока минимальной стоимости методом дополнения вдоль путей минимальной стоимости]] (4.5, вместе с теоремой)## Помёрджить с теоремой Ф-Ф## Отформатировать псевдокод
# '''!!!''' [[Использование потенциалов Джонсона при поиске потока минимальной стоимости]] (5)
## Написать и оформить так, чтобы не было чуши
# ''взяли'' [[Сведение задачи о назначениях к задаче о потоке минимальной стоимости]] (0.5)
## Взять задачи в шаблон
## Оформить покрасивей и правильней
# '''fixed''' [[Венгерский алгоритм решения задачи о назначениях]] (5)## написать более подробный псевдокод## Интервики## Источники информации

Навигация