爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼& ?) h+ s# M9 s& B
看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”* E& x# q9 B& W7 ^% @9 g

- U9 [  Z  e( @; b; j他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。
) G' w; L/ A' s- L
5 E% i! u6 _% K5 Q: m所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。/ T$ Z, _  A+ U' }

6 u: ~, F; E4 A  V- FIn 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.* e3 N  k2 x: ?% [8 N0 l% z
' e* U4 k% e- @$ h
幸运数的定义
# T# a6 I+ m1 a9 B/ j; jFORMULA        4 ]7 |% y$ q4 N. ]1 h) V7 Y
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.* R' n0 i/ a# x* e2 p
8 K- Y  v* ]1 A/ f$ k
具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)$ V- z: K6 p0 d5 }& S- n
/ b) J: A' x1 d# J7 z& O) A
初始,从1开始的自然数列:& ?6 D1 ]% s8 S5 v* ?4 D
Begin with a list of integers starting with 1:
  g. x0 s% j* J! z( C1        2        3        4        5        6        7        8        9        10        11        12        13        14        15        16        17        18        19        20        21        22        23        24        25  ……
( Z, C( B4 x6 i3 u+ _" m
! B  U: V+ s; U" t& h6 C- S7 v开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~
5 N2 z7 [3 L) I剩下的数列如下:
9 I% _# I+ a+ {3 t1 gEvery second number (all even numbers) is eliminated, leaving only the odd integers:( h2 B7 f% u, Z4 L* T% C
1                3                5                7                9                11                13                15                17                19                21                23                25  ……* H$ R0 W1 D: b5 b

8 f* V: n, h  k* {% P接下来是3,每隔3个数字删除第三个。剩下的数列如下:
: Q3 n  @$ D5 |4 EThe second term in this sequence is 3. Every third number which remains in the list is eliminated:3 U' I# z# B  }8 |9 A4 @
1                3                                7                9                                13                15                                19                21                                25  ……) x4 y- x; q; G

) K- v/ A" Y( i: x" [现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:: G0 y% S' L0 i
The next surviving number is now 7, so every seventh number that remains is eliminated:' ]+ T+ t; T9 c; n. \: C) n
1                3                                7                9                                13                15                                                21                                25  ……
; s- u7 w: S0 H" A, y, E" }1 ]8 ~
: ^7 Z. k" P8 W6 m) O接下来是9,……8 M9 P4 }' E1 o+ w
这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。3 V6 ?! G+ i  m( h
: Z% o$ L7 b% c0 c
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).
5 a6 e" _5 o# |7 f. _. J在OEIS编号为A000959的数列就是Lucky numbers% D7 d* H" p7 ^
上述链接给了一个稍微长一点的幸运数列:" m: s+ T  z. B
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 ……! S0 D7 p6 C0 f9 h

2 I$ ?, l( ~2 {1 G' O有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
9 i! p& Q* z! V- W2 ?0 ^$ h/ j3 X9 o. B! e
2 t, b8 J$ l3 t
) H$ C& K# H$ }2 N
第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。8 c+ ~1 z0 E7 G# C$ a
! K0 y& j; _( n8 o6 q
数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。. }2 [6 s3 ?3 q' j& [
幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。
6 W( g. T6 y# i; z' I2 o8 F3 [另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。
9 d, W6 ]! Y9 v! o1 d% r& B
9 N: A5 t8 `- z3 B6 F( M1 m暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?
0 Q0 J1 W, g) [- a9 S% Y0 Z$ c) |' o' H+ \8 k2 ^
**什么叫做Conjecture?) ~) l/ w; f2 ]  {& ?/ [- J, [
**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)
, g- `  D$ c0 u( e" w# l
9 J+ ^; M# T$ [& J- ?猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。6 n% p7 ]7 r( V4 z8 @
3 g# p3 t/ V; C6 C* [
当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。: |" C2 m' Z/ o% N3 m
( E6 X5 W. U, [; V! z, R( N
猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)
; f& s$ W2 D2 `3 x
4 _" _" w1 Y3 d: U假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。$ a2 ~7 v6 @/ ^% N. A

" l& g7 H% S- x# N有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑
8 ]' e. O0 L2 M* e9 t' J3 Q7 K0 e$ y- [, @) w7 ]. R3 b. p# S
**约瑟夫斯问题    都教授
& M; }. ^7 K  R2 x
0 E3 g1 x5 l- b6 t. i我们来聊聊约瑟夫斯问题。# i+ ]" P$ H$ K

% S, f' S* x! c5 B; E: H5 [有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。
8 s2 R/ B" }* J. n% q1 P/ c2 x+ F* Y  A2 n; f! U* U% a: z# Q6 i
问题是,给定了n和k,一开始要站在什么地方才能避免被处决?
7 l9 H$ y: C' S, }* H1 ?
; \$ W: U- ]$ J' U2 D" }5 _
, N. R, s2 a) i  i# M$ O$ L---------------------------------------不思考的分割线---------------------------------------------0 L% P( V: d6 y) |) u* f
据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  
$ [" T* [) }1 E1 Y& G( M
9 M0 o! w$ {# f4 |; `6 G, E6 k---------------------------------------历史八卦的分割线----------------------------------' `, I% T; D( y
这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。. D9 t: X& {: o' {1 u7 u- G
据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 & \# \! f6 _* i: {
**约瑟夫斯问题    都教授
& s' n$ E) `% l0 B/ T
9 b3 N: d4 [* F0 Y1 u, G1 s我们来聊聊约瑟夫斯问题。
9 l! X4 a" M" L9 X1 ^
1. 经过努力学习,这题我能用java编程做了,oh yeah!/ r7 M0 R( o6 m  ^; h9 n

6 {! {# f) |! ^8 n, t, D2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。
* A. K$ v8 `: y6 z6 S# R6 |3 y; w7 c7 n
推的方法如下:' ?+ m2 ]* F+ g6 v. u/ s
' Y6 r6 O" X" ~+ S/ n- |
n=1,就一号,跑不掉的7 d1 e% N! g  n' K5 B' g
n=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2
8 r. o& A; E2 |# k如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。. X! A8 \6 K( D% [+ z7 \% t* V+ C  @

, @( N9 E! C# k$ B7 @" D+ I0 t. ]' a5 m
我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑 " x. J! Y+ q: `1 V* f9 j1 E1 p+ |; q
独角兽 发表于 2014-7-16 20:30
9 U7 Q# p0 ]$ Q' o% T1. 经过努力学习,这题我能用java编程做了,oh yeah!
% a2 p# Z, m, b, x" T
, b1 l. Y6 G1 @8 z2 A  x1 u3 d8 l; N2. 但叶子问我的不是编程。对于给定的k,我可以用 ...

5 T' g: ~. S1 f4 S2 n  O: I0 z5 B% I" B$ I
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
6 E6 m- {7 U3 k
& c, ~# k- F' l3 |; V+ }( X在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。7 j2 S# A8 g2 }% i/ b% J& A1 I* [

" Q& u' A4 O: H5 S$ |还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?: @( ~- z" ]3 A/ F

# C4 r" _0 t4 @  f$ _3 a6 @-----------------------------不动脑筋的分割线--------------------------* S$ ?0 N+ }3 n. @6 K! u

: C" m' c1 p& }6 K4 K0 ?一个小心翼翼的Java例子:- i; T! v7 C8 t3 o5 E5 ]
+ W6 l& e6 I/ G& A
int josephus(int n, int k) {5 a5 v7 ]! U! B3 @
        return josephus(n, k, 1);
- p: `' u# h' `  q. q& a  }( Q  ?- z6 l# W% y& B8 w/ G" b
  int josephus(int n, int k, int startingPoint) {' X8 c# C' F6 k/ P3 T+ C
      if(n == 1)
7 H" O- J+ j+ M, Z/ e/ B          return 1;
; o' X$ p# ?5 W' S) V5 \7 L% _8 Z      int newSp = (startingPoint + k - 2) % n + 1;
0 X3 G, G; X: ^2 g 7 a8 _& a1 B. e0 t1 ~+ X
      int survivor = josephus(n - 1, k, newSp);
! N* u+ C% {( J0 `: F" k      if (survivor < newSp) {
4 @) Z( \- N* ], p          return survivor;
! Q+ Y; o6 f& T2 ^# V3 ^. ^      } else" G: @# W, g* N2 U, p1 o& y
          return survivor + 1;
! l: Q0 [/ b7 C9 K- j  }" l0 E; H/ u& d( B; `% q: u: U) |7 U
7 I9 n* b8 T4 B; c( d
另外有个更简洁的例子! c' h, l9 m8 i
  def josephus(n, k):4 O: g. K6 q7 |% ~2 ^4 [* C% Z+ v
    if n ==1:. N$ I+ ^; o8 u4 j% N& S" O
      return 1
: E% Y* P. u, s# w3 r# a% K; ~( a    else:
$ D$ u- B1 d8 `1 ]      return ((josephus(n-1,k)+k-1) % n)+1
2 W5 O$ R6 N, N+ `
# p) b- d/ d' U4 A& D1 S(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)
: |) H4 m& i2 _, y6 K5 V0 o4 Z
6 b# P% J1 T" R$ G( M+ K! O以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution
* j# F+ j8 W4 {, Q/ Y
- l$ s2 r' L/ p/ D. ?0 g
. n' P/ G$ D4 C$ u, u关于n的分析:" `, f5 E; J, K- F5 b
设f(n)为一开始有n个人时,生还者的位置。
5 I+ `- |4 |9 q8 e& [如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:! u7 @. _6 e$ w

, T; _( I7 F( U+ j  x) V4 [f(2n)=2f(n)-1# r5 [+ P5 v2 S* z$ H' n" l
如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:+ S; E9 z8 R. T2 l! P; T4 Q8 q

" M  T) c5 [: lf(2n+1)=2f(n)+1
5 R. r6 M- t& y" i1 U0 r5 v- ^; Z5 M  l" \" _/ m

1 o6 L9 [$ e4 R9 q/ r8 E+ x9 i如果我们把n和f(n)的值列成表,我们可以看出一个规律:. U6 M3 |: `, d) w. q. D
; A/ R8 O  D$ B4 T
n    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16
( s& J4 [% \- W: d7 X$ Uf(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1
+ l  R' t0 }7 u$ |. a* n; F/ o5 b: y+ }0 q4 |6 D
从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。" `$ K* M  E! F; A& F9 M- {

. O8 D& t4 p" u' X( g' q( s% v! Y! ]+ _定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。/ B% y$ O. i+ p4 n. i

! X, |7 L4 K$ t: }0 K0 ^$ D0 t/ {1 n( C/ i: y
答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02 * T6 V, J" b% W+ J8 u* b% J
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看0 r7 ^0 V# {" q# Z! A0 u( R( `
; f, P5 o: I/ K; g( z' @: ]# |
在 ...
3 T  ^: e7 ]! h6 q6 q
我的推法就是这个:! D) c3 S, ?/ G2 A) g% P

  }" M! V$ d" w: t2 y  return ((josephus(n-1,k)+k-1) % n)+15 X6 Z3 C* P8 p

) g' K3 g# v# ?) V  g我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。( u6 P5 c) h4 [" h7 E' Q& n9 J

' p, _3 h1 P1 c2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂6 [3 x6 C  t% I2 Q# ?2 Q1 K1 k
不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40
/ s9 u7 w* [8 u* M# p" h# x1 \看不懂
7 O" z3 L# A) s$ _不过今天不幸运数是17
& \. |, o0 h$ W, ?  O
7月17日成了一个黑色的日子。很让人感觉生命无常。6 w& U0 v: V% |' A+ N2 H" t% \" j
3 j; N- H7 i# j% ?* |
以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,314 ^, n4 E/ O7 t0 @5 W
7 @1 a6 B( M. F& ~! D
13号如果遇上星期五,还是算了,不要不信邪。




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