|
|||||
|
|
| 弗洛伊登塔尔不可能之谜的机械化算法 | |
| 摘 要： | 1969年荷兰数学家汉斯·弗洛伊登塔尔提出的"和与积之谜",涉及到整数分拆和因子分解的基本性质,这个表述非常简单的问题表面上看是一个不可能解决的谜题.文章从自动推理智能体的视角,用浅显而严格的语言解释弗洛伊登塔尔问题的求解过程,可作为计算机搜索程序的设计参照.文章从弗洛伊登塔尔问题延伸定义了弗洛伊登塔尔数(Freudenthal numbers, F数)序列,通过计算机数学实验探讨了F数序列的性质,提出了几个有趣的未解决问题. |
| 本文献已被 CNKI 等数据库收录！ | |