论算法概念的形式化
计算复杂性
2024-09-05 v2 数据结构与算法
计算机科学中的逻辑
摘要
本文的出发点是从数学和计算机科学文献中的标准著作对算法是什么的非正式描述中提炼出的一组算法属性。在此基础上，引入了原算法的概念。其思想是，算法是在某种等价关系下的原算法的等价类。定义了三种等价关系。其中两种给出了一个合适的等价关系必须介于其间的界限。第三种介于这两者之间，很可能是一个合适的等价关系。提出了一种可靠的方法，使用基于ACP的命令式进程代数，来证明这种等价关系在两个原算法之间成立。
引用
@article{arxiv.2401.08366,
title = {On the formalization of the notion of an algorithm},
author = {C. A. Middelburg},
journal= {arXiv preprint arXiv:2401.08366},
year = {2024}
}
备注
22 pages, revision of v1, presentation improved at several places and some minor errors corrected