1 解題的策略
1.1 理解問題類型
一般有三種類型問題
- “證明‘’‘’”,或者推算的問題,要求證明某個特定命題爲真
- “求一個”,或者求所有的值,要求我們求出滿足特定條件的一個值或者所有值
- “是否存在‘’‘’”,要求一個命題爲真,要麼給出一個反例。
第一個一般不難,基於定義和公理和它們延伸的定理、引理等,來嘗試使用各種方法(歸納法、反證法、數理邏輯推理)等得到這個結果。
第二個,我們通常必須要猜測一個可能正確的答案,然後對它進行適當的調整,從而使其更接近正確答案。
第三個,更難,必須先確定它存不存在,如果存在,就給出證明,如果不存在,給出反例。
統計中的最大似然問題
1.2 讀懂信息
題目會提供哪些信息,需要弄清楚這些信息之間的是如何作用的。
只有t時刻的傳播連通圖。
1.3 明確目標
找到源點
1.4 選取恰當的符號
這也是數學必須形式化的理由,這些恰當的符合可能會當前問題歸約到數學的分支之中,從而藉助其他問題求解。
圖G(v,e),和一些符號啥的
1.5 用選擇好的符號寫下你所知道的信息:繪製一張圖表,把所有信息寫在紙上
(a) 方便以後查閱
(b) 遇到困難,思考
(c) 激發靈感
在我的筆記中有所有的信息,它們的不同組合都可以讓問題不太一樣。
1.6 對問題稍加修改
有邊界效應、或者以p概率抽取、或者有t條件、
- 考慮該問題的一個特殊情形,比如極端情形或者退化情形
- 求解簡化了的問題(直接在規則樹上、線圖上做,有理論分析)
- 建立一個蘊含該問題的猜想,嘗試證明這個猜想
- 重新表述該問題
- 考慮類似問題的解答
- 推廣該問題(見過很多了)
1.7 對問題作出較大修改
刪除題目給出的條件、交換已知條件和要求的結論、否定目標結論。
1.8 證明與問題相關的結論
任何在問題定義和公設或者算法模型啥的,有啥小結論都可以嘗試證明它。
1.9 簡化、利用題目的信息,實現戰術目的