爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
# d7 o  q/ z% H+ F& s看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”
  H! d+ D* M* L* j: j  G* |7 [6 k, l' |: C/ \9 K" N" p, ^* H
他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。
2 m9 i7 `. u: [, I# |2 ?9 ]9 R0 C; T! @3 O; M+ [" m6 C9 c3 l9 K$ C6 `
所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。/ h2 X/ d/ x1 c1 B2 S( q

: G) o; ?, E, ]7 M: z4 M; uIn 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.
, d! ^$ [# x7 A; D! M2 e7 r$ `' I' u! I1 [1 S
幸运数的定义& V% C; m5 Y+ N; g
FORMULA       
- ?% Q6 N; ~7 G( ?/ O" B& hStart 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.
# s3 n7 T: U0 M% R+ M& n  A0 s  G- B& S0 y" j" c6 F; I
具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)
- S" b: ~' ?. b+ M: P' z) T$ M' S! M  ^- k. y7 J
初始,从1开始的自然数列:6 ^( @; Q' _: @3 ~7 ^$ m7 t
Begin with a list of integers starting with 1:
7 x$ B& A, ?; ~/ l$ N# l1        2        3        4        5        6        7        8        9        10        11        12        13        14        15        16        17        18        19        20        21        22        23        24        25  ……) L( c+ k$ A" {1 u9 C% t# U, u

. }. a$ E$ b2 D开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~
( g, _; \4 z) B* s+ d! ~剩下的数列如下:
, Z* `$ a) F' `( X: \# ~5 SEvery second number (all even numbers) is eliminated, leaving only the odd integers:  B  h/ f+ U* U4 a8 S3 m
1                3                5                7                9                11                13                15                17                19                21                23                25  ……
0 [. k. a9 h: h$ G% f) w9 K0 p
' a% y- s6 X' t8 F" C  I1 B接下来是3,每隔3个数字删除第三个。剩下的数列如下:$ X2 ^- U& {9 m/ F
The second term in this sequence is 3. Every third number which remains in the list is eliminated:) X9 [0 p1 g+ w, P; }( n+ w8 @
1                3                                7                9                                13                15                                19                21                                25  ……% M* M7 X, ?/ u
/ O: t- M" H, z3 n+ E2 p; Q
现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:
* Y& Y# i) j; U! f7 d  p" OThe next surviving number is now 7, so every seventh number that remains is eliminated:
. k0 X; L) K  ]- z1                3                                7                9                                13                15                                                21                                25  ……# z, n6 @, E. C' q! ~2 A% N$ p1 f  h

  U7 `8 ]( _% c接下来是9,……; Z3 u2 w# V3 ?0 K
这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。
4 ?; o9 r) I: @6 p! x
% }, ^& J1 z6 t, c6 f, [( a1, 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).9 i$ _0 C% X. i: t* M; G$ l
在OEIS编号为A000959的数列就是Lucky numbers
0 P$ I4 n8 ^" ~; Z7 F( p) m- Z上述链接给了一个稍微长一点的幸运数列:, ~0 D! B8 c5 L1 M: i' I. V& |
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 ……8 P0 _  k9 P, g) `
# ]0 ~. B& \$ R) z
有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
9 e% i; v, A6 _6 o. t5 P
# b0 c4 G( X" C( u0 M' q1 Y" y# G% ?7 b# _; P( ^
  L% x2 E) k2 y$ D) b2 R4 k
第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。3 M( ?( P) I9 ~, v2 i1 X

2 E; i4 }; i0 `% x' ]数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。
; R- T' w/ E7 L幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。5 [# a" ^! ?/ R% c
另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。
) \$ X, f. }, W6 I# \. T
" a7 Q2 {3 X: p+ W6 M( p0 \, I暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?
( Q8 G% E9 m1 _: E- `/ b: m' J; D9 _, T8 T# P
**什么叫做Conjecture?
, @% x  S' [* R! `**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)
6 E  `2 w* L' S, t+ o, A( l" ^1 e: X4 Y' _, ^# m/ S# n+ s2 J
猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。" \- p4 R+ v: C% A% N+ `! ~
# K$ I/ B0 z2 v4 U/ f
当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。
+ X* ^. S) C( \, V9 f' X
' j7 y# X$ V$ {; w6 F: b5 b5 N1 k猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)
2 E5 s7 t$ F4 \7 p0 l' W% R/ e9 G/ d
  P4 J1 l, ]& o假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。
* {- V3 R4 S- X/ G; F0 c1 F& E3 W; F3 f4 h$ C
有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑
# I0 L0 x6 L% X" J5 Y" H$ [$ P8 j4 q% O9 v: j
**约瑟夫斯问题    都教授
; m$ S: }  H7 ~' y: K0 O9 e+ M, T( [" F$ X% ]/ Q/ H0 V7 Z
我们来聊聊约瑟夫斯问题。
! b$ {! U$ T+ n/ i0 v% ^
4 _* B5 y" W+ j5 V0 l! t$ |有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。
+ `9 L* G- ?1 Z7 [* d
& A; v+ T/ _; ~4 ~5 y: s- H问题是,给定了n和k,一开始要站在什么地方才能避免被处决?$ o7 N; C/ |5 O4 E+ M

! Q  Z5 U7 ?& g7 h' G5 S' K* H: v, |6 u5 Q+ |
---------------------------------------不思考的分割线---------------------------------------------
9 l2 g3 f) _: N) P% W  Y& Z据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  
: Q0 @. w# A% m7 n! a! x7 U, z. ^: B3 K3 E
---------------------------------------历史八卦的分割线----------------------------------6 o6 s9 K, E" b5 x! T( D
这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。
7 b! P6 j5 ~4 M0 D' N' |据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 . O! N9 K0 n* r& I
**约瑟夫斯问题    都教授
- V& L6 `' \3 k+ U' K' U/ W& m1 u& A/ ?' B. r+ @0 a% _/ B) }
我们来聊聊约瑟夫斯问题。
& x9 M5 \0 o6 }3 d$ H8 u
1. 经过努力学习,这题我能用java编程做了,oh yeah!
  X9 n1 {+ V0 {8 ?% L; m6 n5 {5 R  F) z1 H
2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。
6 `! a2 Q% z6 C* ~3 o) M: l# G* T; D5 S5 h
6 a* Y% {7 j& h! L' Z推的方法如下:+ u+ x5 K: B/ Y6 e3 H
" ^6 t0 a& N0 W, _5 N
n=1,就一号,跑不掉的' N; F! p/ M' I! O
n=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2 # j, O5 S. k4 v
如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。& r0 R/ ~- t3 `; G7 B
+ P, S9 z( a+ V

2 \# S, g7 q; Z9 Y我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑
% H9 p+ N6 R1 n! ?% K" t
独角兽 发表于 2014-7-16 20:30 % V4 P- w: |, S+ M; D$ G
1. 经过努力学习,这题我能用java编程做了,oh yeah!
! o- p) |( e$ @5 C
8 D; g3 k' w. b4 }' c2. 但叶子问我的不是编程。对于给定的k,我可以用 ...

5 ]" g- G2 Y5 l# Y2 G+ L- j7 e$ o! {; S* i4 ?6 E5 h$ E* J( o
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看0 s+ s$ d! U# Z
7 W: R- u5 v/ \# ?
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。
" z' f  n% F" V# _$ f; h: N( s2 R3 m) n$ t1 h
还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?
- i; j$ s  V; C( ?# y; X. |% A$ }* m
- P; K* I8 V+ ^6 C9 I* M-----------------------------不动脑筋的分割线--------------------------( ]; m% C, V0 P  A1 Q, n

5 }; i3 I2 B* }; d! H& T( G一个小心翼翼的Java例子:& R0 h' h; ]1 o1 |0 r$ {

+ n$ O6 i; _7 N( F( P/ v- i int josephus(int n, int k) {
" |' k! r2 Y; i: d, N" M* ~        return josephus(n, k, 1);
2 f- g% h! |& ]: G% T1 [  }
9 b: p2 e/ Y+ ]6 v1 k  int josephus(int n, int k, int startingPoint) {
+ k' V6 M' O3 l& \5 Q$ H" c  u( D      if(n == 1)
. q# t, E+ P" I, q% @0 k  q          return 1;
- k, y; W- M8 R      int newSp = (startingPoint + k - 2) % n + 1;
( S: K( \7 f- D. k/ n6 T
0 Q% Z+ c% W! `6 b; c- D      int survivor = josephus(n - 1, k, newSp);
1 v! Z4 H4 D+ W2 L! Z3 Y      if (survivor < newSp) {
; q( V& @# F& v          return survivor;7 ], d* P" U5 q: w6 e1 {. q
      } else  U) o2 j0 Y1 _: A4 O, ~
          return survivor + 1;) D- ?0 p1 ?! W1 d$ e3 {# S. N* E  O7 @
  }
- r) m( K0 {2 w6 o, x) }. \# J( |9 j& ^& \; p. F; P- [
另外有个更简洁的例子
+ F/ y3 C1 D, o  def josephus(n, k):  U4 k5 {9 W6 m: z
    if n ==1:- R) ]& O$ K1 Y- f; f
      return 1
; F- H$ i6 g6 }0 d    else:1 g$ i' ?' K: ]- B1 s5 q, P3 T
      return ((josephus(n-1,k)+k-1) % n)+1
" H- r- p9 E! T3 _; l5 o+ p! a- X% g0 @$ @. q7 n( c
(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?); J- t, S, l: l  t2 g4 W6 Z8 ^

$ N) G' `; ^2 ^以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution" I; \( `1 S5 f" M/ R
+ h, N8 Z. o$ l
0 N4 I* K, {% i0 J
关于n的分析:
$ M8 h/ |/ W4 G4 Y+ ^5 v6 V5 k设f(n)为一开始有n个人时,生还者的位置。, h4 H: ]+ m6 k3 A4 g5 X0 \; o
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:
1 r3 W' _8 Y" i/ N, Z0 Z+ U) H% _6 S  `4 l" g# Y
f(2n)=2f(n)-1
) v) v) _# P" E( O& q2 c如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:' d9 i0 h6 I; F

4 f  I* P- x; M; Z' _) Of(2n+1)=2f(n)+1, i" h+ o4 A) G: J/ Y
: F6 a# [' Q0 T" E: Z' g

8 k' I- Z; K, m  X* V0 a9 v! Z如果我们把n和f(n)的值列成表,我们可以看出一个规律:
' m2 C8 h6 ]3 S6 Q* W
/ `4 B2 B. X6 o+ _5 l8 k6 s- An    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16' l6 }3 w: x4 o3 P( \
f(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1
8 ^8 G( k4 k* q4 \( G; f8 r. e: |: G6 f4 T3 x- W) ]7 O* j
从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。+ \$ z0 w' ^) G4 i% |4 s

, `( {3 y& f+ @5 ]7 n定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。
6 ~' P3 H' R3 i+ j( Y. O8 X5 u2 I3 Z+ J  C+ Z) E3 }- d; Z

8 T3 d$ ]# W0 C" l( p答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02 ) ?! P; c# ?1 H& t) M
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
) `3 K4 C0 _" x; A! w
( J3 t2 E- V  ]; V! Q- f" I在 ...

1 x6 j6 U% |7 _. D我的推法就是这个:  O" [& N' X, r2 i0 o

9 s+ P# a( K% o: y, a& s  return ((josephus(n-1,k)+k-1) % n)+17 l$ a& B* H2 t% r. Y2 F

$ r) D% N/ l4 u: a0 d* K8 \我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。6 i0 K# L; R, J2 e, Q7 ]# _

5 l+ X* ~* j5 u& @# r1 u" a. o  J2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂
, x$ c0 w! f  ]% O& T" q不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40
7 g0 F* m5 b$ G; L+ c看不懂
7 \1 H  Y9 Q( e5 \( `6 J( I不过今天不幸运数是17

6 |+ V$ S0 \6 j/ d: `7月17日成了一个黑色的日子。很让人感觉生命无常。
8 h; O4 J' O* a' P* l! P( ]7 {4 [1 ?/ @/ @
以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,316 R9 a: j4 v. d; x: P% b
8 [+ [2 Y8 O4 D  g
13号如果遇上星期五,还是算了,不要不信邪。




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