but.committee	doc. Mgr. Adam Rogalewicz, Ph.D. (předseda) doc. Ing. Zdeněk Vašíček, Ph.D. (místopředseda) Ing. Ivana Burgetová, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A. Otázky u obhajoby: Které operace/funkce jsou nejvíce časově náročné? Co zkusit něco vyčíst z profilování? Kde by byl prostor ke zlepšení výkonu? Existují nějaké rozdíly ve složitosti operací nad jednotlivými diagramy? Jak by dopadlo alespoň rámcové porovnání třeba implementace BDD s nějakou renomovanou existující implementací? Zajímalo by mě, jak kompetitivní jsou použité implementační techniky. Prosím studenta o dodatečné experimenty v rámci odpovědi na otázky 1 a 3 výše, pokud jsou tyto experimenty snesitelně pracné. V opačném případě prosím alespoň o kvalifikovaný odhad. Otázky u obhajoby: Uvažoval jste při experimentech i různé uspořádání vstupních proměnných? Odkud pochází vaše vstupní vzorky?	cs
but.jazyk	slovenština (Slovak)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Lengál, Ondřej	sk
dc.contributor.author	Paulovčák, Martin	sk
dc.contributor.referee	Holík, Lukáš	sk
dc.date.created	2020	cs
dc.description.abstract	Cieľom tejto práce je vytvoriť jednoducho použiteľnú knižnicu, ktorá bude poskytovať základné prostriedky pre manipuláciu booleovských funckií prostredníctvom šiestich rôznych variánt binárnych rozhodovacích diagramov - BDD, ZDD, CBDD, CZDD, TBDD a ESRBDD. Knižnica je implementovaná v ISO C, používa zatvorené hashovanie, referencovanie uzlov založené na indexoch, garbage collector na princípe mark and sweep algoritmu a vytváranie diagramov založené na depth-first prechode. Implementované varianty týchto diagramov boli porovnané na benchmarkoch a hoci optimálna voľba varianty závisí na riešenom probléme, vo všeobecnosti sa ako najlepšia voľba z pohľadu veľkosti výsledného grafu a zároveň CPU času ukázali TBDD.	sk
dc.description.abstract	The aim of this thesis is to create an easy-to-use library that will provide the basic means for Boolean function manipulation based on six different variants of Binary Decision Diagrams - BDD, ZDD, CBDD, CZDD, TBDD, and ESRBDD. The library is implemented in the ISO C programming language, uses closed hashing, index-based node referencing, mark and sweep based garbage collector and diagram construction is based on classical depth-first traversal. The implemented variants of these diagrams were compared on benchmarks and although the optimal choice of decision diagram variant depends on given problem, in general TBDD proved to be the best choice in terms of the resulting graph size and also CPU time.	en
dc.description.mark	A	cs
dc.identifier.citation	PAULOVČÁK, M. Knihovna pro binární rozhodovací diagramy [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129093	cs
dc.identifier.uri	http://hdl.handle.net/11012/191672
dc.language.iso	sk	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	binárne rozhodovacie diagramy	sk
dc.subject	booleovské funkcie	sk
dc.subject	ROBDD	sk
dc.subject	BDD	sk
dc.subject	ZDD	sk
dc.subject	CBDD	sk
dc.subject	CZDD	sk
dc.subject	TBDD	sk
dc.subject	ESRBDD	sk
dc.subject	binary decision diagrams	en
dc.subject	boolean functions	en
dc.subject	ROBDD	en
dc.subject	BDD	en
dc.subject	ZDD	en
dc.subject	CBDD	en
dc.subject	CZDD	en
dc.subject	TBDD	en
dc.subject	ESRBDD	en
dc.title	Knihovna pro binární rozhodovací diagramy	sk
dc.title.alternative	A Library for Binary Decision Diagrams	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-07-09	cs
dcterms.modified	2020-07-17-15:04:26	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129093	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:31:34	en
sync.item.modts	2025.01.15 16:46:53	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Knihovna pro binární rozhodovací diagramy

Files

Original bundle

Collections