-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathD.cpp
88 lines (71 loc) · 1.65 KB
/
D.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
#define rep(i, a, b) for (auto i = (a); i < (b); ++i)
#define per(i, a, b) for (auto i = (b); i-- > (a); )
#define all(x) begin(x), end(x)
#define rall(x) (x).rbegin(), (x).rend()
#define sz(x) int((x).size())
#define lb(x...) lower_bound(x)
#define ub(x...) upper_bound(x)
template<class T> bool ckmin(T& a, const T& b) { return a > b ? a = b, 1 : 0; }
template<class T> bool ckmax(T& a, const T& b) { return a < b ? a = b, 1 : 0; }
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const int N = 21;
vector<int> g[N];
bool vis[N];
int cur;
vector<int> cc;
void dfs(int u) {
cc.push_back(u);
vis[u] = 1;
for (int v : g[u]) if (!vis[v]) dfs(v);
}
int nxt(int x, int b) {
x += b + 1;
if (x > 3) x -= 3;
assert(1 <= x && x <= 3);
return x;
}
short col[N];
void color(int u, int S) {
for (int v : g[u]) {
if (col[v]) continue;
col[v] = nxt(col[u], S >> cur & 1);
++cur;
color(v, S);
}
}
signed main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int n, m; cin >> n >> m;
rep(e, 0, m) {
int u, v; cin >> u >> v;
--u; --v;
g[u].push_back(v);
g[v].push_back(u);
}
ll res = 1;
rep(u, 0, n) {
if (vis[u]) continue;
cc.clear(); dfs(u);
int mx = sz(cc) - 1;
mx = 1 << mx;
ll tmp = 0;
rep(S, 0, mx) {
for (auto u : cc) col[u] = 0;
cur = 0;
col[u] = 1;
color(u, S);
bool valid = 1;
for (auto u : cc)
for (auto v : g[u])
valid &= col[u] != col[v];
tmp += valid;
}
res *= 3 * tmp;
}
cout << res << '\n';
}