noip 2010 引水入城 bfs+剪枝+dp
从第一行每一个点开始bfs,这样可以知道每一个点可以覆盖在最后一行的区间。判一下不能覆盖的情况。然后可以完全覆盖的话,那么最优解中第一行的点所对应最后一行中一定是连续的一段。有两种证明方法:(1、显然法:显然它是对的。2、反证法:反正它是对的。) 假设i#include<iostream>#include<cstdio>#include<queue>#include<stack>#incl