Komponenta výukového serveru TI - NP-úplné problémy 1

Abstract

Tato bakalářská práce se věnuje NP-úplným problémům a polynomiálním redukcím, které tvoří jeden ze základů teorie výpočetní složitosti. Cílem práce je usnadnit pochopení těchto pojmů pomocí interaktivní vizualizace. Teoretická část definuje základní třídy složitosti a podrobně rozebírá devět polynomiálních redukcí mezi klasickými problémy (SAT, 3-SAT, 3-obarvitelnost grafu, nezávislá množina, klika vgrafu avrcholové pokrytí). Praktickým výstupem je moderní webová aplikace vyvinutá vjazyce TypeScript pomocí knihovny React aframeworku Next.js. Vytvořený nástroj umožňuje uživatelům provádět převody mezi problémy, krok za krokem sledovat proces redukce apro výsledný problém následně nalézt řešení pomocí optimalizovaných algoritmů. Aby aplikace reagovala plynule, běží náročnější výpočty na pozadí pomocí technologie Web Worker. Práce tak slouží jako ucelený výukový nástroj pro studenty adalší zájemce oteoretickou informatiku.

This bachelor thesis focuses on NP-complete problems and polynomial reductions, which form the foundation of computational complexity theory. The main goal is to make these concepts easier to understand through interactive visualization. The theoretical part defines the basic complexity classes and details nine polynomial reductions between classic problems (SAT, 3-SAT, 3-Coloring, Independent Set, Clique, and Vertex Cover). The practical output is a modern web application developed in TypeScript using the React library and the Next.js framework. The tool allows users to perform reductions between problems, observe the reduction process step-by-step, and subsequently find a solution for the resulting problem using optimized algorithms. To ensure a smooth user experience, computationally heavy tasks run in the background using a Web Worker. The application serves as a comprehensive educational tool for students and anyone interested in theoretical computer science.