Zusammenfassung und Ausblick
In dieser Arbeit wurden Spiele auf Spielstrukturen untersucht. Hierbei handelt es sich um eine Art von Zwei-Spieler-Spielen, die auf einem gerichteten Graphen gespielt werden. Die Knoten des Graphen, welche Zustände heißen, werden den Spielern zugeordnet
- PDF / 858,400 Bytes
- 80 Pages / 419.52 x 595.2 pts Page_size
- 95 Downloads / 138 Views
Mit „BestMasters“ zeichnet Springer die besten Masterarbeiten aus, die an renommierten Hochschulen in Deutschland, Österreich und der Schweiz entstanden sind. Die mit Höchstnote ausgezeichneten Arbeiten wurden durch Gutachter zur Veröffentlichung empfohlen und behandeln aktuelle Themen aus unterschiedlichen Fachgebieten der Naturwissenschaften, Psychologie, Technik und Wirtschaftswissenschaften. Die Reihe wendet sich an Praktiker und Wissenschaftler gleichermaßen und soll insbesondere auch Nachwuchswissenschaftlern Orientierung geben.
Uli Schlachter
Energie- und Paritätsgewinnbedingungen auf Spielstrukturen Mit einem Geleitwort von Prof. Dr. Eike Best
Uli Schlachter Oldenburg, Deutschland
BestMasters ISBN 978-3-658-12536-3 ISBN 978-3-658-12537-0 (eBook) DOI 10.1007/978-3-658-12537-0 Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliogra¿e; detaillierte bibliogra¿sche Daten sind im Internet über http://dnb.d-nb.de abrufbar. Springer Vieweg © Springer Fachmedien Wiesbaden 2016 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikrover¿lmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Der Verlag, die Autoren und die Herausgeber gehen davon aus, dass die Angaben und Informationen in diesem Werk zum Zeitpunkt der Veröffentlichung vollständig und korrekt sind. Weder der Verlag noch die Autoren oder die Herausgeber übernehmen, ausdrücklich oder implizit, Gewähr für den Inhalt des Werkes, etwaige Fehler oder Äußerungen. Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier Springer Vieweg ist Teil von Springer Nature Die eingetragene Gesellschaft ist Springer Fachmedien Wiesbaden GmbH
Geleitwort Petrinetze sind ein wichtiges Arbeitsthema in meiner Abteilung „Parallele Systeme“ im Department für Informatik an der Carl von Ossietzky Universität Oldenburg. Auf diesem Gebiet sind viele Entscheidungsfragen noch offen, zum Beispiel das Problem, ob die Verdopplung des Initialzustands eines Petrinetzes die gleiche Sprache generiert wie die disjunkte Vereinigung dieses Netzes mit sich selbst. Da dieses Problem auf den ersten Blick einem Paritätsspiel ähnelt, fand ich es reizvoll, das Papier Solving Parity Games on Integer Vectors (P.A. Abdulla, R. Mayr, A. Sagnier, J. Sproston) aus dem Jahr 2013 und dessen (Un-) Entscheidbarkeitsaussagen auf mögliche Verwendung zu untersuchen. Herr Schlachter hat sich dieses Themas in der vorliegenden, von mir betreuten MSc-Arbeit angenommen. Vom genannten Papier ausgehend, hat er zunächst eine “
Data Loading...
