BZOJ1702: [Usaco2007 Mar]Gold Balanced Lineup 平衡的队列

n<=100000个数表示每头牛在K<=30种物品的选取情况，该数在二进制下某位为0表示不选1表示选，求一个最大的区间使区间内选择每种物品的牛一样多。

数学转化，把不同状态间单变量的关系通过不等式移项转变为单状态的多变量关系。

sum[i,j]表示前i头牛有多少选了物品j，那么问题要求即对任意j∈[1,K]，sum[p,j]-sum[q,j]相等，使p-q最大。（多状态，单变量）

列出来，sum[p,1]-sum[q,1]=sum[p,2]-sum[q,2]=……，移项，sum[p,2]-sum[p,1]=sum[q,2]-sum[q,1]，sum[p,j]-sum[p,1]=sum[q,j]-sum[q,1]，j∈[2,K]。

最后需要比较的就是每个i的sum[i,j]-sum[i,1]是否相同。（单状态，多变量）

找“最远的与当前数相同的数”，方法多样，这里用hash。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
//#include<iostream>
using namespace std;

int n,K;
#define maxn 100011
typedef int state[31];
#define maxh 100007
const int inf=0x3f3f3f3f;
int ans;
struct Hash
{
    int first[maxh];
    struct Node
    {
        state list;
        int Max,Min;
        int next;
    }a[maxn];
    int size;
    Hash()
    {
        memset(first,0,sizeof(first));
        size=0;
    }
    int hash(state s)
    {
        int v=0;
        for (int i=1;i<K;i++)
            v=(v*233+s[i])%maxh;
        return (v+maxh)%maxh;
    }
    bool equal(state a,state b)
    {
        for (int i=1;i<K;i++)
            if (a[i]!=b[i]) return 0;
        return 1;
    }
    void insert(state s,int p)
    {
        int v=hash(s);
        for (int i=first[v];i;i=a[i].next)
            if (equal(s,a[i].list))
            {
                a[i].Max=max(a[i].Max,p);
                ans=max(ans,a[i].Max-a[i].Min);
                return;
            }
        int x=++size;
        for (int i=1;i<K;i++) a[x].list[i]=s[i];
        a[x].Max=a[x].Min=p;
        a[x].next=first[v];
        first[v]=x;
    }
}h;
state sum;
int x;
int main()
{
    scanf("%d%d",&n,&K);
    memset(sum,0,sizeof(sum));
    ans=0;
    h.insert(sum,0);
    for (int i=1;i<=n;i++)
    {
        scanf("%d",&x);
        int j=1;
        while (x)
        {
            sum[j]+=x&1;
            j++;x>>=1;
        }
        state now;
        for (int j=1;j<K;j++)
            now[j]=sum[j+1]-sum[1];
        h.insert(now,i);
    }
    printf("%d\n",ans);
    return 0;
}