一种面向计数问题的公式发现方法

• 作者: 朱耀辉 白宇 蔡东风
• 来源期刊: 沈阳航空航天大学学报
• 学科: 工学
• 关键词: 公式发现 机器发现 计数问题 模式分类 递推公式
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 信息科学与工程
• 页码范围: 61-67
• 页数: 7页
• 分类号: TP391.1
• 字数: 6301字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-1248.2016.05.012

摘要

在分析计数问题特点的基础之上,提出了一种面向计数问题的公式发现方法.该方法能根据给定的计数数列,自动发现其计数递推公式.将计数递推公式按公式的系数不同分为10种不同的公式类型(也称公式模式),对给定的计数数列,采用SVM方法进行公式模式的分类,采用求解线性方程组方法对识别的公式模式参数进行求解,并为了防止过拟合得到错误的公式,利用专用的验证数据对求解后得到的具体计数递推公式进行公式验证.最后,采用国际公开的整数数列集OEIS中的645个计数问题进行十折交叉验证实验,求解正确率达92.56%.在新公式发现实验中,发现了目前OEIS数据集中尚未包含的10个新公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡东风	沈阳航空航天大学知识工程研究中心	105	916	14.0	27.0
2	白宇	沈阳航空航天大学知识工程研究中心	26	159	6.0	12.0
3	朱耀辉	沈阳航空航天大学知识工程研究中心	2	8	1.0	2.0