回溯搜索的非遞歸思路及實例源碼（原創）

摘要：本文簡要描述了回溯算法的基本思路，並給出了幾個典型實例的源碼

關鍵字：回溯，搜索，非遞歸，全排列，組合，N皇後，整數劃分，0/1背包

回溯是按照某種條件在解空間中往前試探搜索,若前進中遭到失敗,則回過頭來另擇通路繼續搜索。

符號聲明：

解空間：[a1,a2,a3,…,an];

x[k]為解空間元素的索引， 0 <= x[k] < n;k為數組x的索引；

a[x[0~n-1]]表示一組解。

//判斷解空間中的a[x[k]]是否滿足條件

bool CanbeUsed(int k)

{

    if(x[k] 不滿足條件) return false;

    else return true;

}

算法描述如下：

(1)k = 0; x[k] = -1;

(2)while( k >= 0 )

    a. x[k] = x[k] + 1;

    b. while(x[k] < n && ( ! CanbeUsed(k) ))//遍曆解空間，直到找到可用的元素

           x[k] = x[k] + 1;

    c. if(x[k] > n -1)//x[k]超出了解空間a的索引範圍

           k = k - 1; //回溯

    d. else if( k == n -1)//找到了n - 1個元素

          輸出一組解

    e. else     //當前元素可用，更新變量準備尋找下一個元素

          k = k + 1;

          x[k] = -1;

回溯的這種實現方式非常適合於在解空間中搜索特定長度的序列！

實例源碼：

1.回溯之全排列(VC6.0/VS2005)==============================================

////////////////////////////////
//回溯搜索之全排列
#include
#include
using namespace std;
#define N 100
string str;
int x[N];

bool IsPlaced(int n)
{
    for(int i = 0; i < n ; ++i)
    {
        if(x[i] == x[n])
            return false;
    }
    return true;
}

void PrintResult()
{
    for(int i = 0; i < str.length(); ++i)
        cout<= 0)
    {
        x[k] = x[k] + 1;
        while(x[k] < str.length() && !IsPlaced(k))
        {
            x[k] = x[k] + 1;
        }

        if(x[k] > str.length() - 1)
        {
            k = k - 1;
        }
        else if( k == str.length() - 1)
        {
            PrintResult();
        }
        else

        {
            k = k + 1;
            x[k] = -1;

        }

    }
}


int main()
{
    cout<<"input:"<>str)
    {
        cout<< str << " arrange......" << endl;
        Arrange();
        cout << "input:" << endl;
    }
    return 0;
}

2.八皇後(N皇後)============================================================

////////////////////////////////////////
//回溯之N皇後問題[ 4<=N<=100]

#include 
using namespace std;


#define N 8

//用於防置皇後的棋盤
//0表示未放置，1表示已放置
int board[N][N]={
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0
};

int x[N];

//按列擺放
bool CanbePlaced(int k)
{
    for(int i = 0; i < k ; ++i)
    {
        if(x[i] == x[k] || abs(x[i] - x[k]) == abs(i - k))
            return false;
    }
    return true;

}
void PrintResult()
{
    for(int i = 0; i < N; ++i)
        for(int j = 0; j < N; ++j)
            board[i][j] = 0;
    for(int i = 0; i < N; ++i)
        board[i][x[i]] = 1;
    for(int i = 0; i < N; ++i)
    {
        for(int j = 0; j < N; ++j)
        {
            if(board[i][j] == 1)
                cout<<"* ";
            else
                cout<<"- ";
        }
        cout<= 0 )
    {
        x[k] = x[k] + 1;
        while(x[k] < N && !CanbePlaced(k))
            x[k] = x[k] + 1;
        if(x[k] > N - 1)
        {
            k = k - 1;
        }
        else if( k == N - 1)
        {
            PrintResult();
            count ++;
        }
        else
        {
            k = k + 1;
            x[k] = - 1;
        }
    }
}
int main()
{
    NQ();
    cout << "一共:" << count << "組擺放方法" << endl;
    system("pause");
    return 0;
}