[AtCoder] C - Graph Isomorphism

C - Graph Isomorphism

  • Time : O(n^2 * n!)
  • Space : O(n^2)
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
89
90
91
92
93
94
95
96
97
98
99
#include <bits/stdc++.h>

#pragma optimization_level 3
#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math,O3")
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx")
#pragma GCC optimize("Ofast")//Comment optimisations for interactive problems (use endl)
#pragma GCC target("avx,avx2,fma")
#pragma GCC optimization ("unroll-loops")

using namespace std;

struct PairHash {
inline std::size_t operator()(const std::pair<int, int> &v) const { return v.first * 31 + v.second; }
};

// speed
#define Code ios_base::sync_with_stdio(false);
#define By ios::sync_with_stdio(0);
#define Sumfi cout.tie(NULL);

// alias
using ll = long long;
using ld = long double;

// constants
const ld PI = 3.14159265358979323846; /* pi */
const ll INF = 987654321;
const ld EPS = 1e-9;
const ll MAX_N = 202020;

// typedef
typedef pair<ll, ll> pll;
typedef vector<pll> vpll;
typedef array<ll,3> all3;
typedef array<ll,5> all5;
typedef vector<all3> vall3;
typedef vector<all5> vall5;
typedef vector<ll> vll;
typedef vector<vll> vvll;
typedef vector<int> vi;
typedef vector<string> vs;
typedef vector<vs> vvs;
typedef unordered_set<ll> usll;
typedef unordered_set<pll, PairHash> uspll;
typedef unordered_map<ll, ll> umll;

// macros
#define rep(i,n) for(int i=0;i<n;i++)
#define rrep(i,m,n) for(int i=n;i>=m;i--)
#define all(a) begin(a), end(a)
#define rall(a) rbegin(a), rend(a)

ll __gcd(ll x, ll y) { return !y ? x : __gcd(y, x % y); }

using namespace std;

string solve(ll n, vpll& A, vpll& B) {
vvll aadj(n + 1, vll(n + 1)), badj(n + 1, vll(n + 1));
for(auto& [a, b] : A) {
aadj[a][b] = aadj[b][a] = true;
}

for(auto& [a, b] : B) {
badj[a][b] = badj[b][a] = true;
}

vll p(n + 1);
iota(all(p), 0);
do {
bool check = true;
rep(i, n + 1) {
rep(j, n + 1) {
if(aadj[i][j] != badj[p[i]][p[j]]) check = false;
}
}
if(check) return "Yes";

}while(next_permutation(all(p)));

return "No";
}

int main() {
Code By Sumfi

//cout.precision(12);

ll tc = 1;
//cin>>tc;
for (ll i = 1; i <= tc; i++) {
ll n,m;
cin>>n>>m;
vpll A(m), B(m);
rep(i,m) cin>>A[i].first>>A[i].second;
rep(i,m) cin>>B[i].first>>B[i].second;
cout<<solve(n,A,B)<<endl;
}
return 0;
}
Author: Song Hayoung
Link: https://songhayoung.github.io/2022/06/25/PS/AtCoder/abc232-c/
Copyright Notice: All articles in this blog are licensed under CC BY-NC-SA 4.0 unless stating additionally.