树上良拟序的比较
编程语言
2013-09-23 v1 计算复杂性
数据结构与算法
摘要
良拟序（如同胚嵌入）通常用于确保程序分析和程序变换（特别是超编译）的终止性。我们比较了八种良拟序的区分能力及其计算复杂度。所研究的良拟序包括两个非常简单的示例、两个来自超编译文献的示例以及作者提出的四个新示例。我们还讨论了组合多种良拟序以获得具有更高区分能力的良拟序。这在列表中增加了 19 种更多的良拟序。
引用
@article{arxiv.1309.5130,
title = {A Comparison of Well-Quasi Orders on Trees},
author = {Torben Æ. Mogensen},
journal= {arXiv preprint arXiv:1309.5130},
year = {2013}
}
备注
In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557