寒假作业-2016年蓝桥杯省赛C/C++ A组题

现在小学的数学题目也不是那么好玩的。
看看这个寒假作业：
□ + □ = □
□ - □ = □
□ × □ = □
□ ÷ □ = □
每个方块代表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+等式验证

#include <bits/stdc++.h>
using namespace std;
bool used[15];
int a[15];
int ans=0;
void dfs(int t)
{
    if (t==13) {
        //整除变成乘法判断
        if ((a[10]==a[11]*a[12])&&(a[7]*a[8]==a[9])
  &&(a[4]-a[5]==a[6])&&(a[1]+a[2]==a[3])) ans++;
        return;
    }
    for (int i=1;i<=13;i++) {
        if (!used[i]) {
            used[i]=true;//标记使用过的数字
            a[t]=i;//填数字
            dfs(t+1);
            a[t]=-1;
            used[i]=false; 
        }
    }
}
int main()
{
    dfs(1);
    printf("%d\n",ans);
    return 0;
}

上面这个计算很慢，把验证改为下面这种会快很多：

if (t==13) {
        //必须整除，变成乘法判断
        if (a[10]==a[11]*a[12]) ans++;
        return;
    }
    if (t=10) {
        if (a[7]*a[8]!=a[9]) return;
    }
    if (t==7) {
        if (a[4]-a[5]!=a[6]) return;
    }
    if (t==4) {
        if (a[1]+a[2]!=a[3]) return;
    }