Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

I T P W ZPT 1 Espresso... mankamenty I T P W ZPT 2 Funkcja 7 argumentów x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f 110001010 210111100 311011100 411101110.

Podobne prezentacje


Prezentacja na temat: "I T P W ZPT 1 Espresso... mankamenty I T P W ZPT 2 Funkcja 7 argumentów x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f 110001010 210111100 311011100 411101110."— Zapis prezentacji:

1

2 I T P W ZPT 1 Espresso... mankamenty

3 I T P W ZPT 2 Funkcja 7 argumentów x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f x2x2 x4x4 x6x6 x7x7 f Pamiętamy... z ekspansji Czy można przewidzieć od jakich argumentów funkcja istotnie zależy ???

4 I T P W ZPT 3 Przykład z Synteza układów logicznych str 65 Funkcja 10 argumentów Brak x 3.type fr.i 10.o 1.p e.i 10.o 1.p e Espresso - 9 argumentów

5 I T P W ZPT 4.type fr.i 10.o 1.p e Zagadka... Można wykazać, że funkcja ta jest zależna od… …zaledwie 7 argumentów! Od ilu argumentów zależy ta funkcja

6 I T P W ZPT 5 Wniosek Espresso redukuje składniki iloczynowe Nie redukuje argumentów!!!

7 I T P W ZPT 6 PROBLEM: Obliczania minimalnej liczby argumentów od których funkcja istotnie zależy...jest bardzo istotny w redukowaniu złożoności obliczeniowej procedur minimalizacji funkcji boolowskich, a w konsekwencji może się przyczynić do uzyskiwania lepszych rezultatów. Nowy sposób opisu funkcji: rachunek podziałów

8 I T P W ZPT 7 Elementy rachunku podziałów Podziałem na zbiorze S jest system zbiorów P = {B i }, którego bloki są rozłączne, czyli B i B j =, jeśli tylko i j. = Podstawowe pojęcia: Iloczyn podziałów oraz relacja. Podzbiory nazywamy blokami Dla S = {1,2,3,4,5,6}, P = {{1,2}, {3,5}, {4,6} } jest podziałem na S.

9 I T P W ZPT 8 Elementy rachunku podziałów… Powiemy, że podział P a jest nie większy od P b (co oznaczamy: P a P b ), jeśli każdy blok z P a jest zawarty w pewnym bloku z P b. b = a = c = c a Tak c b NIE! (0) – podział najmniejszy (1) – podział największy

10 I T P W ZPT 9 Elementy rachunku podziałów… b = Iloczynem podziałów a b nazywamy największy (względem relacji ) podział, który jest nie większy od a oraz b. a = a b =

11 I T P W ZPT 10 Nowy sposób opisu funkcji - podziały x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f P 1 = P 2 = P f = P 3 = P 4 = P 5 = P 6 = P 7 = Funkcja f

12 I T P W ZPT 11 Pojęcie zmiennej niezbędnej Warto przeczytać rozdział 3.4 Jeżeli wektory X a oraz X b : f (X a ) f (X b ), różnią się dokładnie dla jednej zmiennej to zmienną taką nazywamy niezbędną Wyjaśnienie i interpretacja w książce:

13 I T P W ZPT 12 Redukcja argumentów – przykład x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f Funkcja f – zmienne niezbędne ponieważ wiersze 2 i 8 P 6 = Dalej liczymy iloczyn P 4 P 6 x4x4 x6x6 x4x4 x4x4 a wiersze 4 i 9 x6x6 x6x6 różnią się na pozycji na pozycji P 4 = P 4P 6 = Pf =Pf =

14 I T P W ZPT 13 Redukcja argumentów – przykład Iloczyn podziałów wyznaczonych przez zmienne niezbędne ma bardzo ważną interpretację P 4P 6 = Pf =Pf =

15 I T P W ZPT 14 Redukcja argumentów – przykład c.d. 1, 5, 7, 9 4, 6, 8 Tu obliczamy minimalne pokrycie kolumnowe 1, 5 1, 7 1, 9 4, 6 4, 8 x 1 x 2 x 3 x 5 x 7 x 2 x 3 x 2 x 7...ale teraz systematycznie... x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f x 1 x 2 x 3 x 5 x 7 x 2 x 3 x 7 x 2 x 3 x 2 x 7

16 I T P W ZPT 15 Redukcja argumentów – przykład c.d. (x 1 + x 2 ) = (x 2 +x 1 )(x 2 + x 3 )(x 2 + x 7 )(x 3 + x 5 + x 7 ) = {x 2,x 3,x 4,x 6 } x 1 x 2 x 3 x 5 x 7 x 2 x 3 x 2 x 7 {x 2,x 4,x 5,x 6 }{x 2,x 4,x 6,x 7 } {x 4,x 6 } (x 3 + x 5 + x 7 )(x 2 + x 3 ) (x 2 + x 7 ) = =(x 2 +x 1 x 3 x 7 ) (x 3 + x 5 + x 7 ) = = x 2 x 3 + x 2 x 5 +x 2 x 7 + x 1 x 3 x Tylko to było znalezione przez Espresso

17 I T P W ZPT 16...a le gdybyśmy wiedzieli o tym wcześniej, że x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f x2x2 x4x4 x6x6 x7x7 f A taką funkcję można łatwo zminimalizować nawet na tablicy Karnaugha funkcja ta zależy tylko od {x 2,x 4,x 6,x 7 }

18 I T P W ZPT 17 Wprowadzenie redukcji argumentów do procedury ekspansji daje – w rozsądnym czasie – wyniki lepsze niż słynne Espresso

19 I T P W ZPT 18 Przykład z Synteza układów logicznych str 65 Funkcja TL27 10 argumentów.type fr.i 10.o 1.p e.i 10.o 1.p e Espresso 9 argumentów 6 termów

20 I T P W ZPT 19 Funkcja TL27 Funkcja TL27 przed redukcją.type fr.i 10.o 1.p e Realizacja funkcji f1 Ilość zmiennych = 7 Ilość wektorów = 25 R3 = {1,2,4,6,7,9,10} Jedno z 10 rozwiązań po redukcji argumentów Pandor

21 I T P W ZPT 20 Przykład TL27 Funkcja 10 argumentów, 25 wektorów w TP Wynik Pandora po RedArg – 7 argumentów, 5 termów Wynik Espresso – 9 argumentów, 6 termów

22 I T P W ZPT 21 Funkcja KAZ.type fr.i 21.o 1.p end Przed redukcjąJedno z wielu rozwiązań p o redukcji argumentów Ile jest takich rozwiązań Pandor

23 I T P W ZPT 22 Przykład KAZ Silnie nieokreślona funkcja 21 argumentów, 31 wektorów w TP Wynik Espresso – 9 argumentów, 3 termy Wynik Pandora – 5 argumentów, 3 termy


Pobierz ppt "I T P W ZPT 1 Espresso... mankamenty I T P W ZPT 2 Funkcja 7 argumentów x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 x7x7 f 110001010 210111100 311011100 411101110."

Podobne prezentacje


Reklamy Google