Сдавался/использовался | Московский государственный институт радиотехники, электроники и автоматики (технический университет) (МИРЭА), кафедра прикладной математики, "отлично". Москва, 2000г. |
Загрузить архив: | |
Файл: ref-8991.zip (54kb [zip], Скачиваний: 259) скачать |
Введем обозначения.
R – множество действительных чисел.
X e R – элемент X принадлежит множеству R.
Равные множества – множества, состоящие из одинаковых элементов.
A = B – множество А равно множеству B.
0 – пустое множество.
A<= C – Множество А является подмножеством множества С.
Если А не равно С и А <= C, то А < С. (строго).
Если A <= C и C <= А, то А = С.
Пустое множество 0 является подмножеством любого множества.
Существуют конечные и бесконечные множества. Пусть n – число элементов данного множества А. Это число называется мощностью данного множества.
У множества рациональных чисел мощность является счетной (т.е. все элементы можно пронумеровать).
У множества иррациональных чисел мощность – континиум. Обозначается (С).
U = {a1,a2… an-1, an}
Пусть U = {a1, a2, a3}
Выпишем множество всех подмножеств множества U.
P(U) = {0, a1, a2, a3, a1a2, a1a3, a2a3, a1a2a3}.
Мощность множества U равна 3, а мощность P(U) равна 8.
Методом математической индукции доказывается, что при произвольной мощности n множества U, мощность множества P(U) равна 2n.
1.
2.
3.А ) – не А. Все элементы, принадлежащие универсальному
множеству, не принадлежат множеству А.
Свойства операций над множествами.
1.
. A n B = B n A
2. (A U B) U C = A U (B U C),A n (B n C) = (A n B) n C – ассоциативность.
3.(A U B) n C = (A n C) u (B n C), (AnB) U C = (A U C) n (B U C) – дистрибутивность.
4. A U A = A,A n A = A.
5.
А U 0 = A
A n 0 = 0
A u U = U
A n U = A
6. Двойное дополнение
A
= A
7. A U A = U
A n A
= 0
8. Законы двойственности или закон Де – Моргана
(AUB) = A n B
(AnB) = A U B
Пересечение множеств |
|
|||||||||
|
|||||||||
Определение.
Множество M с двумя введенными бинарными операциями (& V), одной унарной операцией (*) и двумя выделенными элементами называется булевой алгеброй, если выполнены следующие свойства (аксиомы булевой алгебры). Названия операций пока не введены.
1.
2.
3.
4.
5.
X & 0 = 0
X & I = X, где I – аналог универсального множества.
6.
7.
8.
Булева алгебра всех подмножеств данного множества.
U = {a1, a2… an)
[U] = N
[P(U)] = 2n
Легко показать, что свойства операций над множествами совпадают со свойствами (аксиомами) булевой алгебры. То есть, множество P(U) с операциями объединения, пересечения и дополнения является булевой алгеброй.
Oбъединение эквивалентно V, пересечение - &, дополнение - *, пустое множество – 0, а универсальное – I.
Все аксиомы булевой алгебры справедливы в операциях над множествами.
Булева алгебра характеристических векторов.
Пусть A <= U, A <- P(U) a- характеристический вектор этого подмножества.
aA = {a, a2 ..an)
n = [P(U)]
ai = 1, если ai <- A (принадлежит).
ai = 0, если ai не принадлежит A.
U = {1 2 3 4 5 6 7 8 9}
A = {2 4 6 8}
B = {1 2 7}
aA = {0 1 0 1 0 1 0 1 0}
aB = {1 1 0 0 0 0 1 0 0}
или
aA = 010101010 – скобки не нужны
aA= 110000100
Характеристические векторы размерностью n называются булевыми векторами.
Они располагаются в вершинах n – мерного булева куба.
Номером булевого вектора является число в двоичном представлении, которым он является
1101 – номер.
Два булевых вектора называются соседними, если их координаты отличаются только в одном разряде (если они отличаются только одной координатой).
Совокупность всех булевых векторов размерности n называется булевым кубом размерностью Bn.
|
Булев куб размерности 2
00 |
01 |
10 |
11 |
001 |
000 |
100 |
110 |
010 |
111 |
101 |
011 |
0 – нулевой вектор.
|
|
X&Y |
X V Y |
||
00 |
0 |
0 |
||
01 |
0 |
1 |
||
10 |
0 |
1 |
||
11 |
1 |
1 |
Отрицание
X = 0Y = 0
_ _
Х = 1Y= 1
Для размерности n операции над векторами производятся покоординатно.
Логическая сумма двух векторов – вектор, координаты которого являются логическими суммами соответствующих исходных векторов. Аналогично определено произведение.
Между множеством всех подмножеств множества U и булевым кубом Bn, где n= =[U] можно установить взаимное соответствие, при котором операции объединения множества соответствует операции логического сложения (их характеристических векторов), операции пересечения множеств соответствует операция логического умножения их характеристических векторов, а операции дополнения – операция отрицания. Пустому множеству соответствует нулевой вектор, а универсальному – единичный.
Множество всех характеристических векторов является булевой алгеброй.
Булева алгебра высказываний (алгебра логики)
Высказыванием об элементах множества U называется любое утверждение об элементах множества U, которое для каждого элемента либо истинно, либо ложно.
U = {1 2 3 4 5 6 7 8 9}
A = «число четное»
B = «число, меньшее пяти»
Множеством истинности высказывания называется совокупность всех элементов, для которых это высказывание истинно.
SA = {2 4 6 8}
SB = {1 2 3 4}
Высказывание, для которого множество истинности пусто, называется тождественно ложным, а для которого SB = U называется тождественно истинным.
Высказывания, для которых множества истинности совпадают, называются тождественными или равносильными.
Равносильные высказывания объединим в один класс Р.В. и не будем их разделять, т.к. все они имеют одно и то же множество истинности.
Операции над высказываниями
Дизъюнкция высказываний (V, ИЛИ, OR)
Дизъюнкция высказываний – высказывание, истинное тогда, когда истинно хотя бы одно из высказываний.
Конъюнкция высказываний (&, И, AND).
Конъюнкцией высказываний называется высказывание, истинное тогда и только тогда, когда истинны все высказывания.
Отрицание высказываний (- над буквой, НЕ, NOT).
Отрицанием высказывания называется высказывание, истинное только тогда, когда исходное высказывание ложно.
A B |
A & B |
A V B |
Not A |
ЛЛ |
Л |
Л |
И |
Л И |
Л |
И |
И |
И Л |
Л |
И |
Л |
И И |
И |
И |
Л |
Л – ложно.
И – истинно.
Утверждение (основа всей алгебры логики)
Между множеством всех классов эквивалентных высказываний об элементах множества Uи множеством P(U) можно установить взаимно однозначное соответствие, при котором операция дизъюнкции высказываний соответствует операции объединения множеств истинности, а конъюнкция соответствует операции пересечения. Операция отрицания соответствует операции дополнения.
Следствие. Множество классов эквивалентных высказываний является булевой алгеброй.
Теорема
Существуют 3 булевых алгебры:
1.
2.n
3.
Три булевых алгебры являются изоморфными, если между их элементами можно установить такое однозначное соответствие, при котором операции сохраняются.
Договоримся конъюнкцию обозначать точкой (как знак умножения в алгебре чисел). Конъюнкция выполняется раньше дизъюнкции (аналог выполнения операций сложения и умножения в алгебре чисел).
Булевой функцией от n аргументов называется однозначное отображение n – мерного булева куба на одномерный булев куб.
Способы задания функций
1.
X1 X2 X3 … XN |
F(X) |
0 0 0 0 0 0 0 0 0 |
g1 |
… |
gi |
1 1 1 1 1 1 1 1 1 |
gn |
gi - значение функции от данных аргументов.
Порядок возрастания векторов по мере возрастания их номеров называют лексикографическим.
2.
F = (g1...gn)
3. Геометрический
Единичным вектором для данной функции называется тот вектор, значение функции на котором равно 1.
Носителем данной функции – совокупность всех единичных векторов этой функции (Nf – носитель функции f)
Nf = {001, 011, 100, 110} = [1,3,4,6] [] – указаны номера векторов.
3.В виде формулы.
Функция fзависит от переменной xi фиктивно, если для любых двух наборов значений переменных, отличающихся только значением переменной xi, значения функции f совпадают.
Будем говорить, что f зависит от переменной xi существенно, если существуют такие два набора значений, отличающихся только значением переменной xi, на которых значения функций различно.
Фиктивные переменные у функции можно добавлять и исключать.
Две булевы функции называются равными или равносильными, если одну можно получить из другой путем добавления и изъятия фиктивных переменных.
Строим таблицу функций при n = 1.
X |
0 |
X |
_ X |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
X |
Y |
0 |
& |
_____ Y®X |
X |
___ X®Y |
Y |
+ |
V |
¯ |
~ |
_ Y |
X ®Y |
_X |
Y®X |
/ |
1 |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
|
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
|
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
|
Все эти функции от двух аргументов мы и будем называть элементарными булевыми функциями.
Основными элементарными функциями являются конъюнкция, дизъюнкция и отрицание.
Элементарные булевы функции удовлетворяют всем аксиомам булевой алгебры.
Суперпозиции булевых функций
Ф = {ф1…фk}
F называется элементарной суперпозицией функции из множества Ф, если она получена одним из следующих способов.
1.
2.
Ф1 = {Y…xn}
Фi = (x1 … фj(x1…xn) … xn)
Ф(1) – множество всех элементарных суперпозиций из системы Ф.
Ф(k+1) – множество всех элементарных суперпозиций из систему Фk.
Функция g называется суперпозицией функций из системы, если
$ N : g Î Фn
Это означает, что g можно получить из функции системы Ф, применяя конечное число раз операцию элементарной суперпозиции.
Конкретное выражение суперпозиции будем называть формулой над системой Ф.
G = Fф
Суперпозиция элементарных булевых функций – формула.
Для удобства записи договоримся, что отрицание – самая сильная операция. Следующая – конъюнкция, а остальные – равносильны.
_ _
X+Y = XY V XY
__
X ~ Y = XY V XY
__
X ® Y = X V Y
_ _
X ¯ Y = X Y
Введем обозначения
_
Xа = X, если а = 1 и X, если а = 0
Элементарной конъюнкцией (ЭК) называется выражение вида
X1a1 X2a2…Xnan
ЭК называется правильной, если все входящие в неё переменные различны.
Правильная ЭК называется полной относительно данного набора переменных, если в неё входят все эти переменные.
Дляэлементарных дизъюнкций (ЭД) – аналогичный набор определений.
ЭД – выражение вида
X1a1 V X2a2 V…V Xnan
ДНФ – дизъюнкция разных правильных элементарных конъюнкций.
__
X1 V X1X2 V X1X2X3 – ДНФ.
ДНФ называется совершенной (СДНФ), если все входящие в неё элементарные конъюнкции полны относительно данного набора переменных.
КНФ – конъюнкция разных правильных элементарных дизъюнкций.
СКНФ – совершенная КНФ. У нее все ЭД полны.
Теорема.
Любая булева функция, тождественно не равная нулю, представима и притом единственным образом в виде СДНФ по формуле:
F(x1… xn) = V(X1a1 X2a2…Xnan)
Доказательство
I.
1.
N(f) Ì N(G) – носители функции.
" a Ì N (F) Þ F(a…an) = 1
G(a) = G(a…an) = (aa…anan) V (…) , где пустые скобки – оставшееся выражение.
Подставив координаты, получим:
1*1V(…) = 1 ) Þ aÌ N (G) ÞN(F) = N(G)
2. b Î N(G)
G(b..bn) = 1 – тогда, когда хотя бы одна
b1a1 b2a2 …bnan = 1 Þb1 = a …bn = anb = aÞ N(G) = N(F)
Первая часть доказана.
II. Единственность
Посчитаем, сколько полных ЭК может быть
Всего – 2n = N (по перестановке комбинаций)
Число СДНФ – 2N-1 – число различных формул СДНФ.
Это число совпадает с числом различных булевых функций от n переменных (за исключением константы 0).
Так как каждой функции ставится в соответствие формула СДНФ и число разных формул и разных функций одинаково, то каждой функции соответствует только одна формула. Теорема доказана полностью.
Замечание. Единственность доказана при фиксированном числе аргументов n. Так как, вводя фиктивные переменные, мы будем менять вид формулы.
Следствие. Любая булева функция представима формулой, в которую входит только конъюнкция, дизъюнкция и отрицание.
Принцип двойственности
F*(x1…xn) – двойственная функция,
__ _
F*(x1…xn) = F(x1…xn)
Например
____
_ _
(XY)* = XY = XVY
Чтобы получить вектор двойственности функции при ее табличном задании, переворачиваем таблицу на 180 градусов и берем отрицание от получившейся функции.
Теорема. Принцип двойственности.
Если F (x1…xn) является суперпозицией функций fi (i = 1...k), то двойственная к ней функция является такой же по структуре суперпозицией, но от двойственных функций.
Доказательство следует из определения двойственной функции.
_ _ _ _ _ __
F*(x1..xn) = F(x1…xn) = f(f1…fk) = f*(f1…fk)
Следствие
f(x1..xn) = K1 VK2 V… VKn – СДНФ
f*(x1..xn) = D1 D2 …Dn - СКНФ
Используя принцип двойственности, можно доказать следующую теорему.
Любая булева функция, тождественно не равная единице представима и притом единственным образом в виде СКНФ.
Доказательство получается из самого принципа двойственности и его следствий.
Задача минимизации ДНФ.
Определения:
1.
2.
3.Dmin для данной функции называется ДНФ, которая равна этой функции и имеет наименьший ранг.
Задача минимизации ДНФ для данной функции состоит в нахлждении минимальной ДНФ.
Число ДНФ при фиксированном n – конечное (n - число переменных)
Тривиальный алгоритм минимизации ДНФ состоит в следующем:
1.n в порядке возрастания их рангов.
2.
Алгоритм представления функции в виде СДНФ.
1.
2.
3.
Алгоритм представления функции в виде СКНФ.
1. Выписываем носитель функции
2. Для каждого вектора из носителя выписываем дизъюнкцию соответствующих переменных. (если координата равна нулю, переменную пишем без отрицания, . если единице – с отрицанием). Это и будут все полные ЭД.
3. Выписываем конъюнкцию всех этих ЭД.
Носитель элементарной конъюнкции ранга R будем называть интервалом ранга R.
Интервал ранга R содержит 2N-R векторов.
N – количество рассматриваемых векторов.
Интервал – носитель элементарной конъюнкции.
Теорема
Носитель дизъюнкции двух функций равен объединению носителей этих функций.
Доказательство.
" a Î NfVgÞf(a) Vg(a) = 1 Þf(a) = 1 ИЛИ g(a) = 1 Þa Î NfИЛИ a Î Ng
ч.т.д.
Носитель ДНФ является объединением интервалов.
Допустимым интервалом для данной функции называется интервал, который целиком содержится в носителе этой функции.
Nf = I1 V I2 V … VIk
Интервал для данной функции является максимальным, если он не содержится целиком ни в каком другом допустимом интервале.
Элементарная конъюнкция, носителем которой является допустимый интервал, называется импликантой.
ЭК, N – максимальный интервал – простая импликанта.
Представление носителя в виде объединения максимальных интервалов будем называть покрытием носителя максимальными интервалами.
Дизъюнкция всех возможных простых импликант называется сокращенной ДНФ функции.
Покрытие носителя интервалами будем называть неприводимым, если ни один нельзя отбросить из правой части равенства, не нарушив это равенство.
ДНФ, которая соответствует неприводимому покрытию, называется тупиковой ДНФ.
Утверждение.
Минимальная ДНФ содержится среди тупиковых ДНФ.
Определение
Максимальный интервал называется ядровым, если он содержит хотя бы одну вершину из носителя функции, которая не принадлежит больше никакому другому максимальному интервалу.
Элементарная конъюнкция, соответствующая ядровому интервалу – ядровая импликанта.
Объединение всех ядровых интервалов – ядро функции.
Дизъюнкция всех ядровых импликант- ядровая ДНФ.
Ядро функции обязательно входит в любое неприводимое покрытие.
Алгоритм получения минимальной ДНФ.
1.
2.
3.
4.
5.
6.
X1 |
X2 |
X3 |
F |
0 |
0 |
0 |
|
0 |
1 |
1 |
|
1 |
0 |
0 |
|
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
|
1 |
0 |
1 |
|
1 |
1 |
1 |
Выделение всех возможных интервалов.
1.
2.
3.
1. _
2.I1 = { 001 011} <-> П1 = x1x3 - ядровый
I2 = { 011 111} <-> П2 = x2x3
Если координата вектора меняетзначения, то переменная не входит
I3 = { 111 110} <-> П3 = x1x2
_
I4 = { 110 100} <-> П4 = x1x3
Dсокр. = П1 V П2 V П3 V П4
Nf = I1 U I4 U I2 (U – объединение)
Получили неприводимое покрытие, добавив к ядру недостающие интервалы так, чтобы все единичные вершины были задействованы.
D1= П1 V П4 V П2
Nf = I1 U I4 U I3
D2= П1 V П4 V П3
Сосчитаем ранги тупиковых ДНФ
R1 = 6
R2 = 6
Dmin = D1 = D2
n = 4
Карта Карно – плоскостная интерпретация 4-мерного булева куба.
00 |
01 |
11 |
10 |
||
0001 |
|||||
01 |
0100 |
0101 |
0111 |
0110 |
|
11 |
1101 |
||||
10 |
|||||
Считаем, что левый край склеен с правым, а верхний – с нижним.
Если таблицу Карно свернуть таким образом, то получится тор (torus - геометрическая фигура, напоминающая бублик).
Правила поиска интервалов.
1.
2.
3.
4.
Алгоритм – тот же самый.
Этот метод удобен для нахождения минимальной ДНФ функции от любого числа переменных.
Определение. Элементарная конъюнкция K1 покрывает ЭК K2, если каждая переменная, входящая в K1, входит и в K2.
__ __ __
X1X3 – покрытие X1X2X3X4
Nk1 É Nk2
K2 = K1K
K – конъюнкция из других переменных.
__ _ ___ _ _
X1X3 V X1X2X3X4 = X1X3 (1 V X2X4) = X1X3 – поглощение
Склеивание двух ЭК
_
Kx V Kx = K
Идея метода Квайна (алгоритм)
1.
2.
3.
4.
5.
Формализация Мак-Клоски.
Каждой ЭК ставим в соответствие булев вектор. (x с отрицанием – 0, без отрицания – 1).
1.
2.Склеивать можно только ЭК из соседних классов.
3.
4.
5.
А) Каждой строке ставим в соответствие простую импликанту Пi.
Б) Каждому столбцу – ЭК из СДНФ Kj.
6.i.покрывает Kj , то в соответствующей клетке ставим знак +.
7.
8.
9.
10.
Определение. Система функций S = {f1…fn} называется полной, если любую булеву функцию можно представить в виде суперпозиции функций из этой системы (т.е. можно представить формулой, куда входят только функции из этой системы).
"f = FS
S = {V, &, NOT или отрицание - --}
Теорема 1.
Если система S1 полна, и любая ее функция представима в виде суперпозиции функций из системы S2, то и система S2 также полна.
Доказательство
S1= {ф1…фk}
"fi = ЕS2 - условие.
"f = FS = FS2 – ч.т.д.
Мы заменили все функции суперпозицией из S2.
Теорема 2.
Если система функций полна, то будет полной и система, состоящая из двойственных функций.
Доказательство следует из принципа двойственности.
Основные типы функционально полных систем.
S = {&, V, NOT}
S = {&, NOT}
____
__
X V Y = (XY)
S = {/} – полна.
___
X/Y = (XY)
X/X = NOT(XX) = NOT(X)
S = {¯}
Система Жегалкина {+,&,1}.
NOT (X) = x+1
X V Y = xy+x+y
Многочлены Жегалкина.
Одночленом будем называть любое выражение вида
А * X1X2X3…Xn
A = {0 или 1} x1x3 – одночлен.
Многочленом Жегалкина называется сумма по модулю 2 различных одночленов.
А1X1+А2X2+А3X3+A4X1X2 + A5X1X3+A6X2X3+A7X1X2X3 – общий вид многочлена Жегалкина для трех переменных. Чтобы выписать общий вид многочлена Жегалкина для нужного числа переменных нужно перебрать все возможные конъюнкции переменных и сложить их по модулю 2 друг с другом, а также с переменными, входящими в функцию. Перед каждой конъюнкцией нужно расставить буквенные коэффициенты.
Теорема
Любая булева функция, тождественно не равная нулю, представима и притом единственным образом в виде многочлена Жегалкина.
Доказательство на лекции 8.
Поиск многочлена Жегалкина (МЖ) для любой выбранной булевой функции производится методом неопределенных коэффициентов. Для этого нужно выписать общий вид МЖ для нужного числа переменных, затем, подставив искомые значения переменных в МЖ, приравнять его к функции на нужном векторе. Таким образом получается система уравнений с неизвестными числами А. Решив ее, мы получим искомый МЖ.
Теорема.
Любая булева функция представима в виде многочлена Жегалкина (МЖ).
Доказательство
1.
F = ДНФ = F{&,V, NOT}
X V Y = XY+X+Y
NOT(X) = X+1
Из этого следует, что функция представима в виде МЖ.
2.
Сосчитаем МЖ
ЭК без отрицания 2n – 1 + 1
Всего разных многочленов Жегалкина 2N – 1, где N = 2n
Это число совпадает с числом разных булевых функций, отличных от нуля.
Отсюда следует, что любой булевой функции соответствует единственный многочлен Жегалкина. Теорема доказана полностью.
Определение. Функция называется линейной, если ее многочлен Жегалкина не содержит ни одной конъюнкции переменных.
Замкнутые классы функций.
Определение.
Пусть дан класс функций B (т.е. конечное или бесконечное множество функций),объединенных по общему признаку. Замыканием этого класса (обозначение – [B]) будем называть множество всех суперпозиций функций из класса B.
Класс B будем называть замкнутым, если его замыкание совпадает с ним самим.
B = [B]
Теорема 1
Класс всех линейных функций замкнут.
Доказательство.
Пусть L – класс линейных функций (так и будем обозначать в дальнейшем).
L = {a0+a1x1+a2x2+…+anxn}
Подставим вместо переменной x в одну из функций функцию y такого же вида.
Получим
L = [L].
Утверждение (теорема 2)
Необходимое условие линейности.
Если функция линейна и не равна некоторой постоянной, то на половине своих наборов она равна 1.
Если в векторе значений функции число 0 и 1 различно, то функция обязательно нелинейна, а если число нулей совпадает с числом единиц, то эта функция может быть линейной, а может быть и нелинейной. В таком случае, чтобы это проверить, нужно выписать для нее многочлен Жегалкина.
Функция называется самодвойственной, если двойственная к ней функция является самой этой функцией. F* = F.
S – класс всех самодвойственных функций.
Класс S является функционально замкнутым.
Доказательство следует из принципа двойственности.
У самодвойственной функции на противоположных наборах противоположны значения.
Функция называется монотонной, если из условия a £ b следует, что f(a) £ f(b).
Теорема.
Класс M монотонных функций замкнут.
Свойство.
У монотонных функций сокращенная ДНФ не содержит отрицаний переменных, то есть все простые импликанты не содержат отрицаний.
Другие замкнутые классы
T0 – константа 0 (класс функций, обращающихся на нулевом векторе в 0).
Т1 – константа 1 (класс функций, обращающихся на единичном векторе в 1)
Теорема
Классы Т0 и Т1 функционально замкнуты.
Лемма о несамодвойственной функции.
Если функция несамодвойственна, то путем подстановки вместо аргументов переменной x или not(x) можно получить константу.
011 – нарушена самодвойственность
f(not(x),x,x) = const = 1 при любом x.
001 – нарушена самодвойственность
Если 0, то х с отрицанием, если 1, то без отрицания.
Доказательство _ _ _ _ _ _ _ _
F Ï S Þ $a : F*(a) ¹ F(a) Þ F*(a) = F(a)Þ F(a) = F(a) Þ F(a) = F(a)
f(x) = {x1a, x2a2, … xnan}
f(0) = {0a, 0a2, … 0an}
Путем подстановки получаем, что f(x) = const.
Путем подстановки вместо аргументов-констант и переменной х можно получить not(x).
000 £ 001
F(000) = 1 F(001) = 0
F(00X) = NOT(X)
F(100) = 1
F(110) = 0
100 < 110
F(1,x,0) = NOT(X)
Если F(X) нелинейна, то из нее путем подстановки вместо аргументов-констант переменных (x, y, not x, not y) иожно получить: конъюнкцию этих переменных, дизъюнкцию этих переменных, отрицание конъюнкции, отрицание дизъюнкции.
F = 1 + x1+x3+x1x3+x1x2x3 = x1x3(1+x2) +x3+x1+1
F(x1,0,x3) = x1x3+x3+1
___
F(x0y) = (xy)
Доказательство леммы 3
F(x1…xn) = x1x2 (f1(x1…xn)) + x1f2(x1…xn) + x2f3(x1…xn) + f4(x1…xn)
Вместо x1…xn ставим константы a1…an, такие, что
f1(a1…an) = 1
1. A = B = 0
F(x1x2…a3…an) = x1x2 + C = {x1x2, если с = 0 и NOT(x1x2, если с = 1)
Аналогично получаем дизъюнкцию и ее отрицание.
Теорема Поста.
Система функций полна тогда и только тогда, когда она не находится ни в одном из пяти важнейших замкнутых классов, а именно S, M, L, T0, T1.
1.Необходимо.
Дана полная система функций. Отсюда следует, что она не принадлежит никакому замкнутому классу (см. выше).
Доказательство следует из того факта, что по определению и по тому, что мы доказали, что все важнейшие классы замкнуты. Если предположить, что система целиком входит в один из замкнутых классов, то
[S] = [B] = B
Но S - множество всех булевых функций, а B – не всех.
Получили противоречие.
Доказательство дано в виде алгоритма получения из системы S основных элементарных булевых функций, образующих полную систему, значит и эта система будет полна.
Дано
S Ë {S, M, L, T0, T1}
Каждая функция (f с индексами 1…5) не принадлежит каждому соответствующему ей важнейшему замкнутому классу.
1.Получение констант.
F1(00…0) = 1
a) F(111) = 1
b) F(111) = 0
F(xxxx) = 1
F2(111) = 0
2.Получение отрицаний
Из F4 по лемме 2 мы можем получить отрицание.
3. Используя F5 по лемме 3 получаем xy, x V y, not(xy), not(x V y)
|
.
При подаче на выходы любой комбинации двоичных сигналов, на выходе также возникает сигнал.
Каждый вход – аргумент функции.
Выход – булева функция от аргументов.
Из функциональных элементов можно строить по правилам их соединения схемы (логические сети).
Два и более входов можно отождествлять.
Возможные соединения функциональных элементов соответствуют булевым функциям и их суперпозициям.
Полный набор булевых функций, который мы будем использовать для построения логических сетей (схем) в какой-нибудь задаче, мы назовем базисом из функциональных элементов.
Число функциональных переменных считаем сколь угодно большим.
Базис называется полным, если с его помощью можно реализовать любую булеву функцию в виде схемы.
Очевидно, чтобы базис был полным, необходимо и достаточно, чтобы система функций, реализуемых элементами базиса, была полной.
Пример полного базиса.
|
|
-
- И
|
Чтобы построить минимальную функциональную схему для функции на конъюнкторах, дизъюнкторах и инверторах, которая реализует эту функцию, нужно
1.
2.
Составить элементы с 2n входами и n+1 выходом, реализующих сложение n-разрядных двоичных чисел вида
X = XnXn-1…X1
Y = YnYn-1…Y1
Z = x+y = Zn+1Zn…Z1
X+Y – сумма чисел.
Для решения такой задачи вводим qi – единица переноса из одного разряда в другой.
Формулы сумматора
Zi = Xi + Yi + Qi – сумма по модулю 2
Qi+1 = XiYi V XiQi V QiYi
Графом (G) будем называть тройку объектов (V, X, q)
V – множество n вершин.
X – конечное множество ребер.
q - функция инцидентности, которая каждому элементу множества X ставит в соответствие пару элементов из множества V.
q задана на множестве X.
Если в значении функции инцидентности допускается перестановка вершин, то граф называется неориентированным. В противном случае граф называется ориентированным (Орграф).
Vj – начало ребра
Vk – его конец
q(xi) = (Vj, Vk) – ребро инцидентно в вершине Vj и в вершине Vk.
Если одной и той же паре вершин инцидентно несколько ребер, то ребра называются кратными.
Если на ребре xi0
q(x0) = (Vj0, Vj0),
то ребро называется петлей.
Способы задания графов
1.Аналитический
Если вершине не инцидентно никакое ребро, то эта вершина называется изолированной.
Выписываются все ребра и пишутся напротив две пары вершин, которым они инцидентны.
В конце выписываются все изолированные вершины.
2.Геометрический
Каждая вершина графа задается точкой. А ребра, инцидентные паре вершин – кривой.
Желательно рисовать кривые без пересечения. Если пересечения существуют, то их надо отличать от вершин.
3.
A(m*n)
m = [V] – число вершин
n = [X}- число ребер
а) Неориентированные графы
Aij = {0, если Vi не инцидентно xj, 1, если Vi инцидентно xj)
б) Орграфы
Aij = {0, если Vi не инцидентно xj,-1, если Vi - началоxj, 1, если Vi - конецxj)
Для петель нужны дополнительные предположения.
4.
B(m*m) m = [V]
Bij равно числу ребер, инцидентных паре вершин (oi, oj)
Если граф не ориентирован, то матрица симметрична.
Граф, в котором нет кратных ребер и петель, называется простым.
Простой граф называется полным, если любой паре его вершин инцидентно одно ребро.
Дальше все о неориентированных графах.
K1 – полный граф с одной вершиной
K2 – с двумя
K3 – с тремя
K4 – полный граф с четырьмя вершинами
K5 – полный пятивершинник
Граф называется двудольным, если множество вершин разбивается на 2 непересекающихся подмножества, такие, что ребра соединяют вершины из разных подмножеств.
Двудольный граф называется полным, если каждая вершина одного подмножества соединена ребром с каждой вершиной другого подмножества.
Полный двудольный граф.
Маршруты, циклы, связности.
Маршрутом в графе называется чередующаяся последовательность вершин и ребер, начинающаяся и заканчивающаяся вершинами, такую, что каждое ребро в нем соединяет только те вершины, между которыми оно стоит.
Будем говорить, что этот маршрут соединяет первую и последнюю вершину. Если существует маршрут, то последняя вершина называется достижимой из первой вершины.
Маршрут, в котором нет повторяющихся ребер, называется цепью.
Маршрут, в котором нет повторяющихся вершин (кроме первой и последней),называется простой цепью.
Если в простой цепи первая и последняя вершины совпадают, то она называется циклом.
Граф называется связным, если любая вершина достижима из любой другой вершины. В противном случае граф называется несвязным. Несвязный граф распадается на несколько частей, каждая из которых является связным графом.
Эти части называются компонентами связности.
Ребро называется циклическим, если оно входит хотя бы в один цикл графа. В противном случае ребро называется ациклическим.
Утверждение.
Если из связного графа удалить циклическое ребро, то вновь полученный граф останется связным, а если удалить ациклическое ребро, то граф распадется на два компонента связности.
Связный граф, у которого все ребра ациклические, называется деревом.
Несвязный граф, компонентами связности которого являются деревья, лесом.
Свойства деревьев.
1.
2.
3.
Дан граф. Требуется найти в нем маршрут, проходящий по каждому ребру ровно один раз. Начало и конец – в одной вершине.
Такой маршрут называется Эйлеровым циклом, а граф, в котором он существует, называетсяЭйлеровым графом.
Степень вершины в графе – это число ребер, инцидентных этой вершине.
Критерий эйлеровости графа.
Для того, чтобы связный граф без петель был Эйлеровым, необходимо и достаточно, чтобы степень его вершины была четным числом.
Планарные графы.
Определение.
Укладкой графа называется такое его геометрическое изображение, при котором ребра пересекаются только в вершинах. Если существует укладка графа на плоскости, то граф называется планарным.
Сама же укладка графа без пересечения ребер называется плоским графом.
Для любого графа xi, соединяющего 2 вершины проводим новую плоскость, содержащую эту прямую, а ребро рисуем на плоскости.
Граф будет планарным, если существует его укладка на сфере.
Доказательство следует из взаимно однозначного соответствия точек на сфере с точками плоскости из стереографических проекций.
Следствие. Граф любого выпуклого многогранника планарен.
Ребра плоского графа разбивают плоскость на несколько частей, одна из которых бесконечна. Эти части и являются гранями плоского графа.
Теорема Эйлера о плоских графах.
Формула Эйлера.
Для плоского графа справедливо соотношение.
M – N + P = 2.
Докажем индукцией по числу граней
P = 1
Если P = 1, то граф – дерево. В нем нет ни одного цикла. У дерева число вершин больше числа ребер на 1.
M = N + 1
N + 1 – N + 1 = 2 – справедливо.
Пусть p = k, и утверждение верно.
Тогда оно верно и при P= k+1
Берем ребро графа, отделяющее бесконечную грань от внутренних и удаляем это ребро из графа. Т.к. оно циклическое, то в новом графе g1 (он также будет связным) число вершин M останется прежним.
N1 = N – 1
P1 = P – 1
M = M
k + 1-1 = k
Для g1 справедливо предположение индукции.
M1 + N1 + P1 = 2
M – N – 1 + K = 2
M – N + K – 1 = 2
M – N + P = 2
Что и требовалось доказать.
Следствие 1.
Для плоского связного простого графа справедливо соотношение
n <= 3*(m-2)
Следствие 2.
Для плоского связного простого графа без треугольных граней справедливо соотношение
n <= 2*(m-2)
Следствие 3.
Граф K5 – непланарен.
m > 2
И если бы он был плоским, то для него было бы справедливо следствие 1.
N <= 3*(m-2)
10 <= 9 – неверно.
Противоречие. Значит, он не может быть нарисован плоским.
Следствие 4.
Граф K3-3 непланарен.
Нет треугольных граней.
Если бы он был плоским, то для него было бы справедливо следствие 2.
9 <= 2*(6-2)
9 <= 8 – неверно.
Противоречие из предположения, что он не может быть плоским.
Операцией разбиения ребра графа называется следующая процедура:
Ребро удаляется из графа, и в граф добавляется новая вершина, соединенная новыми ребрами с концами данного ребра.
Два графа называются гомеоморфными, если каждый из них может быть получен из одного и того же графа путем применения конечного числа раз операции разбиения ребер.
Теорема Понтрягина – Куратовского.
Чтобы граф был планарным, необходимо и достаточно, чтобы он не содержал гомеоморфных подграфов.
Определение. Двуполюсной сетью называется связный граф без петель с двумя выделенными вершинами, которые называются полюсами.
Полюса |
Двуполюсная сеть называется сильно связанной (связной), если через любое ребро проходит простая цепь, соединяющая полюса. В ней нет повторяющихся вершин.
Параллельная сеть – сеть вида
Последовательная сеть – сеть вида
П (пи) сети – последовательно-параллельные сети
Примеры П-сетей
Такая сеть называется мостиковой.
Контактными схемами называются сильносвязные двуполюсные сети, каждому ребру которой поставлено в соответствие x или NOT(x).
X Not Y
|
Z Not X
Любой контактной схеме (КС) можно поставить в соответствие булеву функцию (функцию проводимости) по правилу:
Для любой простой цепи, соединяющей полюса, записываем ЭК тех переменных, которыми помечены ребра этой цепи.
Затем берем дизъюнкцию всех ЭК. Получим искомую функцию проводимости.
Если в контактной схеме будут стоять переключатели (релейные контакты), которые будем считать замкнутыми, если выражение, стоящее у ребра равно 1 или в противном случае разомкнутыми, то при подаче на полюса разности потенциалов (электрического тока) контактная схема будет проводить ток при таких и только при таких состояниях контактов, при которых значение функции равно 1.
Минимальной контактной схемой для функции называется контактная схема, для которой эта функция является функцией проводимости. Эта схема содержит наименьшее число ребер.
Чтобы построить минимальную КС, надо выписать минимальную ДНФ дляданной функции, упростить путем вынесения за скобки, нарисовать П-сеть, реализующую КС для функции и постараться найти мостиковые соединения.
Минимальные пути в графах
Путем в графе (в орграфе) называется маршрут, движение по которому любого ребра проходит в соответствии с направлением этого ребра.
Контуром в орграфе называется замкнутый путь, в котором вершины не повторяются (кроме первой и последней).
Орграф, в котором нет ни одного контура, называется бесконтурным.
Первая задача о минимальном пути.
Дан граф. Выделено две вершины. Найти путь из одной вершины в другую, состоящий из наименьшего числа ребер.
Введем обозначения
Г(V) – множество вершин, в которые можно попасть из вершины V, пройдя только по одному ребру в его направлении.
Г-1(V) – множество вершин, из которых можно попасть в вершину V, пройдя только по одному ребру.
Алгоритм.
1.A присваиваем метку 0.
2.
3.V, принадлежащей Г(А) находим Г(V) и любой V, принадлежащему Г(V), если она не имела метку, даем метку 2.
4.
5.V).
Может произойти такое, что пути из А в В нет вообще.
Тогда на некотором шаге при обратном ходе нужной вершины нет.
Вторая задача.
Если каждому ребру поставить в соответствие некоторое целое положительное число, называемое его длиной и требуется найти путь из А в В, такой, что i = minimum. (r или l – длина ребра)
Алгоритм будет следующий.
1.l1 = 0
Для Vili = +(бесконечность) – очень большое число, большее суммы всех длин ребер всего графа.
L(Vi, Vj) – длина ребра, идущего из вершины Vi в Vj. Направление важно.
2.Для любого ребра из графа проверяем выполнение неравенства.
lj - li > L(Vi, Vj) *
Если это неравенство выполняется, то меняем метку lj на новую.
lj = li + L(Vi, Vj) и так до тех пор, пока выполняется *.
Если * нигде не выполняется, то та метка, которая будет стоять у вершины В и будет равна длине минимального пути из А в В, а сам путь строится движением назад из В в А.
Г-1(В) Существует такое ребро Vi1, для которого выполнено равенство.
lb - li1 = L(Vi1,B)
Затем Г-1(V1) Существует V2, где l(V1) - l(V2) = L(V1, V2) и т.д. пока не вернемся в вершину А.
Путь минимальной длины найден.
Остов графа минимальной длины.
Остов – дерево, содержащее все вершины графа и какие-то из его ребер.
Если каждому ребру графа поставлена в соответствие его длина, то требуется найти такой остов, сумма длин ребер которого минимальна.
Алгоритм
1.Перенумеруем все ребра графа в порядке возрастания их длин.
2.Просматриваем ребра, начиная с первого. Если x1 не является петлей, мы его включаем в остов и переходим к следующему ребру. Если оно не является петлей и не образует с уже имеющимися ребрами цикла, мы его включаем в остов. И так до тех пор, пока не рассмотрим все ребра.
Остов минимальной длины найден.
Двудольным графом называется граф, у которого множество вершин можно разбить на два непересекающихся подмножества так, что ребра соединяют вершины из разных подмножеств.
Паросочетанием в двудольном графе называется любое множество попарно несмежных ребер (у них нет общих вершин).
Паросочетание называется максимальным для данного графа, если оно содержит наибольшее число ребер для всех возможных паросочетаний.
Паросочетание называется совершенным (из множестваv в множество w), если число ребер в нем совпадает с числом вершин в подмножестве c.
Для любого подмножества S через ф(S) обозначим те вершины из множества w, которые соединяются ребрами с вершинами подмножества S.
Теорема Холла (без доказательства)
Для того, чтобы в двудольном графе существовало совершенное паросочетание, необходимо и достаточно, чтобы для любого подмножества S из множества V выполнялось условие [S] <= [ф(S)].
Венгерский алгоритм нахождения максимального паросочетания.
Дан двудольный граф. Все определения для графа справедливы.
Полным паросочетанием называется паросочетание (ПС), к которому нельзя добавить ни одного ребра графа, не нарушив условие несмежности ребер.
1.
Ребра, входящие в полное паросочетание, будем называть толстыми. Остальные ребра считаем тонкими.
Вершины, которые соединены толстыми ребрами – насыщенные. Остальные – ненасыщенные.
Чередующейся цепью называется цепь, в которой тонкие и толстые ребра чередуются.
Тонкой чередующейся цепью называется чередующаяся цепь, соединяющая 2 ненасыщенные вершины (В ней тонких ребер на 1 больше, чем толстых).
1.
2.
3.
4.
5.
6.
Количество ребер в новом паросочетании увеличится на 1.
Максимальное паросочетание (МПС) найдено.
Совершенное ПС – МПС обязательно.
Матрицы смежности двудольных графов.
A(M,N)
[V] = M
[W] = N
Aij = 1, если есть ребро ViWj
Если его нет, то Aij = 0.
Чтобы найти полное паросочетание, нужно найти единицы, которые находятся в разных строках и разных столбцах.
Алгоритм – тот же самый.
При поисках мы можем двигаться по строкам и на углы в 90 градусов.
Есть m работников и m работ.
Каждый из работников выполняет каждую работу с определенной эффективностью.
Требуется распределить работы таким образом, чтобы каждый работник выполнял только одну работу, выполнялись все работы и суммарная эффективность была максимальна среди всех возможных таких распределений.
A = (aij) – матрица эффективности.
А(М*М)
А =
В терминах матрицы эффективности задача состоит в нахождении М элементов, расположенных в разных строках и разных столбцах, чтобы их сумма была максимальной.
Дан двудольный полный граф с V = M, W = M
Даны длины ребер.
Задача состоит в нахождении совершенного паросочетания, сумма длин всех ребер которого максимальна.
Алгоритм.
0 |
0 |
0 |
0 |
|
4 |
1 |
2 |
3 |
4 |
4 |
1 |
4 |
4 |
2 |
6 |
2 |
5 |
6 |
3 |
6 |
1 |
6 |
4 |
4 |
1.Vi даем метку аi =max по всем элементам нужной строки.
По всем j присваиваем метку 0.
2.
Ai + Bj = Aij
Строим граф, в который входит все вершины исходного графа и найденные ребра.
3.
4.S из V, [S] > ф(S).
Ищем это подмножество.
Для каждой вершины Vi из S метку Ai уменьшают на 1, а для wj из ф(s) метку Vj увеличивают на 1.
5.Переходим на начало шага 2 с новыми значениями меток.
Введем обозначения
V – вершина орграфа
M-(V) – множество ребер, для которых вершина V является концом.
M+(V) – множество ребер, для которых вершина V является началом.
Транспортной сетью называется связный орграф без петель, для которого выполнены следующие условия
1.A, для которой M-(А) – пустое множество. А – исток.
2.B, для которой M+(B) – пустое множество. В – сток.
3.называемое пропускной способностью данного ребра.
2(1) 3(1) 1(1)
6(0)
5(5)
1(1) 4(1) 2(1)
Потоком в транспортной сети (ТС) называется целочисленная функция, определенная на любых ребрах ТС и удовлетворяющая следующим свойствам
1.X) <= C(X), где С(X) – пропускная способность ребра.
На всех ребрах значение функции потока не превосходит значения пропускной способности ребра. Значение функции потока ставим рядом со значением пропускной способности ребра в скобках.
2. Для каждой внутренней вершины V транспортной сети, не равной A или B выполняется следующее условие: суммарная функция потока по ребрам, входящим в вершину, равна суммарной функции потока по ребрам, исходящим из вершины (сколько втекает, столько и вытекает).
Величиной потока [ф] = val(ф) называется число, равное сумме функций потока по всем ребрам, выходящим из вершины А или сумма всех функций потока по всем ребрам, входящим в вершину В.
Выбор потока.
1.
2.
3.
Поток в транспортной сети называется максимальным, если выполнено условие
Val(ф) £ Val(Ф*)
Ф* = maximum
Любое подмножество S транспортных вершин, содержащих исток и не содержащих сток, определяет разрез, отделяющий исток от стока (разрез).
Разрез состоит из всех вершит тех ребер, которые имеют свои начала в вершинах множества S, а концы – из дополнения к множеству S.
Пропускной способностью разреза K называется сумма значений пропускных способностей всех ребер этого разреза.
Разрез K** называется минимальным, если для любого другого разреза выполнено условие C(K**) £ C(K).
Теорема Форда – Фалькерсона (без доказательства).
В транспортной сети величина максимального потока равна пропускной способности минимального разреза.
Алгоритм нахождения максимального потока (Алгоритм Форда – Фалькерсона).
1.Берем любой поток в транспортной сети.
2.Строим граф перестроек g* по следующему правилу:
В него входят все вершины исходного графа g.
Те ребра, на которых значение функции потока в исходном графе g были равны 0, входят в новый граф без изменений со своими пропускными способностями.
Все ребра, на которых ф(x) > 0 в новом графе g* заменяются двумя ребрами x* и x**.Ребро x* направлено в ту же сторону, что и x, и пропускная способность c(x*) = c(x) – ф(x).
Ребро x** направлено в противоположную сторону ребру x, и пропускная способность c(x**) = ф(x).
Ребра с нулевой пропускной способностью можно не рисовать.
3.В графе g* ищем путь из А в В по ребрам с ненулевой пропускной способностью. Если его нет, то имеющийся поток является максимальным и алгоритм закончен. Иначе переходим к пункту 4.
(Этот путь называется увеличенной цепью. D = min(c(x)) – минимальное значение пропускной способности этой цепи).
4.Меняем значение функции потока в графеg для тех ребер, которые соответствуют найденному пути в графе перестроек по следующему правилу:
Если направление ребра x в графе g совпадает с направлением пути, то новое ф(x) = ф(x) + D
Если же направление противоположно направлению пути, то ф(x) = ф(x) - D
5. Переходим на шаг 2 с новым потоком.