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
AC × 4
AC × 40
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