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öße | Format | |
---|---|---|---|---|
SEKI-Report-SR-87-10_Socher_Graph-Isomorphism-Some-special-cases.pdf | 834,47 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.