罗兰·巴克豪斯;费雷拉，乔昂·F·。 重新计算理性：两次！ （英语） Zbl 1156.11308号 Audebaud，Philippe（编辑）等，《程序构造的数学》。2008年7月15日至18日，第九届国际会议，MPC 2008，法国马赛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70593-2/pbk）。计算机科学讲义5133，79-91（2008）。 摘要：我们推导了一种算法，该算法能够以两种不同的方式有效地枚举理性。一种方法是已知的，并归功于莫西·纽曼（Moshe Newman）；它对应于所谓的卡尔金-沃尔夫理性树的滥伐。第二种是新的，对应于斯特恩-布罗科特理性树的砍伐。我们证明了这两个枚举都来自相同的简单算法。这样，我们构造了一个Stern-Brocot枚举算法，其时间和空间复杂度与Newman算法相同。关于整个系列，请参见[Zbl 1142.68003号]. 引用于4文件 MSC公司： 11B75号 其他组合数论 05二氧化碳 树木 2016年11月 数字理论算法；复杂性 68甲18 函数编程和lambda演算 关键词：Calkin-Wolf树;Stern-Brocot树;算法推导;枚举算法;有理数 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.F.Ferreira}，莱克特。注释计算。科学。5133、79-91（2008年；Zbl 1156.11308） 全文： 内政部 参考文献： [1] 艾格纳，M。；齐格勒，G.，《从书中证明》（2004），海德堡：斯普林格，海德伯格·Zbl 1098.00001号 [2] 北卡罗来纳州卡尔金。；Wilf，H.S.，《重新计算理性》，《美国数学月刊》，107，4，360-363（2000）·Zbl 0983.11009号 ·doi:10.2307/2589182 [3] Dijkstra，E.W.，《保护命令、程序的不确定性和形式推导》，《ACM的通信》，第18、8、453-457页（1975年）·Zbl 0308.68017号 ·数字对象标识代码：10.1145/360933.360975 [4] Gibbons，J。；莱斯特，D。；Bird，R.，列举理性，《函数编程杂志》，16，3281-291（2006）·Zbl 1103.68444号 ·doi:10.1017/S0956796806005880 [5] 格雷厄姆·R·L。；Knuth，D.E。；Patashnik，O.，《具体数学：计算机科学基础》（1994），阅读：Addison-Wesley出版社，阅读·Zbl 0836.00001号 [6] Knuth，D.E。；鲁珀特，C.P。；A.史密斯。；Stong，R.，《重新计算理性》，续，《美国数学月刊》，第110、7、642-643页（2003年）·doi:10.2307/3647762 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。