最近可以说是非常的僵硬了,
大量的时间被我浪费到了手动模拟代码和根据代码暴力枚举来证明上。
其实有些证明真的是无关紧要,就像用邻接表存图一样,算上h的下标,一共四个数组动态维护一个idx指针,没有人可以快速的证明它能存下来一个图,但是大家都是这么用的,用到后面就很熟练了。
但是我发现了一个问题,那就是这种东西迟早要通过暴力枚举还回来的。
就像邻接表,就算是很难证明,但是几乎所有图论问题都会用到邻接表,在其他问题中用到了的时候,
你还是要一遍一遍的模拟存储过程,才会搞明白这个东西是怎么用的,
也就是说很多东西不需要明白具体的工作原理和模型,
但是必须经过在脑子里面不断的断点模拟,不断的走流程,甚至于不断的证明至少一次之后才能做到真正熟练的使用它。
也就是说,熟练使用的任何东西可能不需要详细完整的证明。
但是你一定是曾经完整证明过,或者通过反复的模拟流程证明过这个东西的正确性之后,才能在做题的意义上熟练的掌握它。
要么证明他,要么在脑子里不停的断点调试,下次想证明正确性的时候,才能快速想起来。
正所谓伸头也是一道,缩头也是一刀。
一定不要在思考上面偷懒节约时间,
因为经过长时间的连续思考与证明可以明确自己的能力边界,划定自己的学习范围。
这将为我们在遇到同样知识点的时候节约大量的时间,
最终我们会发现,在不断记忆和遗忘的循环之间浪费的时间面前,痛苦思考的时间简直不值一提。
也就是说我能很自信的使用我的时间了,
长期思考导致的进程缓慢我也可以接受。
我感觉算是慢慢起步了。
其实个人感觉这点时间相比于浪费的时间来说不值一提,不过感觉还是证明过以后背过比较好
其实就是成功说服了自己