德拉甘博什纳奇基;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 基于交换性的边缘精益搜索。 （英语） Zbl 1171.68444号 Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596158-170（2007）。 摘要：通过搜索探索图形是各种应用程序最基本的构建块之一。在具有巨大状态空间的环境中，例如在测试和验证中，优化搜索可能至关重要。我们考虑访问图中所有状态的问题，其中边是由操作生成的，并且（可到达的）状态事先未知。一些操作可能会相互转换，即它们在执行的每个顺序中都会产生相同的状态（这是由不同的流程独立执行操作的情况）。我们展示了如何使用交换性来实现状态的完全覆盖，同时遍历更少的边。关于整个系列，请参见[Zbl 1119.68002号]. 引用于1文件 MSC公司： 68页第10页 搜索和排序 60年第68季度 规范和验证（程序逻辑、模型检查等） 68兰特 计算机科学中的图论（包括图形绘制） PDF格式BibTeX公司 XML格式引用 \textit{D.Bošnački}等人，莱克特。注释计算。科学。4596、158--170（2007年；Zbl 1171.68444） 全文： DOI程序