Submission #1367678
Source Code Expand
#include <bits/stdc++.h>
using namespace std;
#define ms(s, n) memset(s, n, sizeof(s))
#define FOR(i, a, b) for (int i = (a); i < (b); i++)
#define FORd(i, a, b) for (int i = (a) - 1; i >= (b); i--)
#define FORall(it, a) for (__typeof((a).begin()) it = (a).begin(); it != (a).end(); it++)
#define sz(a) int((a).size())
#define present(t, x) (t.find(x) != t.end())
#define all(a) (a).begin(), (a).end()
#define uni(a) (a).erase(unique(all(a)), (a).end())
#define pb push_back
#define pf push_front
#define mp make_pair
#define fi first
#define se second
#define prec(n) fixed<<setprecision(n)
#define bit(n, i) (((n) >> (i)) & 1)
#define bitcount(n) __builtin_popcountll(n)
typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef pair<int, int> pi;
typedef vector<int> vi;
typedef vector<pi> vii;
const int MOD = (int) 1e9 + 7;
const int MOD2 = (int) 1e8 + 7;
const int INF = (int) 1e9;
const ll LINF = (ll) 1e18;
const ld PI = acos((ld) -1);
const ld EPS = 1e-9;
inline ll gcd(ll a, ll b) {ll r; while (b) {r = a % b; a = b; b = r;} return a;}
inline ll lcm(ll a, ll b) {return a / gcd(a, b) * b;}
inline ll fpow(ll n, ll k, int p = MOD) {ll r = 1; for (; k; k >>= 1) {if (k & 1) r = r * n % p; n = n * n % p;} return r;}
template<class T> inline int chkmin(T& a, const T& val) {return val < a ? a = val, 1 : 0;}
template<class T> inline int chkmax(T& a, const T& val) {return a < val ? a = val, 1 : 0;}
inline ll isqrt(ll k) {ll r = sqrt(k) + 1; while (r * r > k) r--; return r;}
inline ll icbrt(ll k) {ll r = cbrt(k) + 1; while (r * r * r > k) r--; return r;}
inline void addmod(int& a, int val, int p = MOD) {if ((a = (a + val)) >= p) a -= p;}
inline void submod(int& a, int val, int p = MOD) {if ((a = (a - val)) < 0) a += p;}
inline int mult(int a, int b, int p = MOD) {return (ll) a * b % p;}
inline int inv(int a, int p = MOD) {return fpow(a, p - 2, p);}
inline int sign(ld x) {return x < -EPS ? -1 : x > +EPS;}
inline int sign(ld x, ld y) {return sign(x - y);}
#define db(x) cerr << #x << " = " << (x) << ", ";
#define endln cerr << "\n";
const int maxn = 15 + 1;
int n, m;
int g[maxn][maxn];
vii f[1 << maxn];
int ff[maxn];
int p2[maxn];
int dp[1 << maxn];
void solve() {
p2[0] = 1; FOR(i, 1, maxn) p2[i] = mult(p2[i - 1], 2);
cin >> n >> m;
FOR(i, 0, m) {
int x, y; cin >> x >> y; x--, y--;
g[x][y] = 1;
ff[x] |= 1 << y;
}
FOR(msk, 0, 1 << n) if (bit(msk, 0) == bit(msk, 1)) {
for (int submsk = (msk - 1 & msk); submsk > 0; submsk = (submsk - 1 & msk)) if (bit(submsk, 0) == bit(submsk, 1)) {
int pmsk = msk ^ submsk;
int t = 1;
FOR(i, 0, n) if (bit(submsk, i)) {
t = mult(t, p2[bitcount(ff[i] & pmsk)] + MOD - 1);
}
FOR(i, 0, n) if (bit(pmsk, i)) {
t = mult(t, p2[bitcount(ff[i] & submsk)]);
}
f[msk].pb(mp(submsk, t));
}
}
FOR(msk, 0, 1 << n) if (bit(msk, 0) == bit(msk, 1)) {
dp[msk] = 1;
FOR(i, 0, sz(f[msk])) {
int submsk = f[msk][i].fi;
int t = f[msk][i].se;
if (bit(submsk, 0) == bit(submsk, 1)) {
addmod(dp[msk], mult(dp[submsk], t));
}
}
}
int ans = fpow(2, m);
submod(ans, dp[(1 << n) - 1]);
cout << ans << "\n";
}
int main() {
int JUDGE_ONLINE = 1;
if (fopen("in.txt", "r")) {
JUDGE_ONLINE = 0;
assert(freopen("in.txt", "r", stdin));
//assert(freopen("out.txt", "w", stdout));
}
else {
ios_base::sync_with_stdio(0), cin.tie(0);
}
solve();
if (!JUDGE_ONLINE) {
//cout << "\nTime elapsed: " << 1000 * clock() / CLOCKS_PER_SEC << "ms\n";
}
return 0;
}
Submission Info
Submission Time |
|
Task |
F - Games on DAG |
User |
chemthan |
Language |
C++14 (GCC 5.4.1) |
Score |
1600 |
Code Size |
3873 Byte |
Status |
AC |
Exec Time |
707 ms |
Memory |
40192 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 |
2 ms |
1792 KB |
0_01.txt |
AC |
2 ms |
1792 KB |
0_02.txt |
AC |
2 ms |
1792 KB |
0_03.txt |
AC |
2 ms |
1792 KB |
1_00.txt |
AC |
2 ms |
1792 KB |
1_01.txt |
AC |
690 ms |
40192 KB |
1_02.txt |
AC |
700 ms |
40192 KB |
1_03.txt |
AC |
704 ms |
40192 KB |
1_04.txt |
AC |
697 ms |
40192 KB |
1_05.txt |
AC |
699 ms |
40192 KB |
1_06.txt |
AC |
693 ms |
40192 KB |
1_07.txt |
AC |
696 ms |
40192 KB |
1_08.txt |
AC |
699 ms |
40192 KB |
1_09.txt |
AC |
697 ms |
40192 KB |
1_10.txt |
AC |
699 ms |
40192 KB |
1_11.txt |
AC |
707 ms |
40192 KB |
1_12.txt |
AC |
704 ms |
40192 KB |
1_13.txt |
AC |
700 ms |
40192 KB |
1_14.txt |
AC |
704 ms |
40192 KB |
1_15.txt |
AC |
704 ms |
40192 KB |
1_16.txt |
AC |
695 ms |
40192 KB |
1_17.txt |
AC |
693 ms |
40192 KB |
1_18.txt |
AC |
704 ms |
40192 KB |
1_19.txt |
AC |
702 ms |
40192 KB |
1_20.txt |
AC |
689 ms |
40192 KB |
1_21.txt |
AC |
4 ms |
1920 KB |
1_22.txt |
AC |
691 ms |
40192 KB |
1_23.txt |
AC |
703 ms |
40192 KB |
1_24.txt |
AC |
221 ms |
14720 KB |
1_25.txt |
AC |
3 ms |
1920 KB |
1_26.txt |
AC |
696 ms |
40192 KB |
1_27.txt |
AC |
24 ms |
3328 KB |
1_28.txt |
AC |
700 ms |
40192 KB |
1_29.txt |
AC |
71 ms |
6144 KB |
1_30.txt |
AC |
24 ms |
3328 KB |
1_31.txt |
AC |
695 ms |
40192 KB |
1_32.txt |
AC |
72 ms |
6144 KB |
1_33.txt |
AC |
24 ms |
3328 KB |
1_34.txt |
AC |
224 ms |
14720 KB |
1_35.txt |
AC |
72 ms |
6144 KB |