Алгоритм нахождения максимального потока
Дана сеть (G,), a – источник, b – сток сети, :EN.
Шаг 1. Если не существует пути из источника в сток, то положить =0 и перейти к шагу 4, иначе выбрать непустое множество T непересекающихся по дугам путей из a в b. Если e1,e2,…,ek – путь из T, т.е. последовательность дуг, то положить (e1)= (e2)=…= (ek)=min{(e1),…,(ek)}. Для дуг e, через которые не проходят пути из T, положить (e)=0. В результате получаем ненулевой поток через сеть (G,).
Шаг
2. Исходя
из сети (G,)
и потока построить
сеть (G′,′)
следующим образом. Граф G’ будет
иметь те же вершины, что и граф G. Если e
– дуга графа G и(e)
- (e)0,
то e – дуга графа G′ и ′(e)=(e)
- (e).
Если e – дуга графа G и (e)0,
то вводим дугу 
обратной
ориентации, нежели e, и полагаем ′(
)
= (e).
В случае, когда возникают кратные дуги
e1 и
e2,
то вводим вместо них одну дугу e и
полагаем ′(e)=′(e1)
+ ′(e2).
Шаг 3. Если в сети (G′,′) не существует пути из a в b, то перейти к шагу 4, иначе в сети (G’,’) построить ненулевой поток ’ так, как это предписано шагом 1. Для сети (G,) положить =+’ и перейти к шагу 2.
Шаг 4. Выдать . Конец работы алгоритма.
Логические операции. Таблицы истиности
Логические операции и таблицы истинности
1) Логическое умножение или конъюнкция:
Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно. Обозначение: F = A & B.
Таблица истинности для конъюнкции
A |
B |
F |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
2) Логическое сложение или дизъюнкция:
Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны. Обозначение: F = A + B.
Таблица истинности для дизъюнкции
A |
B |
F |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
3) Логическое отрицание или инверсия:
Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.
Таблица истинности для инверсии
A |
неА |
1 |
0 |
0 |
1 |