QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#844653#8325. 重塑时光EasonTao100 ✓987ms8276kbC++142.8kb2025-01-06 09:34:412025-01-06 09:34:41

Judging History

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

  • [2025-01-06 09:34:41]
  • 评测
  • 测评结果:100
  • 用时:987ms
  • 内存:8276kb
  • [2025-01-06 09:34:41]
  • 提交

answer

#include<bits/stdc++.h>
// #define int long long
#define rep(i,n) for(int i=0;i<n;i++)
#define pb push_back
#define fr first
#define se second
#define ford(i,n) for(int i=n-1;i>=0;i--)
#define forn(i,a,n) for(int i=a;i<n;i++)
#define foreach(i,c) for(__typeof(c.begin())i=(c.begin());i!=(c).end();i++)
#define pii pair<int,int>
#define vi vector<int>
#define ll long long
#define sz(s) (int)(s.size())
#define all(s) s.begin(),s.end()
#define vii vector<pair<int,int> >
#define re return
// #define mod 998244353
using namespace std;
const int mod=1e9+7;
ll q_p(ll x,ll y){
    ll res=1;
    x%=mod;
    while(y){
        if(y%2){
            res=res*x;
            res%=mod;
        }
        y/=2;
        x=x*x;
        x%=mod;
    }
    re res;
}
int dx[4]={0,-1,0,1},dy[4]={1,0,-1,0};
int n,m,k;
bool g[15][17];
int ng[(1<<15)];
int f[(1<<15)][17],h[(1<<15)][17];
int topo[(1<<15)];
void add(int &x,int y){
    x+=y;
    if(x>=mod)
    x-=mod;
}
signed main(){
    ios::sync_with_stdio(0);
    cin>>n>>m>>k;
    rep(i,m){
        int a,b;
        cin>>a>>b;a--,b--;
        g[a][b]=1;
        ng[(1<<b)]|=(1<<a);
    }
    forn(i,1,(1<<n)){
        int lb=(i&(-i));
        ng[i]=(ng[i^lb]|ng[lb]);
    }
    topo[0]=1;
    rep(i,(1<<n)){
        rep(j,n){
            if(!(i&(1<<j)))
            continue;
            bool ok=1;
            rep(kk,n){
                if((i&(1<<kk))&&g[kk][j])
                ok=0;
            }
            if(ok)
            add(topo[i],topo[i^(1<<j)]);
        }
    }
    rep(i,(1<<n)){
        h[0][0]=1;
        if(i)
        forn(j,1,k+2){
            int lb=(i&(-i));
            int ni=(i^lb);
            for(int s=(ni);s;s=((s-1)&(ni)))
            if((!(ng[s|lb]&(ni^s)))&&(!(ng[ni^s]&(s|lb)))){
                add(h[i][j],1ll*h[ni^s][j-1]*topo[s|lb]%mod);
            }
            if((!(ng[lb]&(ni)))&&(!(ng[ni]&(lb))))
            add(h[i][j],1ll*h[ni][j-1]*topo[lb]%mod);
        }
    }
    rep(i,(1<<n))
    rep(j,k+2)
    if((j&1)==0){
        if(h[i][j])
        h[i][j]=mod-h[i][j];
    }
    
    f[0][0]=1;
    forn(s,1,(1<<n)){
        for(int i=s;i;i=((i-1)&s)){
            if(ng[s^i]&(i))
            continue;
            rep(j,n+1)
            if(h[i][j])
            rep(kk,(n+1)-j){
                add(f[s][j+kk],1ll*f[s^i][kk]*h[i][j]%mod);
            }
        }
    }
    int ans=0;
    forn(i,1,k+2){
        ll now=f[(1<<n)-1][i];
        for(int j=1;j<=1+k;j++)
        now=now*j%mod;
        for(int j=1;j<=k+1-i;j++)
        now=now*q_p(j,mod-2)%mod;
        for(int j=1;j<=k;j++)
        now=now*j%mod;
        add(ans,now);
    }
    for(int j=1;j<=n+k;j++)
    ans=1ll*ans*q_p(j,mod-2)%mod;
    cout<<ans;
    re 0;
}

Details

Tip: Click on the bar to expand more detailed information

Pretests


Final Tests

Test #1:

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

input:

3 2 0
1 2
1 3

output:

333333336

result:

ok single line: '333333336'

Test #2:

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

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: 120ms
memory: 6264kb

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: 404ms
memory: 6036kb

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: 69ms
memory: 7052kb

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: 151ms
memory: 5976kb

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: 189ms
memory: 7836kb

input:

13 0 13

output:

1

result:

ok single line: '1'

Test #8:

score: 5
Accepted
time: 48ms
memory: 5904kb

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: 0ms
memory: 5736kb

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: 0ms
memory: 7696kb

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: 8ms
memory: 6256kb

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: 25ms
memory: 7832kb

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: 199ms
memory: 6052kb

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: 74ms
memory: 5988kb

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: 49ms
memory: 5968kb

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: 54ms
memory: 6988kb

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: 310ms
memory: 5900kb

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: 987ms
memory: 8264kb

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: 721ms
memory: 8276kb

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: 850ms
memory: 8272kb

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'