爱吱声

标题: 小小的停留之四 幸运数 [打印本页]

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
2 ?" }- ~- r" b6 Z$ q# Z$ v看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”
3 U! s2 U, p) n0 i0 }$ D0 K. [+ o! E; s" v2 `
他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。# a! y7 t$ a0 L- M, B; ?; o
1 g& A2 {3 S; L' s" T) r
所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。# Z! [6 ?9 b' Z3 }6 M  }5 q

5 Z; u- t2 M9 j3 aIn number theory, a lucky number is a natural number in a set which is generated by a "sieve" similar to the Sieve of Eratosthenes that generates the primes.
: y! b8 W+ u5 S, p, t' @6 ]. R' v5 ~4 S7 Q, }& l
幸运数的定义8 s3 I* v, \8 y& U4 g
FORMULA        & n# k1 u" S- ?/ f
Start with the natural numbers. Delete every 2nd number, leaving 1 3 5 7 ...; the 2nd number remaining is 3, so delete every 3rd number, leaving 1 3 7 9 13 15 ...; now delete every 7th number, leaving 1 3 7 9 13 ...; now delete every 9th number; etc.
( N: p' U3 _( T( o! J6 V- }
" c% C* H5 Q$ G3 W- s& f- n" x, i具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的); a' a. r2 r- h' F5 v5 g' x# f

# z9 U3 o- ]1 P! u初始,从1开始的自然数列:
+ l* H7 }6 f  `! {. f1 t$ LBegin with a list of integers starting with 1:
: d, e& ?$ U8 d/ R. T/ u1        2        3        4        5        6        7        8        9        10        11        12        13        14        15        16        17        18        19        20        21        22        23        24        25  ……, x6 ^, d' c0 x6 h. r) ^

1 h* v) ]0 m0 ]) c4 t7 D0 B开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~0 ?1 x5 b+ p- t- W8 _
剩下的数列如下:
7 o4 ?2 W; j% P' TEvery second number (all even numbers) is eliminated, leaving only the odd integers:; P& W8 X; z/ j6 p- I" C
1                3                5                7                9                11                13                15                17                19                21                23                25  ……% A. X) O9 m9 y$ \+ }1 b

3 E# E$ M5 E- d8 z接下来是3,每隔3个数字删除第三个。剩下的数列如下:
, p$ k# a( D+ U7 Z0 I$ t/ M) ]9 xThe second term in this sequence is 3. Every third number which remains in the list is eliminated:2 G. d/ m9 O/ @7 i
1                3                                7                9                                13                15                                19                21                                25  ……
. O6 g, w9 r, Z/ C
7 q) \. _& _$ X9 q! y. j% D( Z现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:
' G4 \2 K* K1 x8 m  ^The next surviving number is now 7, so every seventh number that remains is eliminated:, P. n0 w8 S1 y! m& F
1                3                                7                9                                13                15                                                21                                25  ……9 M' ~: }* A9 {

+ @% Q9 W/ n& D7 V! R# q7 {% b; l接下来是9,……
+ G2 o8 |1 Y: b+ T这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。
' Z: i9 p  k- p2 L2 p* Y: P$ v( @
9 b* B$ S, S8 D8 r  b1, 3, 7, 9, 13, 15, 21, 25, 31, 33, 37, 43, 49, 51, 63, 67, 69, 73, 75, 79, 87, 93, 99, ... (sequence A000959 in OEIS).! K6 g5 C8 |/ B( o8 ^3 j: L$ x/ r
在OEIS编号为A000959的数列就是Lucky numbers
2 e5 d* {, h$ F上述链接给了一个稍微长一点的幸运数列:
! \7 v- N  {5 a3 J1, 3, 7, 9, 13, 15, 21, 25, 31, 33, 37, 43, 49, 51, 63, 67, 69, 73, 75, 79, 87, 93, 99, 105, 111, 115, 127, 129, 133, 135, 141, 151, 159, 163, 169, 171, 189, 193, 195, 201, 205, 211, 219, 223, 231, 235, 237, 241, 259, 261, 267, 273, 283, 285, 289, 297, 303 ……- M) ~+ ^; N8 M

* I$ a9 D( i9 o& h有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
/ j3 y) X/ M+ Q) m
- y% y" _* n* f; t! }
$ }  o9 V3 a% I7 m4 [2 ^$ O
! n* ^! S/ o" W! o第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。$ `' b/ b* f' K& r0 ]! t  B" ]

' P. p4 c  [0 ~( ?/ c; j6 l数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。8 q* j9 C" R4 G, s' L
幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。( _+ w; r% m4 ^, N  C
另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。9 y" L- X: q$ I' g

0 ]( Q1 k) D' d2 d暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?  H+ z) b% p& n

2 d( y' R4 Q$ M7 Q**什么叫做Conjecture?
1 @; ^" e% z8 b3 y2 g**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)
: X# L- \8 s) D3 F0 |0 a$ f4 q. @" {$ s! \9 U
猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。  {( H5 s; i- ~& }$ y, F8 g. T

. F9 J; |) U" q" C- u当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。( k1 b1 j/ G0 C7 @  f" k7 C

2 S: ~) t& Q( C7 g猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)
  c/ q2 y! q' e  z$ ?# }( ^- M, X0 m" a8 \/ a1 ^$ H
假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。
: s- @3 C* ^. e6 h* C- r5 X( K' ~7 M4 n- h+ v( P, [
有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑 ( A  y6 a7 y! B0 d8 }
9 ]- T3 O+ m3 J0 L- C9 T# F" Z1 A
**约瑟夫斯问题    都教授
! }! ]; R0 Q6 j% o! L3 _( ?" |# W" @  [
我们来聊聊约瑟夫斯问题。
2 |4 u) D  o- ~, R2 F. W. w8 P9 X: @( _3 H, V  Z0 _
有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。
1 I" K9 P, J8 x) \% ~
8 @9 f/ g: v' a" ~7 T/ c4 {问题是,给定了n和k,一开始要站在什么地方才能避免被处决?# G+ C9 l- Q# A2 x; t
1 i3 P* M3 Q) i# g  U

+ W$ L  T* n- q* I/ j9 C$ K---------------------------------------不思考的分割线---------------------------------------------! L4 @9 h4 O2 V2 a* l! K
据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  
5 l8 {" r+ E$ E* r) e7 ?  t
4 {8 Y& I" G: [$ H3 n$ d  [---------------------------------------历史八卦的分割线----------------------------------* p: \4 F0 ?5 ]7 D9 t) d  t
这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。
# e' ~' m2 P4 v" I: r4 ^( h1 z据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50   w% s$ _( k( K8 w: p4 J
**约瑟夫斯问题    都教授 6 g1 x0 u: \6 K( L* j

9 A+ [% H! n# ]( ~1 R我们来聊聊约瑟夫斯问题。
5 D9 \; r) M( |/ e2 B
1. 经过努力学习,这题我能用java编程做了,oh yeah!/ P- c( _; ?. i( M. m4 y5 x& _

7 G: t- I5 q- s% i5 Q( `7 \5 K2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。
0 d7 f( U, \+ q- i# G. r, z% H/ D1 e
推的方法如下:7 }4 I0 r, [, p! _2 q: a: N$ O3 B
+ f/ C# j4 x  Y. l* T/ z4 U
n=1,就一号,跑不掉的
9 ~7 m5 z0 \! L4 y5 \% tn=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2 4 {# G9 f& `' G" z" z4 Q6 Q
如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。( D) F1 R5 A7 d5 m; a9 d
. |$ s, A3 U; r- Y4 a+ k  |

+ {1 {) {0 `" b, H/ ~我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑 : }$ D9 F- f/ Q4 T: O
独角兽 发表于 2014-7-16 20:30 $ O8 Y$ ?* N) X+ T. X" k- [
1. 经过努力学习,这题我能用java编程做了,oh yeah!
- K/ s( p4 x4 Q. q1 U- k% h- u$ _7 i! w; F2 ]( N3 m
2. 但叶子问我的不是编程。对于给定的k,我可以用 ...
0 P% }/ }+ @' X7 [5 A' c* @

" H' Q& E. h/ [) x兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看8 S  k. x1 m2 E
6 F7 G! `! D+ F5 P1 R, v# Y5 b0 y
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。4 W8 U. }; ?8 X3 J( ^0 @
+ R7 Q6 Q! Q# v( T: U  O  l
还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?
/ ]' Y; Z' x0 e+ D
' Y* Y4 ]7 C+ Q4 l0 Z+ {-----------------------------不动脑筋的分割线--------------------------" a* f8 ~  V: }

; L8 t' I, j, J+ L, @一个小心翼翼的Java例子:
- Q# J1 I! T: F0 ^
0 N5 ^$ F+ i" f+ T int josephus(int n, int k) {$ H6 A9 e6 L  m  O1 A+ B
        return josephus(n, k, 1);" R  c+ s  D# f( s; r1 H
  }
, q. D" P2 t: ], q  int josephus(int n, int k, int startingPoint) {& K1 g9 T9 W6 i4 C, _" E. P8 g
      if(n == 1)
/ x9 L+ S% ]' u$ \8 Y$ Q8 _* N( T          return 1;- G# m% x. O: p% E" H& k
      int newSp = (startingPoint + k - 2) % n + 1;- P! q" Y5 X9 ]1 H

; ^# r, P) j' V4 ]; k& x" V4 M      int survivor = josephus(n - 1, k, newSp);2 D1 w, V" I' N  m9 E
      if (survivor < newSp) {
4 K& ~! n& O* v6 m          return survivor;+ q( R% {" n/ j, P
      } else
, o% R; a. |5 e* L          return survivor + 1;1 t% J$ ~3 m. H
  }; S( F  O+ e! B

7 X% K) i; y- N8 _1 M4 Z1 ?另外有个更简洁的例子* p: u0 r5 C/ E5 e8 Z$ [/ {1 O
  def josephus(n, k):
7 ], }/ @$ g; g' L, t6 q2 k    if n ==1:
' d$ J/ }7 H" p" e  r- G# L# x/ c      return 1" g8 d6 z; Y& C) u! o
    else:, |% t# o. ?& i' x- S& |
      return ((josephus(n-1,k)+k-1) % n)+1
' W0 t/ m- J% i5 v  k; o
/ K& Y+ H8 n6 z9 `(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)/ L& B/ {3 a3 b8 ?, {
3 t0 t; D2 \: l2 Y0 t' j
以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution6 x  M  N8 Y* P8 y$ S4 X

( h/ ^4 c7 c3 k  v- |: l3 a) H# m7 q! u
, N: z& g+ p6 c6 R, L8 c2 U- f关于n的分析:
# U7 h8 Z7 \& }设f(n)为一开始有n个人时,生还者的位置。
' I; k6 {! `1 i- ?7 D+ z& g3 F6 O如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:1 Z- v- M$ r3 q4 m$ {

8 u: `7 {8 ]( D0 g0 m  Jf(2n)=2f(n)-16 Y: |: f3 l0 k6 V# b
如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:
0 |. m0 q4 w9 F) q9 }, \5 V2 O! W* c) A$ V
f(2n+1)=2f(n)+15 p. b4 c' T( ~% X! `
8 X2 b6 H5 u3 O! [" W# [$ ~3 i
) M" f- G" i7 J- U
如果我们把n和f(n)的值列成表,我们可以看出一个规律:
% a0 W; k" |* G. n
# @5 E! S$ U3 J4 R/ R* A4 yn    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16
# t) @# W2 M* p4 |+ Nf(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1
8 W2 |. P; x" d* r$ Z+ X
1 G' Y) T8 ]+ f从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。
% H) f* z% U; B5 q$ M# D, n8 t4 Q2 @* [, a# B/ u0 }
定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。6 z1 d. ]& A. T. l9 L6 J  O9 v

' v8 Z: ~' e/ s8 P5 Q  k' u# M: b3 H& C7 i8 _/ ], Y! }
答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02 * [4 w& s, s7 [% q
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看* O1 F0 X* i: E' r9 M6 T
9 v% a9 e' e9 B
在 ...
: ?, j, `; L- v: y+ r! @% i5 }
我的推法就是这个:3 C/ @" s( ?9 D" K; l6 D) Z
* S, R0 z! K* s% N$ j- q7 T! |' G
  return ((josephus(n-1,k)+k-1) % n)+12 X' h" V7 I5 [& M( J$ r" o
/ T: y& d& a$ J" x0 l- ?
我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。
! h( J) {- V5 Y& S
7 f% {0 ~" y7 A% s7 {' u$ ^2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂
) J: I$ ^+ e7 j! W4 g& O不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40
" m# Q0 u/ Y3 l# t4 p: m: e$ [; [看不懂5 x1 ^; g! n) s& h
不过今天不幸运数是17

' Y! s" i8 l" u7月17日成了一个黑色的日子。很让人感觉生命无常。) `9 P8 D3 t3 _* U% k

: }3 C" s( u: Z2 K3 i+ W以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,31
  y' }0 z! K% _6 o  c
9 M% R6 |3 ~7 A% k( |( ~  A( `" G13号如果遇上星期五,还是算了,不要不信邪。




欢迎光临 爱吱声 (http://129.226.69.186/bbs/) Powered by Discuz! X3.2