爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
$ w' ]6 r" M9 w. @# a& L% A看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”
, O: f: J- e& }. n
  M1 R6 A7 f: m他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。
' s3 Y2 d; W* X0 q1 E# f3 B* q' A* }+ v" y# D$ ]2 ^* S3 i# J$ m
所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。
) K# L" D) \& d' w, V
) ~1 x( E/ x5 J8 ]; G+ i  ]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.$ B9 \" h* \$ V% v* t

, Y+ B+ K/ o4 ]2 m幸运数的定义
7 t. ]% p8 B# E" ~) ]FORMULA        1 L9 \6 z8 x# L- |9 G
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.% {0 S! l/ T) D0 s6 `2 |7 o6 Y; Q
8 H6 j1 `  y% L2 q( Y# E. h
具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)
% \& [  c& `/ c) h; r8 v( ^
! f/ [& Y2 u7 U( t初始,从1开始的自然数列:
- b2 l7 L: @1 t! X6 _Begin with a list of integers starting with 1:# H2 r# F! t) o+ x& D1 C7 d
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  ……
$ G' Y0 C) n' ^& d& `; Y. ~: V; ^# x- B" H7 U( Z
开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~+ B# A+ S+ V$ Z
剩下的数列如下:1 W& O4 ?8 y5 i: v: v9 l
Every second number (all even numbers) is eliminated, leaving only the odd integers:# n# t  }7 V2 F) B: U; C$ r" c2 o
1                3                5                7                9                11                13                15                17                19                21                23                25  ……0 v# l; n" ]9 n' s  O
: n, ]2 c) Z) b. m% }& O" L0 T
接下来是3,每隔3个数字删除第三个。剩下的数列如下:
% ]3 i  B2 O' Q2 \' a& U' GThe second term in this sequence is 3. Every third number which remains in the list is eliminated:2 Y/ D& G( I6 j
1                3                                7                9                                13                15                                19                21                                25  ……
7 D/ W- b9 ~# k% Y7 w1 m& W: F( C' \# z9 X4 W4 i6 d; ?) s9 j
现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:
7 `( Q. y5 Q2 E" f) _+ y- g- KThe next surviving number is now 7, so every seventh number that remains is eliminated:
1 z4 x! z- S( x/ F# Z, H$ k1                3                                7                9                                13                15                                                21                                25  ……" {4 J6 `" n7 E0 z7 s; H
" U8 {  \) L* U* R# V, |
接下来是9,……+ t. D! i& _5 v9 Q! S/ d; D
这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。
5 W9 D7 i1 S- E! d: H
7 ?" X: }& z& F" }* ]2 G( ^( y1, 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).+ @) v7 m1 q  Y9 J# o
在OEIS编号为A000959的数列就是Lucky numbers4 ~9 W* R+ w5 g. w
上述链接给了一个稍微长一点的幸运数列:
2 L- t* H# h/ b$ h  Y* `0 [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 ……
" Z6 D" z) X, D; m4 _2 P% l  t# R
有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
2 G; G) l/ Q$ W1 U4 Y0 Z; M* i, x

- x4 ^, z0 |; g5 N& q8 O9 W! U9 E- I2 u! J) x! Y
第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。( }* t8 k6 j9 \1 U
/ o1 F- |5 |7 q/ a
数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。
# t3 e& i( `- p9 d/ B9 D1 L幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。
4 _0 k1 _/ a7 _9 ?7 ?! z: K另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。
) K7 j: n( x0 O( j
  Y* @" O0 a+ G, [9 ~, n: E5 F暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?
+ o) A  k: q$ Z* v' Y$ I! s  E9 I  o! \) f
**什么叫做Conjecture?' b' {; _! D/ V, S
**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)
7 `# @  E$ E6 U
* Q- P: E8 S; O4 m8 `9 L8 O2 p猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。2 d' i' V5 O5 t9 C
0 z: d: _5 T# L% z
当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。
3 h' w4 T5 Q5 `* K
2 s: ]. k& I2 d猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)
* C+ N$ _0 v; U1 H1 U1 e* g
8 T9 m: j: d' L5 M5 H% r假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。8 t/ u$ L, A2 L4 f% y: s

0 y* K* f* N5 J1 ]. d& r- ^有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑 ' r3 A5 ~. ]  z$ V9 E6 z$ y1 B3 U

5 N& t  m6 N* i5 k" a**约瑟夫斯问题    都教授 & L+ n/ K  g' n3 G, v
! i! K5 E4 Y: f  c
我们来聊聊约瑟夫斯问题。' ~  K1 [6 S, Q. y2 d! z( `

# f5 w- l7 y% N; Z. c% n% Y% M有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。
6 u) Z0 H0 i& D- o9 M2 ]; c5 t
, w' d# w" T* Q9 k1 a7 j" |* K问题是,给定了n和k,一开始要站在什么地方才能避免被处决?
$ @( w8 B! J( |/ M, o' c( ^0 U  K7 j0 w5 Y- q% V% b; J4 b

" r. V& _& p$ c% V$ `---------------------------------------不思考的分割线---------------------------------------------
; i- R+ Q! d, ~据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  6 E9 f- ?' S2 N/ r8 r, U& O
- Y( m( Y  E" ~
---------------------------------------历史八卦的分割线----------------------------------
: A, P- U5 P  k* w0 l  p; M这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。
# U; F- U  G7 H& S# j据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 * r$ I1 c: ?8 }# P
**约瑟夫斯问题    都教授
+ ?; g4 B. J8 H3 H: f( {5 K9 b1 Z* p( h9 O/ M( [/ B5 i
我们来聊聊约瑟夫斯问题。
# i& |; p4 Q4 H4 i8 r- J
1. 经过努力学习,这题我能用java编程做了,oh yeah!
+ B+ F: I- [2 o5 v
5 {' x% O1 g% ^3 x* ^% D& z) |4 `2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。
$ y, U( m& S  }. _+ q& z
. g' E. ~4 p2 `  ^; W推的方法如下:
2 t9 W4 u* l" v. Z  P: ^3 H  \7 M; U* Y$ l  I
n=1,就一号,跑不掉的
) i6 z* Z1 B6 _) X! R5 f+ K5 zn=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2 3 ~, h$ N3 o, M' S( S! z% T7 _
如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。
; Z8 \$ R7 O- q8 d8 N4 x! i5 K6 l- q+ B1 Z, i! V

) {6 R5 ~' o: Q: z我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑
5 `& e: ?. `" F9 X" |1 `5 O
独角兽 发表于 2014-7-16 20:30 8 t9 Q4 M2 M0 U
1. 经过努力学习,这题我能用java编程做了,oh yeah!
+ J0 w; v# F  `7 g; `, T  w1 e# P/ O2 q2 N9 `( U" W
2. 但叶子问我的不是编程。对于给定的k,我可以用 ...
) f, z' I8 W: W. ]

: C1 }( {4 _2 ^1 h: S3 S兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看) E" V) [  G  B" p8 ]1 T9 ^, i
  i2 Z5 e  }! n( i$ o0 M9 j
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。0 ^/ s8 `! r1 t% a2 K: h. I

2 p  G1 p6 y5 W* T$ e$ Y+ w4 _还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?9 \0 N& a, d0 l% t$ u
  n% j0 t, v8 T- K2 y
-----------------------------不动脑筋的分割线--------------------------
9 V5 }) I/ z3 r4 |9 m
- f- O6 U! m  f  x一个小心翼翼的Java例子:/ V, d. b% R, F6 t+ T8 u
0 q3 U0 l/ g3 A" }& O
int josephus(int n, int k) {7 F; Q+ z! ]7 v( u+ P' Q
        return josephus(n, k, 1);! A* c: u8 u& k$ H) w
  }
& C+ h1 z# T' q/ Q  int josephus(int n, int k, int startingPoint) {
8 b( k+ C1 V3 m: E& z4 `8 J' k      if(n == 1)( S* Z; r3 p1 P1 G& Z3 u1 \
          return 1;, F: t6 J1 K3 H* p& s1 X$ H
      int newSp = (startingPoint + k - 2) % n + 1;
' b) \2 k- g0 X . j9 H+ _/ \5 Z5 k% _' F
      int survivor = josephus(n - 1, k, newSp);& p  i& b6 ~* k! l* V, z! V
      if (survivor < newSp) {
/ i; Y; x& V8 [8 K          return survivor;, v# K' |  v% |0 \  {# j) \
      } else
5 t6 _( q& p% d& T" z5 l: M          return survivor + 1;
; |) _, K" @0 Q6 w6 H0 E2 H8 d* n  }
7 @4 d' r$ j' e' b- p  N
. \8 g4 O$ X3 c* \8 t, x: \% n另外有个更简洁的例子
0 [* ?7 c6 v- V- U" Q( F/ d1 d' F+ D5 L  def josephus(n, k):
! @+ \- }8 K$ S$ B" b    if n ==1:
& C6 y$ p5 N, X% I9 Q5 }      return 1
5 @  N, p# G3 E: E0 x    else:: }: T9 M! f; C; o$ ^
      return ((josephus(n-1,k)+k-1) % n)+1! {5 _8 e! o! i: J

7 x% w& B' n4 Q3 W2 {  j4 p  {(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?); N5 q; p% Y# @& N/ [2 ^
: O  j7 b3 F( t  N* V( H$ a
以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution
5 L  {' i  B: J8 I7 H$ K
' I" \" y9 Z- S
( |6 S  }9 U6 c, o6 p* x关于n的分析:
) Q  k- a+ B9 [: x5 n设f(n)为一开始有n个人时,生还者的位置。# G& c+ j  r6 O, J
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:  S! t- @8 j  S( @5 h  P1 C
4 J7 L9 R  T+ o$ W
f(2n)=2f(n)-1
' G( \1 H" i8 p如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:) V9 O6 }" ?- a$ G% b% `/ S- b& {

- X% V: r1 v4 P" t7 G- ~f(2n+1)=2f(n)+1+ Y: S' i1 T* f' v. K: B8 T4 n" b0 `

8 ]8 Q, L3 \2 s+ m: a: N
( m( g% i  k$ m2 D9 I如果我们把n和f(n)的值列成表,我们可以看出一个规律:6 n- E' S' q- d% m  @) j
* A+ y7 g1 t5 {: X8 {
n    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16& V+ P( G3 I- N5 W2 W$ f
f(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1
% i3 g1 |7 q$ k6 y* A; v
; @. Z) M5 }. ~8 ~! @从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。
9 J" J7 d5 m/ ]- G7 g7 Z+ P$ i- d0 Y! R
& t3 J/ ?% N2 V2 E' B  R定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。  L; A" y1 }, e, F7 _8 Z! X: w

1 z  f) M1 a1 ]# M5 m' s5 Z" Z) r7 ~* k: x1 B: E
答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02
, J" b4 N1 ~5 A兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
. N0 X& [, q: a2 D& R% d4 M! Q6 V; M4 C( k# s6 U8 ?9 x8 s6 z, A
在 ...

, D5 O( G, a& ?& `我的推法就是这个:4 g5 I; T- E2 b4 ]2 B6 s% r
3 m% V3 e2 k" M+ `+ k  }5 a
  return ((josephus(n-1,k)+k-1) % n)+1( ^/ l! N( ?% s. U* A  {$ }
: q8 i  Z0 G  A& {7 ~5 q3 l2 t
我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。  f% _8 y" j* L& m8 F4 p  ^
! N9 o- _8 ?3 |4 e; J
2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂
% _! Z& |7 J0 r: h不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40
9 }3 Q7 M: m# ^& }" |1 d5 H. t. ?看不懂6 ~4 f8 r8 [4 h% E6 M; B5 F  q
不过今天不幸运数是17

+ Y, p1 ?3 Y8 z" f: y7月17日成了一个黑色的日子。很让人感觉生命无常。
( h' {, R3 o  G$ A  a
8 `' q& C; l4 A( ?( A以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,31: I9 D+ M4 Z. T- Y
. C8 V2 C6 m# Z. V* I1 B
13号如果遇上星期五,还是算了,不要不信邪。




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