Вы находитесь на странице: 1из 22

1.

Потоки в сетях
1. Понятие ориентированного графа (ребра теперь имеет ориентацию). Понятие
сети: вершины, дуги, пропускная способность, источник, сток. Множество
входящих и исходящих дуг. Понятие потока, его свойства. Величина потока.
Ориентированный граф — граф, рёбрам которого присвоено направление.
Сеть — представляет собой ориентированный граф, в котором каждое ребро имеет
положительную пропускную способность.
Пример сети с источником s и стоком t

Первое число означает величину потока, второе — пропускную способность ребра.


Потоком f в G является действительная функция f:V×V→R, удовлетворяющая условиям:
1) f (u , v ) = − f (v , u) (антисимметричность);
2) | f (u , v )| ⩽ c (u , v ) (ограничение пропускной способности), если ребра нет, то f ( u , v ) = 0;
3) ∑ f (u , v )=0 для всех вершин u, кроме s и t (закон сохранения потока).
v

Величина потока f определяется как |f |=∑


vϵV
f (s , v).

2. Лемма о количестве потока входящего в сток. Разрез в сети. Поток через разрез.
Пропускная способность через разреза. Лемма о потоке через разрез (без
доказательства).
Разрез в сети. (s, t)-разрезом ⟨S, T⟩ в сети G называется пара множеств S, T,
удовлетворяющих условиям: s ∈ S, t ∈ T, S = V∖T.
Пропускная способность разреза ⟨S, T⟩ обозначается c (S , T ) и вычисляется по формуле:
c ( S ,T )=∑ ∑ c(u , v).
uϵS vϵT

Поток в разрезе ⟨S, T⟩ обозначается f (S ,T ) и вычисляется по формуле: f ( S , T )=∑ ∑ f (u , v ).


uϵS vϵT

Лемма (о максимальном потоке и минимальном разрезе):


Если f (u , v ) = c (u , v ), то поток f — максимален, а разрез ⟨S,T⟩ — минимален.
3. Задача о максимальном потоке. Понятие остаточной сети, дополняющего пути.
Лемма об оценке ребер (если между парой вершин ребер не было, то их и нет, в
противном случае могут появиться обратные).Сумма потоков. Лемма о сумме
потоков. Дополняющие пути. Остаточная пропускная способность дополняющих
путей. Пример. Лемма о дополняющем пути. Формулировка метода Форда-
Фалкерсона.
Задача о максимальном потоке заключается в нахождении такого потока по
транспортной сети, что сумма потоков из истока, или, что то же самое, сумма потоков в
сток максимальна.
Для заданной транспортной сети G = (V, E) и потока f, остаточной сетью, в G,
порожденной потоком f, является сеть Gf =(V , E f ), где
E f ={(u , v )∈ V × V ∨c f (u , v )>0 }.
Для заданной транспортной сети G = (V, E) и потока f дополняющим путем p является
простой путь из истока в сток в остаточной сети Gf =(V , E f ).
Остаточной пропускной способностью ребра (u, v) называется величина
дополнительного потока, который мы можем направить из u в v, не превысив
пропускную способность c(u, v). Иными словами c f ( u , v ) =c ( u , v )−f (u , v).

4. Разрез сети, поток через разрез, пропускная способность разреза, минимальный


разрез. Связь между пропускными способностями разрезов и потоками. Теорема о
корректности метода Форда-Фалкерсона.
Минимальным разрезом называется разрез с минимально возможной пропускной
способностью.
Теорема Форда-Фалкерсона — теорема о максимальном потоке в графе, тесно связанная
с теоремой Менгера.
Звучит так: величина максимального потока в графе путей равна величине пропускной
способности его минимального разреза.

2. Языки и автоматы
5. Понятие алфавита, строки (слова, цепочки) над алфавитом. Пустая (нулевая)
цепочка. Длина цепочки. Сцепление (конкатенация) цепочек. Суффиксы, префиксы.
Понятие языка. Операции над языками (объединение, пересечение, разность,
дополнение, произведение, итерация). Свойства операций.
Алфавит, или словарь — это конечное множество символов, элементы которого
называют буквами или символами.
Пусть V — алфавит. Цепочка в алфавите V — это любая строка конечной длины,
составленная из символов алфавита V. Синонимом цепочки являются предложение,
строка и слово. Пустая цепочка (обозначается ε) — это цепочка, в которую не входит ни
один символ.
Например, если V = {а, b, с}, то (а), (b), (с), (а, b), (а, b, с), (с, b, а, а, с) и т.д. есть слова в
V.
Длиной цепочки w (обозначается |w|) называется число символов в ней. Например, |
abababa| = 7, а |ε| = 0.
Конкатенацией цепочек x и y называется цепочка xy. Заметим, что xε = εx = x для любой
цепочки x.
Пусть x, y, z — произвольные цепочки в некотором алфавите. Цепочка y называется
подцепочкой цепочки xyz. Цепочки x и y называются, соответственно, префиксом и
суффиксом цепочки xy. Заметим, что любой префикс или суффикс цепочки является
подцепочкой этой цепочки. Кроме того, пустая цепочка является префиксом, суффиксом
и подцепочкой для любой цепочки.
Язык в алфавите V — это некоторое множество цепочек в алфавите V.

6. Определение ДКА (состояния, начальные состояния, заключительные состояния,


функция перехода). Диаграмма автомата. Полная и неполная функция перехода.
Слова, распознаваемые и отвергаемые автоматом. Язык, распознаваемый
автоматом. Предложение о том, что при прочтении цепочки автомат
переходит во вполне определенное состояние. Обобщенная функция перехода.
7. Определение НКА. Теорема о том, что классы языков, распознаваемые ДКА и
НКА, совпадают. Алгоритм построения ДКА, распознающего тот же язык, что и
данный НКА.
8. Определение ε-НКА. Эквивалентные конечные автоматы. Нормальный ε-НКА.
Обозначение =” (для цепочки ε-переходов). Отношение М. (достижимость
состояний по цепочке ε-переходов). 4 типа переходов (обозначения О!(а), О?(а),
ОЗ(а) и О а)). Алгоритм построения НКА, распознающего тот же язык, что и
данный ε-НКА. Теорема о совпадении классов языков, распознаваемых НКА и ε-
НКА. (формулировка)
Конечный автомат с ε-переходами — конечный автомат, в котором есть возможность
совершать переходы по ε.
«Эпсилон-переходом» называется переход между состояниями, который может быть
выполнен автоматом «просто так», без входного символа.
Нормальный ε-НКА — это ε-НКА с единственным начальным и единственным
заключительным состоянием.

Теорема. Класс языков, распознаваемых ε-НКА, совпадает с классом языков,


распознаваемых НКА.
9. Доказательство замкнутости класса языков, распознаваемых конечными
автоматами относительно основных операций (объединение, пересечения,
дополнения, разности, произведения и итерации).
Обозначим через A класс всех языков над фиксированным алфавитом Σ, распознаваемых
конечными автоматами. Естественно возникает вопрос о замкнутости класса A
относительно операций над языками. Ответ на этот вопрос содержится в следующем
утверждении.
10. Определение регулярного языка. Теорема Клини. (формулировка)
Язык называется регулярным, если он может быть получен из конечных языков при
помощи конечного числа операций объединения, произведения и итерации.
Теорема Клини. Класс регулярных языков совпадает с классом языков, распознаваемых
конечными автоматами.
11. Минимальные конечные автоматы. Достижимые состояния. Эквивалентные
состояния. Язык [4 и автомат „А. Лемма об эквивалентных состояниях.
Приведенный автомат. Метод построения приведенного автомата. Теорема о
существовании минимального (приведенного) автомата для любого конечного
автомата. (формулировка) Алгоритм построения минимального автомата по
данному ДКА.
Минимальный автомат — это автомат, имеющий наименьшее возможное количество
состояний и реализующий заданную функцию выходов.
Достижимые состояния — все состояния автомата, которые могут быть достигнуты в
ходе его работы.
Два состояния si и sj автомата А называются эквивалентными, если при воздействии на
автомат одной и той же произвольной последовательностью входных сигналов из
множества X реакция автомата будет одинаковой вне зависимости от того, в каком
состоянии находится автомат – si или sj.
Приведенный автомат — автомат, в котором отождествлены все эквивалентные между
собой состояния.
Для каждого автомата существует единственный (с точностью до изоморфизма)
минимальный автомат.
12. Пример нерегулярного языка.

3. Целые числа и классы вычетов


13. Отношение делимости для чисел. Свойства отношения делимости для чисел.
Отношение делимости. Пусть даны натуральные числа a и b. Говорят, что число a
делится на число b, если существует такое натуральное число q, что a = bq.
В этом случае число b называют делителем числа а, а число а – кратным числа b.
Свойства. Отношение делимости рефлексивно (любое натуральное число делится само
на себя), антисимметрично, транзитивно.
14. Теорема о делении с остатком для чисел(без доказательства). Свойства НОД.
Алгоритм Евклида. Доказательство корректности алгоритма Евклида. Теорема о
том, что НОД (т, п) представим как линейная комбинация т и п (аналогичный
результат для многочленов).
Для любого целого неотрицательного числа а и натурального числа b существуют целые
неотрицательные числа q и r такие, что а = bq + r, причем r больше или равно нулю, но
меньше b. И эта пара q и r единственная для заданных а и b.
Алгоритм Евклида. Большее число делим на меньшее.
Если делится без остатка, то меньшее число и есть НОД (следует выйти из цикла).
Если есть остаток, то большее число заменяем на остаток от деления.
Переходим к первому пункту.
15. Множество кратных (4). Множество 5„.„ линейных комбинации т и п.
Следствие о том, ЧТО 5„ СОВПадает с (4). Взаимно простые числа. Критерий
взаимной простоты.

16. Сравнимость целых чисел по модулю. Свойство, эквивалентное совпадению


остатков по данному модулю. Рефлексивность, симметричность и
транзитивность отношения сравнения. Система классов вычетов 2. Свойства,
отношения сравнения относительно операций сложения и умножения. Теорема, о
том, что система классов вычетов является коммутативным кольцом с
единицей.
17. Делители нуля в кольце. Целостное кольцо с единицей. Закон сокращения в
целостном кольце.
Пусть R — кольцо, a, b ∈ R, a, b ≠ 0, a ⋅ b = 0. Числа a, b называются делителями нуля
кольца R, причем a — левый делитель нуля, b — правый делитель нуля.
Область целостности (целостное кольцо) — понятие абстрактной алгебры:
ассоциативное коммутативное кольцо с единицей, в котором 0≠1 и произведение двух
ненулевых элементов не равно нулю. Условие 0≠1 исключает из рассмотрения
тривиальное кольцо {0}.
Коммутативное кольцо с единицей и без делителей нуля называется областью
целостности.
Теорема. В кольце без делителей нуля выполняется закон сокращения относительно
умножения.

18. Обратимые элементы системы классов вычетов 2„ (Множество 2»). Теорема, о


том, что 2. при простом п является полем. Правила, сокращения в 4.
19. Утверждения о том, что умножение на элемент 4, задает подстановку на 2 и на
2%.
20. Функция Эйлера. Теорема о свойствах функции Эйлера.

21. Теорема Эйлера и малая теорема Ферма.


22. Решение уравнений первой степени (для сравнений) и линейные диофантовы
уравнения. Решение систем линейных сравнений.