曾振柄¹，黄勇²

1. 上海大学数学系,上海 200444;2. 广州大学计算科技研究院,广州 510006

出版日期:2018-12-25发布日期:2019-02-22

A Mechanization of the Impossible Puzzle Raised by Hans Freudenthal from Intelligent Agents Point of View

ZENG Zhenbing¹ ,HUANG Yong²

1. Department of Mathematics, Shanghai University, Shanghai 200444; 2. Research Institute of Computation Science and Technology, Guangzhou University, Guangzhou 510006

Online:2018-12-25Published:2019-02-22







摘要
图/表
参考文献
相关文章
编辑推荐
-->Metrics
本文评论

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

分享此文:

()

[1]	陈振杰, 傅勤, 郁鹏飞, 张丹. 一类四阶抛物型偏微分多智能体系统的协调控制[J]. 系统科学与数学, 2021, 41(4): 898-912.
[2]	晋守博，李耀红，魏章志. 基于大通讯时滞的多智能体系统的控制协议研究[J]. 系统科学与数学, 2020, 40(9): 1531-1538.
[3]	张金凤，纪志坚，渠继军. 基于自同构和领导者对称的多智能体系统能控性[J]. 系统科学与数学, 2020, 40(4): 565-577.
[4]	唐益萍，傅勤，王雪松. 基于迭代学习的正则非线性多智能体系统的跟踪控制[J]. 系统科学与数学, 2019, 39(8): 1171-1183.
[5]	马羊琴，魏文军，李宗刚. 基于拓扑切换的异构多智能体系统协同输出调节[J]. 系统科学与数学, 2019, 39(6): 845-856.
[6]	张晓丹，刘开恩，纪志坚. 具有时变时滞多智能体系统二分一致性[J]. 系统科学与数学, 2018, 38(8): 841-851.
[7]	郭少岩，莫立坡，尹升鹏. 持续干扰下马尔科夫切换多智能体系统的均方一致性[J]. 系统科学与数学, 2017, 37(6): 1427-1438.
[8]	何英高，王翔宇. 基于二部图的多智能体系统加权分组一致性[J]. 系统科学与数学, 2017, 37(4): 1010-1020.
[9]	王平，贾英民. 具有有界输入领航者的二阶非线性多智能体系统的协调跟踪[J]. 系统科学与数学, 2016, 36(9): 1376-1387.
[10]	李健，沈艳军，刘允刚. 线性多智能体系统一致性的自适应动态规划求解方法[J]. 系统科学与数学, 2016, 36(7): 1016-1030.
[11]	张婷，李俊民. 基于${\it\Sigma}\Delta$量化的多智能体系统的量化一致性[J]. 系统科学与数学, 2016, 36(5): 617-632.
[12]	王龙，杜金铭. 多智能体协调控制的演化博弈方法[J]. 系统科学与数学, 2016, 36(3): 302-318.
[13]	崔玉龙，高利新，陈文海，郑海鹰. 离散时间下广义多智能体系统基于观测器的分布式一致协议[J]. 系统科学与数学, 2016, 36(3): 437-452.
[14]	李宗刚，张通州，谢广明. 一类异构线性多智能体系统最优输出跟踪的分析与控制[J]. 系统科学与数学, 2015, 35(7): 766-778.
[15]	蒋方翠. 具有非对称通信时滞和切换拓扑的高阶多智能体系统的一致性[J]. 系统科学与数学, 2015, 35(3): 258-269.

-->

PDF全文下载地址:

http://sysmath.com/jweb_xtkxysx/CN/article/downloadArticleFile.do?attachType=PDF&id=13503