棋盘覆盖问题

分治策略实现

棋盘解释

在一个2^k * 2^k 个方格组成的棋盘中，若恰有一个方格与其他方格不同，则称该方格为一个特殊方格，且称该棋盘为一个特殊棋盘。显然，特殊方格在棋盘上出现的位置有4^k 种情形。因而对任何k>=0， 有4^ k 种不同的特殊棋盘。

分治过程

方格	有特殊方块	无特殊方块
左上角	递归填充	右下角填充为特殊方块
右上角	递归填充	左下角填充为特殊方块
左下角	递归填充	右上角填充为特殊方块
右下角	递归填充	左上角填充为特殊方块

代码

#include <iostream>
using namespace std;

const int size = 4;//棋盘的规格 
int tile = 0;//最初插入的L型的骨牌 
int Board[size][size] = {0};//棋盘初始值，即特殊方格的值 

void ChessBoard(int tr, int tc, int dr, int dc, int size) 
{
	//tr：棋盘左上角方格的行号 
	//tc：棋盘左上角方格的列号
	//dr：特殊方格所在的行号
	//dc：特殊方格所在的列号 
	if(size == 1)
	return;
	
	int t = ++tile;//L型骨牌号
	int s = size/2;//分割棋盘
	
	//覆盖左上角子棋盘
	if(dr<tr+s && dc<tc+s)
	{
		//特殊方格在此棋盘中
		ChessBoard(tr, tc, dr, dc, s);
	}
	else
	{
		//此棋盘无特殊方格
		//用t号L型骨牌覆盖右下角
		Board[tr+s-1][tc+s-1] = t;
		//覆盖其余方格
		ChessBoard(tr, tc, tr+s-1, tc+s-1, s);
	}
	
	//覆盖右上角子棋盘
	if(dr<tr+s && dc>=tc+s)
	{
		//特殊方格在此棋盘中
		ChessBoard(tr, tc+s, dr, dc, s);
	}
	else
	{
		//此棋盘无特殊方格
		//用t号L型骨牌覆盖左下角
		Board[tr+s-1][tc+s] = t;
		//覆盖其余方格
		ChessBoard(tr, tc+s, tr+s-1, tc+s, s);
	}
	
	//覆盖左下角子棋盘
	if(dr>=tr+s && dc<tc+s)
	{
		//特殊方格在此棋盘中
		ChessBoard(tr+s, tc, dr, dc, s);
	}
	else
	{
	    //此棋盘无特殊方格
		//用t号L型骨牌覆盖右上角
		Board[tr+s][tc+s-1] = t;
		//覆盖其余方格
		ChessBoard(tr+s, tc, tr+s, tc+s-1, s);	
	}
	
	//覆盖右下角子棋盘
	if(dr>=tr+s && dc>=tc+s)
	{
		//特殊方格在此棋盘中
		ChessBoard(tr+s, tc+s, dr, dc, s);
	}
	else
	{
		//此棋盘无特殊方格
		//用t号L型骨牌覆盖左上角
		Board[tr+s][tc+s] = t;
		//覆盖其余方格
		ChessBoard(tr+s, tc+s, tr+s, tc+s, s);
	}
}

void prientChess()
{ 
	for(int i=0; i<size; i++)
	{
		for(int j=0; j<size; j++)
		{
			cout.width(3);
			cout<<Board[i][j];
		}
		cout<<"\n";
	}
	return;
}

int main()
{
	ChessBoard(0, 0, 0, 1, size);
	prientChess();
	
	return 0;
}

时间复杂度

设T(k)是覆盖一个2^k * 2^k棋盘所需的时间，则从算法的分治策略可知，T(k)满足如下递归方程：

由于时间复杂度看的是k，而每分割一次，（与上一次相比）问题规模就由2^k下降到了 2^k-1。根据分治问题类的时间复杂度公式可得该式。

第一次写博客，错处可能会比较多，还望大神指教，谢谢！