Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40153
Titel: Graph isomorphism : Some special cases
VerfasserIn: Socher, Rolf
Sprache: Englisch
Erscheinungsjahr: 1987
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: This paper investigates some special cases of graphs with a small number of vertices or edges where a characteristic property of the vertices and edges already determines the graph up to isomorphism. We also present counterexamples that show the limits of this approach to the graph isomorphism problem. The main interest in graph isomorphism for automated deduction lies in the fact that the problem of deciding whether a clause is a variant of another clause is a generalization of the graph isomorphism problem.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-401533
hdl:20.500.11880/37661
http://dx.doi.org/10.22028/D291-40153
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 87,10
Datum des Eintrags: 17-Mai-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-87-10_Socher_Graph-Isomorphism-Some-special-cases.pdf834,47 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.