![](/user_photo/2706_HbeT2.jpg)
- •Едеральное агентство по образованию
- •Оглавление
- •Раздел 1. Элементы теории множеств 8
- •Раздел 2. Элементы комбинаторики 20
- •Раздел 3. Алгебра логики 36
- •Раздел 4. Синтез управляющих систем 62
- •Раздел 5. Теория графов 77
- •Введение
- •Раздел 1 элементы теории множеств
- •1.1. Множества и операции над ними
- •1.2. Алгебра множеств
- •1.3. Разбиение множества на подмножества
- •1.4. Кортежи и декартово произведение множеств
- •1.5. Отображение множеств
- •1.6. Отношения
- •1.7. Свойства бинарных отношений
- •1.8. Алгебра подмножеств
- •1.9. Задания для самостоятельной работы
- •Раздел 2 элементы комбинаторики
- •2.1. Комбинаторика
- •2.2. Различные комбинаторные соотношения
- •2.3. Свойства биномиальных коэффициентов. Биномиальная теорема. Полиномиальная теорема
- •2.4. Принцип включения и исключения
- •2.5. Формула решета
- •2.6. Производящие функции
- •2.7. Производящие функции числа основных комбинаторных объектов
- •2.8. Задания для самостоятельной работы
- •Раздел 3 алгебра логики
- •3.1. Булевы функции
- •3.2. Формулы
- •3.3. Сопоставление формулам над множеством функций
- •3.4. Свойства элементарных функций
- •3.5. Разложение булевых функций
- •3.6. Совершенная д. Н. Ф., совершенная к. Н. Ф.
- •3.7. Полные системы
- •3.8. Примеры полных систем
- •3.9. Полиномы Жегалкина
- •3.10. Единственность представления булевых функций полиномами Жегалкина
- •3.11. Методы построения полиномов
- •I. Метод построения с помощью таблицы.
- •II. Метод неопределенных коэффициентов.
- •III. Метод суперпозиции.
- •3.12. Замыкание. Свойства операции замыкания. Замкнутые классы
- •3.13. Классы и их свойства
- •3.14. Линейные функции и их свойства
- •3.15. Принцип двойственности
- •3.16. Самодвойственные функции, их свойства
- •3.17. Лемма о несамодвойственной функции
- •3.18. Монотонные функции, их свойства
- •3.19. Лемма о немонотонной функции
- •3.20. Теорема о полноте в р2
- •3.21. Предполные классы
- •3.22. Возможность выделить из любой полной системы полную подсистему, состоящую из не более чем 4-х функций
- •3.23. Представление о результатах Поста
- •3.24. Задания для самостоятельной работы
- •Раздел 4 синтез управляющих систем
- •4.1. Схемы из функциональных элементов
- •4.2. Определение схем из функциональных элементов
- •4.3. Основные понятия и определения
- •4.4. Возможность реализации любой функции алгебры логики сфэ
- •4.5. Простейшие методы синтеза
- •4.6. Метод Шеннона
- •4.7. Асимптотически наилучший метод (метод о.Б. Лупанова)
- •4.8. Задания для самостоятельной работы
- •Раздел 5 теория графов
- •5.1. Элементы теории графов
- •5.2. Основные понятия и определения
- •5.3. Способы задания графа
- •5.4. Некоторые соотношения в графе
- •5.5. Перечисление графов
- •5.6. Оценка числа неизоморфных графов с p вершинами
- •5.7. Оценка числа неизоморфных графов с q ребрами
- •5.8. Укладки графов. Укладка графов в трехмерном пространстве
- •5.9. Планарность. Формула Эйлера для плоских графов
- •5.10. Следствия из формулы Эйлера для плоских графов
- •5.11. Операция подразделения ребра
- •5.12. Гомеоморфность графов
- •5.13. Теорема Понтрягина-Куратовского
- •5.14. Деревья и их свойства
- •5.15. Деревья и операции над ними
- •5.16. Оценка числа неизоморфных корневых деревьев на p вершинах
- •5.17. Задания для самостоятельной работы
- •Литература Основная
- •Дополнительная
- •Михеева Елизавета Алексеевна
4.5. Простейшие методы синтеза
1. Метод синтеза, основанный на моделировании СДНФ.
2. Модификация предыдущего метода, заключающаяся в совместной реализации конъюнкций.
Метод синтеза, основанный на моделировании СДНФ, наглядно описали при доказательстве теоремы 1 (рис. 2).
Далее опишем следующий метод, заключающийся в совместной реализации конъюнкций (лемма).
Обозначим
через L(F/G)
минимальную сложность схемы (в базисе
Б), которую надо присоединить к схеме,
реализующей функцию G, чтобы полученная
схема реализовала функцию F. Очевидно,
что
L(F)
L
(G)+
L
(F/G).
(2)
В
нашем случае Б = (,
&, -).
Пусть Qn (x1,…,xn) = {x11&…&xnn} – система всех 2n конъюнкций от переменных x1,…,xn.
Лемма. L(Qn) 2n (сложность реализаций всех конъюнкций от n переменных).
Доказательство. Конъюнкцию x11&…&xnn можно разбить на 2 части:
x11&…&xmm и xm+1m+1&…&xnn.
Очевидно,
что каждая конъюнкция x11&…&xnn
из Q(x
,…,x
)
является конъюнкцией двух конъюнкций:
x11&…&xmm
из Q
(x
,…,x
)
и xm+1m+1&…&xnn
из Qn-m
(xm+1,…,xn).
Поэтому (согласно рис. 4)
L(Q/
Q
,
Q
)2
.
(3)
Рис. 4
Из (1) следует, что
L(Q)(2m-1)*2
m*2
,
L(Q)[2(n-m)-1]*2
(n-m)*2
.
Поэтому,
учитывая (2) и (3), имеем L(Q)
L(Q
)+
L(Q
)+
L(Q
/
Q
,
Q
)
m*2
+(n-m)*2
+2
.
Положим
теперь m = [].
Тогда m*2
*2
,
(
(
+1)*2
.
Значит, L(Q
)
< 2n.
С
другой стороны, очевидно, что при n 2
L(Q)2
,
так как каждая конъюнкция реализуется
на выходе некоторого элемента.
Таким
образом, L(Q)~2n.
Лемма доказана.
З
,
имеем: L(f)
L(Q
) + 2
,
так как L(Q
)2
,
то L(f)
< 2*2
.
Значит, L(n)
< 2*2
.
4.6. Метод Шеннона
Описываемый ниже метод был предложен Шенноном для контактных схем в 1949 году. В последующие годы этот метод применялся другими авторами для других классов схем. Здесь метод излагается применительно к схемам из функциональных элементов.
Т
.
Доказательство.
Напомним,
что функция Шеннона L(n)=
,
гдеL(f) =
,
аL(S)
– сложность схемы S, реализующей булеву
функцию f (x1,
…, xn).
Разложим функцию f(x1, …, xn) по n-k переменным:
f(x1,
…, xn)
=
.
(4)
Схема S для функции f строится из трех блоков (подсхем) (рис. 5):
S:
1)
блока, реализующего Q(x
,…,x
);
2)
блока, реализующего систему V(x
,…,x
)
всех 2
функций от переменныхx
,…,x
;
3) блока, осуществляющего соединение первых двух блоков в соответствии с (4).
Заметим,
что два первых блока не зависят от
реализуемой функции f, а зависят только
от разбиения аргументов функции f на
два подмножества: {x,…,x
}
и {x
,…,x
}.
В третьем блоке на каждый член разложения (4) приходится не более одного конъюнктора и не более одного дизъюнктора.
Таким образом,
L(S)
L(Q)
+ L(V
)
+ 2
2
.
(5)
С
)
k
2
2
,
согласно лемме L(Q
)2
,
тогда L(S)
< 3
2
+
k
2
2
.
Положим (при достаточно больших n): k = [log(n – 3 log n)].
Тогда
log(n – 3 log n)-1< k
log (n – 3 log n)
log(n – 3 log n) – log 2 < log 2
log(n – 3 log n)
< 2
n – 3 log n,
2
2
=
=
.
П
2
+
k
2
2
<
+
2n
log
n
<
,
так как
=
0.
Т
.
Теорема полностью доказана.