編程思想啓示錄——必要條件的應用

必要條件的概念大家都知道。
如果p可以推出q，則q是p的必要條件。
可以理解爲，若要使p成立，則q必須成立。
其實我們經常會用到必要條件，最典型的運用就是剪枝。
必要條件的作用是，可以限制我們解所處的範圍。
即，通過多個條件的限制，縮小可能解的集合，從而便於通過其他方法解決問題，如枚舉。
其應用途徑有兩條：

1. 簡化問題、變難爲易，在此前提下，儘可能尋找精確的必要條件縮小解的範圍
2. 選擇揭示問題本質的必要條件，從而產生更加優秀的算法