The complexity of membership problems for finite recurrent systems and minimal triangulations

Die Komplexität der Enthaltenseinprobleme für rekurrente Systeme und minimale Triangulationen

Please always quote using this URN: urn:nbn:de:bvb:20-opus-18837
  • The dissertation thesis studies the complexity of membership problems. Generally, membership problems consider the question whether a given object belongs to a set. Object and set are part of the input. The thesis studies the complexity of membership problems for two special kinds of sets. The first problem class asks whether a given natural number belongs to a set of natural numbers. The set of natural numbers is defined via finite recurrent systems: sets are built by iterative application of operations, like union, intersection,The dissertation thesis studies the complexity of membership problems. Generally, membership problems consider the question whether a given object belongs to a set. Object and set are part of the input. The thesis studies the complexity of membership problems for two special kinds of sets. The first problem class asks whether a given natural number belongs to a set of natural numbers. The set of natural numbers is defined via finite recurrent systems: sets are built by iterative application of operations, like union, intersection, complementation and arithmetical operations, to already defined sets. This general problem implies further problems by restricting the set of used operations. The thesis contains completeness results for well-known complexity classes as well as undecidability results for these problems. The second problem class asks whether a given graph is a minimal triangulation of another graph. A graph is a triangulation of another graph, if it is a chordal spanning supergraph of the second graph. If no proper supergraph of the first graph is a triangulation of the second graph, the first graph is a minimal triangulation of the second graph. The complexity of the membership problem for minimal triangulations of several graph classes is investigated. Restricted variants are solved by linear-time algorithms. These algorithms rely on appropriate characterisations of minimal triangulations.show moreshow less
  • Die Dissertation beschäftigt sich mit der Komplexität von Enthaltenseinproblemen. Allgemein gesprochen, interessieren sich Enthaltenseinprobleme für die Frage, ob ein gegebenes Objekt zu einer Menge gehört. Sowohl Objekt als auch Menge sind Teil der Eingabe. Die Arbeit untersucht die Komplexität dieser Fragestellung für zwei konkrete Mengenklassen. Zum ersten soll entschieden werden, ob eine natürliche Zahl zu einer Menge natürlicher Zahlen gehört. Entscheidend für die Komplexität dieses Problems ist die Darstellung der Menge natürlicherDie Dissertation beschäftigt sich mit der Komplexität von Enthaltenseinproblemen. Allgemein gesprochen, interessieren sich Enthaltenseinprobleme für die Frage, ob ein gegebenes Objekt zu einer Menge gehört. Sowohl Objekt als auch Menge sind Teil der Eingabe. Die Arbeit untersucht die Komplexität dieser Fragestellung für zwei konkrete Mengenklassen. Zum ersten soll entschieden werden, ob eine natürliche Zahl zu einer Menge natürlicher Zahlen gehört. Entscheidend für die Komplexität dieses Problems ist die Darstellung der Menge natürlicher Zahlen. Es werden rekurrente Systeme verwendet, die Mengen natürlicher Zahlen durch iterierte Anwendung einfacher Operationen, wie die drei Mengenoperationen Vereinigung, Durchschnitt, Komplementbildung und arithmetische Operationen, auf bereits konstruierte Mengen definieren. Beschränkt man die Menge verwendeter Operationen, ergibt sich eine Vielzahl von Problemen, deren Komplexitäten bestimmt werden. Es werden Vollständigkeitsresultate für bekannte Komplexitätsklassen wie auch Unentscheidbarkeit gezeigt. Zum zweiten soll entschieden werden, ob ein Graph eine minimale Triangulation eines anderen Graphen ist. Ein Graph ist Triangulation eines anderen Graphen, wenn er ein chordaler aufspannender Obergraph des zweiten Graphen ist. Ist kein echter Obergraph des ersten Graphen eine Triangulation des zweiten Graphen, so ist der erste Graph eine minimale Triangulation des zweiten Graphen. Ein Graph kann mehrere minimale Triangulationen besitzen. Untersucht wird die Komplexität des Enthaltenseinproblems für minimale Triangulationen für verschiedene Graphenklassen, und es werden Linearzeitalgorithmen zur Lösung einer eingeschränkten Variante des jeweiligen Problems angegeben. Die Algorithmen basieren alle auf geeigneten Charakterisierungen minimaler Triangulationen.show moreshow less

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author: Daniel Meister
URN:urn:nbn:de:bvb:20-opus-18837
Document Type:Doctoral Thesis
Granting Institution:Universität Würzburg, Fakultät für Mathematik und Informatik
Faculties:Fakultät für Mathematik und Informatik / Institut für Informatik
Date of final exam:2006/06/26
Language:English
Year of Completion:2006
Dewey Decimal Classification:5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik
GND Keyword:Komplexität; Triangulation
Tag:Enthaltenseinproblem; Komplexität; minimale Triangulationen; rekurrente Systeme
complexity; finite recurrent systems; membership problem; minimal triangulations
CCS-Classification:F. Theory of Computation / F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3) / F.2.2 Nonnumerical Algorithms and Problems (E.2-5, G.2, H.2-3)
Release Date:2006/08/02
Advisor:Prof. Dr. Klaus W. Wagner