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 简化、利用题目的信息,实现战术目的