数学建模社区-数学中国
标题:
哥尼斯堡七桥问题
[打印本页]
作者:
彭小玉
时间:
2014-10-10 21:41
标题:
哥尼斯堡七桥问题
1736年29岁的欧拉向圣彼得堡科学院递交了《哥尼斯堡的七座桥》的论文，在解答问题的同时，开创了数学的一个新的分支——图论与几何拓扑。也由此展开了数学史上的新历程。问题提出后，很多人对此很感兴趣，纷纷进行试验，但在相当长的时间里，始终未能解决。七桥问题和欧拉定理。欧拉通过对七桥问题的研究，不仅圆满地回答了哥尼斯堡居民提出的问题，而且得到并证明了更为广泛的有关一笔画的三条结论，人们通常称之为“欧拉定理F”。
* l( m) @/ `. ^1 E9 p
. q H9 }% U: y, C% _& l7 z7 D& E9 p
七桥问题Seven Bridges Problem
- ^0 b: h' P# R& X2 t
18世纪著名古典数学问题之一。在哥尼斯堡的一个公园里，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图)。问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点？欧拉于1736年研究并解决了此问题，他把问题归结为如左图的“一笔画”问题，证明上述走法是不可能的。
' U( z7 V2 y% k6 ]
% p! J2 ], b9 ^* v
有关图论研究的热点问题。18世纪初普鲁士的哥尼斯堡，有一条河穿过，河上有两个小岛，有七座桥把两个岛与河岸联系起来（如左图上）。有个人提出一个问题：一个步行者怎样才能不重复、不遗漏地一次走完七座桥，最后回到出发点。后来大数学家欧拉把它转化成一个几何问题（如左图下）——一笔画问题。他不仅解决了此问题，且给出了连通图可以一笔画的充要条件是：奇点的数目不是0 个就是2 个（连到一点的数目如是奇数条，就称为奇点，如果是偶数条就称为偶点，要想一笔画成，必须中间点均是偶点，也就是有来路必有另一条去路，奇点只可能在两端，因此任何图能一笔画成，奇点要么没有要么在两端）
$ Z( W4 ?- c4 Q1 s0 d. V# J9 j
* k, Y! {- | ~2 M
: ]( m- H4 `+ `
推断方法
' h$ T3 y( y5 K7 E7 E
当Euler在1736年访问Konigsberg, Prussia(now Kaliningrad Russia)时，他发现当地的市民正从事一项非常有趣的消遣活动。Konigsberg城中有一条名叫Pregel的河流横经其中，这项有趣的消遣活动是在星期六作一次走过所有七座桥的散步，每座桥只能经过一次而且起点与终点必须是同一地点。
* x, r$ e$ V" ^) R" R% d
/ w( i; \8 l( i$ b( Q3 k' D; d t
Euler把每一块陆地考虑成一个点，连接两块陆地的桥以线表示。
7 v# p: M, d& ~, k
, {. w0 q! v7 C& G0 d0 ~
后来推论出此种走法是不可能的。他的论点是这样的，除了起点以外，每一次当一个人由一座桥进入一块陆地（或点）时，他（或她）同时也由另一座桥离开此点。所以每行经一点时，计算两座桥（或线），从起点离开的线与最后回到始点的线亦计算两座桥，因此每一个陆地与其他陆地连接的桥数必为偶数。
' k$ Q* |" y8 x; k3 e" }, ~
7 h$ X# P8 [, X- p& [6 T2 e; B
存在问题
2 l7 ?" X3 ^9 h
七桥所成之图形中，没有一点含有偶数条数，因此上述的任务无法完成.
; R9 Z3 A: |4 o- L- W
欧拉的这个考虑非常重要，也非常巧妙，它正表明了数学家处理实际问题的独特之处——把一个实际问题抽象成合适的“数学模型”。这种研究方法就是“数学模型方法”。这并不需要运用多么深奥的理论，但想到这一点，却是解决难题的关键。
0 C% Q4 s* x$ S/ x5 {* q
接下来，欧拉运用图中的一笔画定理为判断准则，很快地就判断出要一次不重复走遍哥尼斯堡的7座桥是不可能的。也就是说，多少年来，人们费脑费力寻找的那种不重复的路线，根本就不存在。一个曾难住了那么多人的问题，竟是这么一个出人意料的答案！
" Z9 q( K8 L2 ?1 T/ ?7 ?
8 o+ m4 M Q: J
/ [2 }+ v' h" Q- D4 G. J
问题初期
5 } w$ l, e+ Y" P& v# v
问题提出后，很多人对此很感兴趣，纷纷进行试验，但在相当长的时间里，始终未能解决。而利用普通数学知识，每座桥均走一次，那这七座桥所有的走法一共有5040种，而这么多情况，要一一试验，这将会是很大的工作量。但怎么才能找到成功走过每座桥而不重复的路线呢？因而形成了著名的“哥尼斯堡七桥问题”。
; m O* D: X7 p" }: Y
# s2 A4 x" ]/ O# W# d
1 D4 ]& K, R& @1 M" U% i: N
问题后期进展
7 o7 G$ m9 t& s6 _
1735年，有几名大学生写信给当时正在俄罗斯的彼得斯堡科学院任职的天才数学家欧拉，请他帮忙解决这一问题。欧拉在亲自观察了哥尼斯堡七桥后，认真思考走法，但始终没能成功，于是他怀疑七桥问题是不是原本就无解呢？
; W$ q2 n9 }& R# r5 }
9 u2 Y* b/ q5 d; L* r% p ]
1736年，在经过一年的研究之后，29岁的欧拉提交了《哥尼斯堡七桥》的论文，圆满解决了这一问题，同时开创了数学新一分支---图论。
! j) F1 C0 `! i" `7 U
9 p& K1 b& H3 s* T- v0 l$ A
在论文中，欧拉将七桥问题抽象出来，把每一块陆地考虑成一个点，连接两块陆地的桥以线表示。并由此得到了如图一样的几何图形。 若我们分别用A、B、C、D四个点表示为哥尼斯堡的四个区域。这样著名的“七桥问题”便转化为是否能够用一笔不重复的画出过此七条线的问题了。若可以画出来，则图形中必有终点和起点，并且起点和终点应该是同一点，由于对称性可知由B或C为起点得到的效果是一样的，若假设以A为起点和终点，则必有一离开线和对应的进入线，若我们定义进入A的线的条数为入度，离开线的条数为出度，与A有关的线的条数为A的度，则A的出度和入度是相等的，即A的度应该为偶数。即要使得从A出发有解则A的度数应该为偶数，而实际上A的度数是5为奇数，于是可知从A出发是无解的。同时若从B或D出发，由于B、D的度数分别是3、3，都是奇数，即以之为起点都是无解的。
5 r% C! M' Z2 J# Y
' N- y% F+ S1 m* o% K" k4 ~# f
有上述理由可知，对于所抽象出的数学问题是无解的，即“七桥问题”也是无解的。
3 s) E4 ^6 y* D; \
, _7 f @4 z6 Y2 k% A7 n
由此我们得到:欧拉回路关系
- ]4 S6 o+ V, e8 V% ]
) [1 S- ~+ E8 |+ u/ ^
由此我们可知要使得一个图形可以一笔画，必须满足如下两个条件：
7 d7 b: p% [% ~
3 J3 U# s! }+ f! P' a
1. 图形必须是连通的。
2 I; W' p/ o3 z+ e1 T8 K
9 c' u0 E+ P3 w1 ]1 z f D
2. 途中的“奇点”个数是0或2。
7 e, f2 l" H1 X' `2 b5 j6 B: k
! s" F4 t7 v; {$ I% C* J1 f
我们也可以依此来检验图形是不是可一笔画出。回头也可以由此来判断“七桥问题”，4个点全是奇点，可知图不能“一笔画出”，也就是不存在不重复地通过所有七桥。
( S; Q* s0 v3 H; ?4 k' @: m
- X* r# j- b- i2 k' o8 A
1736年，欧拉在交给彼得堡科学院的《哥尼斯堡7座桥》的论文报告中，阐述了他的解题方法。他的巧解，为后来的数学新分支——拓扑学的建立奠定了基础。
/ ?- G _# h2 [/ B5 f% |
/ Z/ U- R7 B4 n+ ^- I
; [0 h" F9 M9 L
七桥问题和欧拉定理
0 J0 l4 e/ r2 I3 y8 c; y1 O1 M
欧拉通过对七桥问题的研究，不仅圆满地回答了哥尼斯堡居民提出的问题，而且得到并证明了更为广泛的有关一笔画的三条结论，人们通常称之为 欧拉定理。对于一个连通图，通常把从某结点出发一笔画成所经过的路线叫做欧拉路。人们又通常把一笔画成回到出发点的欧拉路叫做欧拉回路。具有欧拉回路的图叫做欧拉图。
8 L, f4 T% }! E: E/ b. K$ ]
2 i( ]# T' L" j% v* K1 k4 C7 x8 b
" h6 R" y! Z; ]# D9 c
一笔画
4 e% Y* S" z8 m$ p2 e5 d
■⒈凡是由偶点组成的连通图，一定可以一笔画成。画时可以把任一偶点为起点，最后一定能以这个点为终点画完此图。
; ]1 A, U. b8 @* ^
1 o" }. }- a2 |$ v
■⒉凡是只有两个奇点的连通图（其余都为偶点），一定可以一笔画成。画时必须把一个奇点为起点，另一个奇点为终点。
8 Y% K) j' w. Y5 u9 ]1 [
0 c0 m9 V0 P) g2 { |/ b: ~
■⒊其他情况的图都不能一笔画出。(奇点数除以二便可算出此图需几笔画成。)
0 O& v$ Y' m3 q9 h( e& ^& [
- B; d+ y8 F) P# O% B) z( N
1 E/ |$ @ E7 Q* S( A
【转】
w" E* D% Z; q+ u1 Z4 W- z
作者:
深V礼
时间:
2014-10-11 10:57
七桥问题与一笔画，恩不错
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5