URAL1561 Winnie the Pooh

题目描述：

vjudge

题解：

高消（线性基）模$7$。

可以算是板子了。

具体见代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N = ;
const int MOD = ;
template<typename T>
inline void read(T&x)
{
    T f = ,c = ;char ch=getchar();
    while(ch<''||ch>''){if(ch=='-')f=-;ch=getchar();}
    while(ch>=''&&ch<=''){c=c*+ch-'';ch=getchar();}
    x = f*c;
}
int n,m;
char op[],s0[];
int gtdt()
{
    scanf("%s",s0+);
    if(s0[]=='S'&&s0[]=='u')return ;
    if(s0[]=='M')return ;
    if(s0[]=='T'&&s0[]=='u')return ;
    if(s0[]=='W')return ;
    if(s0[]=='T'&&s0[]=='h')return ;
    if(s0[]=='F')return ;
    if(s0[]=='S'&&s0[]=='a')return ;
    return -;
}
void print(int x)
{
    if(x==)puts("Sunday");
    if(x==)puts("Monday");
    if(x==)puts("Tuesday");
    if(x==)puts("Wednesday");
    if(x==)puts("Thursday");
    if(x==)puts("Friday");
    if(x==)puts("Saturday");
}
int Inv[]={,,,,,,};
struct Vec
{
    int a[N];
    void rd(){for(int i=;i<=m;i++)read(a[i]),a[i]%=MOD;}
}v0;
bool fg=;
struct lb
{
    Vec v[N];int vl[N];
    bool check(Vec x)
    {
        for(int i=;i<=m;i++)if(x.a[i])
        {
            if(!v[i].a[i])return ;
            for(int j=i,now=Inv[x.a[i]];j<=m;j++)x.a[j]=x.a[j]*now%MOD;
            for(int j=i;j<=m;j++)x.a[j]=(x.a[j]-v[i].a[j]+MOD)%MOD;
        }
        return ;
    }
    int query(Vec x)
    {
        int r1 = ,r2 = ,r = ;
        for(int i=;i<=m;i++)if(x.a[i])
        {
            if(!v[i].a[i])return -;
            r=x.a[i];r2=r2*r%MOD,r1=r1*Inv[r]%MOD;
            for(int j=i,now=Inv[x.a[i]];j<=m;j++)x.a[j]=x.a[j]*now%MOD;
            r1=(r1+vl[i])%MOD;
            for(int j=i;j<=m;j++)x.a[j]=(x.a[j]-v[i].a[j]+MOD)%MOD;
        }
        return r1*r2%MOD;
    }
    void push(Vec x,int vl0)
    {
        for(int i=;i<=m;i++)if(x.a[i])
        {
            vl0=vl0*Inv[x.a[i]]%MOD;
            for(int j=i,now=Inv[x.a[i]];j<=m;j++)x.a[j]=x.a[j]*now%MOD;
            if(!v[i].a[i]){v[i]=x,vl[i]=vl0;break;}
            vl0=(vl0-vl[i]+MOD)%MOD;
            for(int j=i;j<=m;j++)x.a[j]=(x.a[j]+MOD-v[i].a[j])%MOD;
        }
    }
}tr;
int main()
{
//    freopen("s.in","r",stdin);
//    freopen("s.out","w",stdout);
    read(n);
    for(int i=,w;i<=n;i++)
    {
        scanf("%s",op+);
        if(op[]=='A')m++;
        else if(op[]=='L')
        {
            v0.rd();w=(MOD-gtdt()+gtdt())%MOD;
            if(!tr.check(v0))
            {
                if(tr.query(v0)!=w)fg=;
            }else    tr.push(v0,w);
        }else
        {
            v0.rd();w=gtdt();
            if(fg)puts("Already crazy");
            else if(tr.check(v0))puts("Don't know");
            else print((w+tr.query(v0))%MOD);
        }
    }
    return ;
}