Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-12033
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.advisor | Diekert, Volker (Prof. Dr. rer. nat.) | - |
dc.contributor.author | Weiß, Armin | - |
dc.date.accessioned | 2022-03-16T14:51:30Z | - |
dc.date.available | 2022-03-16T14:51:30Z | - |
dc.date.issued | 2021 | de |
dc.identifier.other | 1795794836 | - |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-120506 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/12050 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-12033 | - |
dc.description.abstract | In dieser kumulativen Habilitationsschrift werden sechs Arbeiten zum Thema "Schaltkreiskomplexität von Gruppentheoretischen Problemen" zusammengefasst. An vorderster Stelle steht hierbei das Wortproblem: Gegeben ein Wort über den Erzeugern einer Gruppe, ist die Frage, ob das Wort das Einselement der Gruppe darstellt. Daneben werden noch weitere Probleme, wie das Konjugationsproblem, das Power-Wortproblem (wie das Wortproblem, aber die Eingabe wird in komprimierter Form gegeben) und das Lösen von Gleichungen betrachtet. Die meisten der hier zusammengefassten Arbeiten betrachten die genannten Probleme für spezielle Klassen von Gruppen und klassifizieren deren Komplexität mit Methoden der Schaltkreiskomplexität. Eine Ausnahme bildet die letzte Arbeit zum Thema Gleichungen: hier liegt der Zusammenhang zur Schaltkreiskomplexität darin, dass sich das Erfüllbarkeitsproblem für Gleichungen in endlichen auslösbaren Gruppen ähnlich verhält wie das Erfüllbarkeitsproblem für CC^0 Schaltkreise. | de |
dc.language.iso | en | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.ddc | 004 | de |
dc.subject.ddc | 510 | de |
dc.title | Circuit complexity of group theoretic problems | en |
dc.title.alternative | Schaltkreiskomplexität gruppentheoretischer Probleme | de |
dc.type | doctoralThesis | de |
ubs.dateAccepted | 2021-04-21 | - |
ubs.fakultaet | Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.publikation.seiten | XVI, 49 | de |
ubs.publikation.typ | Habilitation | de |
ubs.thesis.grantor | Informatik, Elektrotechnik und Informationstechnik | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
entwurf_FINAL.pdf | 832,55 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.