zoukankan      html  css  js  c++  java
  • Kolakoski

    Kolakoski序列:我们知道的还是太少

        上帝创造了整数,其余的则是我们人类的事了。正因为如此,质数、完全数、Fibonacci 数之类的数列才会让数学家们如痴如醉,因为它们的存在是如此自然,没有任何人造的因素。事实上,数学家们对这些数的认识也越来越丰富,挖掘出了这些数列中越来越深刻的性质。

        不过,人类确实太渺小了。还有好多构造异常简单的“纯天然数列”,我们了解得实在太少。Kolakoski 数列就是最好的例子之一。

        Kolakoski 数列仅由 1 和 2 构成,其中头 100 个数是

    1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1,
    2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1,
    1, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 1, 2,
    1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 2, 1, 1, 2,
    2, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, …


        如果我们把连续的相同数看作一组的话,整个数列的定义就只有两句话: a(1) = 1 , a(n) 表示第 n 组数的长度。例如,a(6) = 2,就表明第 6 组数(从第 8 个数算起)的长度就是 2。注意,有了这几个条件,整个序列就已经唯一地确定了!a(1) = 1 就表明第一组数只有一个数,因此下一个数必须要换成 2 ,因此 a(2) = 2 ;而 a(2) = 2 又说明这个 2 必须要连着出现两个,因此 a(3) = 2;而 a(3) = 2 就表明数列接下来要有两个 1 ,等等。也就是说,生成这个数列的“参数”就是这个数列本身。更酷的说法则是,这个数列是分形的:如果把每一组数用它的长度来替换,就会得到这个数列本身。另外一个可能有些出人意料的事实是:Kolakoski 数列在 OEIS 中的序号非常靠前—— A000002

        关于 Kolakoski 数列,我们知道些什么?很少。我们知道,这个数列可以用递归式 a(a(1) + a(2) + … + a(k)) = (3 + (-1)k)/2 来表达。我们目前已经知道,去掉数列最前面的 1,剩下的部分可以从 22 开始,由替换规则 22→2211,21→221,12→211,11→21 迭代产生。

        Kolakoski 数列的第 n 项有非递归的公式吗?目前我们还不知道。已经出现过的数字串今后都还会再次出现吗?目前我们也不知道。还有,我们有理由猜想,数列中 1 和 2 的个数各占一半。下图显示的就是数列前 n 项中数字 1 所占的比例,可见我们的猜想很可能是对的。

        

        不过,目前还没有人能够证明这一点。而最近的一些研究则表明,数字 1 的比例很可能不是 1/2 。当然,还有第三种可能——这个极限可能根本不存在。这无疑又是一个最折磨人的数学未解之谜

  • 相关阅读:
    [转]Sublime Text 3安装Json格式化插件
    Golang 新手可能会踩的 50 个坑【转】
    [golang]svg图片默认按照左上角旋转,改为按中心旋转,重新计算中心偏移量
    序列化是干什么的,有什么作用,什么情况下会用到?
    Hbase设置多个hmaster
    基于JMX动态配置Log4J日志级别
    面向过程与面向对象编程的区别和优缺点
    log4j自带的两个类MDC和NDC作用以及用途
    【架构师之路】集群/分布式环境下5种session处理策略
    Java Web项目如何做到升级不断掉服务,同时涉及到的相关问题
  • 原文地址:https://www.cnblogs.com/smuxiaolei/p/7445662.html
Copyright © 2011-2022 走看看