Submission #529659

#TimeUsernameProblemLanguageResultExecution timeMemory
529659topovikHiperkocka (COCI21_hiperkocka)C++14
0 / 110
18 ms35532 KiB
#include <bits/stdc++.h> #define pb push_back #define f first #define s second using namespace std; typedef long long ll; typedef long double ld; const ll oo = 1e18 + 7; const int N = 5e5 + 10; const int M = 3000; const int M1 = 1e6; int n; map <int, bool> mrk[N]; vector <int> a[N]; vector <int> ans; vector <vector <int> > ans1; vector <pair<int, int> > vc; bool g = 1; bool check(int x) { for (int i = 0; i < n; i++) if (x == (1 << i)) return 1; return 0; } void Rec(int x, int y, int prv) { ans1.back()[y] = x; for (auto i : a[y]) if (i != prv) { int j; for (j = 0; j < (1 << n); (j == 0 ? j++ : j <<= 1)) if (!mrk[min(x, j ^ x)][max(j ^ x, x)] && (j ^ x) != x) { mrk[min(x, j ^ x)][max(j ^ x, x)] = 1; vc.pb({min(x, j ^ x), max(j ^ x, x)}); Rec(j ^ x, i, y); break; } g &= (j != (1 << n)); } } int main() { ios_base::sync_with_stdio(0); iostream::sync_with_stdio(0); cin.tie(0); cout.tie(0); srand(time(NULL)); cin >> n; for (int i = 0; i < n; i++) { int x, y; cin >> x >> y; a[x].pb(y); a[y].pb(x); } while (1) { bool g1 = 0; for (int i = 0; i <= n; i++) { ans1.pb({}); ans1.back().resize(n + 1); vc.clear(); g = 1; Rec(i, 0, 0); if (g) { g1 = 1; break; } ans1.pop_back(); for (auto j : vc) mrk[j.f][j.s] = 0; } if (!g1) break; } int k = ans1.size(); for (int x1 = 0; x1 < M; x1++) { bool g = 1; int x = rand() % (1 << n); for (int i = 0; i <= n; i++) for (auto j : a[i]) g &= !mrk[min(ans1[0][i] ^ x, ans1[0][j] ^ x)][max(ans1[0][i] ^ x, ans1[0][j] ^ x)]; if (g) { for (int ps = 0; ps < k; ps++) { ans1.pb(ans1[ps]); for (int i = 0; i <= n; i++) ans1.back()[i] ^= x; for (int i = 0; i <= n; i++) for (auto j : a[i]) mrk[min(ans1.back()[i], ans1.back()[j])][max(ans1.back()[i], ans1.back()[j])] = 1; } } } cout << ans1.size() << endl; for (auto i : ans1) { for (auto j : i) cout << j << " "; cout << endl; } } /* 5 3 2 1 1 2 2 3 2 3 3 4 4 5 4 1 1 2 2 3 3 4 4 5 */
#Verdict Execution timeMemoryGrader output
Fetching results...