一种用于图搜索的平局打破模型
数据结构与算法
2015-01-27 v1
摘要
在本文中，我们考虑识别由图搜索产生的各种排序的问题。为此，我们引入了一个新的框架，即平局打破标签搜索 (Tie-Breaking Label Search, TBLS)，以处理广泛的搜索类型。这个新模型基于定义在标签集上的偏序，统一了 Krueger、Simonet 和 Berry (2011) 的通用标签搜索 (General Label Search, GLS) 形式主义，以及 Corneil 和 Krueger (2008) 的“模式条件”形式主义。它使我们能够推导出一些通用性质，包括针对许多常用搜索（如 BFS、DFS、LBFS 和 LDFS）的新模式条件（从而产生内存高效的证书）。此外，新模型允许轻松表达依赖于图顶点集先前（搜索）排序的多轮扫描搜索用法。
引用
@article{arxiv.1501.06148,
title = {A tie-break model for graph search},
author = {Derek G. Corneil and Jeremie Dusart and Michel Habib and Fabien de Montgolfier},
journal= {arXiv preprint arXiv:1501.06148},
year = {2015}
}