Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Komplexitätsklasse"”.
-
Parameterized Algorithmics for Network Analysis
… können Probleme, welche schwer bezüglich der Komplexitätsklasse W[1] sind, wahrscheinlich nicht in dieser Laufzeit gelöst werden. In dieser Arbeit werden sowohl Festparameterhandhabbarkeits- als auch W[1]-Schwere-Resultate für Probleme aus den beiden genannten Anwendungsgebieten präsentiert. …
-
Vergleichen und Aggregieren von partiellen Ordnungen
… für partielle Ordnungen teilweise außerhalb der Komplexitätsklasse NP. Die Arbeit schließt mit einem Ausblick auf offene Problemstellungen.
-
Abstract state machines: verification problems and complexity
Abstract state machines (ASMs) provide the formal foundation for a successful methodology for specification and verification of complex dynamic systems. In addition, ASMs induce a computation model on structures, which – in some sense – is more powerful and universal than the standard computation …