Original title:
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací.
Translated title:
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací.
Authors:
Kuřík, Stanislav ; Čepek, Ondřej (advisor) ; Gregor, Petr (referee) Document type: Master’s theses
Year:
2010
Language:
eng Abstract:
[eng][cze] This thesis deals with the Boolean minimization problem. We discuss its time complexity in the general case for various representations of the input. Since this problem is known to be NP-complete, a survey of some of important classes for which it is polynomially solvable follows. The main part of this thesis presents a definition of a new class of Boolean functions, along with an algorithm for finding a minimal representation of a given function from this class in polynomial time. Finally, a generalization of this class is obtained and its minimization-related properties are discussed.Tématem práce je problém minimalizace Booleovských funkcí. Rozebírá složitost minimalizace v obecném případě pro různé vstupní reprezentace a protože ve všech zde uvažovaných případech jde o NP-úplný problém, následuje přehled několika důležitých tříd funkcí, pro něž je řešitelný efektivně. Těžištěm práce je difinice nové třídy Booleovských funkcí spolu s prezentací algoritmu, který pro funkce této třídy nalezne minimální reprezentaci v polynomiálním čase. Nakonec je diskováno zobecnění této třídy a jeho vlastnosti vzhledem k minimalizaci.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/26940