Submission #1406182


Source Code Expand

#include <cstdio>

typedef long long i64;

const int N = 15, MOD = 1000000007;

int n, adj[N];
int ans, f[1 << N];

void init() {
  int m;
  scanf("%d%d", &n, &m);
  ans = 1;
  while (m--) {
    int x, y;
    scanf("%d%d", &x, &y);
    --x, --y;
    adj[x] |= 1 << y;
    ans = 2 * ans % MOD;
  }
}

int main() {
  init();
  f[0] = 1;
  for (int s = 1; s < (1 << n); ++s) {
    if ((s ^ (s >> 1)) & 1) continue;
    for (int a = s; a; a = (a - 1) & s) {
      int b = s ^ a;
      int cur = f[b];
      if (!cur) continue;
      for (int i = 0; i < n; ++i) {
        if (a >> i & 1) cur = ((i64)cur << __builtin_popcount(adj[i] & b)) % MOD;
        if (b >> i & 1) cur = cur * ((1LL << __builtin_popcount(adj[i] & a)) - 1) % MOD;
      }
      f[s] = (f[s] + cur) % MOD;
    }
  }
  printf("%d\n", ((i64)ans - f[(1 << n) - 1] + MOD) % MOD);
  return 0;
}

Submission Info

Submission Time
Task F - Games on DAG
User jiaqiyang
Language C++14 (GCC 5.4.1)
Score 1600
Code Size 896 Byte
Status AC
Exec Time 519 ms
Memory 256 KB

Compile Error

./Main.cpp: In function ‘int main()’:
./Main.cpp:39:58: warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘i64 {aka long long int}’ [-Wformat=]
   printf("%d\n", ((i64)ans - f[(1 << n) - 1] + MOD) % MOD);
                                                          ^
./Main.cpp: In function ‘void init()’:
./Main.cpp:12:24: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result]
   scanf("%d%d", &n, &m);
                        ^
./Main.cpp:16:26: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result]
     scanf("%d%d", &x, &y);
                          ^

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 128 KB
0_01.txt AC 1 ms 128 KB
0_02.txt AC 1 ms 128 KB
0_03.txt AC 1 ms 128 KB
1_00.txt AC 1 ms 128 KB
1_01.txt AC 512 ms 256 KB
1_02.txt AC 511 ms 256 KB
1_03.txt AC 511 ms 256 KB
1_04.txt AC 519 ms 256 KB
1_05.txt AC 511 ms 256 KB
1_06.txt AC 511 ms 256 KB
1_07.txt AC 518 ms 256 KB
1_08.txt AC 510 ms 256 KB
1_09.txt AC 512 ms 256 KB
1_10.txt AC 519 ms 256 KB
1_11.txt AC 510 ms 256 KB
1_12.txt AC 512 ms 256 KB
1_13.txt AC 511 ms 256 KB
1_14.txt AC 509 ms 256 KB
1_15.txt AC 510 ms 256 KB
1_16.txt AC 511 ms 256 KB
1_17.txt AC 511 ms 256 KB
1_18.txt AC 511 ms 256 KB
1_19.txt AC 511 ms 256 KB
1_20.txt AC 511 ms 256 KB
1_21.txt AC 2 ms 128 KB
1_22.txt AC 511 ms 256 KB
1_23.txt AC 512 ms 256 KB
1_24.txt AC 161 ms 256 KB
1_25.txt AC 1 ms 128 KB
1_26.txt AC 510 ms 256 KB
1_27.txt AC 16 ms 128 KB
1_28.txt AC 519 ms 256 KB
1_29.txt AC 52 ms 256 KB
1_30.txt AC 16 ms 128 KB
1_31.txt AC 519 ms 256 KB
1_32.txt AC 52 ms 256 KB
1_33.txt AC 17 ms 128 KB
1_34.txt AC 161 ms 256 KB
1_35.txt AC 52 ms 256 KB