QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#448032#8325. 重塑时光wdnmdwrnmmp100 ✓293ms19888kbC++142.8kb2024-06-19 09:38:352024-06-19 09:38:35

Judging History

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

  • [2024-06-19 09:38:35]
  • 评测
  • 测评结果:100
  • 用时:293ms
  • 内存:19888kb
  • [2024-06-19 09:38:35]
  • 提交

answer

#include<bits/stdc++.h>
using namespace std;
#define int long long
#define rep(i,j,k) for(int i=(j);i<=(k);i++)
#define per(i,j,k) for(int i=(j);i>=(k);i--)
#define pb push_back
#define mp make_pair
#define fi first
#define se second
typedef vector<int> vi;
typedef pair<int,int> pi;

const int N=35, mod=1e9+7;
int qpow(int x,int y){
	int res=1;
	while(y){
		if(y%2) res=res*x%mod;
		x=x*x%mod;
		y/=2;
	}
	return res;
}int inv(int x){return qpow(x,mod-2);}
int fac[N], ifac[N];
void init(){
	fac[0]=1;
	rep(i,1,N-1){
		fac[i]=fac[i-1]*i%mod;
	}
	ifac[N-1]=inv(fac[N-1]);
	per(i,N-1,1){
		ifac[i-1]=ifac[i]*i%mod;
	}
}
int C(int m,int n){
	return fac[m]*ifac[n]%mod*ifac[m-n]%mod;
}

vi gc(vi A){
	vi res(A.size());
	rep(i,0,(int)A.size()-1){
		int pw=1;
		rep(j,0,(int)A.size()-1){
			(res[i]+= pw*A[j] )%=mod;
			(pw*= i )%=mod;
		}
	}
	return res;
}
vi rgc(vi A){
	int n=A.size();
	vi prod{1};
	rep(i,0,n-1){
		prod.pb(0);
		per(j,(int)prod.size()-1,1){
			prod[j]=( prod[j]*(mod-i)+prod[j-1] )%mod;
		}
		prod[0]=prod[0]*(mod-i)%mod;
	}
	vi res(A.size());
	
	rep(i,0,n-1){
		vi cr=prod, cp(prod.size()-1);
		per(j,n,1){
			cp[j-1]=cr[j];
			(cr[j-1]+= i*cr[j] )%=mod;
		}
		int k=ifac[i]*ifac[n-1-i]%mod*((n-1-i)%2? mod-1: 1)%mod;
		rep(j,0,n-1){
			(res[j]+= A[i]*cp[j]%mod*k )%=mod;
		}
	}
	return res;
}
vi conv(vi A, vi B){
	vi res(A.size());
	rep(i,0,(int)A.size()-1){
		res[i]=A[i]*B[i]%mod;
	}
	return res;
}

void solve(){
	int n,m,k; cin>>n>>m>>k;
	int U=(1<<n)-1;
	vi adj(n), Adj(1<<n);
	rep(i,1,m){
		int u,v; cin>>u>>v;
		u--, v--;
		adj[u]|= 1<<v;
	}
	rep(s,1,U){
		int t=__builtin_ctz(s);
		Adj[s]=Adj[s-(1<<t)]|adj[t];
	}
	vi f(1<<n);
	vector<vi> F(1<<n, vi(n+1)), g(1<<n, vi(n+1)), h(1<<n, vi(n+1));
	f[0]=1;
	rep(s,1,U){
		rep(c,0,n){
			if((s>>c&1) && (adj[c]&s)==0){
				(f[s]+= f[s-(1<<c)] )%=mod;
			}
		}
	}
	rep(s,0,U){
		rep(i,0,n){
			F[s][i]=i*f[s]%mod;
		}
	}
	auto no_edge=[&](int S,int T){
		return (Adj[S]&T)==0;
	};
	fill(g[0].begin(), g[0].end(), mod-1);
	rep(s,1,U){
		int t=s-(1<<__builtin_ctz(s));
		for(int c=t; ; c=(c-1)&t){
			if(no_edge(c,s-c) && no_edge(s-c,c)){
				rep(i,0,n){
					(g[s][i]-= g[c][i]*F[s-c][i] )%=mod;
					if(g[s][i]<0){
						g[s][i]+= mod;
					}
				}
			}
			if(!c){
				break;
			}
		}
	}
	fill(h[0].begin(), h[0].end(), 1);
	rep(s,1,U){
		int t=s;
		for(int c=t; c; c=(c-1)&t){
			if(no_edge(s-c,c)){
				rep(i,0,n){
					(h[s][i]+= g[c][i]*h[s-c][i] )%=mod;
				}
			}
		}
	}
	h[U]=rgc(h[U]);
	vi T=gc(h[U]);
	int ans=0;
	rep(i,1,min(n,k+1)){
		(ans+= C(k+1, i)*h[U][i]%mod*fac[i] )%=mod;
	}
	(ans*= ifac[n+k]*fac[k]%mod )%=mod;
	cout<< ans <<'\n';
	
}
signed main(){
	ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
	
	init();
	solve();
}

Details

Tip: Click on the bar to expand more detailed information

Test #1:

score: 5
Accepted
time: 0ms
memory: 3520kb

input:

3 2 0
1 2
1 3

output:

333333336

result:

ok single line: '333333336'

Test #2:

score: 5
Accepted
time: 0ms
memory: 3832kb

input:

5 7 5
1 4
2 3
1 2
4 5
2 5
2 4
1 5

output:

895039689

result:

ok single line: '895039689'

Test #3:

score: 5
Accepted
time: 39ms
memory: 7024kb

input:

13 12 13
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13

output:

76923078

result:

ok single line: '76923078'

Test #4:

score: 5
Accepted
time: 132ms
memory: 10692kb

input:

14 13 14
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14

output:

535714290

result:

ok single line: '535714290'

Test #5:

score: 5
Accepted
time: 58ms
memory: 10752kb

input:

14 13 0
2 9
1 2
1 3
3 8
6 11
2 7
1 5
5 12
2 13
3 14
3 10
3 6
2 4

output:

700595243

result:

ok single line: '700595243'

Test #6:

score: 5
Accepted
time: 47ms
memory: 10876kb

input:

14 13 14
9 11
2 9
5 10
4 6
10 13
2 3
2 7
4 12
2 4
3 8
7 14
3 5
1 2

output:

465070080

result:

ok single line: '465070080'

Test #7:

score: 5
Accepted
time: 61ms
memory: 7172kb

input:

13 0 13

output:

1

result:

ok single line: '1'

Test #8:

score: 5
Accepted
time: 11ms
memory: 10768kb

input:

14 91 14
3 4
2 10
3 10
1 13
6 8
5 6
10 13
7 8
4 9
4 7
3 7
13 14
2 12
1 3
6 9
9 14
1 10
2 9
7 11
9 11
3 12
8 10
4 13
5 9
11 12
5 14
8 12
8 13
5 13
1 5
6 11
9 13
2 5
1 14
7 14
4 14
3 5
5 11
6 12
1 2
7 10
1 4
1 8
6 10
3 8
6 13
10 14
7 12
10 11
2 13
8 11
11 13
6 7
10 12
3 14
4 5
1 6
2 14
5 10
8 14
4 8
1...

output:

4362623

result:

ok single line: '4362623'

Test #9:

score: 5
Accepted
time: 1ms
memory: 3776kb

input:

9 15 9
1 2
3 5
2 8
4 8
1 4
2 5
2 7
4 5
1 9
6 8
6 9
1 3
3 7
5 9
5 8

output:

426526937

result:

ok single line: '426526937'

Test #10:

score: 5
Accepted
time: 1ms
memory: 4012kb

input:

9 14 9
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
4 5
6 8
4 7
6 7
3 8
4 6

output:

214820829

result:

ok single line: '214820829'

Test #11:

score: 5
Accepted
time: 7ms
memory: 7100kb

input:

13 68 0
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
2 5
2 6
2 7
2 8
2 9
2 10
2 11
2 12
2 13
3 4
3 5
3 6
3 7
3 8
3 9
3 10
3 11
3 12
3 13
4 5
4 6
4 7
4 8
4 9
4 10
4 11
4 12
4 13
5 6
5 7
5 8
5 9
5 10
5 11
5 12
5 13
6 7
6 8
6 9
6 10
6 11
6 12
6 13
7 8
7 10
7 11
7 12
7 13
8 13
9 10
9 11
9 12
9 13...

output:

65784302

result:

ok single line: '65784302'

Test #12:

score: 5
Accepted
time: 11ms
memory: 7076kb

input:

13 39 13
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
3 4
3 5
3 6
3 7
3 8
3 9
3 10
3 11
3 12
3 13
4 8
4 9
4 10
4 12
4 13
5 6
5 7
5 10
5 11
5 13
6 7
6 11
6 13
8 9
8 12
8 13
11 13

output:

361557272

result:

ok single line: '361557272'

Test #13:

score: 5
Accepted
time: 64ms
memory: 10708kb

input:

14 11 14
2 13
4 11
4 14
5 14
6 9
6 14
7 11
9 14
10 12
10 14
12 14

output:

696132576

result:

ok single line: '696132576'

Test #14:

score: 5
Accepted
time: 21ms
memory: 10764kb

input:

14 46 14
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14
2 9
2 10
2 11
2 13
2 14
3 4
3 6
3 10
3 11
3 12
3 13
3 14
4 6
4 10
4 11
4 12
4 13
4 14
5 7
5 8
5 9
5 11
5 13
5 14
7 8
7 9
7 14
10 11
10 13
10 14
11 13
11 14
13 14

output:

258614192

result:

ok single line: '258614192'

Test #15:

score: 5
Accepted
time: 13ms
memory: 10664kb

input:

14 70 14
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14
2 3
2 4
2 5
2 7
2 8
2 9
2 10
2 11
2 12
2 13
2 14
3 11
3 13
3 14
4 5
4 7
4 8
4 10
4 11
4 12
4 13
4 14
5 7
5 8
5 10
5 12
5 13
5 14
6 7
6 8
6 9
6 10
6 11
6 12
6 13
6 14
7 8
7 10
7 12
7 13
7 14
8 10
8 12
8 13
8 14
9 11
9 12
9 13
9 14
10 1...

output:

209616080

result:

ok single line: '209616080'

Test #16:

score: 5
Accepted
time: 18ms
memory: 10712kb

input:

14 69 14
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14
2 3
2 5
2 6
2 7
2 9
2 10
2 11
2 12
2 13
2 14
3 5
3 6
3 7
3 9
3 10
3 11
3 12
3 13
3 14
4 7
4 8
4 9
4 10
4 11
4 12
4 13
4 14
5 6
5 7
5 9
5 10
5 11
5 12
5 13
5 14
6 7
6 9
6 10
6 11
6 12
6 13
6 14
7 9
7 10
7 11
7 12
7 13
7 14
8 12
8 13
8 14
9 10
...

output:

701202127

result:

ok single line: '701202127'

Test #17:

score: 5
Accepted
time: 101ms
memory: 10696kb

input:

14 15 14
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14
4 6
5 9

output:

263013541

result:

ok single line: '263013541'

Test #18:

score: 5
Accepted
time: 293ms
memory: 19696kb

input:

15 17 15
1 2
1 3
1 4
1 5
1 6
1 7
1 8
1 9
1 10
1 11
1 12
1 13
1 14
1 15
3 13
3 15
13 15

output:

963180835

result:

ok single line: '963180835'

Test #19:

score: 5
Accepted
time: 218ms
memory: 19720kb

input:

15 17 15
1 2
1 3
1 4
1 5
1 6
1 7
1 12
1 15
7 12
7 15
8 15
9 15
10 15
11 15
12 15
13 15
14 15

output:

722208430

result:

ok single line: '722208430'

Test #20:

score: 5
Accepted
time: 256ms
memory: 19888kb

input:

15 16 15
1 2
1 3
1 10
2 10
3 10
4 5
4 6
4 7
4 8
4 9
4 10
4 11
4 12
4 13
4 14
4 15

output:

560801339

result:

ok single line: '560801339'