Diese Arbeit beschäftigt sich mit diversen Aspekten effizienter (also in Polynomzeit ausführbarer) Vorverarbeitung für NP-schwere Probleme im Kontext der Parameterisierten Komplexitätstheorie. Im Einzelnen geht es um Nichtstandardparameter, Linearzeitkernelisierung, Vorverarbeitung ohne Problemkern und parallelisierbare Turingkerne, welche alle von praktischer Relevanz sind. Besonders hervorzuheben ist das letztgenannte Thema, zu welchem erste theoretische Pionierarbeit geleistet wird.
Mathias Weller
Effiziente Vorverarbeitung Fixed-Parameter Tractability Graphen Kernelisation Kernelization NP-hard Problems preprocessin Networks Nichtstandardparameter Parameterisierte Komplexität Theoretische Informatik Truthtable Kernel Turing Kernel