3.16-加减乘除数学题-深度搜索

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

□ + □ = □
□ - □ = □
□ × □ = □
□ ÷ □ = □

(如果显示不出来，可以参见【图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;
int vis[14]={0};
int a[14]={0};//start from 1
int count=0;
void f(int x)
{
    if(x==13)
    {
        count++;
        return;
    }
    for(int i=1;i<14;i++)
    {

        if(vis[i]==1||(x==1&&i%2==1)||(x<=6&&i==1)||(x==2&&a[1]%i!=0)||(x==3&&a[1]/a[2]!=i)||(x==5&&a[4]*i>13)||(x==6&&a[4]*a[5]!=i)||(x==9&&a[7]-a[8]!=i)||(x==12&&a[10]+a[11]!=i)) 
        {
            continue;
        }
        vis[i]=1;
        a[x]=i;
        f(x+1);
        vis[i]=0;
        a[x]=0;
    }
} 
int main()
{
    f(1);
    cout<<count<<endl;
}