QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#532847#7. 主旋律ChrysanthBlossom100 ✓203ms8504kbC++141.5kb2024-08-25 13:17:112024-08-25 13:17:11

Judging History

你现在查看的是最新测评结果

  • [2024-08-25 13:17:11]
  • 评测
  • 测评结果:100
  • 用时:203ms
  • 内存:8504kb
  • [2024-08-25 13:17:11]
  • 提交

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'