Gym 101512K

/*************************************************************************    > Author: MentalOmega    > Mail: [e-mail]    > Created Time: 2017年9月24日    > function:这道题的意思是给出n(n<=12)个学生提交的选择题答案，并且附上老师改出来的分数，然后问题是    正确答案有多少种（可能有多种答案改出来的分数是一样的）。如果是直接暴力枚举答案有2的30次方那么多种答案    时间复杂度不够。这里用了一个很巧妙的方法，就是双向搜索，先枚举一半的答案，然后算出每个学生另一半选择题还差多少分，这个    可以压缩在一个map中记录起来，然后枚举另一半答案，如果check出来的分数正是前一半所需要的，就能把方案数加起来了 ************************************************************************/#include<bits/stdc++.h>using namespace std;string ans[15];int grade[15];int main(){    if (fopen("in.txt", "r") != NULL)    {        freopen("in.txt", "r", stdin);        // freopen("out.txt", "w", stdout);    }    ios::sync_with_stdio(0);    cin.tie(0);    int t;    cin>>t;    while(t--)    {        map<string,pair<int,long long>> rec;        int n,m;        cin>>n>>m;        for(int i=0;i<n;i++)        {            cin>>ans[i]>>grade[i];        }        int mid=m/2;        for(long long a=0;a<1ll<<mid;a++)//处理前半段        {            string status="";            for(int i=0;i<n;i++)            {                int p=0;                long long aa=a;                for(int j=0;j<mid;j++)                {                    if((aa&1)==ans[i][j]-'0') p++;                    aa>>=1;                }                int relase=grade[i]-p;                if(relase<0) break;                status+='0'+relase;            }            if(status.size()==n)            {                rec[status].first++;                rec[status].second=a;            }        }        long long solution=0;        long long left,right;        for(long long a=0;a<1ll<<(m-mid);a++)//处理后半段        {            string status="";            for(int i=0;i<n;i++)            {                int p=0;                long long aa=a;                for(int j=mid;j<m;j++)                {                    int nb=ans[i][j]-'0';                    if((aa&1)==nb) p++;                    aa>>=1;                }                int relase=grade[i]-p;                if(relase<0) break;                status+='0'+p;            }            if(status.size()==n)            {                auto it=rec.find(status);                if(it!=rec.end())                {                    solution+=it->second.first;                    left=it->second.second;                    right=a;                }            }        }        if(solution==1)        {            string ans="";            for(int i=0;i<mid;i++)            {                ans+='0'+(left&1);                left>>=1;            }            for(int i=mid;i<m;i++)            {                ans+='0'+(right&1);                right>>=1;            }            cout<<ans<<'\n';        }        else        {            cout<<solution<<" solutions\n";        }    }    return 0;}