ДМ_л6_2012.ppt
- Количество слайдов: 18
Задача мінімізації булевих функцій у геометричній формі Лекція 6 Булеві функції 1
n-мірні куби та задача мінімізації Позначимо En множину всіх наборів {( 1, 2, . . . , n)}. Множину En називатимемо n-мірним кубом, а набори ( 1, 2, . . . , n) – його вершинами. На наступних двох слайдах подано зображення проекцій три- та чотиримірного кубів на площину. Означення 2. 20. Нехай і 1, …, іr – фіксована система чисел з 0 та 1 така, що 1 i 2. . . ir n. Множину всіх вершин ( 1, 2, . . . , n) куба En таких, що і 1 = і 1, і 2 = і 2, іr = іr, називатимемо (n-r)-мірною гранню. Отже, (n-r)-мірна грань є (n-r)-мірним підкубом куба En. Очевидно, що (n-r)-мірна грань є (n-r)-мірним підкубом куба Е n. Задача мінімізації булевих функцій у геометричній формі 2
Проекція тримірного кубу на площину Задача мінімізації булевих функцій у геометричній формі 3
Проекція чотиримірного кубу на площину Задача мінімізації булевих функцій у геометричній формі 4
Взаємозв’язок кубів із булевими функціями Нехай f(x 1, …, xn) – довільна булева функція. Зіставимо їй підмножину Nf вершин куба Еn так, що ( 1, …, n) Nf тоді й тільки тоді, коли f( 1, …, n) = 1, тобто реалізуємо бієктивне відображення : F(1) Nf, де F(1) ={( 1, …. n) f( 1, …, n)= 1}. Зрозуміло, що за підмножиною Nf вихідна функція f(x 1, …, xn) відновляється однозначно. Задача мінімізації булевих функцій у геометричній формі 5
Приклад взаємозв’язку Приклад 2. 7. Функції, що задана f 0 0 0 1 0 0 0 1 0 1 1 (слайд 3). x 3 1 Nf = {(0, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1)} x 2 1 таблицею, відповідає множина x 1 1 Задача мінімізації булевих функцій у геометричній формі 6
Інтервал r-го рангу Розглянемо як вихідну функцію елементарну r-місну кон'юнкцію K(x 1, . . . , xn) рангу r, де K(x 1, . . . , xn) = . Означення 2. 21. Множина Nk, відповідна кон'юнкції K(x 1, . . . , xn), називається інтервалом r-го рангу. Інтервал r-го рангу Nk являє (n-r)-мірну грань. Задача мінімізації булевих функцій у геометричній формі 7
Приклад інтервалів Приклад 2. 8. Кон'юнкціям K 1(x 1, . . . , xn) = K 2(x 1, , . . . , xn) = K 3(x 1, . . . , xn) = x 1 відповідають інтервали: Nk 1 = {(0, 0, 0), (1, 0, 0)} (ранг 2, якому відповідає одномірна грань); Nk 2 = {(1, 0, 0), (1, 0, 1)} (ранг 2, якому відповідає одномірна грань); Nk 3 = {(1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1)} (ранг 1, якому відповідає двомірна грань). Ці інтервали є відповідно ребром, ребром і площиною. Задача мінімізації булевих функцій у геометричній формі 8
Властивості бієктивного відображення Відзначимо очевидні властивості введеного бієктивного відображення : F(1) Nf. Якщо f(x 1, . . . , xn) = g(x 1, . . . , xn) h(x 1, . . . , xn), то: 1. Ng Nf, Nh Nf; 2. 2. Nf = Ng Nh. 3. Зокрема, якщо функція f(x 1, . . . , xn) має д. н. ф. A, де A = K 1 . . . Ks, то із наведених властивостей випливає, що Nkі Nf , i {1, 2, . . . , s}, тобто образ кон'юнкції Ki, який належить д. н. ф. функції f(x 1, . . . , xn) є інтервалом, що розташований усередині множини Nf, і 4. Nf = . Задача мінімізації булевих функцій у геометричній формі 9
Взаємозв’язок д. н. ф. з покриттям інтервалами Таким чином, д. н. ф. функції f(x 1, . . . , xn) відповідає покриття множини Nf інтервалами Nk 1, Nk 2, … Nks. Справедливим є й зворотне твердження: будь-якому покриттю множини Nf інтервалами, що розташовані всередині множини Nf, відповідає д. н. ф. A функції f(x 1, . . . , xn). Задача мінімізації булевих функцій у геометричній формі 10
Приклад покриття інтервалами Приклад 2. 9. Для функції f(x 1, x 2, x 3), таблицю якої наведено у прикладі 2. 7 (слайд 6), , Цим д. н. ф. відповідають два покриття множини Nf: Nf = Nk 1 Nk 2 Nk 3 Nk 4 Nk 5; Nf = , де . Nk 1 = {(0, 0, 0)}, Nk 2 = {(1, 0, 0)}, Nk 3 = {(1, 0, 1)}, Nk 4 = {(1, 1, 0)}, Nk 5 = {(1, 1, 1)}, = {(0, 0, 0), (1, 0, 0)}, = {(1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1)}. Одно із покрить складається із точок, друге – із ребра та двомірної грані. Задача мінімізації булевих функцій у геометричній формі 11
Ранг інтервалу Нехай ri означає ранг інтервалу Nkі (дорівнює рангу кон'юнкції Ki). Число r, де r = будемо називати рангом покриття. Задача мінімізації булевих функцій у геометричній формі 12
Геометрична задача про покриття Тепер можна сформулювати геометричну задачу про покриття, еквівалентну задачі про мінімізацію булевої функції. Знайти для даної множини Nf таке покриття інтервалами, які належать Nf, Nf = Nk 1 Nk 2 … Nks, щоб його ранг r був найменшим (min( )), тобто Задача мінімізації булевих функцій у геометричній формі 13
Задачі про мінімізацію та покриття Таким чином, задача про мінімізацію булевої функції має дві постановки: одну – в аналітичній (вихідна), другу – у геометричній формі (задача про покриття), унаслідок чого вживаються дві мови: аналітична та геометрична, відповідно. Іноді використовують комбіновану мову, в якій, наприклад, кон'юнкції називають інтервалами, а д. н. ф. – покриттями. Задача мінімізації булевих функцій у геометричній формі 14
Тупиковість на основі геометричних уявлень Означення 2. 22. Покриття множини Nf, що складається з максимальних (щодо Nf) граней, називається незвідним, коли сукупність граней, яку можна одержати із вихідної викиданням будь-якої грані, не буде покриттям Nf. Означення 2. 23. Д. н. ф. , що відповідає незвідному покриттю множини Nf, називається тупиковою (у геометричному розумінні). Теорема 2. 6. Поняття тупикової д. н. ф. щодо перетворень 1 та 2 і тупикової д. н. ф. у геометричному змісті є еквівалентними. Задача мінімізації булевих функцій у геометричній формі 15
Приклад знаходження покриття х4 f 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 = f(x 1, x 2, x 3, x 4), а значення функціонала LЛ(A) = 9. х3 1 задається таблицею. На рисунку (слайд 17) показано множину Nf, із максимальними гранями: N 5, N 6, N 7 – ребра, N 1, N 2, N 3, N 4 – двомірні грані (площини). Таким чином покриттю N 1 N 2 N 3 N 4 N 5 N 6 N 7 відповідає скорочена д. н. ф. х2 1 Приклад 2. 10. Нехай f(x 1, x 2, x 3, x 4) х1 1 0 Задача мінімізації булевих функцій у геометричній формі 16
Рисунок до прикладу 2. 10 Задача мінімізації булевих функцій у геометричній формі 17
Задача мінімізації булевих функцій у геометричній формі 18
ДМ_л6_2012.ppt