Diplomová práce se zabývá problematikou minimalizace logických funkcí pomocí Quine–McCluskeyho metody a jejího rozšíření o exaktní řešení druhé fáze minimalizace formulované jako úloha minimálního pokrytí. Téma práce je odborně relativně náročné, kombinuje oblasti Booleovy algebry, kombinatorické optimalizace a algoritmizace, a vyžaduje jak teoretické porozumění problematice, tak schopnost navrhnout a implementovat efektivní softwarové řešení. Původním vedoucím této práce byl prof. Šeda.

V teoretické části práce student přehledně shrnuje základy Booleovy algebry, principy minimalizace logických funkcí a popisuje Quine–McCluskeyho metodu včetně její výpočetní složitosti a souvislosti s úlohou minimálního pokrytí.

Za hlavní přínos práce považuji implementační část. Student navrhl a realizoval dvě varianty první fáze algoritmu: základní referenční implementaci a následně optimalizovanou verzi využívající bitovou reprezentaci termů a efektivnější generování kandidátů ke slučování. Součástí práce je rovněž vlastní implementace řešení druhé fáze pomocí metody větví a mezí. Pozitivně hodnotím také využití systému GAMS pro ověření správnosti výsledků a porovnání s heuristickým nástrojem Espresso.

Experimentální část práce je zpracována pečlivě a obsahuje testování na syntetických i reálných benchmarkových instancích ve formátu PLA. Student diskutuje časovou i paměťovou náročnost navrženého řešení a otevřeně uvádí limity exaktních metod při řešení rozsáhlejších úloh.

Po formální stránce je práce zpracována na velmi dobré úrovni. Text je přehledný, stylisticky kultivovaný a obsahuje odpovídající množství ilustrativních příkladů, schémat a pseudokódů.

Přestože by bylo možné některé části dále rozšířit, například hlubší teoretickou analýzu některých optimalizačních aspektů nebo širší srovnání s dalšími moderními přístupy, považuji práci za kvalitní a odborně hodnotný celek. Student splnil všechny cíle zadání a prokázal schopnost samostatné odborné práce i implementace netriviálních algoritmů.

Diplomovou práci doporučuji k obhajobě a navrhuji hodnocení A/výborně.

Diplomová práce se zabývá problematikou minimalizace logických funkcí pomocí Quine-McCluskeyho metody. Po stručné rešeršní části autor implementuje obě fáze této metody, nechybí srovnání, vyhodnocení.

Práce je zpracována systematicky a propojuje teoretické poznatky s praktickou implementací. Pozitivně hodnotím zejména vlastní návrh algoritmických řešení a snahu o optimalizaci jednotlivých částí metody. Přínosná je také experimentální část, ve které autor porovnává dosažené výsledky jak s referenčním modelem v systému GAMS, tak s heuristickým nástrojem Espresso.

K práci nemám větší výhrady, jen k části věnované Karnaughově mapě, v příkladě (str. 14) chybí vyznačení smyček, z nichž vychází minimalizovaný výraz, přičemž uvedený minimalizovaný výraz (14) navíc neodpovídá správnému výsledku. Další výtka, autor místy pracuje s pojmy a termíny bez předchozího vysvětlení či odkazu na jejich definici, která je uvedena až v pozdějších částech textu. 

I přes výše zmíněné nedostatky považuji zpracování za zdařilé, práce splňuje stanovené cíle, prokazuje schopnost autora samostatně řešit komplexní algoritmické úlohy. DP doporučuji k obhajobě a hodnotím známkou velmi dobře / B. Topics for thesis defence:

1. Když neberete v potaz počet vstupů, které jsou hlavní příčiny časové a paměťové náročnosti obou fází Quine-McCluskeyho metody? Napadá Vás, jak by se dalo zapracovat na vylepšení Vašich algoritmů v tomto smyslu?