link
很显然是状压dp。设 \(dp_{i,S}\) 表示第 \(i-1\) 行和第 \(i\) 行拼起来的状态为 \(S\),则每次枚举这一行的状态,检验是否符合地图限制、是否与上一行无交即可。
为了防止爆空间和 TLE,一开始可以先预处理一行的合法状态和两行的合法状态。极限数据下两行只有 \(2129\) 种合法方案。