QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#532847 | #7. 主旋律 | ChrysanthBlossom | 100 ✓ | 203ms | 8504kb | C++14 | 1.5kb | 2024-08-25 13:17:11 | 2024-08-25 13:17:11 |
Judging History
answer
#include<bits/stdc++.h>
#define ri register int
#define ll long long
using namespace std;
const int maxn=15;
const int mod=1e9+7;
int n,m;
int ed[maxn][maxn];
ll f[1<<maxn],g[1<<maxn];
int in[maxn][1<<maxn],out[maxn][1<<maxn];
int lowbit(int x){
return x&(-x);
}
int cnt[1<<maxn];
ll qpow(ll a,ll b,ll p){
ll ans=1;
for(;b;b>>=1,a=a*a%p)if(b&1)ans=ans*a%p;
return ans;
}
ll tmp[1<<maxn];
int lg[1<<maxn];
ll gsm[maxn*maxn];
signed main(){
ios::sync_with_stdio(0);
cin>>n>>m;
for(ri i=1;i<=m;i++){
int u,v;cin>>u>>v;u--,v--;ed[u][v]=1;
}
gsm[0]=1;
for(ri i=1;i<=m;i++)gsm[i]=gsm[i-1]*2%mod;
for(ri i=0;i<n;i++)lg[1<<i]=i;
for(ri i=0;i<n;i++){
for(ri S=0;S<1<<n;S++){
int inc=0,outc=0;
for(ri j=0;j<n;j++){
if(S>>j&1){
inc+=ed[j][i];
outc+=ed[i][j];
}
}
in[i][S]=inc;out[i][S]=outc;
}
}
for(ri S=0;S<1<<n;S++)for(ri i=0;i<n;i++)for(ri j=0;j<n;j++)if((S>>i&1)&&(S>>j&1))cnt[S]+=ed[i][j];
g[0]=mod-1;
for(ri S=1;S<1<<n;S++){
int K=S^lowbit(S);
for(ri T=K;T;T=(T-1)&K)g[S]=(g[S]-g[T]*f[S^T]%mod+mod)%mod;
tmp[0]=0;
vector<int>subset;
for(ri T=S;T;T=(T-1)&S)subset.emplace_back(T);
reverse(subset.begin(),subset.end());
for(auto T:subset){
int K=T^lowbit(T);
int pnt=lg[lowbit(T)];
tmp[T]=tmp[K]-in[pnt][K]+out[pnt][S^T];
}
f[S]=gsm[cnt[S]];
for(ri T=S;T;T=(T-1)&S){
f[S]=(f[S]-g[T]*gsm[cnt[S^T]]%mod*gsm[tmp[T]]%mod+mod)%mod;
}
g[S]=(g[S]+f[S])%mod;
}
cout<<f[(1<<n)-1]<<endl;
return 0;
}
/*
2 1
1 2
*/
Details
Tip: Click on the bar to expand more detailed information
Pretests
Final Tests
Test #1:
score: 10
Accepted
time: 1ms
memory: 5680kb
input:
5 15 4 3 4 2 2 5 2 1 1 2 5 1 3 2 4 1 1 4 5 4 3 4 5 3 2 3 1 5 3 1
output:
9390
result:
ok single line: '9390'
Test #2:
score: 10
Accepted
time: 1ms
memory: 5588kb
input:
5 18 4 3 4 2 2 5 2 1 1 2 5 1 3 2 4 1 1 4 5 4 3 4 5 3 2 3 1 5 3 1 1 3 5 2 2 4
output:
100460
result:
ok single line: '100460'
Test #3:
score: 10
Accepted
time: 1ms
memory: 7668kb
input:
8 35 5 1 8 7 7 8 7 6 6 1 2 5 6 5 8 2 7 2 7 5 3 1 6 3 2 3 5 2 8 5 8 3 6 8 2 1 1 6 2 6 7 3 2 4 3 5 3 2 3 7 7 1 8 4 3 4 3 6 6 4 2 7 4 6 6 7 7 4 8 1
output:
299463717
result:
ok single line: '299463717'
Test #4:
score: 10
Accepted
time: 1ms
memory: 5764kb
input:
8 40 5 1 8 7 7 8 7 6 6 1 2 5 6 5 8 2 7 2 7 5 3 1 6 3 2 3 5 2 8 5 8 3 6 8 2 1 1 6 2 6 7 3 2 4 3 5 3 2 3 7 7 1 8 4 3 4 3 6 6 4 2 7 4 6 6 7 7 4 8 1 1 2 4 8 5 8 4 3 5 7
output:
21156439
result:
ok single line: '21156439'
Test #5:
score: 10
Accepted
time: 0ms
memory: 7972kb
input:
8 45 5 1 8 7 7 8 7 6 6 1 2 5 6 5 8 2 7 2 7 5 3 1 6 3 2 3 5 2 8 5 8 3 6 8 2 1 1 6 2 6 7 3 2 4 3 5 3 2 3 7 7 1 8 4 3 4 3 6 6 4 2 7 4 6 6 7 7 4 8 1 1 2 4 8 5 8 4 3 5 7 2 8 1 5 3 8 1 3 4 1
output:
426670664
result:
ok single line: '426670664'
Test #6:
score: 10
Accepted
time: 0ms
memory: 6004kb
input:
10 65 5 10 1 8 7 8 6 2 5 7 9 2 4 7 3 7 1 6 3 10 7 9 8 4 7 1 5 2 1 7 4 2 8 3 8 1 3 9 8 2 2 10 4 3 9 10 5 3 3 8 3 4 6 10 4 8 4 5 5 8 9 5 9 6 10 2 10 5 6 1 2 1 9 4 7 10 5 6 10 7 10 8 5 9 9 7 9 8 4 10 8 9 7 2 2 7 10 1 7 3 6 8 7 6 9 1 6 5 2 4 6 3 2 9 8 10 10 9 8 5 4 1 6 9 2 3 1 3 1 9
output:
931896041
result:
ok single line: '931896041'
Test #7:
score: 10
Accepted
time: 2ms
memory: 7748kb
input:
10 70 5 10 1 8 7 8 6 2 5 7 9 2 4 7 3 7 1 6 3 10 7 9 8 4 7 1 5 2 1 7 4 2 8 3 8 1 3 9 8 2 2 10 4 3 9 10 5 3 3 8 3 4 6 10 4 8 4 5 5 8 9 5 9 6 10 2 10 5 6 1 2 1 9 4 7 10 5 6 10 7 10 8 5 9 9 7 9 8 4 10 8 9 7 2 2 7 10 1 7 3 6 8 7 6 9 1 6 5 2 4 6 3 2 9 8 10 10 9 8 5 4 1 6 9 2 3 1 3 1 9 5 4 1 5 5 1 10 4 10 6
output:
303656759
result:
ok single line: '303656759'
Test #8:
score: 10
Accepted
time: 193ms
memory: 8444kb
input:
15 130 7 10 9 12 4 6 1 10 14 9 4 8 8 9 4 3 15 9 3 9 1 8 2 15 8 4 13 7 3 5 14 13 6 2 14 6 8 3 4 2 8 13 9 2 6 13 12 11 6 4 11 8 15 5 3 8 10 8 15 7 15 6 12 15 8 12 13 9 12 9 8 15 11 6 6 7 10 4 2 8 11 12 7 9 7 12 14 1 5 8 10 9 3 7 7 13 11 9 11 10 1 5 1 3 2 1 2 7 10 1 10 15 7 14 5 6 6 1 15 10 5 15 15 8 5...
output:
717458968
result:
ok single line: '717458968'
Test #9:
score: 10
Accepted
time: 203ms
memory: 8504kb
input:
15 140 7 10 9 12 4 6 1 10 14 9 4 8 8 9 4 3 15 9 3 9 1 8 2 15 8 4 13 7 3 5 14 13 6 2 14 6 8 3 4 2 8 13 9 2 6 13 12 11 6 4 11 8 15 5 3 8 10 8 15 7 15 6 12 15 8 12 13 9 12 9 8 15 11 6 6 7 10 4 2 8 11 12 7 9 7 12 14 1 5 8 10 9 3 7 7 13 11 9 11 10 1 5 1 3 2 1 2 7 10 1 10 15 7 14 5 6 6 1 15 10 5 15 15 8 5...
output:
459157220
result:
ok single line: '459157220'
Test #10:
score: 10
Accepted
time: 191ms
memory: 8504kb
input:
15 150 7 10 9 12 4 6 1 10 14 9 4 8 8 9 4 3 15 9 3 9 1 8 2 15 8 4 13 7 3 5 14 13 6 2 14 6 8 3 4 2 8 13 9 2 6 13 12 11 6 4 11 8 15 5 3 8 10 8 15 7 15 6 12 15 8 12 13 9 12 9 8 15 11 6 6 7 10 4 2 8 11 12 7 9 7 12 14 1 5 8 10 9 3 7 7 13 11 9 11 10 1 5 1 3 2 1 2 7 10 1 10 15 7 14 5 6 6 1 15 10 5 15 15 8 5...
output:
663282473
result:
ok single line: '663282473'