蓝桥杯-寒假作业

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

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

(如果显示不出来，可以参见【图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

就算两种解法。（加法，乘法交换律后算不同的方案）

你一共找到了多少种方案？

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

分析：
dfs暴力法，注意适当剪枝，使运行效率更好。当枚举量达到3，6，9，12时，进行判断，不需要等到12个数枚举完再判断。

Source：

#include<cstdio>
using namespace std;
bool vis[14]={0};
int count=0;
int a[12];
bool judge(int cur)
{
    if(cur==3)
    {
        if(a[0]+a[1]==a[2])
            return true;
        else
            return false;
    }
    if(cur==6)
    {
        if(a[3]-a[4]==a[5])
            return true;
        else
            return false;
    }
    if(cur==9)
    {
        if(a[6]*a[7]==a[8])
            return true;
        else
            return false;
    }
    if(cur==12)
    {
        if(a[9]==a[10]*a[11])
        {
            count++;
            return true;
        }
        else
            return false;
    }
}
void dfs(int cur)
{
    if(cur==3||cur==6||cur==9||cur==12)
  //剪枝
    {
        if(!judge(cur))
            return;
    }
    if(cur==12)
        return;
    for(int i=1;i<=13;i++)
    {
        if(!vis[i])
        {
            vis[i]=true;
            a[cur]=i;
            dfs(cur+1);
            vis[i]=false;
        }
    }
}
int main()
{
    dfs(0);
    printf("%d\n",count);
}