爱吱声

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

作者: 到处停留的叶子    时间: 2014-7-16 11:30
标题: 小小的停留之四 幸运数
上次说到  小小的停留之三 “计算机之父” 天才的数学家冯·诺伊曼
8 L  P( y+ v* F" ^. Y# E6 ]看冯·诺伊曼的故事,他有句名言:“若人们不相信数学简单,只因他们未意识到生命之复杂。”: W: C6 I+ d4 S8 C! B; ]7 v! ]
  m3 X7 s) k; X$ n3 b
他有个好朋友,据说是最好的朋友,是生于匈牙利的波兰犹太人数学家乌拉姆,这位先生曾参与曼克顿计划(核武器上有Teller-Ulam design,Teller指爱德华·泰勒)。他亦有参与研究核能推动的航天飞机。在纯数学上,遍历理论、数论、集合论和代数拓扑都有他的足迹。
+ Z0 K3 _0 c, R% ?: \: |0 U  q+ v2 W, p' U
所以我在这里要说的幸运数不是中餐馆的饼干里给你的数字,也不是买彩票开奖的数字,而是在1955年波兰数学家乌拉姆提出的一个自然数列,用类似埃拉托斯特尼筛法的算法后留下的整数集合。
- b$ v5 L( L$ V' T# m6 I
, |3 k4 t! R8 e$ r1 h: oIn 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.. G! U- U* x/ d# n- k6 O* p. u, ^  N
9 m' z; s1 _# L1 O5 K9 x
幸运数的定义
- g  \! t1 K7 p7 p" C0 Q- oFORMULA       
, {( a. [1 O1 o) jStart 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 J+ {  j! |/ g& K0 N, y
2 x$ F2 S3 m: Z/ @3 ~; E" u具体一点来说说幸运数列怎么筛选出来的(喜欢数论的同学一定知道挑选素数的埃拉托斯特尼筛法,这个办法是类似的)
+ ]( y6 p- t# }& L0 E$ d6 S* ?/ v% |+ M4 _$ t( e$ @1 D
初始,从1开始的自然数列:  K7 x9 E9 H4 Q. U
Begin with a list of integers starting with 1:
8 j7 F! [$ N9 ]) m# Q6 a' A- N1        2        3        4        5        6        7        8        9        10        11        12        13        14        15        16        17        18        19        20        21        22        23        24        25  ……
& k" f& ?* ?; _0 d9 L  X" x" N* q
5 b3 b- W/ ~5 k/ {开始删除,在这个数列里,从2开始,首先是每隔2个数字,删除第二个数字。剩下来的数字是奇数~~' w' E0 S/ G4 ~" Q5 h
剩下的数列如下:7 L  e* q9 C% U# M
Every second number (all even numbers) is eliminated, leaving only the odd integers:) R9 n* Y1 @) x3 k
1                3                5                7                9                11                13                15                17                19                21                23                25  ……( x8 K" H: p1 M  L$ V

0 z6 ~- t) t4 Z' i( G) ]+ d接下来是3,每隔3个数字删除第三个。剩下的数列如下:- K2 h" G1 A8 e+ q
The second term in this sequence is 3. Every third number which remains in the list is eliminated:
5 n8 U, G9 d  Z/ u8 A4 C, _: R4 J6 B1                3                                7                9                                13                15                                19                21                                25  ……
7 E* H4 U: |9 J) ^8 D0 P, i  y" J- I6 t
现在接下来的数字是7,所以把上述数列中每第七个删除,剩下的数列是:
- E  `$ A) V! K8 y7 L8 j0 EThe next surviving number is now 7, so every seventh number that remains is eliminated:' \7 g! t) R# I8 T3 T( {% T
1                3                                7                9                                13                15                                                21                                25  ……/ u; Z8 t" F* M- ]

% N# X5 f2 U3 j3 U1 F7 y接下来是9,……7 t7 u. v: |9 S) w) g
这个过程可以一直无限继续下去,被幸运地留下来的数字就是幸运数。
4 a; k: ~% ?" D# ^7 `$ O) O+ r
  s" F0 d: \4 p% _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).
! q* K3 U2 s. m% P4 `在OEIS编号为A000959的数列就是Lucky numbers
; q& y$ r$ G( K# N上述链接给了一个稍微长一点的幸运数列:
* j/ o! p/ V# ~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 ……
0 J. x7 @" Q9 @1 O% _* e
  n- D9 {% M& w2 s; G' E有没有同样喜欢看数字的同学告诉我,你看了这个数列发现的是什么呢?
- {  \. U6 F0 Z+ ?' u, G% S# m+ u' i3 _0 v8 c+ @, S* k( J1 i
1 G" l8 o" W9 {; S$ U/ h
: s% J) m3 w; W& }; s  M
第一个短一点的数列,我发现,1,3,5,7的平方(1,9,25,49)都是幸运数,但9的平方81就不是,于是马上想,那么是不是只有奇素数的平方才是幸运数呢?答案是不,11的平方也不是。于是叶子的第一个猜想就在几秒里被叶子证明是错误的。
6 Q, ?0 {) [4 [' S6 Y9 Y
4 R% q$ w6 c1 D4 X: p1 {* W数论里的各种数列是数学里最容易上手理解的,不过最迷人最折磨人的也是它。著名的例子就是哥德巴赫猜想(Goldbach's conjecture)。
; ?$ b% y& x& k) u( M9 [幸运数的挑选过程,类似上面提到过的埃拉托斯特尼筛法挑选素数的过程,同时也和这个著名猜想有关。
1 P' p# n" z: O1 }另外幸运数也曾经在正式进入书面讨论的时候被建议叫做 "the sieve of Josephus Flavius",因为它的挑选让大家想到著名的约瑟夫斯问题。. s8 Y5 _7 l, B; K

  W$ l5 e1 v/ ~9 g0 n* N$ i暂时就到这里吧,接下去要不要继续聊引出来的概念和问题呢?9 z: D* w+ b$ B1 k4 _: m# R) ?

5 z( T9 ?* n1 a**什么叫做Conjecture?
7 j# E! d- u9 l4 J7 u0 j**约瑟夫斯问题。
作者: 到处停留的叶子    时间: 2014-7-16 21:26
猜想(conjecture)和假说(Hypothesis)
# O. f# P6 x$ c' s/ m; ^& S+ S3 q9 P& L5 `" \( C
猜想(conjecture)是一个看上去是真的,但尚未被证明的叙述。比如说上面提到的数学数列,因为它表现的没有规律和无限性,基于观察的某些结论,如果不能用科学逻辑的方法来证明在无限的未来它都是真的,那么之前所观察到的所有事实都仅仅是看上去是正确的。
; _: {: j8 w2 p2 Y2 Y8 }( c; P- f0 U5 M- c! U
当猜想被证明后,它便会成为定理。猜想一日未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。
$ \2 [$ v0 |; V1 {  D  ]' C
, G- t8 w+ u5 }" P猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首四个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)8 h% R' u$ h& s. p
- h; h0 n: z* M8 z
假说(Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分析,得到一个暂时性但是可以被接受的解释。任何一种科学理论在未得到实验确证之前表现为假设学说或假说。+ g  ]; z& T+ j7 |

6 |3 @; s- A& v* O. o有的假设还没有完全被科学方法所证明,也没有被任何一种科学方法所否定,但能够产生深远的影响。如1900年德国物理学家马克斯·普朗克为解决黑体辐射谱而首先提出量子论(量子假说)。
作者: 农民家的狗    时间: 2014-7-16 21:58
不明觉厉
作者: 到处停留的叶子    时间: 2014-7-17 06:50
本帖最后由 到处停留的叶子 于 2014-7-16 17:53 编辑 $ K# A: `/ N, x: j/ r# Y
8 `: {! m" h* ^/ @, s
**约瑟夫斯问题    都教授
4 _8 \) t  y8 L. |& g2 W/ U  r; h' X
我们来聊聊约瑟夫斯问题。
7 ~$ J$ V. V( d9 Y# _5 B) N# [: c1 r6 i9 B2 g; p4 j* q
有n个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过k-2个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过k-1个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。
% a* ~% w" A  H7 \
0 G) g7 r: E/ h/ S问题是,给定了n和k,一开始要站在什么地方才能避免被处决?
0 Y- R1 J" S# k! T3 r4 d" N. ]4 K# n
$ ]" L$ A  L, O* e* b
---------------------------------------不思考的分割线---------------------------------------------
' z, H' v6 ^  b& p8 o& |# i据说这个问题是一个经常出现在计算机算法中的问题,不过当年我读书的时候对它并没有特别注意。在计算机编程的算法中,类似问题又称为约瑟夫环。老兵和神牛肯定比我清楚得多。我就不多说什么算法了。牛教授 兵教授  0 P) d1 s8 Q2 F# k

3 A( T0 [  X% S2 }---------------------------------------历史八卦的分割线----------------------------------
: b3 x1 k: y+ i' F2 W& e  ~, J  N这个问题是以弗拉维奥·约瑟夫斯命名的,他是1世纪的一名犹太历史学家。+ T* k9 G4 \; n3 U' T6 S1 z) h
据载,他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意。   
作者: 独角兽    时间: 2014-7-17 09:30
到处停留的叶子 发表于 2014-7-17 06:50
, j/ Q2 i8 E' l( k**约瑟夫斯问题    都教授   k* n1 w! I% n  _0 [/ [4 {& U7 Q8 `. M
. A( z) v/ F6 C: j! |
我们来聊聊约瑟夫斯问题。
& k7 P7 u( F, J* _/ {
1. 经过努力学习,这题我能用java编程做了,oh yeah!
, S, C& J+ b9 B' ^
0 _0 N( S# U# x0 u* Q2. 但叶子问我的不是编程。对于给定的k,我可以用倒推法硬推。但是,想了半天也没有想到不用推的直接算法。% @9 Z# I) E+ \9 k
% {; ?; E& S' C  L
推的方法如下:, d2 R9 I2 O. L! D% i8 u
0 u) P/ X" S" k' f( X0 r+ o! G
n=1,就一号,跑不掉的6 e6 {# }8 J3 y8 D4 l* E/ F
n=2, 要站 (k+1) 模 n 那一号设a(2),比如 k=2, 则 a2=1 (号); 若 k=3, 则 a2=2
0 Y7 E  p* E! }0 f( ]" @  W如此类推,n=i 时,要站在 a(i-1)+k 模 n 那一号。比如,k=6, n=19 时 要站在14号。
( a) i$ t, |; x5 @' k
+ o# Q9 u0 O, e5 h8 S2 l5 L5 Y7 y2 v& Q4 w) j3 [3 U
我算到k=6都找不出更直接的规律,不好玩
作者: 到处停留的叶子    时间: 2014-7-17 11:02
本帖最后由 到处停留的叶子 于 2014-7-16 22:06 编辑 - D" Z& e7 y) q0 Y) a
独角兽 发表于 2014-7-16 20:30
% B) J6 p# v2 S1 j* [1. 经过努力学习,这题我能用java编程做了,oh yeah!* B' @; I8 a4 R7 R3 _5 p
" N0 m# R$ J* a  Z5 r! B/ g& q
2. 但叶子问我的不是编程。对于给定的k,我可以用 ...
' k0 I  A# w) q/ G
2 w1 V/ ~7 I7 K+ X4 C9 w
兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看8 ^& x7 E1 G( m/ ]$ [" n; R' S$ O

3 L4 j0 r2 X' j在维基上看到K=2的解法和还有K≠2的通用解法,这里摘抄过来那段关于n的有趣分析。
4 |9 @- V8 N; E- u5 \  w$ e* M4 q( T0 G  ?; v
还有下面我抄了两个通用算法,那个java的是不是和你做的一样啊?' V+ N5 F% y0 L! ~
6 ?' B3 c1 Y, X4 L& }9 A
-----------------------------不动脑筋的分割线--------------------------
$ D" W0 A! Z7 D- o- K
, }1 y; X" g# Y7 V! D8 {, ^  q一个小心翼翼的Java例子:
/ M8 l2 L2 w( f4 Z/ I! h8 M4 C2 \+ g. X+ d+ S
int josephus(int n, int k) {- B  a. d  W) t8 ?& r
        return josephus(n, k, 1);+ C& ]! X9 G9 [) A5 M# S* V  k
  }
% ~, Y& G1 V1 k3 l2 d1 V0 u  N) |  int josephus(int n, int k, int startingPoint) {
' s5 q' A; J! J" N, {+ O+ p. K: `      if(n == 1)
$ }0 e: i8 D- A: u          return 1;
5 E5 g* O; W* {( i. f4 V- r  D      int newSp = (startingPoint + k - 2) % n + 1;3 a! b" U# u4 r0 g+ l

. W, y4 |6 i& t, k0 t      int survivor = josephus(n - 1, k, newSp);: f3 {1 g* M- k8 K; N  H7 s$ o9 n
      if (survivor < newSp) {
: P# E8 ~8 `" s& E; G: ?* m          return survivor;
0 ?& w) T: P8 ]5 J/ `1 ]$ w      } else7 W2 U6 p2 x0 K. Q9 w4 G" u
          return survivor + 1;$ R+ _4 f8 W: [( G6 Z& W3 [
  }* J: Q( k+ p5 Z( @1 R& o9 K7 f

3 i2 o# m/ j* s- E/ |7 J% U另外有个更简洁的例子
7 R+ P2 F0 ~4 a+ A( i( d  def josephus(n, k):
. f. Q" D7 {- g! _& @2 w    if n ==1:# D7 O$ |$ L* B/ A% e
      return 1
% c- j5 j0 R! F* Y6 r# t$ Q    else:
: K/ B+ p6 @" |# R& x: a1 \* X      return ((josephus(n-1,k)+k-1) % n)+1, L, M4 N7 Z0 D
* ]; r( q" Y1 y. u1 M8 F' B
(如果n这个数字很大很大,k很小很小,电脑会不会转晕过去呢?)8 m/ G* \# x8 d+ H- w  s
, j6 \" l7 ]# _. t, I% ^+ O
以上摘自 http://en.wikipedia.org/wiki/Josephus_problem#Solution
& o: G/ c  v9 a3 `- d  P; \2 G5 r: G( y$ R1 ^
* }! |: r! i( ~1 s3 |/ S0 l
关于n的分析:0 T3 _3 S7 r4 s7 ?% ~2 v
设f(n)为一开始有n个人时,生还者的位置。5 d" Y0 E3 w. F: F/ U
如果一开始有偶数个人,则第二圈时位置为x的人一开始在第2x - 1个位置。因此位置为f(2n)的人开始时的位置为2f(n) - 1。这便给出了以下的递推公式:1 J: a+ f2 o# u

$ {  q3 G4 A6 `- \f(2n)=2f(n)-1
' S' D! H8 f5 R如果一开始有奇数个人,则走了一圈以后,最终是号码为1的人被杀。于是同样地,再走第二圈时,新的第二、第四、……个人被杀,等等。在这种情况下,位置为x的人原先位置为2x+1。这便给出了以下的递推公式:' E$ l7 ~) h$ [, u! y* E

8 ?( q+ n- ~2 ?. Y) M& xf(2n+1)=2f(n)+1
( @3 l4 _! ~+ f5 b8 p/ c! h/ f! J
" i+ ]* Y& f+ W2 L& j' i+ c2 T
' {* i7 [: Q, b0 A如果我们把n和f(n)的值列成表,我们可以看出一个规律:2 v; q& w5 h# P) G4 \$ f! p
3 {4 W4 q6 W5 N# j
n    1    2        3        4        5        6        7        8        9        10        11        12        13        14        15    16
& G2 m/ F7 |5 Z' \0 if(n) 1    1        3        1        3        5        7        1        3        5        7        9        11        13        15        1. t1 X% O' M" T3 n8 O( s$ O/ c
# o. C& G! l0 u+ A" y4 J& ?
从中可以看出,f(n)是一个递增的奇数数列,每当n是2的幂时,便重新从f(n)=1开始。因此,如果我们选择m和l,使得n=2^m+l且0≤ l<2^m,那么f(n)=2 . l+1。显然,表格中的值满足这个方程。可以用数学归纳法给出一个证明。
% Q$ m; \! A/ w+ u/ J2 X/ w  f- ]' P( A
定理:如果n=2^m+l且0≤ l<2^m,则f(n) = 2.l+1。
+ Q, I0 q) y, P% t/ I* h+ d  P+ t6 m0 q% u5 t. @  O! T
+ s4 j, R" P* l
答案的最漂亮的形式,与n的二进制表示有关:把n的第一位移动到最后,便得到f(n)。这可以通过把n表示为2^m+l来证明。
作者: 独角兽    时间: 2014-7-17 11:19
到处停留的叶子 发表于 2014-7-17 11:02
4 U6 W; N4 a4 X8 Y. X" E# h- _兽兽真是爱动脑筋啊~~我现在遇到这类问题第一想到的是打电话找高手解答,或者先在网上找找看* E$ _4 T; _5 U* `- N# j; C' c

$ V- x4 ~7 l+ A6 E& `1 M在 ...
4 m6 A# L" z3 {  e5 b
我的推法就是这个:5 d- J. h( {0 M7 }
% J) L. j0 t/ U2 Q
  return ((josephus(n-1,k)+k-1) % n)+11 U; @+ m6 G9 F# o) ]& R% r

: g  W7 e0 J% _9 U9 z9 r& A我有一点疏忽是如果整除,模的结果是0,但实际应该取n。所以这个表达式把 "+1"搞到括号外面就完全对了。
; ^# y2 l# p* P5 H) D* Z+ R; V. z( p" ]" M# i
2的情况我没单拿出来搞。
作者: leekai    时间: 2014-7-18 09:47
绕死了
作者: 常挨揍    时间: 2014-7-18 22:40
看不懂
7 R3 e& X2 D# M# v不过今天不幸运数是17
作者: 到处停留的叶子    时间: 2014-7-19 03:04
常挨揍 发表于 2014-7-18 09:40 5 q- Z. _# j) X% h! |. W
看不懂# S% ]* {3 b" ?) W% h' h! G
不过今天不幸运数是17

4 A% G' @/ v, u7月17日成了一个黑色的日子。很让人感觉生命无常。2 ~4 ~7 @: M& b! F
: v# y  S9 `- Z* R8 V, g
以后出行挑日子,要找一个幸运数的交集,这里前面的9个数字也可以参考一下:1,3,7,9,13,15,21,25,317 ~8 Z2 m. I  R1 ]$ |' @. L6 K  E* m- K
, G) ]" [! z: g
13号如果遇上星期五,还是算了,不要不信邪。




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