【容斥原理+状态压缩】zjoi2009 多米诺骨牌

转送门：zjoi2009 多米诺骨牌

 

 

彻彻底底的被这道题虐了，想了一个月没想出来，最后和宇宙大总统一起强肯了2个小时标程算是看懂了。。

首先抛开这道题的那个奇怪的限制（没行列没有骨牌跨过），一个赤裸裸的骨牌覆盖我都不不知道怎么做啊！！

先看下赤裸裸的骨牌覆盖怎么做：

一般人的反映就会想到状态压缩DP，没错

状态为F【I，J】表示第i行的状态为J的方案数>>空间复杂度O（N*2^N），转移O（2^N），写的好的话可以做到时间复杂度为O（N*3^N），TLE！

实际上有着么一种更加好写方法，类似CDQ论文中所说的轮廓线，这样设计状态>>F【I，J，K】表示从（i，1）到（i，j-1）、从（i-1，j）到（i-1，m）的状态为K的方案数。这样转移的复杂度为O（1），看上去就可以解决这道题了。

 

我们利用如上所述的方法DP出A【I，J，K，L】表示子矩形（I，J，K，L）