#606735 (C++17) No.1355 AND OR GAME

提出ソース

結果

問題	No.1355 AND OR GAME
ユーザー	👑 emthrm
提出日時	2021-01-17 15:28:42
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	TLE
実行時間	-
コード長	3,337 bytes
コンパイル時間	2,140 ms
コンパイル使用メモリ	213,520 KB
実行使用メモリ	11,468 KB
最終ジャッジ日時	2024-05-07 04:42:57
合計ジャッジ時間	15,431 ms
ジャッジサーバーID （参考情報）	judge4 / judge1

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 10,624 KB
testcase_01	AC	2 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	2 ms 5,376 KB
testcase_04	AC	2 ms 5,376 KB
testcase_05	AC	2 ms 5,376 KB
testcase_06	AC	2 ms 5,376 KB
testcase_07	AC	2 ms 5,376 KB
testcase_08	AC	2 ms 5,376 KB
testcase_09	AC	2 ms 5,376 KB
testcase_10	AC	1 ms 5,376 KB
testcase_11	AC	2 ms 5,376 KB
testcase_12	AC	1 ms 5,376 KB
testcase_13	AC	2 ms 5,376 KB
testcase_14	AC	2 ms 5,376 KB
testcase_15	AC	2 ms 5,376 KB
testcase_16	AC	2 ms 5,376 KB
testcase_17	AC	2 ms 5,376 KB
testcase_18	AC	2 ms 5,376 KB
testcase_19	AC	2 ms 5,376 KB
testcase_20	AC	1 ms 5,376 KB
testcase_21	AC	2 ms 5,376 KB
testcase_22	AC	2 ms 5,376 KB
testcase_23	AC	2 ms 5,376 KB
testcase_24	AC	2 ms 5,376 KB
testcase_25	AC	1 ms 5,376 KB
testcase_26	AC	2 ms 5,376 KB
testcase_27	AC	2 ms 5,376 KB
testcase_28	AC	2 ms 5,376 KB
testcase_29	AC	1 ms 5,376 KB
testcase_30	AC	1 ms 5,376 KB
testcase_31	AC	1 ms 5,376 KB
testcase_32	AC	2 ms 5,376 KB
testcase_33	AC	2 ms 5,376 KB
testcase_34	AC	6 ms 5,376 KB
testcase_35	AC	43 ms 7,064 KB
testcase_36	AC	40 ms 6,740 KB
testcase_37	AC	2 ms 5,376 KB
testcase_38	AC	45 ms 7,192 KB
testcase_39	AC	14 ms 5,376 KB
testcase_40	AC	22 ms 5,376 KB
testcase_41	AC	45 ms 7,188 KB
testcase_42	AC	44 ms 7,192 KB
testcase_43	AC	22 ms 5,376 KB
testcase_44	AC	8 ms 5,376 KB
testcase_45	AC	44 ms 7,064 KB
testcase_46	AC	17 ms 5,376 KB
testcase_47	AC	44 ms 7,060 KB
testcase_48	AC	32 ms 5,900 KB
testcase_49	AC	46 ms 7,320 KB
testcase_50	AC	2 ms 5,376 KB
testcase_51	AC	22 ms 5,376 KB
testcase_52	AC	41 ms 6,716 KB
testcase_53	AC	28 ms 5,628 KB
testcase_54	AC	44 ms 7,188 KB
testcase_55	AC	35 ms 6,416 KB
testcase_56	AC	36 ms 6,420 KB
testcase_57	AC	32 ms 5,924 KB
testcase_58	AC	10 ms 5,376 KB
testcase_59	AC	2 ms 5,376 KB
testcase_60	AC	32 ms 5,880 KB
testcase_61	AC	2 ms 5,376 KB
testcase_62	AC	17 ms 5,376 KB
testcase_63	AC	45 ms 7,184 KB
testcase_64	AC	34 ms 6,288 KB
testcase_65	AC	2 ms 5,376 KB
testcase_66	AC	13 ms 5,376 KB
testcase_67	AC	16 ms 5,376 KB
testcase_68	AC	15 ms 5,376 KB
testcase_69	AC	2 ms 5,376 KB
testcase_70	AC	18 ms 5,376 KB
testcase_71	AC	47 ms 7,192 KB
testcase_72	AC	44 ms 7,192 KB
testcase_73	AC	44 ms 7,096 KB
testcase_74	AC	44 ms 7,196 KB
testcase_75	AC	45 ms 7,256 KB
testcase_76	AC	45 ms 7,052 KB
testcase_77	AC	45 ms 7,060 KB
testcase_78	AC	2 ms 5,376 KB
testcase_79	AC	1 ms 5,376 KB
testcase_80	AC	50 ms 7,064 KB
testcase_81	AC	45 ms 7,064 KB
testcase_82	AC	43 ms 7,068 KB
testcase_83	AC	33 ms 6,284 KB
testcase_84	AC	925 ms 5,376 KB
testcase_85	TLE	-
testcase_86	--	-
testcase_87	--	-
testcase_88	--	-
testcase_89	--	-
testcase_90	--	-
testcase_91	--	-
testcase_92	--	-
testcase_93	--	-
testcase_94	--	-
testcase_95	--	-
testcase_96	--	-
testcase_97	--	-
testcase_98	--	-

権限があれば一括ダウンロードができます

ソースコード

raw source code

#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
using namespace std;
#define FOR(i,m,n) for(int i=(m);i<(n);++i)
#define REP(i,n) FOR(i,0,n)
#define ALL(v) (v).begin(),(v).end()
using ll = long long;
constexpr int INF = 0x3f3f3f3f;
constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL;
constexpr double EPS = 1e-8;
constexpr int MOD = 1000000007;
// constexpr int MOD = 998244353;
constexpr int dy[] = {1, 0, -1, 0}, dx[] = {0, -1, 0, 1};
constexpr int dy8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dx8[] = {0, -1, -1, -1, 0, 1, 1, 1};
template <typename T, typename U> inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; }
template <typename T, typename U> inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; }
struct IOSetup {
  IOSetup() {
    std::cin.tie(nullptr);
    std::ios_base::sync_with_stdio(false);
    std::cout << fixed << setprecision(20);
  }
} iosetup;

int main() {
  constexpr int B = 60;
  int n; ll x, y; cin >> n >> x >> y;
  vector<ll> a(n); REP(i, n) cin >> a[i];
  vector<pair<vector<int>, vector<int>>> que;
  {
    vector<int> bit(B), ans(n, 3);
    REP(i, B) bit[i] = y >> i & 1;
    que.emplace_back(bit, ans);
  }
  for (int i = n - 1; i >= 0; --i) {
    if (que.empty()) {
      cout << "-1\n";
      return 0;
    }
    vector<pair<vector<int>, vector<int>>> nx;
    for (auto [bit, ans] : que) {
      bool sw = true;
      REP(b, B) sw &= bit[b] == -1 || bit[b] == (a[i] >> b & 1);
      int fixed = count(ALL(bit), -1);
      if (sw || fixed == B) {
        REP(i, n) cout << ans[i] << " \n"[i + 1 == n];
        return 0;
      }
      bool an = false, o = false;
      REP(b, B) {
        if ((a[i] >> b & 1) && bit[b] == 0) an = true;
        if (!(a[i] >> b & 1) && bit[b] == 1) o = true;
      }
      if (an && o) continue;
      int cnt[2] = {};
      REP(i, B) {
        if (bit[i] != -1) ++cnt[bit[i]];
      }
      if (an) {
        REP(b, B) {
          if (!(a[i] >> b & 1) && bit[b] == 0) bit[b] = -1;
        }
        ans[i] = 1;
        nx.emplace_back(bit, ans);
      } else if (o) {
        REP(b, B) {
          if ((a[i] >> b & 1) && bit[b] == 1) bit[b] = -1;
        }
        ans[i] = 2;
        nx.emplace_back(bit, ans);
      } else if (cnt[0] + fixed == B) {
        REP(b, B) {
          if (!(a[i] >> b & 1) && bit[b] == 0) bit[b] = -1;
        }
        ans[i] = 1;
        nx.emplace_back(bit, ans);
      } else if (cnt[1] + fixed == B) {
        REP(b, B) {
          if ((a[i] >> b & 1) && bit[b] == 1) bit[b] = -1;
        }
        ans[i] = 2;
        nx.emplace_back(bit, ans);
      } else {
        {
          vector<int> nx_bit = bit, nx_ans = ans;
          REP(b, B) {
            if (!(a[i] >> b & 1) && nx_bit[b] == 0) nx_bit[b] = -1;
          }
          nx_ans[i] = 1;
          nx.emplace_back(nx_bit, nx_ans);
        }
        {
          vector<int> nx_bit = bit, nx_ans = ans;
          REP(b, B) {
            if ((a[i] >> b & 1) && bit[b] == 1) bit[b] = -1;
          }
          nx_ans[i] = 2;
          nx.emplace_back(nx_bit, nx_ans);
        }
      }
    }
    que.swap(nx);
  }
  for (auto [bit, ans] : que) {
    bool sw = true;
    REP(b, B) sw &= bit[b] == -1 || bit[b] == (x >> b & 1);
    if (sw) {
      REP(i, n) cout << ans[i] << " \n"[i + 1 == n];
      return 0;
    }
  }
  cout << "-1\n";
  return 0;
}

yukicoder

結果

テストケース

ソースコード