[LA2965][建模][Meet in the middle]侏罗纪

给定n个由大写字母构成的字母串，选最多字符串使所有字符出现次数均为偶数

由于加法的奇偶性只由加数的奇偶性决定，所以我们只用存储每个大写字母的奇偶性即可，0表示偶数，1表示奇数
那么问题可以转化为，选尽量多0\1串，使它们xor后值为0
裸的枚举O($2^n$）
这里有一种叫Meet-in-the-Middle的方法，可将复杂度降为O(2^(n/2)logn)
注意到xor值为0的两个01串，必须是完全相等的才可以，那我们就可以将所有字符串砍成两半，先枚举前一半，记录所有能够达到的情况，再来枚举后一半，看前一半是否存在
我的代码没有AC，如果哪位大神能够帮我检查出来当然是感激不尽

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<map>
using namespace std;
const int maxn=24,maxlen=1e7+5;
char ch[maxlen];
int n,ans,arry[maxn];
map<int,int>table;
void init()
{
    ans=0;
    memset(arry,0,sizeof(arry));
    table.clear();
}
int bitcount(int x)
{
    return !x?0:bitcount(x>>1)+(x&1);
}
int main()
{
//  freopen("xor.in","r",stdin);
    while (scanf("%d",&n)==1&&n)
    {
        init();
        for (int i=0;i<n;i++)
        {
          getchar(); scanf("%s",ch); int len=strlen(ch);
          for (int j=0;j<len;j++) arry[i]^=(1<<(ch[j]-'A'));
        } 
        int L=n/2,R=n-L;
        for (int i=0;i<(1<<L);i++)
        {
          int x=0;
          for (int j=0;j<L;j++) if (i&(1<<j)) x^=arry[j];
          if (!table.count(x)||bitcount(table[x]<bitcount(i))) table[x]=i;
        }           
        for (int i=0;i<(1<<R);i++)
        {
          int x=0;
          for (int j=0;j<R;j++) if (i&(1<<j)) x^=arry[L+j];
          if (table.count(x)&&bitcount(ans)<bitcount(table[x])+bitcount(i)) ans=(i<<L)^table[x];
        }
        printf("%d",bitcount(ans)); putchar('\n');
        for (int i=0;i<n;i++) if (ans&(1<<i)) printf("%d ",i+1); putchar ('\n');
    }
    return 0;
}