主题
Search

Ferguson-Forcade 算法


用于确定是否存在整数 a_i 对于给定的实数 x_i 使得成立的首个实用算法

 a_1x_1+a_2x_2+...+a_nx_n=0,

或者确定不存在此类整数关系的界限(Ferguson 和 Forcade 1979 年)。因此,该算法成为 欧几里得算法n>=3 个变量的首个可行的推广。

Ferguson (1987) 随后设计了原始算法的非递归变体。Ferguson-Forcade 算法已被证明在最小关系大小的对数中是多项式时间的,但尚未证明在维度上是多项式的(Ferguson等人 1999 年)。


另请参阅

常数问题, 欧几里得算法, 整数关系, PSLQ 算法

使用 Wolfram|Alpha 探索

参考文献

Bailey, D. H. "涉及 pi, e, 和欧拉常数的常数超越性的数值结果。" Math. Comput. 50, 275-281, 1988.Bergman, G. "关于 Ferguson 和 Forcade 广义欧几里得算法的注释。" 未发表的笔记。伯克利,加利福尼亚州:加州大学伯克利分校,1980 年 11 月。Ferguson, H. R. P. "向量欧几里得算法存在性的简短证明。" Proc. Amer. Math. Soc. 97, 8-10, 1986.Ferguson, H. R. P. "构建 nZ 线性相关实数的线性关系的非归纳 GL(n,Z) 算法。" J. Algorithms 8, 131-145, 1987.Ferguson, H. R. P.; Bailey, D. H.; 和 Arno, S. "PSLQ 算法的分析,一种整数关系查找算法。" Math. Comput. 68, 351-369, 1999.Ferguson, H. R. P. 和 Forcade, R. W. "实数的欧几里得算法推广到高于二维的所有维度。" Bull. Amer. Math. Soc. 1, 912-914, 1979.Ferguson, H. R. P. 和 Forcade, R. W. "多维欧几里得算法。" J. reine angew. Math. 334, 171-181, 1982.Gibbs, W. W. "π 的数字切片。进行纯数学的新方法:实验性。" Sci. Amer. 288, 23-24, 2003 年 5 月。

在 Wolfram|Alpha 上被引用

Ferguson-Forcade 算法

请引用为

Weisstein, Eric W. "Ferguson-Forcade 算法。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Ferguson-ForcadeAlgorithm.html

学科分类