前面我们说了一些简单的骨牌覆盖问题,有了上面的经验,我们可以尝试解决K*M的
思路和上一篇文章所提到的3*N的 很类似;
依然是矩阵快速幂。我们需要把一个小的边固定下来作为的已知边,然后进行矩阵快速幂,要进行矩阵快速幂,我们需要知道初始矩阵,与构造出的递推矩阵;
我们如何得到这两个矩阵?
初始矩阵:矩阵宽度为 2^n 次方;第一排只可能出现,0或者横着放置,不过我们可以再退一步,第0行时,的状态,我们只能够看做全部填满。最初状态是最后一个为1;所以这样我们就得到了初始矩阵。
递推矩阵怎么得到:?
让我们再回头看看我们上一期提示里面放置骨牌的约定:
假设我们正在放置第i行的骨牌,那么会有下面3种方式:
灰色表示已经有的骨牌,绿色表示新放置的骨牌。
每一种放置方法解释如下,假设当第i行的状态为x,第i-1行的状态为y:
第i行不放置,则前一行必须有放置的骨牌。x对应二进制位为0,y对应二进制位为1。
第i行竖放骨牌,则前一行必须为空。x对应二进制位为1,y对应二进制位为0。
第i行横向骨牌,则前一行必须两个位置均有骨牌,否则会产生空位。x对应二进制位为1,y对应二进制位为1。
既然有对应的二进制描述,那么上面三种方法就可以用程序语言解释为:
•第i行不放置:new_x = x << 1, new_y = (y << 1) + 1; 列数+1
•第i行竖放骨牌:new_x = (x << 1) + 1, new_y = y << 1; 列数+1
•第i行横向骨牌:new x = (x << 2) + 3, new_y = (y << 2) + 3; 列数+2
通过迭代去枚举3种放置方法,当总的列数等于K时,此时的x便可由y转移过来。那么我们可以得到枚举放置的代码:
void dfs(int x,int y ,int deep,Mat& a) { if(deep>_k) return ; if (deep==_k) { a.maze[y][x]=1; return ; } dfs(x<<1,(y<<1)+1,deep+1,a); dfs((x<<1)+1,y<<1,deep+1,a); if (deep+2<=_k) dfs((x<<2)+3,(y<<2)+3,deep+2,a); }
OVER....