用于回溯搜索的 Monad 变换器
编程语言
2014-06-10 v1
摘要
本文将 Escardo 和 Oliva 的选择 monad 扩展为选择 monad 变换器，这是一种在 Haskell 中表达回溯搜索算法的通用 monadic 框架。文中还讨论了使用密切相关的 continuation monad 变换器实现类似目的的情况，包括一个无需显式递归的类 DPLL SAT 求解器的实现。延续探索选择函数与博弈论之间联系的工作路线，我们将选择 monad 变换器与非确定性 monad 结合，为某类非确定性博弈获得了直观的逆向归纳概念。
引用
@article{arxiv.1406.2058,
title = {Monad Transformers for Backtracking Search},
author = {Jules Hedges},
journal= {arXiv preprint arXiv:1406.2058},
year = {2014}
}
备注
In Proceedings MSFP 2014, arXiv:1406.1534