MALYSÁK, A. Implementace a porovnání přírodou inspirovaných prohledávacích algoritmů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.

Posudky

Posudek vedoucího

Sekanina, Lukáš

Student implementoval a porovnal několik algoritmů pro řešení 3-SAT problému. Dosažené výsledky přibližně odpovídají výsledkům (pro srovnatelné instance problému) prezentovaným v literatuře pro podobné algoritmy. Vzhledem k velmi aktivnímu přístupu studenta a velmi kvalitní technické zprávě navrhuji hodnocení stupněm A.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Jedná se o průměrně obtížné zadání, jehož cílem bylo implementovat a ověřit zvolené přírodou inspirované prohledávací algoritmy a porovnat je při řešení splnitelných instancí 3-SAT problému. Student provedl vlastní implementaci zvolených algoritmů, ověřil jejich funkčnost na běžně používaných datových sadách a pečlivě zpracoval technickou zprávu. 
Práce s literaturou Student samostatně vyhledával odbornou literaturu a využíval ji. 
Aktivita během řešení, konzultace, komunikace Student byl během řešení projektu aktivní, konzultace probíhaly dle potřeby. Na konzultace byl student dobře připraven a samostatně navrhoval vhodná pokračování řešení projektu.
Aktivita při dokončování Práce byla dokončena v dostatečném předstihu. Předfinální text práce byl konzultován, mé připomínky byly zapracovány.
Publikační činnost, ocenění Není mi známo.
Navrhovaná známka
A
Body
90

Posudek oponenta

Husa, Jakub

Vzhledem ke skvělému zpracování technické zprávy, množství implementovaných algoritmů, rozsahu provedených experimentů, jejich detailnímu vyhodnocení, a porovnání získaných výsledků s výsledky z literatury, navrhuji práci hodnotit stupněm 90 A.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání Celkově šlo o práci výzkumného charakteru. V rámci zadání bylo potřeba nastudovat problematiku evolučních prohledávacích algoritmů a řešení problému SAT. Zvolené algoritmy byly v technické zprávě správně popsány, a nad rámec požadavků zadání rozšířeny o metodu lokálního vyhledávání. Studijní část zadání byla obtížná, implementační naopak jednoduchá, celkové proto obtížnost zadání hodnotím jako průměrnou.
Rozsah splnění požadavků zadání Zadání bylo splněno v plném rozsahu.
Rozsah technické zprávy Rozsah technikcé zprávy je na horní hranici obvyklého rozmezí.
Prezentační úroveň technické zprávy 90 Prezentační úroveň technické zprávy je na vynikající úrovni. Práce je vhodně strukturována, jednotlivé kapitoly na sebe logicky navazují a obsahují všechny potřebné informace. Text je velmi čtivý a jednoduše srozumitelný. Teoretické informace jsou jasně odlišeny od myšlenek a přínosů studenta. Práce je také vhodně ilustrována. Grafy v kapitole 6 jsou vykresleny bez neúspěšných běhů, a jsou tak na první pohled zavádějící. Úspěšnost algoritmů je ale uvedena v přilehlých tabulkách. Velmi pozitivně hodnotím také to, že některé grafy jsou vykresleny jak s, tak i bez odlehlých hodnot, což výrazně usnadňuje jejich interpretaci.
Formální úprava technické zprávy 95 Z typografického hlediska je text práce v pořádku, a neobsahuje žádné významné typografické ani stylistické chyby. U některých rovnic chybí očíslování.
Práce s literaturou 80 Práce cituje dostatečné množství relevantních zdrojů. Práce s literaturou je na velmi dobré úrovni. V kapitole 3 bych ale uvítal její častější používání. U některých pod kapitol (3.1, 3.2) jsou citace uvedeny pouze u obrázků a algoritmů. V samotném textu ale zcela chybějí, a není tak jasné ze kterého ze zdrojů informace pochází.
Realizační výstup 95 Realizačním výstupem práce je program v jazyce Python, implementující popsané prohledávací algoritmy (Random Search, GA, FlipGA, BPSO, a BPSO s lokálním vyhledáváním) pro řešení problému 3-SAT. Zdrojový kód programu je poměrně krátký (637 řádků), přehledný a velmi dobře komentovaný. Program je jednoduše spustitelný a jeho výstupy odpovídají údajům uvedeným v technické zprávě. Výsledkem experimentů je zjištění vhodné parametrizace použitých algoritmů a vzájemné porovnání jejich výkonnosti.
Využitelnost výsledků Jde o experimentální výzkumnou studii, která by se po doplnění mohla stát základem vědeckého článku.
Navrhovaná známka
A
Body
90

Otázky

eVSKP id 155669