寒假作业（回溯＋剪枝）

现在小学的数学题目也不是那么好玩的。
看看这个寒假作业：

   □ + □ = □
   □ - □ = □
   □ × □ = □
   □ ÷ □ = □
   
   (如果显示不出来，可以参见【图1.jpg】)
   
每个方块代表1~13中的某一个数字，但不能重复。   
比如：
 6  + 7 = 13
 9  - 8 = 1
 3  * 4 = 12
 10 / 2 = 5

以及： 
 7  + 6 = 13
 9  - 8 = 1
 3  * 4 = 12
 10 / 2 = 5

就算两种解法。（加法，乘法交换律后算不同的方案）
 
你一共找到了多少种方案？

请填写表示方案数目的整数。
注意：你提交的应该是一个整数，不要填写任何多余的内容或说明性文字。

#include <iostream>

using namespace std;

double a[4][3];//防止在做除法时四舍五入，数据类型应用double
int b[14];
int cnt = 0;
void traceback(int r, int c);
bool check(int r);
int main()
{
    traceback(0, 0);
    cout << cnt;
}

void traceback(int r, int c)
{
    if (c == 3)
    {
        c = 0;
        r++;
        if (r == 4)
        {
            cnt++;
            return;
        }
    }
    for (int i = 1; i <= 13; i++)
    {
        if (b[i] >= 1)
        {
            continue;
        }
        //减数和差不能大于被减数
        if((r == 1 && c == 1) || (r == 3 && c == 1)){
            if(i > a[r][c-1]){
                continue;
            }
        }
        //除数和商不能大于被除数
        if((r == 1 && c == 2) || (r == 3 && c == 2)){
            if(i > a[r][c-2]){
                continue;
            }
        }
        a[r][c] = i;
        //每完成一行就判断一次，若该行合理再考虑下一行
        if (c == 2 && !check(r))
        {
            a[r][c] = 0;
            continue;
        }
        b[i]++;
        traceback(r, c + 1);
        a[r][c] = 0;
        b[i]--;
    }
}

bool check(int r)
{
    if (r == 0 && a[0][0] + a[0][1] != a[0][2])
    {
        return false;
    }
    else if (r == 1)
    {
        if (a[0][0] + a[0][1] != a[0][2] ||
            a[1][0] - a[1][1] != a[1][2])
        {
            return false;
        }
    }
    else if(r == 2){
        if (a[0][0] + a[0][1] != a[0][2] ||
            a[1][0] - a[1][1] != a[1][2] || 
            a[2][0] * a[2][1] != a[2][2])
        {
            return false;
        }
    }
    else if(r == 3){
        if (a[0][0] + a[0][1] != a[0][2] ||
            a[1][0] - a[1][1] != a[1][2] || 
            a[2][0] * a[2][1] != a[2][2] ||
            a[3][0] / a[3][1] != a[3][2])
        {
            return false;
        }
    }
    
    return true;
}

最终结果：64。