\select@language {czech}
\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {figure}{\numberline {2.1}{\ignorespaces P\v r\IeC {\'\i }klad PLA souboru}}{6}{figure.2.1}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {3.1}{\ignorespaces Bin\'arn\IeC {\'\i } rozhodovac\IeC {\'\i } diagram funkce}}{8}{figure.3.1}
\contentsline {figure}{\numberline {3.2}{\ignorespaces Redukce BDD}}{10}{figure.3.2}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {4.1}{\ignorespaces MBD logick\'e funkce a jeho pravdivostn\IeC {\'\i } tabulka}}{16}{figure.4.1}
\contentsline {figure}{\numberline {4.2}{\ignorespaces Dva BDD pro logickou funkci s DCsetem}}{16}{figure.4.2}
\contentsline {figure}{\numberline {4.3}{\ignorespaces Logick\'e operace s DCsetem}}{17}{figure.4.3}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {5.1}{\ignorespaces MBD pro r\r uzn\'a po\v rad\IeC {\'\i } vstupn\IeC {\'\i }ch prom\v enn\'ych}}{20}{figure.5.1}
\contentsline {figure}{\numberline {5.2}{\ignorespaces Hlavn\IeC {\'\i } smy\v cka metody swap\_down}}{22}{figure.5.2}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {6.1}{\ignorespaces Karnaughova mapa logick\'e funkce}}{24}{figure.6.1}
\contentsline {figure}{\numberline {6.2}{\ignorespaces Z\'akladn\IeC {\'\i } kroky heuristiky ESPRESSO.}}{26}{figure.6.2}
\contentsline {figure}{\numberline {6.3}{\ignorespaces Minimalizace s MBD}}{28}{figure.6.3}
\contentsline {figure}{\numberline {6.4}{\ignorespaces Mo\v znosti p\v resm\v erov\'an\IeC {\'\i } hran vedouc\IeC {\'\i }ch do $X$}}{28}{figure.6.4}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {7.1}{\ignorespaces Implementace operace APPLY}}{32}{figure.7.1}
\contentsline {figure}{\numberline {7.2}{\ignorespaces Implementace booleovsk\'e minimalizace}}{34}{figure.7.2}
\contentsline {figure}{\numberline {7.3}{\ignorespaces \v Re\v sen\IeC {\'\i } p\v rekr\'yv\'an\IeC {\'\i } term\r u z $f_{on}$ a $f_{dc}$}}{34}{figure.7.3}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {8.1}{\ignorespaces \v Cetnost v\'yskytu po\v ctu uzl\r u - soubor 20i-1o-200t-0dc.pla}}{36}{figure.8.1}
\contentsline {figure}{\numberline {8.2}{\ignorespaces \v Cetnost v\'yskytu po\v ctu uzl\r u - soubor 20i-1o-200t-20dc.pla}}{37}{figure.8.2}
\contentsline {figure}{\numberline {8.3}{\ignorespaces \v Cetnost v\'yskytu po\v ctu uzl\r u - soubor 20i-1o-200t-30dc.pla}}{37}{figure.8.3}
\contentsline {figure}{\numberline {8.4}{\ignorespaces Porovn\'an\IeC {\'\i } \v cetnost\IeC {\'\i } v\'yskytu po\v ctu uzl\r u pro v\v sechny t\v ri funkce}}{38}{figure.8.4}
\contentsline {figure}{\numberline {8.5}{\ignorespaces \v Casov\'a slo\v zitost na\v c\IeC {\'\i }t\'an\IeC {\'\i } MBD}}{38}{figure.8.5}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {9.1}{\ignorespaces Definice t\v r\IeC {\'\i }dy Node}}{45}{figure.9.1}
\contentsline {figure}{\numberline {9.2}{\ignorespaces Definice t\v r\IeC {\'\i }dy MBD}}{46}{figure.9.2}
\contentsline {figure}{\numberline {9.3}{\ignorespaces Definice metody MBD::get\_node}}{47}{figure.9.3}
\contentsline {figure}{\numberline {9.4}{\ignorespaces Definice t\v r\IeC {\'\i }dy MBDLIB}}{48}{figure.9.4}
\contentsline {figure}{\numberline {9.5}{\ignorespaces Definice t\v r\IeC {\'\i }dy PLA}}{50}{figure.9.5}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {10.1}{\ignorespaces MBD a jeho popis pomoc\IeC {\'\i } jazyka DOT}}{53}{figure.10.1}
\addvspace {10\p@ }
