DOI : 10. 13299 /j . cnki . amjcu.

000746
第 13卷 A辑第 3期 高 校应 用数学 学报 Vo l. 13 Sep. A No. 2
1998 年 9 月 Appl. Ma th. — JCU September 1998

Bat rachion 序列的数值求解

何宇新 梁利平　郭浩志
　　
(中科院计算技术研究所 ) (国防科大计算机系 )

摘　要

Bat rachio n序列是一类奇特的序列 ,有着非常的分形图形行为和轨迹 ,已引起

计算机图形领域许多学者的兴趣和重视 .本文给出 Bat rachi on 序列的完整求解 ,
并且予以严格的证明 . 在证明过程中 ,同时显示了它与杨晖三角形密切的关系 .

关键词　 Bat rachio n序列 , 分形图形 , 杨晖三角 .

分类号　 (中图 ) O29; ( 1991MR) 28A80.

§ 1　引　　言
[1 ]
Bat rachio n 序列最初由英国数学家 J. Co nw ay 在 1988年的贝尔实验室讲演时提出的 ,
他称之为“疯狂的”序列 .该序列用以图像和音频上表现的特征 .根据 1995年的文献 [ 7] ,当该
序列调制成为数字音频时 ,人们意外地听见在风中喊叫的声音 ,并且播放的速度不影响听觉
效果 . Bat rachi on序列其实是一个简单的序列:
a ( 1) = 1; 　 a ( 2) = 1; . . . ; 　 a ( n) = a ( a( n - 1) ) + a( n - a ( n - 1) ) ,　 ( n≥ 3) .
a ( n)
J. Conway 注意到 n→∞ lim n = 1 /2,当打印前 n 项 a ( n ) /n 的值时 ,发现
i) a (n ) /n≥ 1 /2, 其中当 n= 2 时 ,等式成立 .
k

ii ) 在 [ 2k , 2k+ 1 ]区 间 , a ( n ) /n 呈现拟周期性 . 从 n= 2k 的 1 / 2值起跳后 ,经趋向向上的反

k+ 1
复摆动 , 达到最高点 hk 后 ,再经趋向向下的反复摆动 . 在 n= 2 时 ,回归到 1 /2,
iii ) 轨迹图像在一定的尺度下呈明显的分形特征 .该序列的图像可以在文献 [ 2 ] , [ 7 ]中
看到 .
其中特征 ii )也是 Bat rachi on序列取名的由来 . Bat rachi on意味“ flo g-like” ,表示它的图像轨
迹像青蛙跳动一样 ,令人迷惑不解 .

　　本文 1996年 10月 24日收到 . 1997年 8月 25日收到修改稿 .

 358 高校应用数学学报 第 13卷 A辑

当进一步考察该序列的 a ( n ) /n 的收敛速率的时候 , J. conway 于 1990年发现难以找到

第一个 N 0 ,当 n > N 0时 ,有 . |a ( n ) /n - 1 /2|< 0. 05.
为此 , J. Co nw ay 提供 10, 000美元 ,准备奖给求解这一问题的学者 ,一个月后 ,贝尔实验
室的 C. M allow s求出这一问题的解 N 0 = 1, 489(见文献 [ 3 ] ) ,并在 1991年的《 AM ERICAN
M AT HEM A T ICS M ON T HLY》上给出了求解过程 .
我们发现 , Mallo ws的求解过程极其繁复 ,引用了许多简单归纳而未经严格证明的一类
规则 ,像 L 规则、 C规则和 M 规则等 ,这些规则不能揭示 { a ( n ) }序列和 n 的直接依赖关系
—— 即对于任何 n 值 ,我们能否求出 a ( n )结果值?因此本文的目的就是要通过推广杨晖三
角并建立它与 Ba trachio n序列的关系 .

§ 2　一类新的杨晖三角

定义 1　设 2m < n≤ 2m+ 1 , ( m > 0) ,则 n= 2m + j ; 1≤ j≤ 2m ,由于

k- 1

2m = C0m + Cm1 + . . . + Ck-

m
1
+ . . . + Cmm ,假设 j > ∑C
u= 0
u
m ,
k k- 1

　　但是 j≤ ∑
u= 0
u
C ,则令 l= j -
m ∑C
u= 0
u
m ,存在关系 1≤ l≤ Ckm ,
于是称〈m , k , L〉为整数 n ≥ 3的杨晖坐标 ,记为 n= 〈m , k , L〉 ( m> 0) ,表示整数 n 处于杨晖
框架中的第 m 行、第 k 块、第 L 列位置上 .
定义 2　 (杨晖序列 )
在杨晖坐标系下 ,我们定义一函数 f : 〈m , k , L〉→ { 0, 1} 为:
1,　 k = 0,
0,　 k = m ,
1,　 l = 1,
f (m , k , l ) =
0,　 l = Ckm ,
k- 1
f ( m - 1, k - 1, l ) ,　 1≤ l ≤ Cm - 1 ,
f ( m - 1, k , l - Ckm-- 11 ) , l > Ck- 1
m- 1 .

本文称之为杨晖序列 . 在杨晖坐标系下 ,杨晖序列值分布如图 1所示:

1　　　　　　　 0 . . . . . .m= 1
1　　　 1　　　 0　　　 0 . . . . . .m= 2
1　　 1　　 1　　 0　　 1　　 0　　 0　　 0 . . . . . .m= 3

1　 1　 1　 1　 0　 1　 1　 0　 1　 0　 0　 1　 0　 0　 0　 0 . . . . . .m= 4

. .. ... .. .. .. .. .. ... .. .. .. .. .. ... .. .. .. .. .. .. ...

图　 1
杨晖序列具备如下特征:
性质 1　第 m 行第 k 块的序列值将由第 m - 1行的第 k - 1块和第 k 块两块序列拼凑而
成 . 若记第 m 行 ,第 k 块序列为 S (m , k ) ,“ ”表示拼接符 ,则
S( m , k ) → S( m - 1, k - 1) S ( m - 1, k ) .该性质由定义自明 .
 第 3期 何宇新等: 　 Bat rachio n序列的数值求解 359

　　性质 2　 S ( m , k )序列数值之和为 Cmk - 1 ,记为下列等式:

k
C
m

∑ f (m ,k ,i)=
i= 1
k
Cm - 1 , 并且 k= m 时 ,其和为零 .
l

性质 2可由性质 1归纳推出 . 进一步 ,我们记 F ( m , k , l ) = ∑ f ( m , k , i ) ,它有下列性质:

i= 1

性质 3　
1,　 k = 0,
0,　 k = m ,
1,　 l = 1,
f (m ,k,l ) = k k
Cm - 1 ,　l = Cm ,
f (m - 1, k - 1, l ) ,　 1≤ l ≤ Ck- 1
m- 1 ,
k- 1 k- 1 k- 1
Cm - 2 + F ( m - 1, k , l - Cm - 1 ) ,　 l > Cm - 1 .
性质 3容易由性质 1推出 .
　　性质 4　 k < m 时 , F (m , k , l )满足不等式
1≤ F (m , k , l ) ≤ Ckm - 1 . ( a)
　　k= m 时 , F ( m , k , ) = 0. 由性质 2, 3容易明白 .
k
性质 5　 当 0 < k < m ,并且 1 < l≤Cm 时 ,
1≤ l - F (m , k , l - 1) ≤ Ck- 1
m- 1 . ( b)
　　证明
1) j = 2, Ckm 时由性质 3易知结论成立 ,因此 ,当 m = 1, m = 2时 ,对于所有满足条件的 k , j
均有不等式 ( b )
2) 设 m - 1≥ 2以下的值 ,均成立不等式 ( b) ,则取 m 值时 ,存在下列几种情形:
当 j - 1≤ Ckm-- 11+ 1时 , j - F (m , k , j - 1) = j - F (m - 1, k - 1, j - 1) .
这时若 j = Cmk-- 11+ 1, 则有 j - F ( m , k , j - 1)= Ck- 1 k- 1 k- 2
m - 1+ 1- Cm - 2= 1+ Cm - 2 .
k- 1
显然 , 1≤ j - F ( m , k , j - 1)≤ Cm - 1 .
若 j ≤ Ck-
m - 1 ,由归纳假设 1≤ j - F ( m - 1, k - 1, j - 1) < Cm - 2 ,
1 k- 2

k- 1
因而 1≤ j - F ( m , k , j - 1) ≤ Cm - 1 .
1 k- 1 k- 1
又当 j - 1> Ck-
m - 1时 , F( m , k , j - 1)= Cm- 2+ F ( m - 1, k , j - Cm - 2 - 1) .

令 u = j - 1- Ckm-- 11 ,有 1≤ u≤ Ckm - 1 .
k- 1 k- 2
　　 j - F ( m , k , j - 1) = j - Cm - 2 - F ( m - 1, k , u ) = Cm - 2+ u+ 1- F ( m - 1, k , u ) .
由前提假设 j ≤ Ckm . 所以 u+ 1 < Ckm - 1 .由归纳假设
k- 1
　　 1≤ u+ 1- F ( m - 1, k , u ) ≤ Cm - 2 ,
所以 1≤ j - F ( m , k , j - 1) ≤ Ck- 1
m - 1 . 因此 ,对于 m> 0,不等式 ( b)归纳得以证明 .

引理　设 0 < k < m ,并且 1 < j ≤ Ckm时成立等式

F (m , k , j )
= F (m - 1, k , F (m , k , j - 1) ) + F (m - 1, k - 1, j - F ( m , k , j - 1) ) . ( c)
　　证明　首先验证一下边界条件 j = C 时是否成立 ( c ) . k
m
 360 高校应用数学学报 第 13卷 A辑

由性质 3, 4, 5,可知 F ( m , k , Cmk ) = F ( m , k , Cmk - 1) = Ckm - 1 ,

k- 1
j - F (m , k , j - 1) = Cm - 1 . 　　　　　　
k k- 1 k k- 1 k
　　因为 F ( m - 1, k , Cm - 1 )+ F (m - 1, k - 1, Cm - 1 ) = Cm - 2+ Cm - 2 = Cm - 1 ,
所以 j= Ckm时 ,边界条件成立 . 类似可以验证 k = 1. . . m - 1时结论成立 .
并由此推知 m = 2, m = 3时 , ( c )等式成立 .
现假设 m - 1值以前 ,结论 ( c)均成立 ,则当取值 m ( > 3)时 ,依照假设
1 < k < m - 1, 1 < j < Ckm (由于 j = Ckm , k= 1, m - 1时成立 ) ,存在下列三种情形:
k- 1 k- 1 k- 1
i) 取 j= Cm - 1 ,则 F ( m , k , j - 1)= F (m - 1, k - 1, Cm - 1 ) = Cm - 2 ,
　　　 j - F ( m , k , j - 1) = 1+ Ck- 1 k- 1
m - 1 - Cm - 2 = 1+ Ck- 2
m- 2 ,
k- 1 k- 1
　　所以 F ( m - 1, k , F ( m , k , j - 1) ) = F (m - 1, k , Cm- 2 ) = Cm - 3 .
2
类似可得 F ( m - 1, k - 1, j - F ( m , k , j - 1) ) = Ck-
m - 3+ 1.从而
k- 1 k- 1
F ( m - 1, k , F ( m , k , j - 1) )+ F ( m - 1, k - 1, j - F ( m , k , j - 1) ) = Cm - 2+ 1= F (m , k , Cm - 1+
1) ,结论 ( c)成立
k- 1
ii) 设 1 < j≤ Cm - 1时 ,则 F ( m , k , j - 1) = F ( m - 1, k - 1, j - 1) ,
所以 F ( m - 1, k , F ( m , k , j - 1) ) = F ( m - 1, k , F ( m - 1, k - 1, j - 1) ) .
(由性质 4, 3) 　　　　　　　　 = F ( m - 2, k - 1, F (m - 1, k - 1, j - 1) ) .
F ( m - 1, k - 1, j - F (m , k , j - 1) ) = F ( m - 1, k - 1, j - F ( m - 1, k - 1, j - 1) )
(由性质 5, 3) 　　　　　　　　 = F ( m - 2, k - 2, j - F ( m - 1, k - 1, j - 1) ) .
又因为 F ( m , k , j ) = F ( m - 1, k - 1, j ) ,
由归纳假设
F (m - 1, k - 1, j ) = F ( m - 2, k - 1, F (m - 1, k - 1, j - 1) )
+ F (m - 2, k - 2, j - F ( m - 1, k - 1, j - 1) ) ,
　　 即得
　　 F ( m , k , j ) = F ( m - 1, k , F (m , k , j - 1) )+ F ( m - 1, k - 1, j - F (m , k , j - 1) ) .
结论 c)成立 .
k- 1 k- 1 k k- 1
iii ) 设 j - 1> Cm - 1时 , 1 < j - Cm - 1 < Cm - 1 ,令 λ= j - Cm - 1 ,则
1 k- 1 k- 1
F ( m , k , j )= Ck-
m - 2+ F (m - 1, k , j - Cm - 1 ) = Cm - 2+ F ( m - 1, k ,λ).
由归纳假设
F (m - 1, k ,λ) = F (m - 2, k , F ( m - 1, k ,λ- 1)
+ F ( m - 2, k - 1,λ- F ( m - 1, k ,λ- 1) ) ,
k- 1
又 F ( m - 1, k , F (m , k , j - 1) ) = F (m - 1, k , Cm - 2 + F ( m - 1, k ,λ- 1) )
= Ckm-- 13 + F ( m - 2, k , F (m - 1, k ,λ- 1) ) ,
F ( m - 1, k - 1, j - F ( m , k , j - 1) )　　　　　　　　　　　　　　　　
m - 2 + λ- F (m - 1, k ,λ- 1) )
2
= F ( m - 1, k - 1,Ck-
k- 2
= Cm- 3 + F ( m - 2, k - 1,λ- F (m - 1, k ,λ- 1) ) ,
所以 F ( m , k , j ) = F ( m - 1, k , F ( m , k , j - 1) ) + F ( m - 1, k - 1, j - F ( m , k , j - 1) ) .
由 i ) , ii ) , iii ) ,结论归纳得证 .
 第 3期 何宇新等: 　 Bat rachio n序列的数值求解 361

§ 3　 Batrachio n序列与杨晖序列的关系

设 n= 〈m , k , j〉 则有以下定理:
定理 1　设
1, n = 1, 2
2, n = 3, 4
b( n ) =
〈m - 1, m - 1, 1〉, k = m
〈m - 1, k , F ( m , k , j )〉 , k ≠ m ,
　　则有 b ( n) = b (b( n - 1) )+ b( n- b ( n- 1) ) .
证明　 i ) k= m , n= 〈m , m , 1〉时 , n- 1= 〈m , m - 1, m〉 ,
b ( n - 1)= 〈m - 1, m - 1, F ( m , m - 1, m )〉= 〈m - 1, m - 1, 1〉= 2 ,
m

b( b( n- 1) )= 2m - 1 ,b (n - b( n- 1) ) = b( 2m ) = 2m - 1 ,
所以 b ( n) = b (b( n - 1) )+ b( n- b( n- 1) ) .
ii) k = 0时 n= 〈m , 0, 1〉= 2 + 1.
m

容易验证 b ( n ) = b (b ( n - 1) )+ b (n - b ( n - 1) ) .
k- 1
iii ) j= 1时 , n= 〈m , k , 1〉 其中 0 < k < m ,则 n- 1= 〈m , k - 1, Cm 〉 ,
k- 1
b( n - 1) = 〈m - 1, k - 1, Cm- 1〉, b( n) = 〈m - 1, k , 1〉 ,
k- 1 k- 1
m
n - b ( n - 1)= 2 + ∑C +
i= 0
i
m 1- ( 2m - 1+ ∑C
j= 0
j
m- 1 )
k- 2

= 2 m- 1
+ ∑C
i= 0
i
m- 1+ 1= 〈m - 1, k - 1, 1〉.
容易验证 b( n) = b (b( n - 1) )+ b( n- b( n- 1) ) .
k
iv ) 现设 0 < k < m , 1 < j < Cm , n= 〈m , k , j〉时必有 j - 1= 〈m , k , j - 1〉 , 又因为
b ( n )= 〈m - 1, k , F ( m , k , j )〉 ,
b( n- 1) = 〈m - 1, k , F ( m , k , j - 1)〉,
n- b( n- 1) = 〈m , k , j〉- 〈m - 1, k , F ( m , k , j - 1)〉
k- 2

= 2 m- 1
+ ∑C i= 0
i
m- 1 + ( j - F ( m , k , j - 1) ) (由性质 5)
= 〈m - 1, k - 1, j - F ( m - 1, k , j - 1)〉 ,
所以 b( b( n- 1) ) = 〈m - 2, k , F ( m - 1, k , F ( m , k , j - 1) )〉 ,
　　 b ( n - b ( n - 1) ) = 〈m - 2, k - 1, F ( m - 1, k - 1, j - F (m , k , j - 1)〉.
根据引理 , 易知 b( b( n- 1) )+ b ( n- b( n - 1) ) = b( n ) ,
因此 ,对一切 n≥ 3均有 b( n ) = b( b( n- 1) )+ b ( n- b( n - 1) ) . 定理得证 .
定理 2　对于任何 n≥ 1均有 b( n )= a (n ) .
　　由于它们的初值和递推公式完全一样 ,结论自明
 362 高校应用数学学报 第 13卷 A辑

§ 4　结　　论

本文在杨晖坐标系下列出了一类杨晖序列 ,在对它们的性质考察之后 ,我们发现 , 由这

类杨晖序列组装的数值和 ,就是 Bat rachion 序列数值解 ,很容易发现 ,由杨晖序列的性质可
以推导出 M allow s教授归纳出的 L 规则、 C规则及 M 规则等结论 ,限于篇幅 ,本文不再赘
述.

(本文第一作者通讯地址: 北京 2704信箱 CAD 室　邮码　 100080)

参 考 文 献

[ 1]　 Co nw ay , J. , Some cra zy sequences, v edio ta ped talk a t A T& T Bell La bs, July 15, 1988.
[ 2]　 Schr oeder, M . , Fractals , Cha os , Pow er La ws , Fr eema n , N ew Yo rk , 1991.
[ 3]　 M allow s, C. , Co nw ay 's cha lleng e sequence, American Mathematics Monthly , Janua ry , ( 1991) , 5-20.
[ 4]　 Ho fstadter, D. , Go edel Escher Bach, V intag e Boo ks, N ew Yo rk, 1980.
[ 5]　 Pickov e r, C. , The drums of U lupu, in M a zes fo r the M ind: Computer s and th e U nex pected, St
M a rtine 's Press , N ew Yo rk , 1993.
[ 6]　 Pickov er , C. , Key to Infinity , Wiley , N ew Yo r k, 1995.
[ 7]　 Pickov er , C. , T he crying o f fracta l Ba trachio n 1, 489 Computer & Graphics, 19 4( 1995) , 611-615.

COM PLE T E SO LU T IO N TO B A TR AC HIO N SEQ U EN C E

He Yux in
( I nstitute of Computing Technology ,Chinese Academy of Sciences ,Beijing 100080

Lia ng Li ping　 Guo Hao zhi

( Dept . of Computer Science, N ational University of Def ense Technology , Changsha 410073)

Abstract

Bat rachio n sequence which has unusual g raphic behavio rs and t raject ories belo ng s to a
class of v ery bi zarre sequences. It 's causing m ore and mo re close a tt enti on f ro m those
people w orki ng at com put er g raphics. The autho rs give t he completely numeri c solutio n t o
thi s sequence a nd the st ri ct proof of those conclusions about them. The clo se relatio n
betw een Ba trachion sequences and Ya nhui t ria ngl e i s show n in thei r provi ng process i n
additio n.

Key Words　 Bat rachio n Sequences, Fractal Graphics, Yanhui T ria ngl e.
Subject Classif ication　 ( CL) O 29; ( 1991MR ) 28 A80.