×
阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;沃尔特·福格勒

超边替换图语言上决策问题的元定理。 （英语） Zbl 0674.68047号

学报信息。 26，第7号，657-677（1989）.
如果一个图论性质在某种程度上与超边替换图语法的推导过程兼容，那么该性质对于相应的图语言是可判定的。更确切地说，我们考虑两个问题：（1）生成的语言中是否存在具有该属性的图？（2） 生成的语言中的所有图形都具有该属性吗？在这两种情况下，我们都得到了作为输入的所有超边替换图文法的可判定性。着色性、哈密顿性和平面性被证明是相容的，因此我们的可判定性结果适用于它们。
审核人：A.哈贝尔

引用于10文件

MSC公司：

65年第68季度 形式语言和自动机
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

图形语言;超边缘替换;图建模
PDF格式BibTeX公司 XML格式引用
\textit{A.Habel}等人，《学报》第26期，第7期，第657--677页（1989年；Zbl 0674.68047）
全文： 内政部

参考文献：

[1] Claus，V.，Ehrig，H.，Rozenberg，G.（编辑）：图形语法及其在计算机科学和生物学中的应用。莱克特。注释计算。科学。73 (1979) ·Zbl 0398.00019号
[2] Courcelle，B.：关于无上下文图集及其一元二阶理论。莱克特。注释计算。科学。291, 133-146 (1987) ·Zbl 0643.68105号
[3] Ehrig，H.，Nagl，M.，Rozenberg，G.（编辑）：图形语法及其在计算机科学中的应用，（第二次国际研讨会）。莱克特。注释计算。科学。153 (1983) ·Zbl 0512.00027号
[4] Ehrig，H.，Nagl，M.，Rozenberg，G.，Rosenfeld，A.（编辑）：图形语法及其在计算机科学中的应用，（第三届国际研讨会）。莱克特。注释计算。科学。291 (1987) ·Zbl 0636.00013号
[5] Habel，A.：与图形推导兼容的图论属性。程序。计算机科学中的图论概念。注释计算。科学。344, 11-29 (1989)
[6] Habel，A.，Kreowski，H.-J.：关于边替换生成的无上下文图形语言。莱克特。注释计算。科学。153, 143-158 (1983) ·Zbl 0522.68071号 ·doi:10.1007/BFb0000104
[7] Habel，A.，Kreowski，H.-J.：边替换生成的图形语言的特征，Theoret。公司。科学。51, 81-115 (1987) ·Zbl 0636.68100号 ·doi:10.1016/0304-3975（87）90050-8
[8] Habel，A.，Kreowski，H.-J.：我们可以向您介绍：Hyperedge替换。莱克特。注释计算。《科学》291，15-26（1987）·兹比尔0643.68106
[9] Habel，A.，Kreowski，H.-J.：超边缘替换生成的超图语言的一些结构方面。莱克特。注释计算。科学。247, 207-219 (1987) ·Zbl 0635.68077号 ·doi:10.1007/BFb0039608
[10] Habel，A.，Kreowski，H.-J.，Vogler，W.：兼容的图形属性对于Hyperedge替换图形语言来说是可决定的。EATCS牛市。33，55-62（1987年）·Zbl 0664.68076号
[11] Habel，A.，Kreowski，H.J.，Vogler，W.：超边替换图文法的可判定有界问题。程序。塔普索特89。莱克特。注释计算。科学。351, 275-289 (1989) ·Zbl 0674.68047号
[12] Janssens，D.，Rozenberg，G.，Welzl，E.：NLC语法的有界度问题是可决定的。J.计算。系统。科学。33, 415-422 (1986) ·Zbl 0625.68057号 ·doi:10.1016/0022-0000（86）90060-7
[13] Kreowski，H.-J.：规则树可以帮助避免硬图问题。（未发表的手稿）
[14] Lautemann，C.：分解树：结构化图形表示和高效算法。程序。CAAP’88。莱克特。注释计算。科学。299, 28-39 (1988) ·Zbl 0645.68074号 ·doi:10.1007/BFb0026094
[15] Lengauer，T.：层次定义图上双连通问题的有效解。程序。85年工作组成员，林茨：特劳纳，201-215（1985）
[16] Lengauer，T.，Wanke，E.：无上下文图形语言中图形属性的有效分析。程序。ICALP’88年。莱克特。注释计算。科学。317, 379-393 (1988) ·Zbl 0649.68076号
[17] Rozenberg，G.，Welzl，E.：边界NLC图语法？基本定义、范式和复杂性。信息控制69，136-167（1986）·Zbl 0608.68060号 ·doi:10.1016/S0019-9958（86）80045-6
[18] Rozenberg，G.，Welzl，E.：边界NLC图形语言族的图论闭包性质。《学报》第23期，第289-309页（1986年）·Zbl 0606.68070号 ·doi:10.1007/BF00289115
[19] Slisenko，A.O.：作为描述困难问题多项式时间子类的工具的上下文无关语法。信息处理。莱特。14, 52-56 (1982) ·Zbl 0486.68034号 ·doi:10.1016/0020-0190（82）90086-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。