回溯

符号三角问题：下面都是“-”。 下图是由14个“+”和14个“-”组成的符号三角形。2个同号下面都是“+”，2个异号下面都是“-”。
在一般情况下，符号三角形的第一行有n个符号。符号三角形问题要求对于给定的n，计算有多少个不同的符号三角形，使其所含的“+”和“-”的个数相同。

#include<iostream>
using namespace std;
int ans;
class Triangle
{
    friend int Compute(int n);
private:
    void Backtrack(int t);
    int n, count, half;
    int** p;
    int sum;
};

void Triangle::Backtrack(int t)
{
if ((count > half) || (t * (t - 1) / 2 - count > half))return;
    if (t > n)
    {   
        sum++;
        int k;
        for (int i = 1; i <= n; i++)
        {
            for (k = 1; k < i; k++)
                cout << " ";
            for (int j = k; j <= n; j++)
            {

                if (i % 2 == 0)
                {
                    if (p[i][j] == 1)
                        cout << "- ";
                    else
                        cout << "+ ";
                }
                else
                {
                    if (p[i][j] == 1)
                        cout << "+ ";
                    else
                        cout << "- ";
                }
            }
            cout << endl;
        }
        cout << endl;

        return;
    }
    else
        for (int i = 0; i < 2; i++)
        {//子树
            p[1][t] = i;
            count += i;
            for (int j = 2; j <= t; j++) //该子树形成的三角形
            {
                p[j][t - j + 1] = p[j - 1][t - j + 1] ^ p[j - 1][t - j + 2];
                count += p[j][t - j + 1];
            }
            Backtrack(t + 1);
            for (int j = 2; j <= t; j++) //回溯恢复
                count -= p[j][t - j + 1];
            count -= i;
        }
}
int Compute(int n)
{
    Triangle X;
    X.n = n;
    X.count = 0;
    X.sum = 0;
    X.half = n * (n + 1) / 2;
    if (X.half % 2 == 1) return 0;
    X.half = X.half / 2;
    int** p = new int* [n + 1];
    for (int i = 0; i <= n; i++)
        p[i] = new int[n + 1];
    for (int i = 0; i <= n; i++)
        for (int j = 0; j <= n; j++)
            p[i][j] = 0;
    X.p = p;
    X.Backtrack(1);
    for (int i = 0; i <= n; i++)
        delete[]p[i];
    delete[]p;
    p = 0;
    return X.sum;
}
int main()
{
    int n;
    cout << "分别输入第一行n的个数"<<endl;
    while (cin >> n) {
        ans = Compute(n);
        cout <<"第一行的个数为"<<n<<"个时，共有"<<ans<<"个符号三角形";
    }
    return 0;
}

问题描述：给定集合S，S中有n个正整数，M是一个正整数。子集和问题判定是否存在S的一个子集S1，使得S1中各元素之和等于M。请设计回溯法求解子集和问题，如果问题无解，输出“No Solution”,问题有解，则输出满足子集S1中各元素的值。

#include<iostream>
using namespace std;
int n, M, a[101], b[101], sum;
int flag=0;
void backtrack(int k, int sum, int ct)
{
	if (sum>M)
		return;
	if (sum == M) {
		flag++;
		cout << endl;
		for (int i = 0; i < ct; i++) {
			cout << " " << b[i];
		}
	}
	for (int i = k; i <= n; i++) {
		b[ct] = a[i];
		backtrack(i + 1, sum + a[i], ct + 1);
	}
}
int main()
{
	cout << "分别输入集合的个数和整数M的值" << endl;
	cin >> n >> M;
	cout << "输入集合元素" << endl;
	for (int i = 1; i <= n; i++)
		cin >> a[i];
	cout << "存在的子集和为M的子集为：" << endl;
	backtrack(1, 0, 0);
	if (flag == 0)
		cout << "No Solution" << endl;
}

问题描述：设有n件工作分配给n个人。将工作i分配给第j个人的费用为cij,请设计算法，为每个人都分配1件不同的工作，并使得总费用达到最小。
实现提示：该问题的解空间是一棵排列树，可用搜索排列树的回溯框架实现。

#include<iostream>
using namespace std;
int n, aa[101][101], b[101],SumValue = 0, minx = 202020;
void backtrack(int k)
{
	for(int p=1;p<=n;p++)
		if (!b[p]) {
			b[p] = 1;
			SumValue = SumValue + aa[k][p];
			if (k == n && SumValue < minx)
				minx = SumValue;
			if (k != n) {
				if (SumValue < minx)
					backtrack(k + 1);
			}
			SumValue = SumValue - aa[k][p];
			b[p] = 0;
		}
}
int main()
{
	cin >> n;
	for(int i=1;i<=n;i++)
		for (int j = 1; j <= n; j++) 
			cin >> aa[i][j];
	backtrack(1);
	cout << minx << endl;
	return 0;
}