Partially lossy queue monoids (or plq monoids) model the behavior of queues that can forget arbitrary parts of their content. While many decision problems on recognizable subsets in the plq monoid are decidable, most of them are undecidable if the sets are rational. In particular, in this monoid the…
Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018-02
In both Theoretical Computer Science and practical work it is a disappointing outcome if the considered problem is NP complete. There is almost no hope for an efficient algorithm. However, many approaches have been developed to overcome this barrier: - The study of parameterized complexity allows in…
Voting describes a joint decision making process where voters choose winners out of a set of candidates. Many voting systems entail difficult computational problems. This work investigates the winner and possible winner determination and the influence an external agent can exert by adding or deleting…
Diese Dissertation untersucht die Komplexität modifizierter Instanzen und inwiefern sich NP-vollständige Probleme unter minimaler Veränderung stabil verhalten. Wir betrachten für verschiedene NP-vollständige Probleme, ob die Kenntnis einer Lösung einer Instanz eine Hilfe beim Entscheiden einer geringfügig…
Diese Arbeit beschaeftigt sich mit dem Entwurf parametrisierter Algorithmen fuer Graphmodifikationsprobleme wie Feedback Vertex Set, Multicut in Trees, Cluster Editing und Closest 3-Leaf Powers. Anbei wird die Anwendbarkeit von vier Technicken zur Entwicklung parametrisierter Algorithmen, naemlich, Datenreduktion,…