二项式系数乘积模 2 的和与 2-正则序列
数论
2023-09-11 v1 形式语言与自动机理论
组合数学
摘要
Wu 证明了某些二项式系数乘积模 2 的和由若干著名线性递推序列（如正整数序列、Fibonacci 数、扩展 Lucas 数与 Narayana 牛序列）的游程长度变换给出。本文中我们证明此类序列的游程长度变换是 2-正则序列。这使我们能够利用计算机程序 Walnut 得到 Wu 的结果以及一些新结果，免除了冗长技术性证明的需要。
引用
@article{arxiv.2309.04012,
title = {Sums of products of binomial coefficients mod 2 and 2-regular sequences},
author = {Narad Rampersad and Max Wiebe},
journal= {arXiv preprint arXiv:2309.04012},
year = {2023}
}
备注
16 pages