理查德·伯德（Richard S.Bird）。 用于扩展图形的原位算法。 （英语） Zbl 1266.68142号 J.功能。程序。 23，第2期，174-184（2013）. 小结：这颗珍珠致力于解决Don Knuth提出的一个问题，即如何证明一种基于数组的算法能够改变无向图的表示方式。为了设置场景，我们将精确问题的描述推迟到第4节。克努特[“一个令人困惑的问题的解决方案”，摘自Donald Knuth（2011；Zbl 1237.00033号)]记录了三种不同的解决方案，尽管没有提供正确性的证据，甚至没有对其工作原因进行太多解释。最近，他询问了许多对正式程序开发感兴趣的计算机科学家，是否有任何建议的解决方案“能够以有条理的方式被发现”。在接下来的内容中，我们通过开发一个纯粹的功能性解决方案来应对。该解决方案大量使用Haskell库Data中的操作。数组，整个练习是对图和数组算术的一次引人入胜的研究。问题的一个条件是最终算法必须在原地，但我们将在适当的时候实现。 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 68甲18 函数编程和lambda演算 05C62号 图形表示（几何和交点表示等） 05C85号 图形算法（图形理论方面） 关键词：基于阵列的算法;Haskell库 引文：Zbl 1237.00033号 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}，J.Funct。程序。23，第2号，174--184（2013；Zbl 1266.68142） 全文： DOI程序 参考文献： [1] 摘自唐纳德·科努特（2011）的论文《一个伴侣》（A Companion to the Papers of Donald Knuth） [2] 《使用Haskell的函数编程导论》（1998） [3] 函数算法设计之珠（2010）·Zbl 1229.68026号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。