Abstract
Conditions are developed which for all graph grammars satisfying them ensure that the isomorphism problem for the corresponding graph languages is solvable in polynomial time. The suitability of these conditions is proved by the presentation of an algorithm scheme. A large number of graph grammars that satisfy the conditions give rise to the polynomial solvability of the isomorphism problem for graph classes, for which such results are mostly new.
Preview
Unable to display preview. Download preview PDF.
References
K.S. BOOTH-C.J. COLBOURN, Problems Polynomially Equivalent to Graph Isomorphism, Techn. Rep. CS-77-04, Comp. Sci. Dep., Univ. Waterloo, 1979.
C.J. COLBOURN, The Complexity of Graph Isomorphism and Related Problems, Techn. Rep. 142/80 (Ph.D. Thesis), Dep. Comp. Sci., Univ. Toronto, 1980.
P. DELLA VIGNA-C. GHEZZI, Context-Free Graph Grammars, Information and Control 37 (1978), 207–233.
J.E. HOPCROFT-J.K. WONG, Linear Time Algorithm for Isomorphism of Planar Graphs, Proc. 6th ACM Symp. on Theory of Computing, Seattle (WA), 1974, 172–184.
D.S. JOHNSON, The NP-Completeness Column: An Ongoing Guide, Journal of Algorithms 2 (1981), 393–405.
M. KAUL, Linear Parsing of Graphs, this volume.
E.M. LUKS, Isomorphism of Graphs of Bounded Valence can be Tested in Polynomial Time, to appear in J. Comp. Syst. Sci.; short version in 21st IEEE Symp. Found. Comp. Sci., 1980, 42–49.
M. NAGL, A Tutorial and Bibliographical Survey on Graph Grammars, in “Graph-Grammars and Their Application to Computer Science and Biology” (V. Claus-H. Ehrig-G. Rozenberg, eds.), Lect. Notes Comp. Sci. 73 (1979), 70–126.
M. NAGL, “Graph-Grammatiken: Theorie, Implementierung, Anwendungen”, Friedr. Vieweg & Sohn, Braunschweig, 1979.
M. SCHNITZLER, Graph Grammars for Acyclic Digraphs, Discussion Paper 8005, Lehrstuhl Informatik III, RWTH Aachen, 1980.
M. SCHNITZLER, Untersuchungen zur Komplexität des Graphenisomorphie-Problems mit Hilfe von Graph-Grammatiken, Dissertation, RWTH Aachen, 1982.
J. VALDES-R.E. TARJAN-E.L. LAWLER, The Recognition of Series Parallel Digraphs, SIAM Journal on Computing 11 (1982), 298–313.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schnitzler, M. (1983). The isomorphism problem is polynomially solvable for certain graph languages. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds) Graph-Grammars and Their Application to Computer Science. Graph Grammars 1982. Lecture Notes in Computer Science, vol 153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000119
Download citation
DOI: https://doi.org/10.1007/BFb0000119
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12310-1
Online ISBN: 978-3-540-39897-4
eBook Packages: Springer Book Archive