Submission #1772069
Source Code Expand
#include<bits/stdc++.h> using namespace std; #define N 15 #define mod 1000000007 int n,m,a[N]; long long b[1<<N],f[1<<N]; int read(){ int x=0,f=1;char ch=getchar(); for (;!isdigit(ch);ch=getchar()) if (ch=='-') f=-f; for (;isdigit(ch);ch=getchar()) x=x*10+ch-'0'; return x*f; } int main(){ n=read();m=read(); for (int i=1;i<=m;i++){ int x=read()-1,y=read()-1; a[x]|=1<<y; } for (int i=b[0]=1;i<(1<<n);i++) b[i]=b[i/2]<<(i&1); for (int i=f[0]=1;i<(1<<n);i++) if ((i&1)==((i>>1)&1)) for (int j=i;j;j=(j-1)&i) if ((j&1)==((j>>1)&1)){ long long cnt=1; for (int k=0;k<n;k++){ if (j&(1<<k)) cnt=cnt*b[a[k]&(i^j)]%mod; if ((i^j)&(1<<k)) cnt=cnt*(b[a[k]&j]-1)%mod; } f[i]=(f[i]+f[i^j]*cnt)%mod; } long long tmp=1; for (int i=1;i<=m;i++) tmp=tmp*2%mod; printf("%lld\n",(tmp-f[(1<<n)-1]+mod)%mod); return 0; }
Submission Info
Submission Time | |
---|---|
Task | F - Games on DAG |
User | Kuugo |
Language | C++14 (GCC 5.4.1) |
Score | 1600 |
Code Size | 898 Byte |
Status | AC |
Exec Time | 315 ms |
Memory | 768 KB |
Judge Result
Set Name | Sample | All | ||||
---|---|---|---|---|---|---|
Score / Max Score | 0 / 0 | 1600 / 1600 | ||||
Status |
|
|
Set Name | Test Cases |
---|---|
Sample | 0_00.txt, 0_01.txt, 0_02.txt, 0_03.txt |
All | 0_00.txt, 0_01.txt, 0_02.txt, 0_03.txt, 1_00.txt, 1_01.txt, 1_02.txt, 1_03.txt, 1_04.txt, 1_05.txt, 1_06.txt, 1_07.txt, 1_08.txt, 1_09.txt, 1_10.txt, 1_11.txt, 1_12.txt, 1_13.txt, 1_14.txt, 1_15.txt, 1_16.txt, 1_17.txt, 1_18.txt, 1_19.txt, 1_20.txt, 1_21.txt, 1_22.txt, 1_23.txt, 1_24.txt, 1_25.txt, 1_26.txt, 1_27.txt, 1_28.txt, 1_29.txt, 1_30.txt, 1_31.txt, 1_32.txt, 1_33.txt, 1_34.txt, 1_35.txt |
Case Name | Status | Exec Time | Memory |
---|---|---|---|
0_00.txt | AC | 1 ms | 256 KB |
0_01.txt | AC | 1 ms | 256 KB |
0_02.txt | AC | 1 ms | 256 KB |
0_03.txt | AC | 1 ms | 256 KB |
1_00.txt | AC | 1 ms | 256 KB |
1_01.txt | AC | 313 ms | 768 KB |
1_02.txt | AC | 313 ms | 768 KB |
1_03.txt | AC | 314 ms | 768 KB |
1_04.txt | AC | 314 ms | 768 KB |
1_05.txt | AC | 314 ms | 768 KB |
1_06.txt | AC | 314 ms | 768 KB |
1_07.txt | AC | 315 ms | 768 KB |
1_08.txt | AC | 314 ms | 768 KB |
1_09.txt | AC | 314 ms | 768 KB |
1_10.txt | AC | 315 ms | 768 KB |
1_11.txt | AC | 315 ms | 768 KB |
1_12.txt | AC | 315 ms | 768 KB |
1_13.txt | AC | 314 ms | 768 KB |
1_14.txt | AC | 314 ms | 768 KB |
1_15.txt | AC | 315 ms | 768 KB |
1_16.txt | AC | 315 ms | 768 KB |
1_17.txt | AC | 314 ms | 768 KB |
1_18.txt | AC | 314 ms | 768 KB |
1_19.txt | AC | 315 ms | 768 KB |
1_20.txt | AC | 314 ms | 768 KB |
1_21.txt | AC | 2 ms | 256 KB |
1_22.txt | AC | 314 ms | 768 KB |
1_23.txt | AC | 314 ms | 768 KB |
1_24.txt | AC | 101 ms | 512 KB |
1_25.txt | AC | 1 ms | 256 KB |
1_26.txt | AC | 315 ms | 768 KB |
1_27.txt | AC | 11 ms | 256 KB |
1_28.txt | AC | 314 ms | 768 KB |
1_29.txt | AC | 33 ms | 384 KB |
1_30.txt | AC | 11 ms | 256 KB |
1_31.txt | AC | 314 ms | 768 KB |
1_32.txt | AC | 33 ms | 384 KB |
1_33.txt | AC | 11 ms | 256 KB |
1_34.txt | AC | 101 ms | 512 KB |
1_35.txt | AC | 33 ms | 384 KB |