爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
' R9 J9 ~' U8 S0 ?$ x看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”3 C9 F7 q, D$ k. q' V* Z. W, t

" b+ k' R% q( A/ J7 @6 U! O4 X他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。2 ]% T/ \4 @% ?0 e$ I/ ?% R
7 ^0 U1 }! S% Q2 K; m
所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。# S7 p8 R8 H0 p- e% A1 [
: T! e% u: J* O8 M% [- ~( L
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.
! I/ _  ?& R2 k/ x; b" s- x6 x* |3 d
幸运数的定义8 l3 q, F+ A% Q9 ^, @
FORMULA        5 I6 d; K3 b( P4 c; [6 ?! v( H
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 O) @$ r1 C* j) }4 f( v4 |) B& M$ i; O: A/ c$ i9 `
具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)1 A, Y3 ~( F, G+ v$ s2 c2 U- ?# n

9 H  O5 n8 N( B5 o0 M- v初始,从1开始的自然数列:5 ?+ }% r5 l) n  j+ W% Q
Begin with a list of integers starting with 1:4 D8 f- d1 ?9 H. Z) u/ H
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  ……; w9 q$ P( _1 t8 m

8 m+ H& F" J; M" z2 b开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~
% Y+ I" Q! g7 d6 i' u! g9 X剩下的数列如下:' h  l+ B' U1 I6 \, Y/ d9 E& s
Every second number (all even numbers) is eliminated, leaving only the odd integers:! c, I2 ~! P# H
1                3                5                7                9                11                13                15                17                19                21                23                25  ……
' F7 V% [2 q1 P) i! T
+ M6 ?6 ?( `3 \% @$ j5 a" x接下来是3,每隔3个数字删除第三个。剩下的数列如下:
3 z" ]/ ~" n0 ^; i, jThe second term in this sequence is 3. Every third number which remains in the list is eliminated:1 _- v( i) E3 N9 l0 Y# m$ Y
1                3                                7                9                                13                15                                19                21                                25  ……
0 w# n: m0 ]: ~
' ~+ o7 t4 M1 I# \4 h现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:* X9 |. p: E! [, ^
The next surviving number is now 7, so every seventh number that remains is eliminated:
, K- @& @2 X& U7 _: }( H1                3                                7                9                                13                15                                                21                                25  ……
- G+ F+ z' V" M7 O; }, ~8 D2 y7 @% w# T$ x- O
接下来是9,……
( I! r/ Y" I- F/ \这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。
% @6 Q& R* p3 w" J% \5 g* ^2 \, t/ L8 C+ z* k2 D0 `* E
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).
; `& {% z% ]0 ~  H4 E在OEIS编号为A000959的数列就是Lucky numbers! ~2 v. ~, d+ w2 X* }( E# G
上述链接给了一个稍微长一点的幸运数列:( W: o5 r; L6 I! D. t& P* y' n
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 ……/ J; l; z4 o; j  G, q

, Z' j( h% ~8 ^# b+ K有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?! q) J9 p% x$ T' q1 m& j* T
1 }% z' M# I- D
6 ~# p  b, n4 c+ L" q

" [0 Q# X. I' i- E$ b第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。! @" k+ R2 i# u, `6 w! o" z* m) c$ X

$ |/ u' V* s9 @5 O' P7 f5 ^数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。5 K) w5 S4 ~) I7 n
幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。
+ [# J* Q: `, b! v) e另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。
& W1 E& V6 ^2 |, i$ l6 {# r" E% }7 _# ^3 F
暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?. z; M' x  m/ H! h

3 b! H1 |: f+ O9 Q* q5 b**什么叫做Conjecture?
1 \9 P. n3 ?* N5 a3 m# n**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)) K5 r  G; D/ A5 I9 f
( c$ R* V5 ^& t( s/ g
猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。% H# J5 P( r0 j& L8 K  h
7 B& x/ j- U6 n9 k
当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。
; g7 j( e! d6 V1 m
9 D" H" A4 l: q. y% t; q1 L1 ~猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻). P1 O3 c4 O& L0 l

! d9 ?) `. ?& O" z: n% Z假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。
$ d9 v/ \5 A8 Z* I* L# s1 A* \0 v7 G5 c( ?4 P' T4 r
有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑 1 g) \9 Z. F$ M

, y5 {# B9 M/ D0 A**约瑟夫斯问题    都教授
9 ]! C- |8 b7 n6 R% ^3 a2 K/ w1 S8 i! m
我们来聊聊约瑟夫斯问题。
/ ~* a/ q( g% O. H5 U, p- a
: H% Z2 v8 l# h* F( W有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。+ d% D5 `9 r% B2 l8 k; j

! }( k2 \8 ]3 z1 S6 U5 Y5 Z问题是,给定了n和k,一开始要站在什么地方才能避免被处决?# I: m- ?0 V& h. [$ H; U

* I7 F5 k1 P7 B# e7 `' I* V! z  ^) m& k' Z+ Q! t) v
---------------------------------------不思考的分割线---------------------------------------------" i2 Z- u' X5 a
据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  
% i  S+ Q8 C9 |% {8 I5 t& l1 o1 _" Y  q9 @1 P- g
---------------------------------------历史八卦的分割线----------------------------------7 K) _9 |) [* f& n3 K
这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。* i1 z% h, Q! E' p! A1 m" k" \
据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50 / y& \, B& Z4 p: u# C9 ]1 [3 p
**约瑟夫斯问题    都教授 ) d1 F9 x8 c* U
9 W8 _0 W& v+ }; _* {/ P6 m
我们来聊聊约瑟夫斯问题。
) b! z4 o) J1 O, S% a
1. 经过努力学习,这题我能用java编程做了,oh yeah!0 L+ J) {- J8 d! t
5 P* c6 h* _# }+ x9 m$ l
2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。
1 P) e' _( f% K+ E) K
/ i* L) P8 L! y; `) F7 Q推的方法如下:/ [( p+ f+ G* K

' O. ?) i) H0 v; x, U* J( Tn=1,就一号,跑不掉的
9 E" D4 G- P" y2 p3 An=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2
' G+ p* \) i$ U* a4 R, d+ E如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。
% E, e& V, O9 M7 s0 C" B1 s& z: J* p# k  g3 Z  W
. k, ~5 k9 p" a
我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑
4 [# B3 n( ~4 Z5 B/ g7 g* }
独角兽 发表于 2014-7-16 20:30 & Z+ b: ^, k) c. p1 z5 H
1. 经过努力学习,这题我能用java编程做了,oh yeah!
" x& |2 G) a. ]# I
0 S# n% x$ y' {2 E- c& |; q) D  M+ \2. 但叶子问我的不是编程。对于给定的k,我可以用 ...

$ ^1 Q" i0 }. J) B! w
( s- a2 W* z  N兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
7 d1 M/ r% D! S. r9 D; q1 B) y& i; B
在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。; C/ ~! j! Q% L) T+ z! _" |

' b* A" J* a! r还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?  j" o: P+ L1 m; p6 ]
8 b' \, T6 Q/ H& e- }
-----------------------------不动脑筋的分割线--------------------------
. q* S9 H# v8 m% Q$ k9 P; o
: J5 F1 t. W( f+ z- J- ^0 P一个小心翼翼的Java例子:* u$ v" T! k! X9 g
' \: H" n6 v+ a  U/ w5 r! A) y! ^4 D
int josephus(int n, int k) {. u' U$ Y5 q3 s- v# w) H
        return josephus(n, k, 1);, d8 x" E1 @0 U6 I2 R7 Z# U$ Z- g! i
  }9 \; M" K3 K4 J; o! d* x: j3 {- d
  int josephus(int n, int k, int startingPoint) {- c' X9 ^4 a/ V( x0 ~
      if(n == 1)
# y! M' Z( j' L' |          return 1;
7 p! G! p0 v: A6 m, o$ ^3 a      int newSp = (startingPoint + k - 2) % n + 1;
. J! g! D4 C$ ]  ]
$ N. ?& `& |* [/ ~8 T" d, ^      int survivor = josephus(n - 1, k, newSp);; A1 a5 X0 j9 v: H& Z9 Z
      if (survivor < newSp) {
# w- S) W2 t" l) Z9 X8 ~( Z4 e          return survivor;3 w' ?$ |* `  Z: r) n0 Y: C
      } else' e8 }2 w+ }. O' X- s$ e) a8 u
          return survivor + 1;# |" w4 q& x& X- V
  }
  e. Z2 C- K  i/ o4 z
& |8 m: R( S& _* D5 ?! r5 ?另外有个更简洁的例子" J9 r, O+ q, K: {" x
  def josephus(n, k):
7 v* r% N5 L4 c' l: S6 Y& z  @0 @    if n ==1:
4 w5 {: Y4 l$ x5 Z' m      return 1$ h1 q+ v" A, l% |/ w+ ^: p
    else:
* ?! B. {( T8 b$ K% E( }9 n7 P2 e      return ((josephus(n-1,k)+k-1) % n)+1* d0 ^. L5 b* P* v* d. g8 b# v; S

& ^$ l# V3 x0 A& ?: i( y* h(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)+ ?( ?' ]/ I6 S0 T, b3 _8 G

8 S2 z0 e) D( I" p& g' W; f! @2 m以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution4 B# n9 [; o. S  c6 N6 o- G

9 X# n. A# h( H1 s$ |* M  ~- g6 T; S3 V( M
关于n的分析:
  B4 s8 C7 o1 }% e( `! _" W设f(n)为一开始有n个人时,生还者的位置。& d, w, _$ U, k2 D) _9 e( F  b; |0 l
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:( `3 V4 f, k' \9 H0 Z+ V

. D7 @# b! A6 ^; \& n1 sf(2n)=2f(n)-1/ F' q9 F3 n* @) E: Z6 g/ \
如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:- f! s1 l' g. _) V* h
, A! a0 f8 W2 i/ R" k
f(2n+1)=2f(n)+1: @0 G0 t- F: [3 z% h; l  q5 w
9 Q0 p$ w9 L/ O, Y- {) x' Y3 l
+ [! ~, ?8 T  Z+ V# r! ^: C
如果我们把n和f(n)的值列成表,我们可以看出一个规律:  h; O: t8 R8 `/ _1 K9 v8 J- E5 m

  a: t+ k  F5 ?" X# hn    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16( r( g8 [; W8 z% |
f(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1) K: Q4 h; A7 r2 G

: V+ W; D* m! o! K从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。) E1 ~+ `3 z, l& q6 r2 t  i
: x9 u/ `' H7 R. }4 _% C0 X
定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。
# k( e; o+ V2 p- B0 z
9 Z2 a9 _: i5 T% O% B0 e0 }
8 w' @  I( P; y+ F2 \  Y& L答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02 2 N2 `, G' `: ]8 K# h
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看
* }: l) E5 p! X+ a" C( S2 z' s$ z& X. ~; P1 l: E" T
在 ...
1 [) `) j$ z& b+ ^. O2 @$ x* R
我的推法就是这个:
* U& V+ E" s7 r- i; g- b! u
6 F% U, q. k# k. j1 K5 ^; C7 s  return ((josephus(n-1,k)+k-1) % n)+1
7 I& o5 A' `9 h- G6 l' Q) j9 a, [7 ~! e2 ^
我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。; Y( p+ w' E7 I, P; e3 a! K

5 Q$ \. W. W9 M' s; D& S( L2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂
0 u& h# U4 X3 V  O6 U( a2 H不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40 / ]  W/ A# u+ k& _  O5 C3 S2 u
看不懂
6 O  Z; f9 V' E5 w1 w" u, _( i: ^不过今天不幸运数是17

# n: ]8 O* b  J! I7月17日成了一个黑色的日子。很让人感觉生命无常。& R/ G4 c! ?) }6 H
) V$ k  `& ]( K5 H; B) D# {
以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,313 n& h# r! ?5 h& b
% u/ o$ Y6 q6 g" x' l* u  O6 K
13号如果遇上星期五,还是算了,不要不信邪。




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