HDU 5143 NPY and arithmetic progression DFS

题意：给你$a1$个1，$a2$个2，$a3$个3，$a4$个4，问：这些数是否可以组成若干个等差数列?（等差数列的长度$\ge3$)

思路：能组成长度$\ge3$的数列，有几种，$1 2 3$ $2 3 4$ $1234$还有就是$a1\ge3$由$a1$个1组成一个等差数列。所以可以用dfs遍历前三种情况，用最后一种情况判断。

坑点：0 0 0 0竟然算是Yes,简直不能理解。还有我dfs的时候把123这种情况放在前面。1000 1000 1000 2 这种情况的时候我的程序就被卡成狗了，MLE，然后加了个depth$\le3$来剪枝，后来发现这样剪枝可能是有问题的，然后想了想，加大depth深度，管他去尼，depth改成10就A了，QAQ。后来想想，我depth$\le10$会把第一种情况，第二种情况，第三种情况都取3遍，应该是可以的。

http://acm.hdu.edu.cn/showproblem.php?pid=5143

/*********************************************
    Problem : HDU 5143
    Author  : NMfloat
    InkTime (c) NM . All Rights Reserved .
********************************************/

#include <map>
#include <set>
#include <queue>
#include <cmath>
#include <ctime>
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>

#define rep(i,a,b)  for(int i = a ; i <= b ; i ++)
#define rrep(i,a,b) for(int i = b ; i >= a ; i --)
#define repE(p,u) for(Edge * p = G[u].first ; p ; p = p -> next)
#define cls(a,x)   memset(a,x,sizeof(a))
#define eps 1e-8

using namespace std;

const int MOD = 1e9+7;
const int INF = 0x3f3f3f3f;
const int MAXN = 1e5;
const int MAXE = 2e5;

typedef long long LL;

int T,n,m,k;
int a1,a2,a3,a4;
int ok;

void input() {
    scanf("%d %d %d %d",&a1,&a2,&a3,&a4);
}

void dfs(int b1,int b2,int b3,int b4,int dep) {
    if(dep > 10) return ;
    if(ok) return ;
    if((b1>=3||b1==0)&&(b2>=3||b2==0)&&(b3>=3||b3==0)&&(b4>=3||b4==0)){ok = 1;return;}
    if(b1 < 0 || b2 < 0 || b3 < 0 || b4 < 0) return ;
    dfs(b1-1,b2-1,b3-1,b4,dep+1);
    dfs(b1,b2-1,b3-1,b4-1,dep+1);
    dfs(b1-1,b2-1,b3-1,b4-1,dep+1);
}

void solve() {
    ok = 0;
    //if(a1+a2+a3+a4) { 
        dfs(a1,a2,a3,a4,0);
    //}
    if(ok) puts("Yes");
    else puts("No");
}

int main(void) {
    freopen("a.in","r",stdin);
    scanf("%d",&T);
    while(T--) {
    //while(~scanf("%d %d",&n,&m)) {
        input();
        solve();
    }
    return 0;
}