爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
5 Z& L( H) y8 A1 k( d9 `看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”! M$ z" D! `: Y2 x
6 _% Q  b. P# t  t: P- C0 z6 Y9 u7 h0 r
他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。9 h- @* W, V- J6 h' P

* [3 X7 M! C* e$ m+ z7 e所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。
" k! a, r* f6 O; Q$ J  G' l  S1 M( z' D3 a( T
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.
. B) Z9 R8 d* R& W0 d% M1 l0 a7 L. Q( t: y5 `5 D
幸运数的定义
4 d/ D; D/ d0 x, R3 z1 {FORMULA       
  {. I+ U8 f/ D; S+ k7 ZStart 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.
$ I; K! b( [% p" U. u4 ]. ]' Q8 D- f  j! F0 ^- Y2 a
具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)
  s( [! @. V* o! H" h" v* G$ k/ F& N7 x; x) I) G4 H
初始,从1开始的自然数列:" W$ |) M2 J+ S& ~4 N
Begin with a list of integers starting with 1:7 f% k/ _( }5 ]: r; 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  ……3 U1 L5 b& Z9 }4 G, C
3 `$ \0 S/ n( f
开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~+ X0 I/ Y4 T* C, v. L! b
剩下的数列如下:% j: H( L5 Z. t/ \: G7 _& C6 t
Every second number (all even numbers) is eliminated, leaving only the odd integers:
1 i) E% A4 T0 n4 v0 x$ Q1                3                5                7                9                11                13                15                17                19                21                23                25  ……# |$ U& [8 A0 S7 u7 m7 f: v$ R
: ^7 K' @+ w1 m& M+ F
接下来是3,每隔3个数字删除第三个。剩下的数列如下:7 R, u% n% _5 j( {( c
The second term in this sequence is 3. Every third number which remains in the list is eliminated:4 R; K: w+ }/ X
1                3                                7                9                                13                15                                19                21                                25  ……
$ R2 [( \, k# Q
& [8 a4 p; T& }0 d现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:
9 c; _- L' ]$ `& d' j1 S! IThe next surviving number is now 7, so every seventh number that remains is eliminated:
; O1 i. y# ?, ]. s9 L6 S- ^1                3                                7                9                                13                15                                                21                                25  ……% b. v, \8 i, ~4 X  l4 p) c7 K
5 L0 w3 n( P1 L6 \# I6 u
接下来是9,……
6 t* a$ ], X+ l这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。
7 t# y  P4 K. ^- q( @8 t9 B4 U6 C, M/ ~
1, 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).
; x+ O6 e4 I+ M. ~2 K2 S. |在OEIS编号为A000959的数列就是Lucky numbers1 f- d0 K1 N. a. c! n/ X
上述链接给了一个稍微长一点的幸运数列:. c. S( M5 {! G6 S7 W! Z
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 ……% W& Y( f6 c9 G* \
- o% V& i; ^$ ^# `) w
有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?4 j$ n% D4 T4 g. _' l

, F4 [  B  ]  _2 u& B- J! ~
8 H+ @# O- P/ n$ k0 j( _- J! Z
; W7 f6 l# S/ R8 f第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。
9 \. D) y4 _9 Q' ^2 k7 c: {1 u2 V+ R" a1 [
数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。% d7 B$ h6 N9 w$ `. B
幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。
) p: I; `6 Q( m! D另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。' x- `0 v- `' |5 b8 [
1 [8 k8 L9 j- u5 m! B3 b; h0 n9 Z
暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?
, O5 C+ U2 }8 N$ s4 R
* l8 q- m; r! C1 D0 K" m0 k**什么叫做Conjecture?
% C; J# ]" G7 g; K( _5 [**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)
9 L6 t( n' H$ w) d
+ J8 a1 N$ N) B猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。
+ E. B) R5 S) ]7 U3 a
: R0 j5 w( P0 W! Y$ E. ?" a/ i当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。+ T+ N6 S( O& ^  C
# B- k* |/ |% l) C" R5 E- {% w' s# ?  N
猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)( e# Y2 m' t9 _9 e- s$ |! `" Z
- U, s- i' y1 I. [
假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。' |9 S; v, @( i3 `& D0 `! F

4 l/ D3 g2 |. O. i有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑 , [8 D" R. H2 z; E
2 m6 u% p# q7 m! n% ^! }' j( [
**约瑟夫斯问题    都教授 ) h4 M0 s% e* N+ h5 i

& x/ R. Z" s) ]) o% o我们来聊聊约瑟夫斯问题。) `  N- z# A' f- `: x+ f( X7 a- ]

9 N8 t2 B/ p& {2 |6 h! `有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。
  D& T: K, t) h: O4 _" e' k+ ^1 d, _- f: u  {+ X" g! z
问题是,给定了n和k,一开始要站在什么地方才能避免被处决?
, @0 c% b5 |" s$ ^) N: m
2 o8 S5 D' n. e6 @
7 t: V( j- G7 W8 Q---------------------------------------不思考的分割线---------------------------------------------
. \% B7 i7 a2 ?* n' ?# o8 d据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  
- a$ ?% l  Z( P+ O$ |. Y! n# S$ q
7 n6 B. m4 d$ Z$ H- H---------------------------------------历史八卦的分割线----------------------------------
) y7 |# c6 F6 s* u6 m这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。& k: d0 M, @9 X6 |$ h3 H2 Z. }
据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 4 d- _0 i* s* J- Y# ^# h5 R3 ?5 k
**约瑟夫斯问题    都教授 3 g! [  h6 r5 g2 x
7 A+ @) N9 B( _0 ]" ~
我们来聊聊约瑟夫斯问题。
" y% [9 e- w8 M# _% \& b
1. 经过努力学习,这题我能用java编程做了,oh yeah!5 T0 ^+ z! Z1 v9 k: k' T

5 `* h: m- Z$ z6 |; Q2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。0 Q6 C2 n: i9 _/ M2 ]

. j' y& \% G: }; ^- I) G1 \$ W& N推的方法如下:  ~) I! V8 ~9 B+ x' l0 X1 D/ D! y
  u9 v9 ]' i" _0 X4 P6 a
n=1,就一号,跑不掉的7 ]7 R7 |) y# B7 M
n=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2
1 F. u+ D1 b. }$ B/ w如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。7 L  V+ {, Q2 e2 j3 z
; t% X$ t; n2 Q$ {

0 K4 t( e5 t: F9 r! y# l4 L/ Q我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑 3 i2 f7 p4 B$ E* ^
独角兽 发表于 2014-7-16 20:30
. |2 k6 b7 V) W# B* o* i% v1. 经过努力学习,这题我能用java编程做了,oh yeah!
: V3 M" M6 D1 ^4 X0 s* V$ k: P* L) e- {$ V- ]; B
2. 但叶子问我的不是编程。对于给定的k,我可以用 ...
3 _% z3 v, s" o" I" d1 W8 J- R

; C( G+ }- N7 g/ Z  N兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看, k0 c9 }* c6 O) x; Z* q; Y3 \
4 g/ [$ p. G! J6 S8 Z
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。, p2 U" h' x: U/ w' R. g# i

' b& j# @3 z! h! _还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?
8 }# m3 _  A% r; [5 {
1 z8 {7 \# @$ ?% _7 L4 I9 c7 Q) G$ W-----------------------------不动脑筋的分割线--------------------------. g1 W! s6 G# m; z& a; a" i

/ J" t! l! H  o4 Y' Q一个小心翼翼的Java例子:
. _; J9 |! ]- h( v) z& k4 |5 r/ z6 R' c9 C; L1 e6 y7 b, ?
int josephus(int n, int k) {/ o% D* H" I1 m' h& e7 ^5 c1 d* n
        return josephus(n, k, 1);
0 c. L, M! y- Q* B. R3 S  }7 W+ |) N: A& ]# S- W
  int josephus(int n, int k, int startingPoint) {% F% E4 r+ Q0 h
      if(n == 1)/ O7 W# d. j( I0 v7 m' W
          return 1;! q  Z/ S5 g7 w: a; y
      int newSp = (startingPoint + k - 2) % n + 1;
& X: A# }& [  C & [, N4 i* O8 K4 T7 T
      int survivor = josephus(n - 1, k, newSp);
# C/ X' W  L7 Q) o$ C      if (survivor < newSp) {! V  @. }& a% \2 I  K
          return survivor;
& S& C5 I5 q/ M) @* z      } else
/ z# J' S1 w( j% @) R          return survivor + 1;
+ }. H& J4 Y: y9 A4 _2 E3 R3 C6 g  }# l$ k# a- o4 @6 Z: A9 I7 R
. a, u* F& |* j; ^
另外有个更简洁的例子
7 R6 i) {" X8 k) i8 W) X( o  def josephus(n, k):8 c4 I8 A5 ^: X; Q; B0 \- O7 U
    if n ==1:
3 ]  H" g. `/ `+ G) M. l; I' t  u      return 1( }7 t6 `- u* f  a7 Z
    else:
- m" n9 r7 j. `5 O4 z& H      return ((josephus(n-1,k)+k-1) % n)+1
" N! U8 o7 e5 [& C% {
: j7 |# ?5 D8 y(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)
& d; e* v" `2 I7 E/ g. T
0 n0 s; `+ d; v7 }) @5 X8 }" E$ [以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution
' Z- \: U. J( b' y8 Q4 Y: x+ L4 j. `7 `

7 S5 a! ^8 J; P4 A7 B6 }关于n的分析:
0 z5 j3 |$ V5 K+ `; P9 A设f(n)为一开始有n个人时,生还者的位置。8 w) f* _8 f8 _' V# k! N
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:
5 J' u6 e9 H. L; U
; a4 q/ K* W! x' V" m0 e- Yf(2n)=2f(n)-1! ^8 F* A, l1 C
如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:
/ _+ ]) u6 B" @) T0 R1 a
3 p2 b& T, K+ k. Cf(2n+1)=2f(n)+1
5 V: ~, _' n( s6 P0 {+ l4 e; Q3 h, T
3 Y+ Q8 Y/ J  r) r4 b5 I7 ~4 m$ i/ B. o2 O' f$ Y! d3 v
如果我们把n和f(n)的值列成表,我们可以看出一个规律:" V# R( [& y/ {! m) M: Y6 _

+ k8 Z* h6 l9 U& C. }n    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16
3 [6 W* P$ [% C# t5 }3 T5 b0 Xf(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1
8 a+ G3 W$ b+ t
1 ~" u) _) H0 d) u2 J1 N从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。
; h# N! w% o* N0 @7 u
; U, `# g8 U  K# j3 d" O8 I0 ~定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。
9 S$ R9 ^7 W" i6 Y, G+ \, `5 A% K, U8 s6 w1 r* G' l
: W; _  E% j- ?: ?$ u) s2 L
答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02 8 `3 F0 m$ n7 N# J1 n1 \3 a
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
# b$ o/ y# I9 U% e
2 r; u" X( W7 j! ~4 Z& _" z9 Y在 ...

: z. _& z% T1 g我的推法就是这个:
+ D5 h) v  B7 k1 P9 H% E
% L, |/ `6 f8 h8 L4 J7 H- [  return ((josephus(n-1,k)+k-1) % n)+1' z" n7 J7 o. S  Y

9 S; C( u& k  T+ t6 P3 v我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。8 x& a1 }' C, @
* G0 r5 w' q+ l4 S0 ]
2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂' @8 `7 O  |& c. ^
不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40
& f" R4 Z5 @# S$ `5 c3 ^看不懂
: T! X# f( w+ H# T% h- @( A$ |8 \不过今天不幸运数是17

- I* {% l& A, s+ y/ k% W/ q7月17日成了一个黑色的日子。很让人感觉生命无常。
$ k$ ^$ o( {9 L% A1 R
* m* z+ }6 s% J" G# n' F; }以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,31
; X0 R2 i3 B* }. f1 `! b4 z6 ~9 ~; M8 ~, Y  Q1 L
13号如果遇上星期五,还是算了,不要不信邪。




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