\relax 
\select@language{czech}
\@writefile{toc}{\select@language{czech}}
\@writefile{lof}{\select@language{czech}}
\@writefile{lot}{\select@language{czech}}
\citation{boom}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}\'Uvod}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{espresso}
\citation{boom}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Popis probl\'emu, specifikace c\IeC {\'\i }le}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Vymezen\IeC {\'\i } c\IeC {\'\i }l\r u DP a po\v zadavk\r u na navrhovan\'y syst\'em}{3}}
\newlabel{pozadavky}{{2.1}{3}}
\citation{dml}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Definice z\'akladn\IeC {\'\i }ch pojm\r u}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}Logick\'a funkce}{4}}
\newlabel{logFce}{{2.2.1}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}Form\'at PLA}{4}}
\newlabel{pla}{{2.2.2}{4}}
\citation{asympSloz}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}Asymptotick\'a slo\v zitost ve vztahu k detekci tautologie}{5}}
\newlabel{slozitost}{{2.2.3}{5}}
\citation{logSynthesis}
\citation{chromy}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.4}Kofaktor logick\'e funkce}{6}}
\newlabel{kofaktorDef}{{2.2.4}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Re\v ser\v sn\IeC {\'\i } zpracov\'an\IeC {\'\i } existuj\IeC {\'\i }c\IeC {\'\i }ch implementac\IeC {\'\i }}{6}}
\newlabel{resersniZpracovani}{{2.3}{6}}
\citation{navrkal}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}V\'ypo\v cet komplementu}{7}}
\newlabel{komplement}{{2.4}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Bin\'arn\IeC {\'\i } rozhodovac\IeC {\'\i } diagramy}{7}}
\newlabel{bdd-popis}{{2.5}{7}}
\citation{bddWiki}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.1}Definice BDD}{8}}
\citation{navrkal}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces P\v r\IeC {\'\i }klad BDD}}{9}}
\newlabel{BDD}{{2.1}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.2}Uspo\v r\'ad\'an\IeC {\'\i } a redukce}{9}}
\newlabel{usporadaniRedukce}{{2.5.2}{9}}
\citation{miklanek}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces Pou\v zit\IeC {\'\i } reduk\v cn\IeC {\'\i }ch pravidel na BDD}}{10}}
\newlabel{BDD2}{{2.2}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Knihovna s n\'astrojem Espresso}{10}}
\newlabel{knihovnaEspresso}{{2.6}{10}}
\citation{miklanek}
\citation{vala}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Manipulace s logick\'ymi funkcemi pomoc\IeC {\'\i } graf\r u}{11}}
\newlabel{grafy-popis}{{2.7}{11}}
\citation{vala}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces Algoritmus \v re\v s\IeC {\'\i }c\IeC {\'\i } tautologii pomoc\IeC {\'\i } graf\r u}}{12}}
\newlabel{grafVala}{{2.3}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {2.8}Z\'av\v er re\v ser\v sn\IeC {\'\i }ho zpracov\'an\IeC {\'\i }}{13}}
\newlabel{zaverReserse}{{2.8}{13}}
\@writefile{lot}{\contentsline {table}{\numberline {2.1}{\ignorespaces Srovn\'an\IeC {\'\i } implementac\IeC {\'\i } na detekci tautologie}}{13}}
\newlabel{tab:reserse}{{2.1}{13}}
\citation{eAcademy}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Anal\'yza a n\'avrh \v re\v sen\IeC {\'\i }}{15}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{analyza}{{3}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Volba implementa\v cn\IeC {\'\i }ho prost\v red\IeC {\'\i }}{15}}
\newlabel{volbaProstredi}{{3.1}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Probl\'em tautologie}{15}}
\citation{espresso}
\citation{miklanek}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\'Uvod do Espressa}{16}}
\newlabel{espresso}{{3.3}{16}}
\citation{espresso}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Rozbor algoritm\r u z Espressa}{17}}
\newlabel{algEspresso}{{3.4}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}Z\'akladn\IeC {\'\i } rekurzivn\IeC {\'\i } sch\'ema}{17}}
\newlabel{zakladniSchema}{{3.4.1}{17}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces Uk\'azka rekurzivn\IeC {\'\i } detekce tautologie}}{20}}
\newlabel{schema}{{3.1}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}Kofaktor, nejv\IeC {\'\i }ce bin\'atn\IeC {\'\i } prom\v enn\'a}{21}}
\newlabel{kofaktor}{{3.4.2}{21}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Uk\'azka vzniku kofaktoru z nejv\IeC {\'\i }ce bin\'atn\IeC {\'\i } prom\v enn\'e}}{22}}
\newlabel{kofaktorObr}{{3.2}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}Un\'atn\IeC {\'\i } redukce}{23}}
\newlabel{unatniRed}{{3.4.3}{23}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces Sch\'ema un\'atn\IeC {\'\i } redukce}}{23}}
\newlabel{unatniObr}{{3.3}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.4}Redukce komponent}{24}}
\newlabel{redukceKomp}{{3.4.4}{24}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces Sch\'ema redukce komponent}}{24}}
\newlabel{komponentyObr}{{3.4}{24}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}N\'avrh implementace}{24}}
\newlabel{navrhImplementace}{{3.5}{24}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Realizace}{27}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{realizace}{{4}{27}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Pr\r ub\v eh implementace}{27}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Popis realizace se zam\v e\v ren\IeC {\'\i }m na nestandardn\IeC {\'\i } \v c\'asti \v re\v sen\IeC {\'\i }}{28}}
\newlabel{nestandardniCasti}{{4.2}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}Vnit\v rn\IeC {\'\i } reprezentace logick\'e funkce}{28}}
\newlabel{vnitrniReprezentace}{{4.2.1}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}Detekce speci\'aln\IeC {\'\i }ch p\v r\IeC {\'\i }pad\r u}{30}}
\newlabel{realSpecPripady}{{4.2.2}{30}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}Tvorba kofaktor\r u z nejv\IeC {\'\i }ce bin\'atn\IeC {\'\i } prom\v enn\'e}{31}}
\newlabel{realKofaktor}{{4.2.3}{31}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}Realizace un\'atn\IeC {\'\i } redukce}{32}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.5}Detekce a tvorba komponent}{33}}
\newlabel{realKomponenty}{{4.2.5}{33}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Detekce komponent}}{35}}
\newlabel{schemaRedKomp}{{4.1}{35}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Popis datov\'ych struktur}{37}}
\newlabel{datStruktury}{{4.3}{37}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.2}{\ignorespaces Diagram t\v r\IeC {\'\i }d TautologyDetection a Cover}}{37}}
\newlabel{classTautology}{{4.2}{37}}
\citation{paa}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3}{\ignorespaces T\v r\IeC {\'\i }dy j\'adra programu BOOM~II}}{38}}
\newlabel{tridyBoom}{{4.3}{38}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}P\v renositelnost na jin\'e platformy}{38}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Odhad asymptotick\'e slo\v zitosti}{38}}
\newlabel{odhadSlozitosti}{{4.5}{38}}
\citation{chromy}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Testov\'an\IeC {\'\i }}{41}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{testovani}{{5}{41}}
\@writefile{lot}{\contentsline {table}{\numberline {5.1}{\ignorespaces P\v rehled testovan\'ych program\r u}}{41}}
\newlabel{tabPrehled}{{5.1}{41}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Gener\'ator instanc\IeC {\'\i } logick\'ych funkc\IeC {\'\i }}{42}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Z\'avislost doby v\'ypo\v ctu na po\v ctu prom\v enn\'ych}{42}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu prom\v enn\'ych}}{43}}
\newlabel{tabProm1}{{5.2}{43}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu prom\v enn\'ych}}{43}}
\newlabel{grafProm1}{{5.1}{43}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu prom\v enn\'ych II}}{44}}
\newlabel{tabProm2}{{5.3}{44}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu prom\v enn\'ych II}}{44}}
\newlabel{grafProm2}{{5.2}{44}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Z\'avislost na po\v ctu term\r u}{45}}
\newlabel{termZavislost}{{5.3}{45}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu term\r u}}{45}}
\newlabel{tabTerm1}{{5.4}{45}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.3}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu term\r u}}{45}}
\newlabel{grafTerm1}{{5.3}{45}}
\@writefile{lot}{\contentsline {table}{\numberline {5.5}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu term\r u II}}{46}}
\newlabel{tabTerm2}{{5.5}{46}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.4}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na po\v ctu term\r u II}}{47}}
\newlabel{grafTerm2}{{5.4}{47}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC symbol\r u}{47}}
\newlabel{procZavislost}{{5.4}{47}}
\@writefile{lot}{\contentsline {table}{\numberline {5.6}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC}}{48}}
\newlabel{tabProc1}{{5.6}{48}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.5}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC}}{48}}
\newlabel{grafProc1}{{5.5}{48}}
\citation{mechura}
\@writefile{lot}{\contentsline {table}{\numberline {5.7}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC II}}{49}}
\newlabel{tabProc25}{{5.7}{49}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.6}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC II}}{50}}
\newlabel{grafProc25}{{5.6}{50}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.7}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC III}}{50}}
\newlabel{grafProc2}{{5.7}{50}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8}{\ignorespaces Z\'avislost doby v\'ypo\v ctu na procentu\'aln\IeC {\'\i }m zastoupen\IeC {\'\i } DC III}}{51}}
\newlabel{tabProc2}{{5.8}{51}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Srovn\'an\IeC {\'\i } p\v r\IeC {\'\i }stup\r u k vnit\v rn\IeC {\'\i }m reprezentac\IeC {\'\i }m}{52}}
\newlabel{srovnaniReprezentaci}{{5.5}{52}}
\@writefile{lot}{\contentsline {table}{\numberline {5.9}{\ignorespaces Srovn\'an\IeC {\'\i } vnit\v rn\IeC {\'\i }ch reprezentac\IeC {\'\i }}}{52}}
\newlabel{tabSrovnaniReprezentaci}{{5.9}{52}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.8}{\ignorespaces Srovn\'an\IeC {\'\i } vnit\v rn\IeC {\'\i }ch reprezentac\IeC {\'\i }}}{53}}
\newlabel{grafSrovnaniReprezentaci}{{5.8}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Mez pro pou\v zit\IeC {\'\i } hrub\'e s\IeC {\'\i }ly}{53}}
\newlabel{odKdyHrubaSila}{{5.6}{53}}
\@writefile{lot}{\contentsline {table}{\numberline {5.10}{\ignorespaces Mez pro pou\v zit\IeC {\'\i } hrub\'e s\IeC {\'\i }ly}}{53}}
\newlabel{tabHrubaSila}{{5.10}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}P\v r\IeC {\'\i }nos un\'atn\IeC {\'\i } redukce a redukce komponent}{54}}
\newlabel{prinosUnatniAKomponent}{{5.7}{54}}
\@writefile{lot}{\contentsline {table}{\numberline {5.11}{\ignorespaces Vliv un\'atn\IeC {\'\i } redukce a redukce komponent na v\'ykonnost}}{54}}
\newlabel{tabUnKomp}{{5.11}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}Srovn\'an\IeC {\'\i } kompilac\IeC {\'\i } MS Visual Studia a Dev-C++}{55}}
\newlabel{srovnaniDevMS}{{5.8}{55}}
\@writefile{lot}{\contentsline {table}{\numberline {5.12}{\ignorespaces Srovn\'an\IeC {\'\i } kompilac\IeC {\'\i } MS Visual Studia a Dev-C++}}{55}}
\newlabel{tabDevMS}{{5.12}{55}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.9}{\ignorespaces Srovn\'an\IeC {\'\i } kompilac\IeC {\'\i } MS Visual Studia a Dev-C++}}{55}}
\newlabel{grafDevMS}{{5.9}{55}}
\@writefile{toc}{\contentsline {section}{\numberline {5.9}Zhodnocen\IeC {\'\i } nam\v e\v ren\'ych v\'ysledk\r u}{56}}
\@writefile{toc}{\contentsline {section}{\numberline {5.10}Mo\v znosti kombinace r\r uzn\'ych algoritm\r u}{57}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Z\'av\v er}{59}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\bibdata{dp}
\bibcite{logSynthesis}{1}
\bibcite{espresso}{2}
\bibcite{chromy}{3}
\bibcite{dml}{4}
\bibcite{eAcademy}{5}
\bibcite{boom}{6}
\bibcite{mechura}{7}
\bibcite{miklanek}{8}
\bibcite{navrkal}{9}
\bibcite{vala}{10}
\bibcite{asympSloz}{11}
\bibcite{bddWiki}{12}
\bibcite{paa}{13}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Literatura}{61}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\bibstyle{abbrv}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}Obsah p\v rilo\v zen\'eho CD}{63}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {B}Mal\'y slovn\IeC {\'\i }k pou\v zit\'ych pojm\r u a zkratek}{65}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {C}Form\'at Espresso PLA}{67}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {D}Integrace do j\'adra BOOM II}{69}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
