文件名称：sequencer:纯算法数字序列识别
文件大小：25KB
文件格式：ZIP
更新时间：2024-07-10 11:00:00
formula computer-algebra mathematics sequence identify-sequences
Sequencer——纯算法数字序列识别 音序器识别数字序列。 也就是说，给定一个数字列表，如 (a(n)) = 1, 2, 4, 8, 16, 32, ... 在这种情况下，它会找到一个生成它们的公式 a(n) = 2^(n-1) Sequencer 既不使用序列库，也不使用一组有限的算法来查找封闭形式。 相反，它会生成特定大小的所有公式，然后根据提供的数字检查它们。 对于验证，该系统使用混合方法，即快速数字检查器后跟由计算机代数系统驱动的符号验证器。 结合一些旨在快速生成潜在有趣公式的技巧和启发式方法，Sequencer 可以在商品硬件上运行时在几秒钟内识别具有非常复杂的封闭形式的序列。 Sequencer 能够找到超出任何现有系统（如 、 和封闭形式。 在涉及递推关系或不寻常的函数组合时，它尤其强大。 例如，上面提到的任何服务目前都无法理解序列 (a(n)) = 1, 1,
【文件预览】：
sequencer-master
----.gitignore(80B)
----project()
--------assembly.sbt(58B)
----src()
--------main()
----README.md(5KB)
----build.sbt(612B)