棋盘覆盖--分治

问题描述：

    在一个2^k×2^k （k≥0）个方格组成的棋盘中，恰有一个方格与其他方格不同，称该方格为特殊方格。显然，特殊方格在棋盘中可能出现的位置有4^k种，因而有4^k种不同的棋盘，图(a)所示是k=2时16种棋盘中的一个。棋盘覆盖问题（chess cover problem）要求用图(b)所示的4种不同形状的L型骨牌覆盖给定棋盘上除特殊方格以外的所有方格，且任何2个L型骨牌不得重叠覆盖。

    分治的技巧在于如何划分棋盘，使划分后的子棋盘的大小相同，并且每个子棋盘均包含一个特殊方格，从而将原问题分解为规模较小的棋盘覆盖问题。k>0时，可将2^k×2^k的棋盘划分为4个2^（k-1）×2^（k-1）的子棋盘。这样划分后，由于原棋盘只有一个特殊方格，所以，这4个子棋盘中只有一个子棋盘包含该特殊方格，其余3个子棋盘中没有特殊方格。为了将这3个没有特殊方格的子棋盘转化为特殊棋盘，以便采用递归方法求解，可以用一个L型骨牌覆盖这3个较小棋盘的会合处从而将原问题转化为4个较小规模的棋盘覆盖问题。递归地使用这种划分策略，直至将棋盘分割为1×1的子棋盘。

实现分治算法如下：

/*tr:棋盘左上角的行号
tc:棋盘左上角的列号
dr:特殊方格所在的行号
dc:特殊方格所在的列号
size= 2^k,棋盘规格*/
void ChessBoard(int tr,int tc,int dr,int dc,int size)
{
    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);

    }
}

程序完整代码实现：

#include<iostream>
using namespace std;
#define N 1000
int tile=1;
int Board[N][N];

void ChessBoard(int tr,int tc,int dr,int dc,int size)
{
    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);

    }
}

int main()
{
    int size;

    cin>>size;
    for(int i=0; i<size; i++)
        for(int j=0; j<size; j++)
            Board[i][j]=0;
    int dr,dc;
    cin>>dr>>dc;
    ChessBoard(0,0,dr,dc,size);
    for(int i=0; i<size; i++)
    {
        for(int j=0; j<size; j++)
        {
            if(j==0)
                cout<<Board[i][j];
            else
                cout<<" "<<Board[i][j];
        }
        cout<<endl;
    }


    return 0;
}

调试案例：

若进一步理解递归完整过程，可用如下代码实现：

//棋盘覆盖
#include<iostream>
using namespace std;
#define N 1000
int tile=1;
int Board[N][N];
/*tr:棋盘左上角的行号
tc:棋盘左上角的列号
dr:特殊方格所在的行号
dc:特殊方格所在的列号
size= 2^k,棋盘规格*/
void ChessBoard(int tr,int tc,int dr,int dc,int size)
{
    if(size==1)
        return ;
    int t=tile++;//L型骨牌号
    int s=size/2;
    //覆盖左上角子棋盘
    if(dr<tr+s && dc<tc+s)//特殊方格在棋盘中
    {
        cout<<"左上角在:"<<t<<endl;

        ChessBoard(tr,tc,dr,dc,s);
    }
    else //特殊方格不在棋盘中
    {
        cout<<"左上角不在:"<<t<<endl;

        //用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)
    {
        cout<<"右上角在:"<<t<<endl;

        ChessBoard(tr,tc+s,dr,dc,s);
    }
    else
    {
        cout<<"右上角不在:"<<t<<endl;

        //用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)
    {
        cout<<"左下角在:"<<t<<endl;

        ChessBoard(tr+s,tc,dr,dc,s);
    }
    else
    {
        cout<<"左下角不在:"<<t<<endl;

        //用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)
    {
        cout<<"右下角在:"<<t<<endl;

        ChessBoard(tr+s,tc+s,dr,dc,s);
    }
    else
    {
        cout<<"右下角不在:"<<t<<endl;

        //用t号L型骨牌覆盖左上角
        Board[tr+s][tc+s]=t;
        ChessBoard(tr+s,tc+s,tr+s,tc+s,s);

    }
}

int main()
{
    int size;

    cin>>size;
    for(int i=0; i<size; i++)
        for(int j=0; j<size; j++)
            Board[i][j]=0;
    int dr,dc;
    cin>>dr>>dc;
    ChessBoard(0,0,dr,dc,size);
    for(int i=0; i<size; i++)
    {
        for(int j=0; j<size; j++)
        {
            if(j==0)
                cout<<Board[i][j];
            else
                cout<<" "<<Board[i][j];
        }
        cout<<endl;
    }


    return 0;
}

调试案例：