格雷厄姆·坎贝尔;Brian Courtehoute先生;丰满，细节 GP 2中的线性时间图算法。 （英语） Zbl 07649899号 Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第16条，第23页（2019）。 概述：GP 2是一种基于图形转换规则的实验性编程语言，旨在促进程序分析和验证。然而，在基于规则的语言中高效地实现图形算法具有挑战性，因为图形模式匹配的成本很高。GP 2通过提供在温和条件下可以在恒定时间内匹配的根深蒂固的规则来缓解此问题。本文针对三个问题：树识别、二元有向无环图（DAG）识别和拓扑排序，提出了线性时间GP 2程序。在每种情况下，我们都证明了程序的正确性，证明了它的线性时间复杂性，并给出了线性运行时间的经验证据。对于DAG识别和拓扑排序，线性行为是通过基于图中堆栈编码的深度优先搜索策略实现的。关于整个系列，请参见[兹比尔1433.68034]. 引用于1文件 MSC公司： 68季度xx 计算理论 关键词：图形变换;根图形程序;第2组;线性时间算法;深度优先搜索;拓扑排序 软件：石溪;变身;第2组;AGG公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Campbell}等人，LIPIcs——莱布尼茨国际程序。通知。139，第16条，第23页（2019年；Zbl 07649899） 全文： 内政部 参考文献： [1] Aditya Agrawal、Gabor Karsai、Sandeep Neema、Feng Shi和Attila Vizhanyo。模型转换语言的设计。软件和系统建模，5（3）：261-2882006。doi:10.1007/s10270-006-0027-7·doi:10.1007/s10270-006-0027-7 [2] 阿尔弗雷德·阿霍（Alfred V.Aho）、约翰·霍普克罗夫特（John E.Hopcroft）和杰弗里·乌尔曼（Jeffrey D.Ullman）。计算机算法的设计与分析。Addison-Wesley，1974年·Zbl 0326.68005号 [3] 托尔斯滕·阿伦特（Thorsten Arendt）、恩里科·比尔曼（Enrico Biermann）、斯特凡·尤拉克（Stefan Jurack）、克里斯蒂安·克劳斯（Christian Krause）和加布里埃尔·坦泽（Gabriele Taentzer）。Henshin：用于就地EMF模型转换的高级概念和工具。在模型驱动工程语言和系统（MODELS 2010）中，计算机科学讲义第6394卷，第121-135页。施普林格，2010年。doi:10.1007/978-3642-16145-29·doi:10.1007/978-3642-16145-29 [4] 克里斯托弗·巴克。GP2：图形编程语言的高效实现。约克大学计算机科学系博士论文，2015年。网址：http://etheses。怀特罗斯ac.uk/12586/。 [5] Christopher Bak和Detlef Plump。根图形程序。程序中。基于图形的工具国际研讨会（GraBaTs，2012年），欧洲广告标准联盟电子通信第54卷，2012年。doi:10.14279/tuj.eceasst.54.780·doi:10.14279/tuj.eceasst.54.780 [6] Christopher Bak和Detlef Plump。将图形程序编译到C.In Proc。图形转换国际会议（ICGT 2016），LNCS第9761卷，第102-117页。 [7] 施普林格，2016年。doi:10.1007/978-3-319-40530-8_7·数字对象标识代码：10.1007/978-3-319-40530-87 [8] 海科·多尔。《高效图形重写及其实现》，计算机科学讲义第922卷。斯普林格，1995年。doi:10.1007/BFb0031909·Zbl 1154.68435号 ·doi:10.1007/BFb0031909 [9] 哈特穆特·埃里格（Hartmut Ehrig）、克劳迪娅·埃尔梅尔（Claudia Ermel）、乌尔里克·戈拉斯（Ulrike Golas）和弗兰克·赫尔曼（Frank Hermann）。图形和模型转换。理论计算机科学专著。斯普林格，2015年。doi:10.1007/978-3-662-47980-3·Zbl 1341.68002号 ·数字对象标识代码：10.1007/978-3-662-47980-3 [10] 玛丽贝尔·费尔南德斯（Maribel Fernández）、海尔·基什内尔（Hélène Kirchner）、伊恩·麦基（Ian Mackie）和布鲁诺·皮诺（Bruno Pinaud）。复杂系统的可视化建模：面向PORGY的抽象机器。程序中。《欧洲的可计算性》（CiE 2014），《计算机科学讲义》第8493卷，第183-193页。斯普林格，2014年。doi:10.1007/978-3-319-08019-2-19·Zbl 1432.68252号 ·doi:10.1007/978-3-319-08019-2-19 [11] 埃米尔·侯赛因·加马里安（Amir Hossein Ghamarian）、马尔滕·德·莫尔（Maarten de Mol）、阿伦德·伦辛克（Arend Rensink）、爱德华多·赞邦（Eduardo Zambon）和玛丽亚·齐马科娃（Maria Zimakova。使用GROOVE进行建模和分析。《国际技术转让软件工具杂志》，14（1）：15-402012年。doi:10.1007/s10009-011-0186-x·doi:10.1007/s10009-011-0186-x [12] Annegret Habel和Detlef Plump。图变换中的重标。程序中。图形变换国际会议（ICGT 2002），计算机科学讲义第2505卷，第135-147页。斯普林格，2002年。doi:10.1007/3-540-45832-8_12·Zbl 1028.68071号 ·doi:10.1007/3-540-45832-8_12 [13] 艾维洛·赫里斯塔基耶夫和德特勒夫·普拉普。检查图形程序的汇流。软件技术：应用和基础-STAF 2017联合研讨会，修订论文选集，计算机科学讲义第10748卷，第92-108页。施普林格，2018年。doi:10.1007/978-3-319-74730-98·Zbl 1496.68081号 ·数字对象标识代码：10.1007/978-3-319-74730-98 [14] Edgar Jakumeit、Sebastian Buchwald和Moritz Kroll。GrGen公司。NET—一个表现力强、方便快捷的图形重写系统。国际技术转让软件工具杂志，12（3-4）：263-2712010。doi:10.1007/s10009-010-0148-8·doi:10.1007/s10009-010-0148-8 [15] Detlef Plump酒店。GP 2的设计。程序中。《重写和编程中的简化策略研讨会》（WRS 2011），《理论计算机科学电子论文集》第82卷，第1-16页，2012年。doi:10.4204/EPTCS.82.1·doi:10.4204/EPTCS.82.1 [16] Detlef Plump酒店。从强制图形程序到基于规则的图形程序。《程序设计中的逻辑和代数方法杂志》，88:154-1732017年。doi:10.1016/j.jlamp.2016.12.001·Zbl 1362.68032号 ·doi:10.1016/j.jlamp.2016.12.001 [17] Christopher M.Poskitt和Detlef Plump。图形程序的Hoare-style验证。Funda-menta Informaticae，118（1-2）：135-1752012年。doi:10.3233/FI-2012-708·Zbl 1284.68333号 ·doi:10.3233/FI-2012-708 [18] Christopher M.Poskitt和Detlef Plump。验证图形程序的一元二阶属性。程序中。国际图形转换会议（ICGT 2014），《计算机科学讲义》第8571卷，第33-48页。斯普林格，2014年。doi:10.1007/978-3-319-09108-2_3·Zbl 1425.68080号 ·doi:10.1007/978-3-319-09108-23 [19] 奥尔加·伦格（Olga Runge）、克劳迪娅·埃尔梅尔（Claudia Ermel）和加布里埃尔·坦泽尔（Gabriele Taentzer）。AGG 2.0-用于指定和分析代数图转换的新功能。程序中。图变换与产业关联的应用（AGTIVE 2011），计算机科学讲义第7233卷，第81-88页。施普林格，2012年。doi:10.1007/978-3-642-34176-2_8·doi:10.1007/978-3-642-34176-28 [20] 罗伯特·塞奇威克。C.算法第5部分：图形算法。Addison-Wesley，第三版，2002年·Zbl 0717.68005号 [21] 史蒂文·斯基纳。算法设计手册。施普林格，第二版，2008年。doi:10.1007/978-1-84800-070-4·Zbl 1149.68081号 ·数字对象标识代码：10.1007/978-1-84800-070-4 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。