Submission #2162049
Source Code Expand
#include <bits/stdc++.h>
#define ADD(a, b) a = (a + ll(b)) % mod
#define MUL(a, b) a = (a * ll(b)) % mod
#define MAX(a, b) a = max(a, b)
#define MIN(a, b) a = min(a, b)
#define rep(i, a, b) for(int i = int(a); i < int(b); i++)
#define rer(i, a, b) for(int i = int(a) - 1; i >= int(b); i--)
#define all(a) (a).begin(), (a).end()
#define sz(v) (int)(v).size()
#define pb push_back
#define sec second
#define fst first
#define debug(fmt, ...) Debug(__LINE__, ":", fmt, ##__VA_ARGS__)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pi;
typedef pair<ll, ll> pl;
typedef pair<int, pi> ppi;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef vector<vl> mat;
typedef complex<double> comp;
void Debug() {cout << '\n'; }
template<class FIRST, class... REST>void Debug(FIRST arg, REST... rest){
cout<<arg<<" ";Debug(rest...);}
template<class T>ostream& operator<<(ostream& out,const vector<T>& v) {
out<<"[";if(!v.empty()){rep(i,0,sz(v)-1)out<<v[i]<<", ";out<<v.back();}out<<"]";return out;}
template<class S, class T>ostream& operator<<(ostream& out,const pair<S, T>& v){
out<<"("<<v.first<<", "<<v.second<<")";return out;}
const int MAX_N = 200010;
const int MAX_V = 100010;
const double eps = 1e-6;
const ll mod = 1000000007;
const int inf = 1 << 29;
const ll linf = 1LL << 60;
const double PI = 3.14159265358979323846;
///////////////////////////////////////////////////////////////////////////////////////////////////
int N, M;
int G[15][15];
int to[15][(1 << 15)];
ll dp[(1 << 15)];
ll pow2[1000];
void solve() {
cin >> N >> M;
rep(i, 0, M) {
int a, b; cin >> a >> b; a--; b--;
G[a][b] = 1;
}
pow2[0] = 1;
rep(i, 0, 500) pow2[i + 1] = pow2[i] * 2 % mod;
rep(i, 0, N) {
rep(bit, 0, (1 << N)) {
if((bit & (1 << i))) continue;
int tmp = 0;
rep(j, 0, N) {
if(!(bit & (1 << j))) continue;
tmp += G[i][j];
}
to[i][bit] = tmp;
}
}
dp[0] = 1;
rep(q, 0, (1 << N)) {
for(int bit = q; bit; bit = (bit - 1) & q) {
if((bit & (1 << 0)) && (bit & (1 << 1))) continue;
int pbt = bit ^ q;
int rbt = (1 << N) - 1 - q;
ll mul = 1;
ll cnt = 0;
rep(i ,0, N) {
if(!(rbt & (1 << i))) continue;
MUL(mul, pow2[to[i][bit]] - 1);
}
rep(i, 0, N) {
if(!(pbt & (1 << i))) continue;
ADD(cnt, to[i][bit]);
}
// debug(bitset<3>(q), bitset<3>(pbt), bitset<3>(bit), bitset<3>(rbt), dp[pbt], mul, cnt);
ADD(dp[q], dp[pbt] * mul % mod * pow2[cnt] % mod);
}
// debug(bitset<3>(q), dp[q]);
}
cout << dp[(1 << N) - 1] << "\n";
}
int main() {
#ifndef LOCAL
ios::sync_with_stdio(false);
cin.tie(0);
#endif
cout << fixed;
cout.precision(20);
srand((unsigned int)time(NULL));
#ifdef LOCAL
//freopen("in.txt", "wt", stdout); //for tester
freopen("in.txt", "rt", stdin);
#endif
solve();
#ifdef LOCAL
cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << " s.\n";
#endif
return 0;
}
Submission Info
Submission Time |
|
Task |
F - Games on DAG |
User |
omochana2 |
Language |
C++14 (GCC 5.4.1) |
Score |
1600 |
Code Size |
3034 Byte |
Status |
AC |
Exec Time |
1077 ms |
Memory |
2304 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 |
1075 ms |
2304 KB |
1_02.txt |
AC |
1073 ms |
2304 KB |
1_03.txt |
AC |
1069 ms |
2304 KB |
1_04.txt |
AC |
1069 ms |
2304 KB |
1_05.txt |
AC |
1069 ms |
2304 KB |
1_06.txt |
AC |
1068 ms |
2304 KB |
1_07.txt |
AC |
1071 ms |
2304 KB |
1_08.txt |
AC |
1071 ms |
2304 KB |
1_09.txt |
AC |
1069 ms |
2304 KB |
1_10.txt |
AC |
1070 ms |
2304 KB |
1_11.txt |
AC |
1071 ms |
2304 KB |
1_12.txt |
AC |
1069 ms |
2304 KB |
1_13.txt |
AC |
1071 ms |
2304 KB |
1_14.txt |
AC |
1068 ms |
2304 KB |
1_15.txt |
AC |
1070 ms |
2304 KB |
1_16.txt |
AC |
1069 ms |
2304 KB |
1_17.txt |
AC |
1070 ms |
2304 KB |
1_18.txt |
AC |
1077 ms |
2304 KB |
1_19.txt |
AC |
1068 ms |
2304 KB |
1_20.txt |
AC |
1070 ms |
2304 KB |
1_21.txt |
AC |
5 ms |
384 KB |
1_22.txt |
AC |
1068 ms |
2304 KB |
1_23.txt |
AC |
1068 ms |
2304 KB |
1_24.txt |
AC |
344 ms |
1280 KB |
1_25.txt |
AC |
2 ms |
256 KB |
1_26.txt |
AC |
1071 ms |
2304 KB |
1_27.txt |
AC |
37 ms |
512 KB |
1_28.txt |
AC |
1075 ms |
2304 KB |
1_29.txt |
AC |
111 ms |
768 KB |
1_30.txt |
AC |
37 ms |
512 KB |
1_31.txt |
AC |
1070 ms |
2304 KB |
1_32.txt |
AC |
111 ms |
768 KB |
1_33.txt |
AC |
37 ms |
512 KB |
1_34.txt |
AC |
344 ms |
1280 KB |
1_35.txt |
AC |
111 ms |
768 KB |