Benutzer: Gast  Login
Dokumenttyp:
Bachelorarbeit
Autor(en):
Cremer, Nils
Titel:
Verified Enumeration of Trees
Übersetzter Titel:
Verifiziertes Aufzählen von Bäumen
Abstract:
This thesis presents the verification of enumeration algorithms for trees. The first algorithm is based on the well known Prüfer-correspondence and allows the enumeration of all possible labeled trees over a fixed finite set of vertices. The second algorithm enumerates rooted, unlabeled trees of a specified size up to graph isomorphism. It allows for the efficient enumeration without the use of an intermediate encoding of the trees with level sequences, unlike the algorithm by Beyer and Hedet...     »
übersetzter Abstract:
Diese Arbeit beschreibt die Verifikation von Enumerationsalgorithmen von Bäumen. Der erste Algorithmus basiert auf der Prüfer-Korrespondenz und ermöglicht die Aufzählung von allen möglichen Bäumen mit einer fixen, endlichen Knotenmenge. Der zweite Algorithmus zählt gewurzelte, unbeschriftete Bäume einer gegebenen Größe bis auf Isomorphie auf. Er erlaubt eine effiziente Aufzählung ohne die Benutzung von Level-Sequenzen, anders als der Algorithmus von Beyer und Hedetniemi, welcher die Grundlage...     »
Fachgebiet:
DAT Datenverarbeitung, Informatik
DDC:
000 Informatik, Wissen, Systeme
Betreuer:
Karayel, Emin
Gutachter:
Nipkow, Tobias (Prof. Dr.)
Jahr:
2023
Seiten/Umfang:
20
Sprache:
en
Sprache der Übersetzung:
de
Hochschule / Universität:
Technische Universität München
Fakultät:
TUM School of Computation, Information and Technology
Präsentationsdatum:
24.05.2023
 BibTeX