http://noi.openjudge.cn/ch0405/1793/ 好虐的一道题啊. 看数据范围,一眼状压,然后调了好长时间QwQ 很容易想到覆盖的点数作为状态,我用状态i表示至少覆盖状态i表示的点的最小矩形覆盖面积. 又因为矩形一定在两个给出的点上,转移时枚举两个点,用去掉这两个点的状态来更新? 这是错误的做法,反例:4 (0,0) (0,1) (1,0) (1,1) 所以我们需要去掉这两个点的同时,去掉这两个点构成的矩形包含的所有在状态中的点. 但这样还是会WA,因为还需要初始化至少包…