爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
/ P/ |& c. G! `; O. }" ^看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”$ X' t+ T: W; @" W2 `& A

3 H$ I" ?2 A5 ]2 F" M他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。
# j' Y* v" r& R' T- ~7 s7 w. v3 S
! X4 `. O$ t3 C6 n: u( }所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。7 x4 w) g2 Z1 p
* ~% g7 v0 N$ ^( Q, @# M+ q9 M
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.
3 d9 W* V, [& T* J: _1 {+ m. B3 y) V" t) t) ?$ z
幸运数的定义6 n7 m6 P& X7 |/ k' |
FORMULA       
: z8 ^, T$ `" x  |/ o& v' |9 p: u" lStart 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.5 e# X& c6 _! ^. A0 H5 w. o4 Y
( m* J! U: ~: Y+ [( I1 @
具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)
* N6 N2 \+ M/ ?4 J. N
( }; Q5 e: K+ G: o9 ], ~) D初始,从1开始的自然数列:
7 F. J* ]2 P2 r& U9 MBegin with a list of integers starting with 1:
1 |6 W/ ^7 T% J" r! ]8 O1        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 N* [( Q4 b, w9 @3 Q

" X  G  G+ @! S5 |; x0 ]; J- X开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~- P3 H" P+ l2 _. v. D2 X  k9 y
剩下的数列如下:1 _0 o( \/ \& S0 q' n. X4 B
Every second number (all even numbers) is eliminated, leaving only the odd integers:
8 D$ N$ t8 ^9 }4 \1 P' j1                3                5                7                9                11                13                15                17                19                21                23                25  ……
3 w4 q" A: [( c( U7 H/ E7 h; {' t2 |" L/ {! U0 N1 {' e/ Z
接下来是3,每隔3个数字删除第三个。剩下的数列如下:) r1 O! e. ~, R" g4 ]$ l
The second term in this sequence is 3. Every third number which remains in the list is eliminated:
( v5 l! J* C8 |) {; I( g1                3                                7                9                                13                15                                19                21                                25  ……9 C/ y: `9 m. k% ?* w' G
$ A0 V( S0 c6 q* u2 B; h
现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:. I7 T( y& ]1 _4 i+ d2 M1 B# ~
The next surviving number is now 7, so every seventh number that remains is eliminated:" c" J" _( I) h5 o
1                3                                7                9                                13                15                                                21                                25  ……
& A& ^, C" Y  G
, K( k9 G& l0 E$ j* [  W) ~接下来是9,……" P& X5 J9 \% P# C0 M& W, P* I
这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。8 h& @' g& e2 h: _: z; b
' |+ L0 J% K6 ]+ ?! U: o
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).; B' l0 r) m6 n# i1 U
在OEIS编号为A000959的数列就是Lucky numbers: w+ b6 w+ f$ |# f3 d
上述链接给了一个稍微长一点的幸运数列:7 K4 m% _" N0 t% o
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 ……9 ^$ g( m0 t2 Q6 D4 R% ?* v

8 R, s" J  U. h2 H& M有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
7 h6 L* a+ K* q) K' f+ k& @' U! I5 W2 z4 d2 E+ N

" h: I- E& F) H6 n+ n8 ?* Z5 }& Y$ d7 G( b
第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。
0 o! ^7 u: j6 N7 g, L6 ~5 N) b  |$ _5 w
数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。
: b7 w1 ]$ s' q4 d) \' ?6 b0 N幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。" z. t% j/ f7 i8 S: z
另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。
8 b- M+ H2 C# @( U. {- {9 j( w/ a4 Y4 W
暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?
$ ^( r, Y* y5 w7 _: `$ o" u) ?" x8 X( F; \
**什么叫做Conjecture?/ s6 P6 l4 ?! C3 Y" _
**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)5 w; h9 V* K6 K; t8 ~2 `

2 {: i" ?8 Y, `$ R. ^猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。
4 {: B! y- r7 z/ t
  j' x  V) w9 U4 }% e- u; A当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。
( `( R/ o" l* j6 d9 \  S; _- `$ s: ~3 [$ F/ G- k& ^
猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)
* Z1 t; \$ Z, s
% p8 B5 ?; j; `3 C- h$ V假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。
% P' I3 g* ^7 E$ q: g' e* {" ^! J6 ~+ h) a+ }9 z
有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑
  u1 T) c& m/ B4 e. V- k* ~2 Z
0 t6 A! \5 k/ j( q% H6 ~8 |**约瑟夫斯问题    都教授
: J7 k: K0 s; [+ w9 r' F: R1 V5 N* F5 b! I9 g
我们来聊聊约瑟夫斯问题。
5 O8 O0 Y: w' P  a) A4 g2 J+ u
' d" W2 n# Z3 k" ]+ ?" E有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。$ G, b' N* l7 ?5 X$ t7 s  p# q* c
' E" |6 ^  ^4 S1 W+ F4 D. b
问题是,给定了n和k,一开始要站在什么地方才能避免被处决?3 ^2 c% ^6 D9 S- p1 ^3 h! X

9 ]2 J3 P! Z; B# L, n. K
0 J$ o) K* y* D% I7 e- w---------------------------------------不思考的分割线---------------------------------------------& ^' S" Y( l% [3 G
据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  
1 H: L  x6 p& C3 d
2 m  c1 Y* v/ k---------------------------------------历史八卦的分割线----------------------------------9 N$ G* {" d  k1 ]' T
这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。
8 I# j) f4 i: p4 q& @据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 ) {5 |, a2 L' m; V2 c( u
**约瑟夫斯问题    都教授
, N* {* Y3 ^8 d: s% h/ Q
: h! F% w0 k3 i1 j我们来聊聊约瑟夫斯问题。
/ O% i. ~  K' R: n6 {1 O! O4 ]8 I
1. 经过努力学习,这题我能用java编程做了,oh yeah!! y3 A. V- m' v1 K0 |; E7 F: h( K9 T
2 d; _6 O+ W3 ]
2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。1 e/ p1 Y9 a" \" D9 X

! Q/ H& q+ N3 t- K0 C8 Z& o1 n( p推的方法如下:
. e1 L6 f5 O  \; T5 i. T7 D( U/ ?: ]- }2 u
n=1,就一号,跑不掉的- H4 C; h6 M. j* s6 O( A
n=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2
8 [' h* L2 G) D如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。
' y% X/ @0 s- S$ @
  K4 F: S2 }2 p% U* n& t$ r: e/ ]) K! X6 N! O7 d' s
我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑 ' h5 U1 x3 |- ]0 w9 y8 E6 o$ r- m2 A. |
独角兽 发表于 2014-7-16 20:30 4 G/ S6 M  l' r( T4 K- Q
1. 经过努力学习,这题我能用java编程做了,oh yeah!
& }. [# ]- P' R( G2 _
2 W, y+ \6 y7 {1 @' b8 m: b5 G6 k2. 但叶子问我的不是编程。对于给定的k,我可以用 ...
% Q5 V6 u. N* m" L

: M- Q, _, r/ f2 V- K& |; J兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
/ z" O1 q# g9 I8 h- c* L3 Q+ S( Q6 z, F; z1 S0 I
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。9 E2 |- b5 U7 S, C, c' `+ ^

! ~. A" t* _! g还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?
$ Q* N, t8 G  ]( L7 h% c4 R9 b- {. d# I/ u* b
-----------------------------不动脑筋的分割线--------------------------! C5 h: o, a* {4 [  z

1 S) I+ b: s- R+ M一个小心翼翼的Java例子:
: p# m5 j) \( Y8 [+ ~1 e& g& D6 E$ p% }
int josephus(int n, int k) {
' B: z' U# `9 P2 Z- M( K        return josephus(n, k, 1);4 ~6 x: `7 l5 ?0 d8 W9 ^5 _" i
  }) D' S$ {7 R+ t: U  [$ P5 L; A& x
  int josephus(int n, int k, int startingPoint) {
* I9 H7 M9 j' l      if(n == 1)* K  b9 ~& P) m/ y+ B0 z
          return 1;* W6 M: C: \8 f+ s) a: t7 _
      int newSp = (startingPoint + k - 2) % n + 1;
1 t2 E* K: G8 R2 P 5 `4 E& f2 Z6 U$ M
      int survivor = josephus(n - 1, k, newSp);% H2 s) y9 [3 T: l
      if (survivor < newSp) {* u- A4 X+ d# b# I
          return survivor;  p. f; r" H0 y% W7 P) ~" F
      } else6 q0 _; ^, [1 N+ ~
          return survivor + 1;
! H7 d$ v& [/ E7 N' ~, H) N  }
! w4 l% B' }# w5 z4 c$ p8 g  ]
% Z, l+ [( @+ D0 p另外有个更简洁的例子9 |0 Q% n/ `0 N, s5 p5 i1 a: l' _4 @
  def josephus(n, k):
5 m- K" V$ V& o( d$ b    if n ==1:# `7 h, Q; S6 y: I! R2 h+ ?
      return 1
" N! o* Z$ N- O. D: f5 u    else:
! Q- D4 n, \! O  \) d% C4 }1 G7 r* x      return ((josephus(n-1,k)+k-1) % n)+10 x: U8 R" n; J8 ~4 L  m

; M: l! d( y. a9 x# I(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)
* a+ _& v7 l8 U) ?
1 x2 D' b( Q& @) P0 B; Y! A以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution
0 `) U7 n' q+ d* ^* G+ c8 U, }, [2 g4 L5 C6 r
# T* V8 n1 B( w! P
关于n的分析:5 r' X3 S" a% ~8 G0 X; Z' b
设f(n)为一开始有n个人时,生还者的位置。0 D0 i; v6 t6 u! ]" b* A
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:
+ V8 q2 X* s& H# F2 U
) }: y5 ]- [+ g& }8 f" Zf(2n)=2f(n)-13 N8 b. M0 m# M6 k6 B! [  H
如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:  m, Y0 I% M2 U) D1 w& v6 n

: _$ Y* U: j9 h, h7 B) Z1 Ff(2n+1)=2f(n)+1
& Y: f, W  Q7 ~& W1 u
% S; c+ o2 D! _
0 |* _5 p1 l7 Z( k. M- ?' d6 F如果我们把n和f(n)的值列成表,我们可以看出一个规律:
0 n4 ]' H2 q. m$ U0 U, ^  W' r+ w+ d- ]! H  D3 ?! M* A
n    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    161 ~$ M& M) |: `" E) \
f(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1
( a/ G9 _# Y9 k1 O* U  ]1 n. n3 x, r, u+ R# {, A8 V
从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。
( L. y) H, J. N  u* I0 n; L/ \/ t4 v# e9 G
定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。
6 g; q, b# s! E+ G6 l: G; z  O1 b5 @( C" a/ A

6 ^2 T5 k& e8 x- g( b+ E& T0 y答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02
. K0 P6 R0 S7 b兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
2 G: V( B* h! v* F' W* r. D: e' Q8 i  B+ X% q! R  c0 {
在 ...

9 J  G* @- I6 }7 P5 R! d" U2 H: I我的推法就是这个:8 @1 ?  M9 N( ^/ n* X) x- L

; f- W8 d+ a- H* @3 F  return ((josephus(n-1,k)+k-1) % n)+1
% Z- h+ x1 g2 Y/ i
/ I! P! |. z( g2 O" y; ~我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。
( u  }! G$ E; Q) E9 U
! ]/ p) }) Y4 O) j2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂
0 ]. H6 [# T" h不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40 ' y* ?1 U, j& i, z
看不懂
# Y* ]) S! j2 k8 R1 v/ k4 {6 y不过今天不幸运数是17

: L4 n3 K! y9 d8 ]/ J$ n. q0 W0 \7月17日成了一个黑色的日子。很让人感觉生命无常。
- C$ I# S5 K, [) m' G# i0 H' Q  x9 j7 N+ D  r" x% N
以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,31
& m6 p* C" h5 e4 u9 @8 y) Z7 O
13号如果遇上星期五,还是算了,不要不信邪。




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