QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#429757 | #6344. The Best Problem of 2021 | ushg8877 | AC ✓ | 965ms | 35820kb | C++14 | 3.3kb | 2024-06-02 20:28:46 | 2024-06-02 20:28:47 |
Judging History
answer
#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int MOD=998244353;
struct modint{
int x;
modint(int y=0){x=y;}
};
modint operator +(modint x,modint y){return modint(x.x+y.x>=MOD?x.x+y.x-MOD:x.x+y.x);}
modint operator -(modint x,modint y){return (x.x<y.x?x.x-y.x+MOD:x.x-y.x);}
modint operator ^(modint x,int y){ll a=x.x,r=1;while(y){if(y&1)r=r*a%MOD;a=a*a%MOD,y>>=1;}return modint(r);}
modint operator *(modint x,modint y){return modint(1ll*x.x*y.x%MOD);}
modint operator /(modint x,modint y){return x*(y^(MOD-2));}
modint operator /(modint x,int y){return x/modint(y);}
modint operator *(modint x,int y){return modint(1ll*x.x*y%MOD);}
void operator +=(modint &x,modint y){x=(x+y);}
const int MAXN=2005;
int n,m;
bitset<MAXN> bas[MAXN],fin;
modint f[MAXN][MAXN],g[MAXN][MAXN],h[MAXN];
modint pw2[MAXN],pwpw2[MAXN],fac2[MAXN],inf2[MAXN];
modint C2(int x,int y){return x<0||x>y?modint(0):inf2[x]*inf2[y-x]*fac2[y];}
modint sgn(int x){return (x&1)?modint(MOD-1):modint(1);}
int main(){
ios::sync_with_stdio(false);
// freopen("Otomachi_Una.in","r",stdin);
// freopen("Otomachi_Una.out","w",stdout);
cin>>n>>m;
for(int i=1;i<=n;i++){
string s;cin>>s;
bitset<MAXN> my;
for(int i=1;i<=m;i++) my[i]=(s[m-i]=='1');
bool flag=false;
for(int j=m;j>=1;j--) if(my[j]){
if(bas[j].any()) my^=bas[j];
else{
bas[j]=my;
flag=true;
break;
}
}
if(!flag){
cout<<0;
return 0;
}
}
for(int i=1;i<=m;i++) if(bas[i].any()){
for(int j=1;j<i;j++) if(bas[i][j]&&bas[j].any()) bas[i]^=bas[j];
}
bitset<MAXN> my,et;
string s;cin>>s;
for(int i=1;i<=m;i++) my[i]=(s[m-i]=='1');
int n0=0;
for(int i=m;i>=1;i--) if(bas[i].any()){
et^=bas[i];
bool flag=true;
for(int j=m;j>=1;j--) if(my[j]!=et[j]){
flag=(my[j]>et[j]);
break;
}
fin[n0++]=flag;
if(!flag) et^=bas[i];
}
if(!fin[0]){
cout<<0;
return 0;
}
pw2[0]=fac2[0]=inf2[0]=modint(1);pwpw2[0]=modint(2);
for(int i=1;i<MAXN;i++){
pw2[i]=pw2[i-1]*2;
fac2[i]=fac2[i-1]*(pw2[i]-modint(1));
inf2[i]=inf2[i-1]/(pw2[i]-modint(1));
pwpw2[i]=pwpw2[i-1]*pwpw2[i-1];
}
// f[i][j] 前 i 位当中已经选了 j 位,且未顶到,钦定 pos[n] 以选
// g[i][j] 前 i 为当中已经选了 j 位,且顶到
f[0][0]=modint(1);g[0][0]=modint(2);
for(int i=0;i<n;i++) for(int j=0;j<=i;j++) if(f[i][j].x||g[i][j].x){
// from f[i][j] or g[i][j]
if(fin[n-1-i]){
// 这个位置上有值 desu~
if(i==n-1){
g[i+1][j+1]+=g[i][j]*pw2[i-j]*pwpw2[j];
continue;
}
// 不选,这位当前是 0
g[i+1][j]+=f[i][j]*pwpw2[j]/2;
f[i+1][j]+=f[i][j]/2;
// 不选,这位当前是 1
f[i+1][j]+=f[i][j]/2;
g[i+1][j]+=g[i][j]/2;
// 选!
f[i+1][j+1]+=f[i][j]*pw2[i-j];
g[i+1][j+1]+=g[i][j]*pw2[i-j]*pwpw2[j];
}else{
// 选!
f[i+1][j+1]+=f[i][j]*pw2[i-j];
g[i+1][j+1]+=g[i][j]*pw2[i-j];
// 不选,这位当前是 1
f[i+1][j]+=f[i][j]/2;
g[i+1][j]+=f[i][j]/2;
// 不选,当前这位是 0
f[i+1][j]+=f[i][j]/2;
g[i+1][j]+=g[i][j]/2;
}
}
h[0]=2;
for(int i=1;i<=n;i++) h[i]=g[n][i]+pwpw2[i]*C2(i,n-1);
modint ans;
// q- 二项式反演 desu~
for(int i=0;i<=n;i++) ans+=h[i]*sgn(n-i)*(modint(2)^((n-i)*(n-i-1)/2));
ans=ans/2;
cout<<ans.x<<'\n';
}
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 0ms
memory: 35028kb
input:
4 4 0001 0010 0100 1000 1101
output:
7364
result:
ok 1 number(s): "7364"
Test #2:
score: 0
Accepted
time: 0ms
memory: 35388kb
input:
3 2 00 00 00 11
output:
0
result:
ok 1 number(s): "0"
Test #3:
score: 0
Accepted
time: 0ms
memory: 34940kb
input:
2 3 110 101 101
output:
1
result:
ok 1 number(s): "1"
Test #4:
score: 0
Accepted
time: 0ms
memory: 35016kb
input:
3 10 1111100110 0011110100 0101100001 1110000001
output:
38
result:
ok 1 number(s): "38"
Test #5:
score: 0
Accepted
time: 0ms
memory: 35024kb
input:
7 13 1000101001000 1000000010000 1010101011111 1001100100111 1111111101100 0101010101110 1101100010100 1000010011001
output:
744450298
result:
ok 1 number(s): "744450298"
Test #6:
score: 0
Accepted
time: 0ms
memory: 34968kb
input:
100 100 1111010111010001011111110010101001001101000000000000011000001100101000100011100011000000110000001010 1001001110111010100100010111100010111110101100101000010111001011111010111100111000000011101010100111 000011010111000100110100010010011101001111100110111000100101010001101100101011000111101101...
output:
19562313
result:
ok 1 number(s): "19562313"
Test #7:
score: 0
Accepted
time: 47ms
memory: 35148kb
input:
400 500 1011011011010010111110101001010011000100001111000111111111001111100010101011110011010010011100100100111111000111001110111100101010000000100100011011011001011100100000000100001100001010100010111000110011000100101001010110110100110101000011011011011100111110010100101000011001100000001100001000...
output:
681985268
result:
ok 1 number(s): "681985268"
Test #8:
score: 0
Accepted
time: 255ms
memory: 35296kb
input:
999 1997 011101110101100100111101100000000100001110010001010100011010111010101101011100001000010001110100110111101101010111010011101111011001011100110110101011111011000111101011011000010101100101001110000111010101111100000100100101110000111001010101110110000001111111100110110011110100101000011100011...
output:
435150194
result:
ok 1 number(s): "435150194"
Test #9:
score: 0
Accepted
time: 865ms
memory: 35772kb
input:
1901 2000 10000111000111010000000000100110001100110010011001101110001011000001011000010111101110111001111000010110110100010100010101011111011101100111010101010001010010111010001011000001011010100011000101101010001110111100000101110110011001101111101111000100001010011101011110001100110001100000111110...
output:
9254020
result:
ok 1 number(s): "9254020"
Test #10:
score: 0
Accepted
time: 942ms
memory: 35612kb
input:
1984 2000 11111101001011101001011011010011000001100000101000001001111000100010011011000110110110100000001100000000001111101001111010111110000000010000000111111001010111101101110000111110010111001011011111010010110001011100110101000110000100010100100101010111101100000011110010010100101011101001110110...
output:
870006511
result:
ok 1 number(s): "870006511"
Test #11:
score: 0
Accepted
time: 37ms
memory: 35572kb
input:
2000 2000 00010001100000101100000110010101010101110010001000000100010010110010001100110000001110100111010110100110101010101111011100001110100011001000010001000011100111010100110101000111010010010111001001101100100000101001111111001111101001000101001011101001010010010101011110111001101101101001001000...
output:
0
result:
ok 1 number(s): "0"
Test #12:
score: 0
Accepted
time: 0ms
memory: 35316kb
input:
11 11 10000000000 01000000000 00100000000 00010000000 00001000000 00000100000 00000010000 00000001000 00000000100 00000000010 00000000001 10111110000
output:
312889397
result:
ok 1 number(s): "312889397"
Test #13:
score: 0
Accepted
time: 3ms
memory: 35052kb
input:
100 100 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
554554135
result:
ok 1 number(s): "554554135"
Test #14:
score: 0
Accepted
time: 228ms
memory: 35296kb
input:
1000 1000 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
944188930
result:
ok 1 number(s): "944188930"
Test #15:
score: 0
Accepted
time: 918ms
memory: 35620kb
input:
1999 1999 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
753324940
result:
ok 1 number(s): "753324940"
Test #16:
score: 0
Accepted
time: 907ms
memory: 35620kb
input:
2000 2000 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
489943678
result:
ok 1 number(s): "489943678"
Test #17:
score: 0
Accepted
time: 902ms
memory: 35568kb
input:
2000 2000 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
458543942
result:
ok 1 number(s): "458543942"
Test #18:
score: 0
Accepted
time: 0ms
memory: 35596kb
input:
37 100 0000000000100000010101011000010111111000000000000000000000000000000000001110100110101000000010110000 0111100011011110101011110100101001011000000000110010001010110100000000010000100000111011000000100000 0001110011110000001100011000010011001000000000000000000000000000000000000000000000000000010...
output:
807297668
result:
ok 1 number(s): "807297668"
Test #19:
score: 0
Accepted
time: 6ms
memory: 35020kb
input:
71 93 100010100111111001011100000000011001101101010001011001110001101110010000001000001000000000011 110100111110010001000110000101111010111111000111011010100001010000010110011000000100000000000 110010010110000000010001010100000011000100000010011100100000100100101100010100001100000010000 000101010010...
output:
50935767
result:
ok 1 number(s): "50935767"
Test #20:
score: 0
Accepted
time: 0ms
memory: 35188kb
input:
101 114 010101111101011101100001000100001001000100011100111111110010001111101001100100000110100101010110000000000000001000 101010000011100100000001100000110000111001111011000010010101001011110110100101011101111111111110111010000000000000 11011100100101010100101100000101100000010100000010010110101010...
output:
0
result:
ok 1 number(s): "0"
Test #21:
score: 0
Accepted
time: 5ms
memory: 35068kb
input:
17 2000 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010010101111100001010111000001111010110101100011000011011111110001011001011010111110111110000110011101111011010110101011010100110001111110110110101000101110100110011001000010000001010...
output:
526829746
result:
ok 1 number(s): "526829746"
Test #22:
score: 0
Accepted
time: 3ms
memory: 35132kb
input:
30 1999 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
708057099
result:
ok 1 number(s): "708057099"
Test #23:
score: 0
Accepted
time: 0ms
memory: 35336kb
input:
54 2000 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...
output:
0
result:
ok 1 number(s): "0"
Test #24:
score: 0
Accepted
time: 160ms
memory: 35788kb
input:
791 1999 101011000010100101111110010001001001000000000001111100001000101100011110001010010011111110111010100011111010001110000001100010000011001110110011011011110110101100010010110111011000101111010100101110110010100011100100011001100000000001000001010100000000100111011000101111100100001000011010001...
output:
64451741
result:
ok 1 number(s): "64451741"
Test #25:
score: 0
Accepted
time: 223ms
memory: 35392kb
input:
944 2000 110101011100010000001010011011000001001001101001001011101110100000001000000010101011111001101010110100011101110100110010110000011100011111000001011110100111011101110010100100110111001110110001101010011101100010100100000010110101000101111000101110011000111000111111101110001101101110111110001...
output:
996119909
result:
ok 1 number(s): "996119909"
Test #26:
score: 0
Accepted
time: 300ms
memory: 35440kb
input:
1102 1999 10001010010010110101001000110000010000000110101001010111100100000110001111111100111001000111000111110100101101010110111110110001111011110101111001101100101110001011100001100000000000111111111000111010000111100010011010100001001011110111011110100001000100111000100001000010111001111011110001...
output:
855516290
result:
ok 1 number(s): "855516290"
Test #27:
score: 0
Accepted
time: 32ms
memory: 35608kb
input:
1931 2000 01101111100011101110100101000110011110000111000001010001011111010110011001111110110010111000100010111101001100001100001100010101000011001000110001011101111001000111101011011100011110010100001111111000101111000110000000000010110101110001000001011111001000001001100110101100100010101010010000...
output:
0
result:
ok 1 number(s): "0"
Test #28:
score: 0
Accepted
time: 907ms
memory: 35612kb
input:
1944 1999 10000110101111110110111101101000111110100010000011101101000011101100110000110001110000100000100101011111100100111000100110011111110111011100100000111000101110011100101011000011101101010001111110110100101101001011010011111111011111001101010000101011110010010110110101110000000111010100111101...
output:
52786402
result:
ok 1 number(s): "52786402"
Test #29:
score: 0
Accepted
time: 38ms
memory: 35564kb
input:
1977 2000 10011110110110110011001100011011011110111110001001101000101110100111011100011101001100100101110101010001100011001110111011101101100010000010100010001011011011001111011010111011100010101010101111101100001000111011100010111000000101111110100001111011111111111111110101101001101001111100011100...
output:
0
result:
ok 1 number(s): "0"
Test #30:
score: 0
Accepted
time: 965ms
memory: 35820kb
input:
2000 2000 01110010111000111001110000110111011110010010111001000001100101101011000001010111111010001100110000101001001000000000011001101101010001010011010000111011111101001110110010110101110101100100000011110100100010110001110010101001000110100100001001001111000111001011110110101100101011011011101010...
output:
3964016
result:
ok 1 number(s): "3964016"
Test #31:
score: 0
Accepted
time: 38ms
memory: 35616kb
input:
1994 1999 00001100011011001011110111100001111001010110101100010010111001011000100111011110000010100111100001101101100000101111101111001001011001000111111011010110001111001100110000100001101001011001001011100101000101010000110001101000100110110010011010000001000110001010101101111100010110001010101000...
output:
0
result:
ok 1 number(s): "0"
Test #32:
score: 0
Accepted
time: 46ms
memory: 35812kb
input:
1997 2000 01111000101001101011000100101111110000011100111100101100111100110000100101010001011110111100101000001001000110100110111101011101010100010110101011010010000100000110011111100000100011000110001110000111011010110001001001000001110101011011011000101111010000010101101111110100110011110100101000...
output:
0
result:
ok 1 number(s): "0"
Test #33:
score: 0
Accepted
time: 962ms
memory: 35612kb
input:
2000 2000 00110111110110101110100001011000000101001011010011111001100000001001101100111111100001100010111101001110101001101010111011111000000110101101101110100111110101111110010000001001010100111101011010100000010001110100100010010100101010100110011101011110111100111110101110111010010111010010100010...
output:
385756366
result:
ok 1 number(s): "385756366"
Test #34:
score: 0
Accepted
time: 952ms
memory: 35500kb
input:
1988 1999 10101010110010100000101100110010001110101111010010001011010100100010101111001010100110100101100100111101000001000110001011110000001110000000110000001111000100101100000000111011011011110111101000001110111111000110011011111011010000010011100010010110111010000011010001011100010001011001100000...
output:
534584509
result:
ok 1 number(s): "534584509"
Test #35:
score: 0
Accepted
time: 69ms
memory: 35608kb
input:
2000 2000 00100000011001010111100000100001011101010011001010100100100001100000000100010110000110010111010000100110010000010001110100010100111001000110111001011101101110111000000111000000111101011010000110010011110011010000010101000111100100100001101001100010101101011111001010001011101001100001011010...
output:
0
result:
ok 1 number(s): "0"
Test #36:
score: 0
Accepted
time: 43ms
memory: 35424kb
input:
1995 2000 10010000010101100111011100110001101101000100010011110100110111110000000111010000111101011000101000111000010010010111000010101110110100011100111010110110110100111101010100000110001010010001011001000100011110101100110111010110101010100100011010101100001010111111000100101110001101000000010010...
output:
0
result:
ok 1 number(s): "0"
Test #37:
score: 0
Accepted
time: 956ms
memory: 35608kb
input:
1999 1999 11011110110011001100010110011001000101010101001001010101111111000111100000001101101101101010001111010000011101100110100111011010011011001101010011001100011111010100001000100100100111010111001000000010101100100010001111100100101110100010010010101000000110101011101001110010111111011101000101...
output:
678369480
result:
ok 1 number(s): "678369480"
Test #38:
score: 0
Accepted
time: 38ms
memory: 35560kb
input:
1999 2000 11000110010001011100111010011110110100101101000010111101001010100000100100011101011000110000101011011111110101001101111010010010010001011110101001010000010100110110100110011110011101001100000001110100001100110111011001110000110110000101110011110010110100110011010111011001011010111000000110...
output:
0
result:
ok 1 number(s): "0"