結果
問題 | No.2018 X-Y-X |
ユーザー |
|
提出日時 | 2022-07-22 22:52:55 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
TLE
|
実行時間 | - |
コード長 | 11,002 bytes |
コンパイル時間 | 4,333 ms |
コンパイル使用メモリ | 242,336 KB |
実行使用メモリ | 12,704 KB |
最終ジャッジ日時 | 2024-07-04 07:25:45 |
合計ジャッジ時間 | 8,130 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 |
other | AC * 6 TLE * 1 -- * 24 |
ソースコード
#ifndef HIDDEN_IN_VS // 折りたたみ用// 警告の抑制#define _CRT_SECURE_NO_WARNINGS// ライブラリの読み込み#include <bits/stdc++.h>using namespace std;// 型名の短縮using ll = long long; // -2^63 ~ 2^63 = 9 * 10^18(int は -2^31 ~ 2^31 = 2 * 10^9)using pii = pair<int, int>; using pll = pair<ll, ll>; using pil = pair<int, ll>; using pli = pair<ll, int>;using vi = vector<int>; using vvi = vector<vi>; using vvvi = vector<vvi>;using vl = vector<ll>; using vvl = vector<vl>; using vvvl = vector<vvl>;using vb = vector<bool>; using vvb = vector<vb>; using vvvb = vector<vvb>;using vc = vector<char>; using vvc = vector<vc>; using vvvc = vector<vvc>;using vd = vector<double>; using vvd = vector<vd>; using vvvd = vector<vvd>;template <class T> using priority_queue_rev = priority_queue<T, vector<T>, greater<T>>;using Graph = vvi;// 定数の定義const double PI = acos(-1);const vi DX = { 1, 0, -1, 0 }; // 4 近傍(下,右,上,左)const vi DY = { 0, 1, 0, -1 };int INF = 1001001001; ll INFL = 4004004004004004004LL;double EPS = 1e-16;// 入出力高速化struct fast_io { fast_io() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(18); } } fastIOtmp;// 汎用マクロの定義#define all(a) (a).begin(), (a).end()#define sz(x) ((int)(x).size())#define lbpos(a, x) (int)distance((a).begin(), std::lower_bound(all(a), x))#define ubpos(a, x) (int)distance((a).begin(), std::upper_bound(all(a), x))#define Yes(b) {cout << ((b) ? "Yes\n" : "No\n");}#define rep(i, n) for(int i = 0, i##_len = int(n); i < i##_len; ++i) // 0 から n-1 まで昇順#define repi(i, s, t) for(int i = int(s), i##_end = int(t); i <= i##_end; ++i) // s から t まで昇順#define repir(i, s, t) for(int i = int(s), i##_end = int(t); i >= i##_end; --i) // s から t まで降順#define repe(v, a) for(const auto& v : (a)) // a の全要素(変更不可能)#define repea(v, a) for(auto& v : (a)) // a の全要素(変更可能)#define repb(set, d) for(int set = 0; set < (1 << int(d)); ++set) // d ビット全探索(昇順)#define repp(a) sort(all(a)); for(bool a##_perm = true; a##_perm; a##_perm = next_permutation(all(a))) // a の順列全て(昇順)#define smod(n, m) ((((n) % (m)) + (m)) % (m)) // 非負mod#define uniq(a) {sort(all(a)); (a).erase(unique(all(a)), (a).end());} // 重複除去#define EXIT(a) {cout << (a) << endl; exit(0);} // 強制終了// 汎用関数の定義template <class T> inline ll pow(T n, int k) { ll v = 1; rep(i, k) v *= n; return v; }template <class T> inline bool chmax(T& M, const T& x) { if (M < x) { M = x; return true; } return false; } // 最大値を更新(更新されたら trueを返す)template <class T> inline bool chmin(T& m, const T& x) { if (m > x) { m = x; return true; } return false; } // 最小値を更新(更新されたら trueを返す)// 演算子オーバーロードtemplate <class T, class U> inline istream& operator>>(istream& is, pair<T, U>& p) { is >> p.first >> p.second; return is; }template <class T> inline istream& operator>>(istream& is, vector<T>& v) { repea(x, v) is >> x; return is; }template <class T> inline vector<T>& operator--(vector<T>& v) { repea(x, v) --x; return v; }template <class T> inline vector<T>& operator++(vector<T>& v) { repea(x, v) ++x; return v; }// 手元環境(Visual Studio)#ifdef _MSC_VER#include "local.hpp"// 提出用(gcc)#elseinline int popcount(int n) { return __builtin_popcount(n); }inline int popcount(ll n) { return __builtin_popcountll(n); }inline int lsb(int n) { return n != 0 ? __builtin_ctz(n) : -1; }inline int lsb(ll n) { return n != 0 ? __builtin_ctzll(n) : -1; }inline int msb(int n) { return n != 0 ? (31 - __builtin_clz(n)) : -1; }inline int msb(ll n) { return n != 0 ? (63 - __builtin_clzll(n)) : -1; }#define gcd __gcd#define dump(...)#define dumpel(v)#define input_from_file(f)#define output_to_file(f)#define Assert(b) { if (!(b)) while (1) cout << "OLE"; }#endif#endif // 折りたたみ用//--------------AtCoder 専用--------------#include <atcoder/all>using namespace atcoder;using mint = modint1000000007;//using mint = modint998244353;//using mint = modint; // mint::set_mod(m);istream& operator>>(istream& is, mint& x) { ll x_; is >> x_; x = x_; return is; }ostream& operator<<(ostream& os, const mint& x) { os << x.val(); return os; }using vm = vector<mint>; using vvm = vector<vm>; using vvvm = vector<vvm>;//----------------------------------------int WA(int n, string s, string t) {vi a(n), b(n);rep(i, n) {a[i] = s[i] - 'A';b[i] = t[i] - 'A';if (i % 4 >= 2) {a[i] = 1 - a[i];b[i] = 1 - b[i];}}// x[i] += x[i-1] + x[i+1]if (a[0] != b[0] || a[n - 1] != b[n - 1]) return(-1);int res = 0;int i = 1;while (i < n - 1) {if (a[i] == b[i]) {i++;continue;}int j = i + 1;while (j < n) {if (j % 2 == (i - 1) % 2) {if (a[i - 1] != a[j]) break;}else {if (a[i] != a[j]) break;}if (a[j] == b[j]) return(-1);a[j] = b[j];res++;j++;}if (j == n) return(-1);a[i] = b[i];res++;i = j;}return res;}void zikken() {int n = 10;repb(set_s, n) {string s;rep(i, n) s += 'A' + ((set_s >> i) & 1);string s_rev(s);reverse(all(s_rev));repb(set_t, n) {string t;rep(i, n) t += 'A' + ((set_t >> i) & 1);string t_rev(t);reverse(all(t_rev));int res = WA(n, s, t);int res_rev = WA(n, s_rev, t_rev);if (res != res_rev) {dump("--------");dump(s, t, res);dump(s_rev, t_rev, res_rev);}}}}// 反例なしvoid zikken2() {int n = 10;repb(set_s, n) {string s;rep(i, n) s += 'A' + ((set_s >> i) & 1);repb(set_t, n) {string t;rep(i, n) t += 'A' + ((set_t >> i) & 1);int res = WA(n, s, t);int res2 = WA(n, t, s);if (res != res2) {dump("--------");dump(s, t, res);dump(t, s, res2);}}}}// 反例なしvoid zikken3() {int n = 4;repb(set_s, n) {string s;rep(i, n) s += 'A' + ((set_s >> i) & 1);repb(set_t, n) {string t;rep(i, n) t += 'A' + ((set_t >> i) & 1);int res = WA(n, s, t);if (res == -1 && s[0] == t[0] && s[n - 1] == t[n - 1]) {dump(s, t, res);}}}}void zikken4() {int n = 6;dsu d(1 << n);repb(set, n) {rep(i, n - 2) {if (((set >> i) & 1) == ((set >> (i + 2)) & 1)) {d.merge(set, set ^ (1 << (i + 1)));}}}repe(g, d.groups()) {repe(v, g) cout << bitset<6>(v) << " ";cout << endl;}}/*0000 0010 01000001 0101 0111001101101000 1010 111010011011 1101 1111110000000 00010 00100 01000 01010 0111000001 00101 00111 0100100011 01011 01101 01111001100110010000 10010 10100 1110010001 10101 10111 11011 11101 111111001110110 11000 11010 1111011001000000 000010 000100 001000 001010 001110 010000 010010 010100 011100000001 000101 000111 001001 010001 010101 010111 011011 011101 011111000011 001011 001101 001111 010011000110 010110 011000 011010 011110001100011001100000 100010 100100 101000 101010 101110 110110 111000 111010 111110100001 100101 100111 101001 111001100011 101011 101101 101111 110001 110101 110111 111011 111101 111111100110101100 110000 110010 110100 111100110011*///【全頂点対最短路(負コスト可)/ワーシャル-フロイド法】O(|V|^3)/** コスト付きグラフ g(負のコストも可)に対し,* 頂点 i から頂点 j への最短距離を dist[i][j] に格納する.* もし g が負の閉路をもっていれば false を返す.*/bool warshall_floyd(const Graph& g, vvi& dist) {// verify : https://onlinejudge.u-aizu.ac.jp/courses/library/5/GRL/all/GRL_1_C//【補足】// min-plus 半環上の行列累乗とも思える.int n = sz(g);// dist[i][j] : 頂点 i から頂点 j までの最短距離dist = vvi(n, vi(n, INF));rep(s, n) dist[s][s] = 0;rep(s, n) {repe(e, g[s]) {// 多重辺に対応するため chmin を用いている.chmin(dist[s][e], 1);}}rep(k, n) {// 途中で通っていいのが 0 から k までの頂点のときrep(i, n) {rep(j, n) {// 通れない場合は加算しないようにしてオーバーフローに注意する.if (dist[i][k] == INF || dist[k][j] == INF) continue;// 新しく通れるようになった k を通る方が距離が小さければ更新// (一時配列に退避させず計算してしまっているので途中は間違った値// になっているが,より小さい値になるだけなので最後には合う.)chmin(dist[i][j], dist[i][k] + dist[k][j]);}}}// 負の閉路を持っていれば false を返す.rep(i, n) {if (dist[i][i] < 0) return false;}return true;}void zikken5() {int n = 5;Graph g(1LL << n);repb(set, n) {rep(i, n - 2) {if (((set >> i) & 1) == ((set >> (i + 2)) & 1)) {g[set].push_back(set ^ (1 << (i + 1)));}}}vvi dist;warshall_floyd(g, dist);rep(i, 1 << n) rep(j, 1 << n) {if (dist[i][j] == INF) dist[i][j] = -1;}repb(set_s, n) {string s;rep(i, n) s += 'A' + ((set_s >> i) & 1);repb(set_t, n) {string t;rep(i, n) t += 'A' + ((set_t >> i) & 1);int res = WA(n, s, t);if (res != dist[set_s][set_t]) {dump(s, t, res, dist[set_s][set_t]);}}}}/*やっと反例発見AABAA ABBBA -1 4ABBBA AABAA -1 4BAAAB BBABB -1 4BBABB BAAAB -1 4*/int TLE(int n, string s, string t) {vi a(n), b(n);rep(i, n) {a[i] = s[i] - 'A';b[i] = t[i] - 'A';if (i % 4 >= 2) {a[i] = 1 - a[i];b[i] = 1 - b[i];}}// x[i] += x[i-1] + x[i+1]if (a[0] != b[0] || a[n - 1] != b[n - 1]) return(-1);int res = 0;int i = 1;while (i < n - 1) {// dump(i); dump(a); dump(b);if (a[i] == b[i]) {i++;continue;}int j = i + 1;while (j < n) {if (j % 2 == (i - 1) % 2) {if (a[i - 1] != a[j]) break;}else {if (a[i] != a[j]) break;}a[j] = 1 - a[j];res++;j++;}if (j == n) return(-1);a[i] = b[i];res++;i++;}return res;}void zikken6() {int n = 8;Graph g(1LL << n);repb(set, n) {rep(i, n - 2) {if (((set >> i) & 1) == ((set >> (i + 2)) & 1)) {g[set].push_back(set ^ (1 << (i + 1)));}}}vvi dist;warshall_floyd(g, dist);rep(i, 1 << n) rep(j, 1 << n) {if (dist[i][j] == INF) dist[i][j] = -1;}repb(set_s, n) {string s;rep(i, n) s += 'A' + ((set_s >> i) & 1);repb(set_t, n) {string t;rep(i, n) t += 'A' + ((set_t >> i) & 1);int res = TLE(n, s, t);if (res != dist[set_s][set_t]) {dump(s, t, res, dist[set_s][set_t]);}}}}int main() {// input_from_file("input.txt");// output_to_file("output.txt");// zikken6(); return 0;int n; string s, t;cin >> n >> s >> t;cout << TLE(n, s, t) << endl;}