167
我看了一下題目，是說一個露天的礦山的生產，主要是電鏟裝車，然後卡車來運輸，然後給了一堆的限製條件，什麽一個鏟位隻能又一輛卡車，卡車都要滿載等等，現在的問題是要如何安排卡車。我覺得挺開心的，至少說明了我們國家象礦山這種勞動密集型產業，現在也已經在開始考慮提高經濟效益，合理安排計劃了。
其實數學建模有時候和項目管理一樣，是一個逐步細化精益求精的過程，先給出一個簡單顯而易見的初始解，然後再不斷優化，得到一個令人信服又有點讓人驚訝的結果，或者是一個匪夷所思，稀奇古怪的結果。就跟寫小說一樣，稀奇古怪不要僅，隻要道理上說的通就行。
我先給了一堆假設條件，然後在設定了一堆符號說明。我記得高中的時候，數學老師就調侃說，數據建模就是玩假設。這題目一看就是一個線性規劃，再加上有一堆限製條件，互相製約，屬於np完全問題。有了基本思路，我就開始動手了。
我通過謂詞演算，把一堆條件，假設形式化，然後就開始編程序實現這些條件。
實驗室這些電腦真是有點老掉牙了，裝的操作係統還是windows95的，鍵盤估計也被那些天天上機玩遊戲的哥們給折騰壞了，好幾個鍵都敲不出來。
“三石，過來，幫個忙！”我對三石說。
三石連忙跑過來，問我啥事。三石看見我在稿紙上寫滿他看不懂的公式，心情立馬高興起來，至少他認為我是在很認真的對待這事，而三石向來認為隻要我出馬，沒有什麽搞不定的。
“這個鍵盤太爛了，換個好用一點的來！”我給三石演示了幾個敲不出來的鍵。
“嗬嗬，這個鍵盤時候前幾天玩fifa搞壞的，我給你換一個！”
三石上躥下跳，從旁邊機器上拆來一個鍵盤下來給我裝上。然後屁顛屁顛的跑回去給他娘子匯報我這邊的戰況。楊婷有點不相信，驚訝的往我這邊看了兩眼。
我把程序寫完，調試通過，已經快十一點了，我也有點困。我原來打算是用窮舉法讓計算機把所有情況都列舉出來，然後從中選擇最優的就大功告成。不知道是我太高估這台計算機的能力，還是這太計算機的確到該退休的年齡了，我以為十分鍾就能出結果的程序，跑了半個小時還在豕突狼奔。
我把程序停下來，又重新檢查了一遍我的算法，發現這個線性規劃的問題條件太多太複雜了，對這種組合計算用窮舉法可能有問題。
我想了想，又把部分權重不高的約束條件和假設給去掉了，將問題簡化為多變量整數線性規劃問題，先求解，然後再把這些條件重新加上去來求解，我三下五除二把程序改好，又開始繼續跑。
我估摸著這次也要差不多半個小時，把qq打開上網找人聊天先。
楊婷假裝走過來倒水喝，偷眼看看我這邊的進展情況，卻失望的看見我在聊qq。楊婷生氣的走回去對三石嘀咕了幾句，三石又屁顛屁顛的跑過來找我。
“神童，都火燒眉毛了，你還有心情聊qq，趕緊想想辦法吧？”三石過來焦急的對我說。
“急啥，剛在qq上認識一個美女，你讓我把這兩句聊完！”我沒有搭理三石繼續qq。
三石不好意思趕我走，灰溜溜的回去了。
這次，這台老破驢還算比較給麵子，跑了半個小時終於出結果了。我看了看結果差強人意，將就用。
實驗室那邊，周豐和曹陽還爭的麵紅耳赤，楊婷已經是困的不行了，靠著三石快要睡著了。這樣的小組就算選拔上了，也很難拿到好的名次，我搖了搖頭。
我不斷加假設條件，不斷求解，問題也越來越清晰了，隻是這台電腦實在是有點負擔過重，在運行的過程中還死機了好幾次。我索性啟動電腦的時候，直接進dos操作係統，讓所有的cpu，內存資源都來做計算。這招果然有用，這台老破驢的速度一下子快了很多，發瘋似的嗖嗖把結果吐出來。
到了淩晨兩點多的時候，行車路線，車流分配都已經搞定了，萬裏長征隻剩最後一步了。
三石也睡了一覺醒來了，周豐，曹陽估計吵了一晚上已經筋疲力盡了，現在已經夢遊周公了。
三石看見我還坐在電腦旁邊，拚命的敲著鍵盤，以為我還再qq聊天。
“神童，你的美女mm搞定了沒？”三石睡眼惺鬆的問我。
“早回去休息了！”我頭也不回，直盯著電腦說。
“哪你還再幹嗎？”三石問。
我難的理三石，一邊盯著屏幕，一邊把算出來的數據都記錄下來。
三石突然發現我電腦上，一堆數字拚命的在屏幕上閃動，才明白我還再搞這個數學模型，立刻精神大振，感激的差點涕零。
“怎麽樣，結果出來了沒？”三石興奮的問我。
“快了，不要礙手礙腳的！”我不耐煩的說。
“有沒有什麽需要我效勞的？”三石趕緊獻殷勤的說。
“去蘇果便利，給我買點吃的！”我說。
“要什麽？要不要可樂，還有小熊餅幹？”三石問。
聽見小熊餅幹，我想觸電了一樣，愣了一下，“你怎麽也知道小熊餅幹！？”，剛和張妍談戀愛的時候，張妍也要小熊餅幹，我去蘇果沒搶到最後一包，結果被一個小胖子給訛了。想起這些往事，我還是有點傷感。
“唉，楊婷特別喜歡吃，我也跟著吃了一次，覺得味道還不錯！”
“算了，來兩根火腿腸吧，外加一個茶葉蛋和可樂！”
已經到最後一步計算機模擬模型了。一般的交通係統的模擬仿真都是用蒙特卡羅原理的隨機仿真方法。但是這個模型中的數學模型存在著隨機性和模糊性。蒙特卡羅原理在隨機性方麵雖然很出色，但是需要確定隨機事件的參數概率分布形式非常困難，因此蒙特卡羅仿真方法對這個模型的模糊性問題是沒法解決的。
我坐在電腦屏幕前冥思苦想了很久，把以前知道的仿真方法都想了一遍，還是沒找到一個合適的。
這時候楊婷也醒了，看見我還坐在電腦麵前冥思苦想，覺得有點奇怪。
“你還沒回去？”楊婷問我。
我全神貫注的在思考這個問題，壓根就沒聽到楊婷在說什麽。我決定上google去搜索一下，看看網上的交通係統是用什麽仿真的。
楊婷走到我旁邊，看見我在稿紙上密密麻麻寫了一堆公式，也沒看明白我寫些什麽。
“這些題，用初等數論解不出來的！”楊婷不屑一顧的說。
我沒有理會她，繼續思考我的問題。
“你早點回去休息吧，算了，這事我們不要你幫忙了，我們自己能搞定！”楊婷說。
我也沒理會她，繼續在網上搜索，可是一無所獲。我有點灰心了，要是計算機模擬搞不定，就是前功盡棄了，前麵做得模擬，假設全是白費了。
楊婷有點自討沒趣，回到她自己的電腦麵前，繼續看她以前討論的結果。
我看了一下題目，是說一個露天的礦山的生產，主要是電鏟裝車，然後卡車來運輸，然後給了一堆的限製條件，什麽一個鏟位隻能又一輛卡車，卡車都要滿載等等，現在的問題是要如何安排卡車。我覺得挺開心的，至少說明了我們國家象礦山這種勞動密集型產業，現在也已經在開始考慮提高經濟效益，合理安排計劃了。
其實數學建模有時候和項目管理一樣，是一個逐步細化精益求精的過程，先給出一個簡單顯而易見的初始解，然後再不斷優化，得到一個令人信服又有點讓人驚訝的結果，或者是一個匪夷所思，稀奇古怪的結果。就跟寫小說一樣，稀奇古怪不要僅，隻要道理上說的通就行。
我先給了一堆假設條件，然後在設定了一堆符號說明。我記得高中的時候，數學老師就調侃說，數據建模就是玩假設。這題目一看就是一個線性規劃，再加上有一堆限製條件，互相製約，屬於np完全問題。有了基本思路，我就開始動手了。
我通過謂詞演算，把一堆條件，假設形式化，然後就開始編程序實現這些條件。
實驗室這些電腦真是有點老掉牙了，裝的操作係統還是windows95的，鍵盤估計也被那些天天上機玩遊戲的哥們給折騰壞了，好幾個鍵都敲不出來。
“三石，過來，幫個忙！”我對三石說。
三石連忙跑過來，問我啥事。三石看見我在稿紙上寫滿他看不懂的公式，心情立馬高興起來，至少他認為我是在很認真的對待這事，而三石向來認為隻要我出馬，沒有什麽搞不定的。
“這個鍵盤太爛了，換個好用一點的來！”我給三石演示了幾個敲不出來的鍵。
“嗬嗬，這個鍵盤時候前幾天玩fifa搞壞的，我給你換一個！”
三石上躥下跳，從旁邊機器上拆來一個鍵盤下來給我裝上。然後屁顛屁顛的跑回去給他娘子匯報我這邊的戰況。楊婷有點不相信，驚訝的往我這邊看了兩眼。
我把程序寫完，調試通過，已經快十一點了，我也有點困。我原來打算是用窮舉法讓計算機把所有情況都列舉出來，然後從中選擇最優的就大功告成。不知道是我太高估這台計算機的能力，還是這太計算機的確到該退休的年齡了，我以為十分鍾就能出結果的程序，跑了半個小時還在豕突狼奔。
我把程序停下來，又重新檢查了一遍我的算法，發現這個線性規劃的問題條件太多太複雜了，對這種組合計算用窮舉法可能有問題。
我想了想，又把部分權重不高的約束條件和假設給去掉了，將問題簡化為多變量整數線性規劃問題，先求解，然後再把這些條件重新加上去來求解，我三下五除二把程序改好，又開始繼續跑。
我估摸著這次也要差不多半個小時，把qq打開上網找人聊天先。
楊婷假裝走過來倒水喝，偷眼看看我這邊的進展情況，卻失望的看見我在聊qq。楊婷生氣的走回去對三石嘀咕了幾句，三石又屁顛屁顛的跑過來找我。
“神童，都火燒眉毛了，你還有心情聊qq，趕緊想想辦法吧？”三石過來焦急的對我說。
“急啥，剛在qq上認識一個美女，你讓我把這兩句聊完！”我沒有搭理三石繼續qq。
三石不好意思趕我走，灰溜溜的回去了。
這次，這台老破驢還算比較給麵子，跑了半個小時終於出結果了。我看了看結果差強人意，將就用。
實驗室那邊，周豐和曹陽還爭的麵紅耳赤，楊婷已經是困的不行了，靠著三石快要睡著了。這樣的小組就算選拔上了，也很難拿到好的名次，我搖了搖頭。
我不斷加假設條件，不斷求解，問題也越來越清晰了，隻是這台電腦實在是有點負擔過重，在運行的過程中還死機了好幾次。我索性啟動電腦的時候，直接進dos操作係統，讓所有的cpu，內存資源都來做計算。這招果然有用，這台老破驢的速度一下子快了很多，發瘋似的嗖嗖把結果吐出來。
到了淩晨兩點多的時候，行車路線，車流分配都已經搞定了，萬裏長征隻剩最後一步了。
三石也睡了一覺醒來了，周豐，曹陽估計吵了一晚上已經筋疲力盡了，現在已經夢遊周公了。
三石看見我還坐在電腦旁邊，拚命的敲著鍵盤，以為我還再qq聊天。
“神童，你的美女mm搞定了沒？”三石睡眼惺鬆的問我。
“早回去休息了！”我頭也不回，直盯著電腦說。
“哪你還再幹嗎？”三石問。
我難的理三石，一邊盯著屏幕，一邊把算出來的數據都記錄下來。
三石突然發現我電腦上，一堆數字拚命的在屏幕上閃動，才明白我還再搞這個數學模型，立刻精神大振，感激的差點涕零。
“怎麽樣，結果出來了沒？”三石興奮的問我。
“快了，不要礙手礙腳的！”我不耐煩的說。
“有沒有什麽需要我效勞的？”三石趕緊獻殷勤的說。
“去蘇果便利，給我買點吃的！”我說。
“要什麽？要不要可樂，還有小熊餅幹？”三石問。
聽見小熊餅幹，我想觸電了一樣，愣了一下，“你怎麽也知道小熊餅幹！？”，剛和張妍談戀愛的時候，張妍也要小熊餅幹，我去蘇果沒搶到最後一包，結果被一個小胖子給訛了。想起這些往事，我還是有點傷感。
“唉，楊婷特別喜歡吃，我也跟著吃了一次，覺得味道還不錯！”
“算了，來兩根火腿腸吧，外加一個茶葉蛋和可樂！”
已經到最後一步計算機模擬模型了。一般的交通係統的模擬仿真都是用蒙特卡羅原理的隨機仿真方法。但是這個模型中的數學模型存在著隨機性和模糊性。蒙特卡羅原理在隨機性方麵雖然很出色，但是需要確定隨機事件的參數概率分布形式非常困難，因此蒙特卡羅仿真方法對這個模型的模糊性問題是沒法解決的。
我坐在電腦屏幕前冥思苦想了很久，把以前知道的仿真方法都想了一遍，還是沒找到一個合適的。
這時候楊婷也醒了，看見我還坐在電腦麵前冥思苦想，覺得有點奇怪。
“你還沒回去？”楊婷問我。
我全神貫注的在思考這個問題，壓根就沒聽到楊婷在說什麽。我決定上google去搜索一下，看看網上的交通係統是用什麽仿真的。
楊婷走到我旁邊，看見我在稿紙上密密麻麻寫了一堆公式，也沒看明白我寫些什麽。
“這些題，用初等數論解不出來的！”楊婷不屑一顧的說。
我沒有理會她，繼續思考我的問題。
“你早點回去休息吧，算了，這事我們不要你幫忙了，我們自己能搞定！”楊婷說。
我也沒理會她，繼續在網上搜索，可是一無所獲。我有點灰心了，要是計算機模擬搞不定，就是前功盡棄了，前麵做得模擬，假設全是白費了。
楊婷有點自討沒趣，回到她自己的電腦麵前，繼續看她以前討論的結果。