機(jī)械社區(qū)
標(biāo)題: 用高等數(shù)學(xué)清掃馬路 [打印本頁]
作者: 曉昀 時間: 2020-9-6 17:41
標(biāo)題: 用高等數(shù)學(xué)清掃馬路
/ C0 [1 K; j1 u2 H9 \+ c! J6 l3 n& v* w, H1 s
(, 下載次數(shù): 70)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
. n: v; m* p4 L* E3 O) s- y* o }- J8 x0 o' e4 T- T( C
有人會說,這還不簡單,哪兒沒有跑過就去跑一遍不就行了嘛。
) D2 f. w; d9 e/ v
這種方法的確能保證所有的道路都被打掃了,但是車子可能會在某幾段馬路上重復(fù)開,損失燃油和時間。
7 P% B% d6 ]! r" p% t& }
北美的一個大城市多倫多在好好用數(shù)學(xué)規(guī)劃之前,每年就白白多花了3百萬美金的冤枉錢。
0 _! r J! a7 u8 b
- U+ e J1 E1 M, w
(, 下載次數(shù): 83)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
. Z% D: L: _, { 是這樣的,掃馬路、灑水車、鏟雪車這類問題在數(shù)學(xué)上屬于中國郵差問題,中國郵差問題本身早在20世紀(jì)70年代就有了靠譜的解法。
0 t+ n& ~2 ]* f( N1 \% J 事情還要從1962年說起。當(dāng)時,毛主席鼓勵科學(xué)家們用科學(xué)解決人民日常生活中遇到的問題。
; \5 C# i* z3 k8 K8 A
我國數(shù)學(xué)家管梅谷就想到了這樣一個問題:一個郵差走遍每條街道去送信,最短路徑應(yīng)該是什么樣的?
+ z) I+ A. u" Z9 p" {4 K, z
后來,美國國家標(biāo)準(zhǔn)技術(shù)研究所的數(shù)學(xué)家 Alan J. Goldman 把這個問題命名為“中國郵差問題”。
' \3 C: r9 b3 z L# D0 J* l' P
(, 下載次數(shù): 79)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
0 M6 t' U1 ~2 W
到了1973年,加拿大滑鐵盧大學(xué)的數(shù)學(xué)家 Jack Edmonds 和 IBM 研究院的計算機(jī)科學(xué)家 Ellis L. Johnson 提出了一個至今無人超越的有效算法。他們的算法要 cue 到三百年前的一個人,那就是歐拉。
/ \( _7 _* k' z: P& T! W+ e
其實,歐拉在1735年就研究過一個和管梅谷類似的問題——七橋問題,并得到了一些重要的結(jié)論。
0 x5 q6 L2 A+ ?9 \( a
(, 下載次數(shù): 82)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
七橋問題 圖片來源:wikipedia
3 w6 `7 G+ P$ D; K 七橋問題和我們小時候玩的一筆畫的益智問題類似:在普魯士的柯尼斯堡有兩個小島,兩個小島和附近一共有7座橋連通。現(xiàn)在問題來了,怎樣規(guī)劃路線才能恰好經(jīng)過每一座橋一次?
6 @# G' o) a" F+ X4 I, x( Q
第二年,歐拉發(fā)了一篇論文,證明七橋問題不可解,原因是他給出了能解的一般條件,那就是每塊地都必須有偶數(shù)座橋,而七橋問題不符合這種情況。3 g5 P; _% e. {4 m) s1 G
1 t) u! H# j' {0 Z" ?; w
后來,這類問題在數(shù)學(xué)上發(fā)展成了圖論和拓?fù)鋵W(xué)。而因為歐拉的開創(chuàng)性貢獻(xiàn),能夠一筆畫的圖被叫做歐拉圖,一筆畫的路徑被叫做歐拉路徑。
. L' W$ ~" Z) e$ i) v
(, 下載次數(shù): 83)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
七橋問題等價于右邊這個圖形。歐拉證明,只有當(dāng)奇頂點的數(shù)量等于0或2時,才存在一筆畫。七橋問題的奇頂點(藍(lán)點)的數(shù)量等于4,因此無法一筆畫。
% ~* j, y* y1 {1 m. w 歐拉還證明了一張圖能一筆畫的一般情況:奇頂點(也就是邊的數(shù)量是奇數(shù)的頂點)的數(shù)量等于0或2。
/ K3 S0 W/ ?& i 所以按照歐拉證明的定理,中文的“串”就可以一筆寫成,因為它的奇頂點只有最上面和最下面一共兩個。
) V/ r' |' r9 t4 [8 j
(, 下載次數(shù): 82)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
串的奇頂點有2個(最上和最下),因此可以一筆畫。
5 K, d4 q4 [4 w: ] 下面這個德國兒童的傳統(tǒng)娛樂項目——Haus vom Nikolaus puzzle (圣尼古拉房屋)也可以一筆畫——
$ \9 r/ ?( Z7 o) f9 w) R
(, 下載次數(shù): 70)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
" d/ n, [6 a% [2 \% l- c
順便說一下,圣尼古拉房屋有44種解法。
7 h5 c; ? G- Z4 ~9 ?* R
(, 下載次數(shù): 70)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
- w4 r7 B0 t8 A
把歐拉證明的結(jié)論推廣到中國郵差問題的情況,最難搞定的是奇數(shù)分叉的道路,遇到三岔路口、五岔路口,走回頭路幾乎是必然。
: w0 v. K! r3 W- h8 ]7 y% ~1 x
(, 下載次數(shù): 71)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
& [+ k, U; d6 V! z( }
所以 Edmonds 他們的算法是,把奇數(shù)路口拎出來單獨算,找到這些路口間的最短路徑;而偶數(shù)岔路之間必然存在只走一次的方法,最后把兩部分拼起來就可以了。
, g7 A: I: S$ m9 {9 j
(, 下載次數(shù): 79)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
8 Q! X7 C m7 I0 l
但是呢,實際生活中掃馬路、灑水和鏟雪要比這復(fù)雜得多。
; N! f/ K; W! _# U; V% A2 L* S 比如,高速公路的整潔對司機(jī)的生命財產(chǎn)安全更重要,所以要早點清掃完畢;一些路段是單行線,或者對大型車輛限行。此外,“郵差”也不只一個人,而且不能無限“肝”活,清潔車之間的交接班也要考慮在內(nèi)。
4 P; T' Z: V6 J; j7 Z
因此在現(xiàn)實生活中,中國郵差問題很難找到最優(yōu)策略,這也是為什么一開始 Edmonds 的算法沒有得到廣泛應(yīng)用。
; u0 U8 {5 u$ @6 Y9 `% z2 P
(, 下載次數(shù): 85)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
到了20世紀(jì)90年代,隨著計算機(jī)技術(shù)的進(jìn)步,一些數(shù)學(xué)家開始嘗試把中國郵差問題應(yīng)用到日常生活中。比如,明尼蘇達(dá)大學(xué)的數(shù)學(xué)教授 Peh Ng 就曾用圖論的思想幫明州莫里斯市政府規(guī)劃冬季的鏟雪線路。
, n8 P$ V3 N- c& W 而從2001年開始,北美的一些大城市就開始用比較成熟的軟件(如 ArcGIS)來規(guī)劃鏟雪車的行車路徑。這些軟件一般會把一大塊城市交通網(wǎng)分割成一小塊一小塊的,然后分別再進(jìn)行計算。
|, z4 D) X; a. j; W' Z
(, 下載次數(shù): 85)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
7 |: d+ t$ F. j 比如,多倫多在用圖論原理對鏟雪線路進(jìn)行規(guī)劃后,鏟雪費用比之前減少了三分之一,每年節(jié)省了大約3百萬美金(約合2千萬人民幣)。
- {" d6 F" n: e 多倫多的市政道路交通的運營經(jīng)理 Hector Moreno 表示,在用ArcGIS之前,行車路線主要靠經(jīng)驗和人工計算,現(xiàn)在就不需要這么麻煩了。
( K5 w. n9 V9 y: k0 J1 T
(, 下載次數(shù): 68)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
波士頓市政府的應(yīng)用數(shù)學(xué)團(tuán)隊 圖片來源:boston.gov
7 f8 y: i& _6 C4 G; J$ K, [: a
2010年,波士頓市政府也組建了自己的數(shù)學(xué)團(tuán)隊——Mayor's Office of New Urban Mechanics,用數(shù)學(xué)和計算機(jī)來規(guī)劃鏟雪路線。
2 Q$ ~$ {* ?# w1 G2 U3 `
像波士頓這樣的大城市用數(shù)學(xué)進(jìn)行規(guī)劃真的太有必要了。2015年,為了鏟雪,波士頓的鏟雪車一共開了47萬千米,差不多可以繞地球12圈了。鏟雪的花費也是驚人的,那年的暴雪讓波士頓一共掏出了3500萬美金(約合2.3億人民幣)。
9 U" m$ _6 k* A7 h' Y% s
(, 下載次數(shù): 76)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
2015年,波士頓的暴雪創(chuàng)下了記錄。圖片來源:newyorktimes
) e# h0 b/ x2 }7 K4 v$ z/ A 除了道路養(yǎng)護(hù),中國郵差問題的算法在很多領(lǐng)域還有應(yīng)用。比如在交互設(shè)計時,中國郵差問題就被用于終端產(chǎn)品的可用性檢測。
# G& I0 |) g/ E舉個例子,一個手機(jī)被制造出來以后,手機(jī)制造商想要看看每個功能是不是和名稱相符。比如按下主鍵,點開“設(shè)置”,再點開“網(wǎng)絡(luò)”,是不是真的會出現(xiàn)網(wǎng)絡(luò)設(shè)定功能。
6 h- T; e1 V3 E, f
(, 下載次數(shù): 84)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
& o% g- h" ? \. N- H5 l& m 因為手機(jī)的功能很復(fù)雜,不同功能之間形成的網(wǎng)絡(luò)要怎么樣才能有效地走個遍,這個問題有時連制造商也搞不太明白。1996年諾基亞出的2110的菜單有88個項目,一共有273種操作。如果隨便按,可能一些菜單永遠(yuǎn)也不會得到檢測。
+ q3 x" O2 O, m6 ]& x# L7 c
但是利用中國郵差問題的算法就能規(guī)劃測試路徑和計算步驟數(shù)量了:最少就只需要按594次鍵盤按鈕就可以把所有的菜單和功能都過一遍了。
5 ]' ?$ h! }6 g5 W6 Z* d
(, 下載次數(shù): 78)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
5 w! V6 A1 W- e) W0 p. [5 q 在檢查網(wǎng)頁鏈接有沒有“死角”的時候也可以用到中國郵差問題的算法。
5 `8 F) ]! |( T, v$ b 比如,富蘭克林故居的網(wǎng)站(benjaminfranklinhouse.org)有66個網(wǎng)頁,1191個超鏈接。如果網(wǎng)絡(luò)測試員沒有頭腦一頓亂點,不但要做無用功,有些網(wǎng)頁和鏈接可能還點不到。但是利用中國郵差問題的算法,測試員知道只要點2248次就可以測試完所有的網(wǎng)頁和超鏈接了。
! B: P" N( b& O# J; c
(, 下載次數(shù): 78)
上傳
點擊文件名下載附件
下載積分: 威望 -10 點
位于英國倫敦的富蘭克林故居
" A& Y3 _2 ?4 M0 W7 a6 w' x
歐拉路徑判定挺好掌握的呢:口中串串,乃米田共。
1 W! V/ N7 B! K5 S9 K
: G4 y' h# N& c7 D" B
v$ G& f2 ^7 i& t, b/ R
z% _ g+ Z* X
作者: 大白小白 時間: 2020-9-6 18:00
口中串串,乃米田共??
作者: okmeiyou 時間: 2020-9-6 18:05
學(xué)習(xí)了。
作者: 譬如朝露 時間: 2020-9-6 18:36
最后一句,是本文之主旨所在
作者: 曉昀 時間: 2020-9-6 20:40
~7 Q: d3 T: S, z, S0 Y& X超快速抓住重點。這是很有意思的一個問題。
% X+ }' h6 X, q4 p8 p8 l
作者: kayex 時間: 2020-9-7 08:58
不能這樣的,一定要按領(lǐng)導(dǎo)規(guī)定的路線開才對,領(lǐng)導(dǎo)高興最重要!!!
作者: 魍者歸來 時間: 2020-9-7 13:46
七橋這個是奧數(shù)的典型問題之一,噩夢復(fù)現(xiàn)。9 J$ c, w6 O) E& d1 w; m/ N# X
' s/ f) P( ?' q
說個題外話,以前還經(jīng)常有公車私用,拉警笛闖紅燈的,現(xiàn)在不少城市都開始聯(lián)網(wǎng)了,不是出任務(wù)的情況拉警笛會被處罰,確實規(guī)范了不少。
作者: 遠(yuǎn)祥 時間: 2020-9-7 19:50
抓重點,提關(guān)鍵,也可以使用思維導(dǎo)圖。
作者: wlj0202 時間: 2020-9-21 14:05
學(xué)習(xí)一下啊了
| 歡迎光臨 機(jī)械社區(qū) (http://m.whclglass.com.cn/) |
Powered by Discuz! X3.5 |