问题描述:
在一个2k×2k 个方格组成的棋盘中,恰有一个方格与其它方格不同,称该方格为一特殊方格,且称该棋盘为一特殊棋盘。在棋盘覆盖问题中,要用图示的4种不同形态的L型骨牌覆盖给定的特殊棋盘上除特殊方格以外的所有方格,且任何2个L型骨牌不得重叠覆盖。
一种覆盖方案:
可行性分析:
2k×2k大小的棋盘,除去1个特殊位置外,一共有(4k-1)个空位置,需要用(4k-1)/3个L型骨牌来覆盖。
(1). (4k-1)一定能被3整除?
4k-1 = (2k)2 – 1 = (2k - 1)(2k + 1)
(2k - 1)、2k、(2k + 1)是3个连续的自然数,而2k不可能被3整除,所以(2k - 1)和(2k + 1)二者必有1个是3的倍数。
(2). (4k-1)个空位置必能用(4k-1)/3个L型骨牌来覆盖?
可用归纳法证明。
k = 1时: 4k-1个位置本身就是一个L型骨牌。
k = 2时:22×22大小的棋盘可以分成4个2×2大小的子棋盘,其中特殊位置位于某一个子棋盘中,用一个L型骨牌覆盖其 他3个子棋盘的会合处,则对4个子棋盘,剩余的空位置都是一个L型骨牌。
…
当k>0时,将2k×2k棋盘分割为4个2k-1×2k-1子棋盘(a)所示。
特殊方格必位于4个较小子棋盘之一中,其余3个子棋盘中无特殊方格。为了将这3个无特殊方格的子棋盘转化为特殊棋盘, 可以用一个L型骨牌覆盖这3个较小棋盘的会合处,如(b)所示,从而将原问题转化为4个较小规模的棋盘覆盖问题。递归地 使用这种分割,直至棋盘简化为棋盘k = 1。
程序实现:
public class ChessboardCover {
static int board[][];
static int tile=1; //L型骨牌序号,根据填入的顺序给L型骨牌编号
/*
* tr:棋盘左上角方格的行号;tc:棋盘左上角方格的列号
* dr:特殊方格的行号;dc:特殊方格的列号
* size:棋盘的大小是size×size
*/
static void ChessBoard(int tr,int tc,int dr,int dc,int size){
if(size==1)
return;
int t=tile++;
int s=size/2; //分割棋盘
//覆盖左上角棋盘
if(dr<tr+s && dc<tc+s)
ChessBoard(tr,tc,dr,dc,s); //特殊方格在此棋盘中
else{ //此棋盘无特殊方格
board[tr+s-1][tc+s-1]=t; //用t号L型骨牌覆盖此子棋盘的右下角
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{
board[tr+s-1][tc+s]=t; //用t号L型骨牌覆盖此子棋盘的左下角
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{
board[tr+s][tc+s-1]=t; //用t号L型骨牌覆盖此棋盘的右上角
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{
board[tr+s][tc+s]=t; //用t号L型骨牌覆盖此棋盘左上角
ChessBoard(tr+s,tc+s,tr+s,tc+s,s);
}
}
public static void main(String[] args) {
int k=3; //棋盘大小是2^k×2^k
int size=(int)Math.pow(2, k);
board=new int[size][size];
ChessBoard(0,0,0,1,size);
for(int i=0;i<size;i++){
for(int j=0;j<size;j++){
System.out.printf("%4d",board[i][j]);
}
System.out.println();
}
}
}
结果显示: