On commutativity based Edge Lean search
On commutativity based Edge Lean search
复制标题
基于交换律的边缘精益搜索
DOI：
10.1007/s10472-009-9167-0
复制
发表时间：
2009
影响因子：
1.2
通讯作者：
Bošnacki D
中科院分区：
文献类型：
--
作者：
Bošnacki D
状态空间搜索问题是计算机科学许多领域的基础，例如人工智能和形式化方法。通常，要搜索的状态空间非常大，因此优化搜索是一个重要的问题。在本文中，我们考虑了在状态之间的转换是由动作产生的，并且（可到达的）状态是未知的情况下访问所有状态的问题。有些操作可能会交换，也就是说，它们在每个执行顺序中都导致相同的状态。我们展示了如何使用交换性来实现状态的完全覆盖，同时遍历相对较少的边。
The problem ofstate space searchis fundamental to many areas of computer science, such as, e.g., AI and formal methods. Often, the state space to be searched is huge, so optimizing the search is an important issue. In this paper, we consider the problem of visiting all states in the setting where transitions between states are generated by actions, and the (reachable) states are not known in advance. Some of the actions may commute, i.e., they result in the same state for every order in which they are taken. We show how to use commutativity to achieve full coverage of the states, while traversing a relatively small number of edges.
软件的假设保证模型检查：比较案例研究
影响因子：
1.8
作者：
C. Păsăreanu;Matthew B. Dwyer;M. Huth
通讯作者：
M. Huth
影响因子：
3.4
作者：
T. Basten;D. Bosnacki;M. Geilen
通讯作者：
M. Geilen
重新审视状态空间缓存
影响因子：
0.8
作者：
Patrice Godefroid;G. Holzmann;Didier Pirottin
通讯作者：
Didier Pirottin