爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼; @1 {9 X" k2 ?! j2 l) p+ \
看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”3 N# ^. I1 t: Z( A* n  T( B6 I% R

, u' @: s; M4 H  ?  X) q: M他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。4 l% k. R' a8 e
( V" \: `2 E& G* E, G( l) W, e
所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。4 S% |& a. l7 a: m- E" O
1 Q3 e9 g$ o5 @6 S, O, B( k0 h6 h
In 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.
  L; _; e  z+ k" @5 o* o. o5 d2 Y8 l$ ]& K' R+ S" ^
幸运数的定义
& y1 T9 S0 w: ^. `; z5 {FORMULA       
4 W4 g9 w9 U2 w; |( w! F; Z) A' }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.( A/ {' j: O$ g; Y- b. j

4 X7 f) O9 ]4 p( I3 d: \具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)/ J" a1 v; r4 Y8 O; `: @6 Y* t8 E
0 `6 B) b# @, z6 i: W8 M3 L2 `8 C+ ]
初始,从1开始的自然数列:/ Q$ k  \2 I& e7 m9 B
Begin with a list of integers starting with 1:# x. A5 G/ d* e9 T; Q8 O  s: V
1        2        3        4        5        6        7        8        9        10        11        12        13        14        15        16        17        18        19        20        21        22        23        24        25  ……7 V& v- D: M6 A- q* _2 M

; g  X& u# G4 C9 p* @开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~
  k! \$ n" m" s剩下的数列如下:
8 L0 Z/ t9 w5 w4 t) l2 REvery second number (all even numbers) is eliminated, leaving only the odd integers:+ c6 ~3 v' l6 u/ p! z, |; d
1                3                5                7                9                11                13                15                17                19                21                23                25  ……
% p& U( D- ?4 l  j) Z) I4 ~6 X& d2 k4 }, O3 k4 A; s  e. A
接下来是3,每隔3个数字删除第三个。剩下的数列如下:2 Q+ m* m4 t$ o" l1 E8 P- o
The second term in this sequence is 3. Every third number which remains in the list is eliminated:4 u* ], Z3 `. l' |. b8 p( l
1                3                                7                9                                13                15                                19                21                                25  ……
$ n; Y0 Z7 Z1 r# J  P
5 X( p5 Q7 S; d2 ?1 t现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:
' _/ w8 K% R  Z! YThe next surviving number is now 7, so every seventh number that remains is eliminated:
* L' I+ {* p6 x$ O, T" b1                3                                7                9                                13                15                                                21                                25  ……$ D  v% u5 K5 V' _# f" D
* v7 Y, H0 h' @
接下来是9,……7 F: i) u4 s5 _7 H& [
这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。6 t) H# u- @4 f% C2 ~4 G

9 T. I8 G% Z* n  L+ I2 u1, 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).
3 m+ r% c% x5 \7 c, _; K在OEIS编号为A000959的数列就是Lucky numbers0 @3 M# i& |5 p. V7 w
上述链接给了一个稍微长一点的幸运数列:! u3 P8 l/ ^: |4 _
1, 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 ……
* R5 B: x. I, l" I! h" L7 m/ U2 P* x- r
: R/ l8 F' f7 R/ G有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
  e( r* v0 }! C* R$ ^6 R5 I# R5 [5 \
2 U1 M4 D# {, ^; @
0 w0 r( `/ F# F+ H8 q
第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。; v" Q6 ~( A! V7 C: t3 o

# |! k4 r# Y+ S4 U' E, I数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。+ C, I/ ~; G2 _2 [
幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。& v' Q  I. y3 J* E
另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。
% e( `! z: `+ P; D/ F
4 V( z/ l0 c; r3 @; ?4 C( j暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?3 m8 O' I3 Y6 J' Y: h
# _5 a+ s1 k4 M) p; ^
**什么叫做Conjecture?
8 P9 y5 D: ]+ f**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)8 o, M6 T( X- a! d) g) ^

. A3 y- h2 r4 j- u猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。
; I7 r+ C( a% v! @# E$ k4 v
. Z  G' J4 y# }当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。( Q7 T  V# n5 |$ k+ E8 d
& p  u; t9 ?% F! q9 u8 r) y3 m4 f; k
猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)
. u8 f9 h% V/ E( e& H+ g# V& `& q
7 h- J4 }) y' x  H& p3 w/ L假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。/ \. A5 {1 _: q) B9 q# d# w
& C/ y5 y+ T) ~8 @* s, }* E3 Z# W
有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑
  Z: K$ r2 J/ f$ |
1 v# y* X! |$ O" O, I1 w**约瑟夫斯问题    都教授 6 q# u* _* I' m( t
0 l  t/ C# o$ C# |
我们来聊聊约瑟夫斯问题。
  o& \5 R) c9 S, X. F
# K0 H: W0 f  k  n9 O( y  T( d有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。" p! R2 ?( J% s9 R9 t& n1 c

# Z: c, t3 A2 e" {2 s) M! C  ^问题是,给定了n和k,一开始要站在什么地方才能避免被处决?
9 t5 |- A8 ]( a0 U9 Z' w% b1 }1 n% y% G  m2 U

/ r0 ~$ ^$ S  F- U9 s4 G: U---------------------------------------不思考的分割线---------------------------------------------
& l7 e3 Q+ {. }+ o7 @据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  , E# ~! K& k6 ?4 D: H1 K/ x6 b( Z

0 W; y- V* X7 ^0 D# H6 @! e---------------------------------------历史八卦的分割线----------------------------------0 X. O6 m- _. J: N5 x2 {" c0 S
这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。
9 v2 c7 ]2 E( b; @据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 % F! R& P" i& R
**约瑟夫斯问题    都教授
/ k  R# K7 e. T( x; p
# A( H; }( [- H2 J' X* a/ s我们来聊聊约瑟夫斯问题。

$ o" d: Y' y" B+ j3 A1. 经过努力学习,这题我能用java编程做了,oh yeah!: _3 g# o4 x) |2 B& q% r
- F4 b" ^5 B# r% c/ h1 ~1 u# Y, K- X
2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。
+ e2 O' Z- E/ c- q/ }$ U2 z$ i
5 w, o. j: A! a, a3 {, g推的方法如下:5 f* w/ H3 Z8 W8 `$ c: ^) _/ z

- M, I' m# T1 ]$ K0 Rn=1,就一号,跑不掉的: q/ W. o$ p" C6 U3 p: N2 M
n=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2 * O! [2 q( Q/ P1 w; s+ p( J
如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。
$ E- k" w9 y8 S/ }$ n& X  F9 n' D; R. w( |6 ^8 @
) k. }& ?* ]9 Q4 @; _. |! v1 j
我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑
6 d) Z* |$ C! {) o- Y' M1 e
独角兽 发表于 2014-7-16 20:30
1 }# _+ ~4 I$ ]0 ?/ N1 E3 M1. 经过努力学习,这题我能用java编程做了,oh yeah!
9 S( N* u# ~2 l; M8 A
4 F8 w8 z" ~3 u2. 但叶子问我的不是编程。对于给定的k,我可以用 ...
  w. K# u5 R( X* [. @
; V" R) R. Z. }$ R
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看3 W3 N, |) r9 b% K( i' V- _" U
) Q" \! f6 y* C5 B# D# n
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。
7 N. k. x- n( _) G( m! s' g; f% o1 `) l) o. i9 W% W
还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?
' t5 [+ ?  O) `! w: b  r( }3 h6 k: T4 a! \" X2 Z& J9 |
-----------------------------不动脑筋的分割线--------------------------! n* O3 O5 `8 `, t
+ W  C' M! N! w, T! t: I- q# {6 N
一个小心翼翼的Java例子:
$ j( ~' c1 h; V9 W/ Y* X
- P8 Y% K% Q! I, |, m5 r4 X int josephus(int n, int k) {
8 q6 Z5 w1 H4 }$ i' X8 g  d; ?        return josephus(n, k, 1);
! O& M8 b7 h* I2 O  }$ i8 |' P8 t- e  u
  int josephus(int n, int k, int startingPoint) {
2 S6 u8 \5 ~  x6 C6 ~' p      if(n == 1). S+ D( q4 g+ \1 M# a. ]
          return 1;* J+ @8 }: H; i9 X8 C; V5 r$ V
      int newSp = (startingPoint + k - 2) % n + 1;
7 E& y. S* d: j# q& R8 j
7 j  i- u2 D9 n' j& e6 p' A" o6 v6 }" r7 c      int survivor = josephus(n - 1, k, newSp);3 B; x. s3 a: p( C4 {4 ]
      if (survivor < newSp) {* E2 C, D8 d/ W6 e& S* @/ l% z. J
          return survivor;
1 H0 G/ F% S0 n; s3 _7 O( i8 _      } else
9 L1 H+ e9 e: A3 R1 u9 m, a% B          return survivor + 1;5 h3 B* P# s# y0 F8 r
  }) |# w1 u7 i/ k/ L  O8 A

: e" S: ^! O# ?7 d另外有个更简洁的例子
' G' F/ B& h4 C  M  def josephus(n, k):3 t# P5 R' }& Q$ c3 g6 _
    if n ==1:$ ?! Y3 Y/ k4 O
      return 18 B. _1 L+ l# e' P" S/ p) ]
    else:
. i7 w! T; T3 `) [( Y      return ((josephus(n-1,k)+k-1) % n)+1
; Z, u; I8 E8 r( g1 p* ]/ ~9 N9 m+ f# D% |
(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)* _5 x8 N; S, i, Y2 |

# Z/ |4 U5 a: h以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution$ t/ [8 }; O$ x/ e+ m& A
% N1 w3 r0 Q9 P* D4 K+ s
( P, n, C# e* x- n8 }; a1 L3 _5 S2 v" U
关于n的分析:
" S7 |) f; Z. Q设f(n)为一开始有n个人时,生还者的位置。( {. i# b0 ^) i( V2 ]; d
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:
$ J% \+ |% T( i! s$ l+ C* D' C. e0 f2 ^: T* p+ ^- i; H$ J
f(2n)=2f(n)-1, `7 t7 F( s' ^+ L. D+ m* I/ J: k6 P
如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:
' d# H* M% Y6 `. O, l( s" z+ @0 V% P0 R/ H# a( H! g: w7 R6 L3 Q
f(2n+1)=2f(n)+15 q' S# i/ x8 J: s6 `

- t% b4 T: x# ?4 k9 n/ {2 A; d5 K( k. L6 y! o1 `
如果我们把n和f(n)的值列成表,我们可以看出一个规律:
" m: b+ _( w; ^- b; M3 T
+ H" Q9 k) S4 P' pn    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16
  U- f. w$ g" ^! J& o4 Gf(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1% u. _' A& B% m( ~
, n5 B- B& C4 b
从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。
( c5 Z# [6 X8 b* D2 J! H4 j) X" ?$ e( F5 T( [  b
定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。9 Q2 ?# J( _. [: e. e$ X. {

' u, Z* \3 A) o  D! `
6 a. @6 n$ O5 W" A7 K5 f  M2 g答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02 : n# @- p; Q5 A" R$ ?  _3 B: \% C! c
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看6 h7 p# r  y( t% [8 Q4 @
* V: X8 ^5 z6 i& D' B
在 ...
9 B4 G+ F3 ^; `6 R) p+ d
我的推法就是这个:. y6 F5 X: e. y: h4 O; R
  Z8 r' e8 q# ?; P6 e% |
  return ((josephus(n-1,k)+k-1) % n)+1
  T9 C0 K+ M! W% m- f; a
* P8 F# f# V/ ?$ B0 G; [  A6 ?我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。( C# [/ m% Q" q  N; T: e$ \0 k" c9 w4 Z
! a, E/ ^+ j/ n4 u! M+ F# L0 ?/ ^& Y4 F
2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂! ?2 @3 U* }. x
不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40
- n: V* ~) q7 |/ j0 f看不懂6 a/ Z* o: p+ _/ s* }( N  @) e! h% a
不过今天不幸运数是17

+ g) j' j# ^" P4 |6 R6 b7月17日成了一个黑色的日子。很让人感觉生命无常。8 X: Z6 X4 _& x2 O# F

# C( ]- i0 ^3 |! l: W; d; ~6 W以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,31
9 v% v6 w8 d9 r) v
6 z: a( E% z1 d  g, E' x13号如果遇上星期五,还是算了,不要不信邪。




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