結果
問題 | No.1863 Xor Sum 2...? |
ユーザー | Forested |
提出日時 | 2022-03-04 22:00:58 |
言語 | C++17 (gcc 13.2.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 40 ms / 2,000 ms |
コード長 | 3,205 bytes |
コンパイル時間 | 1,963 ms |
コンパイル使用メモリ | 120,320 KB |
実行使用メモリ | 7,808 KB |
最終ジャッジ日時 | 2023-09-26 01:01:00 |
合計ジャッジ時間 | 4,034 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge11 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,380 KB |
testcase_01 | AC | 2 ms
4,376 KB |
testcase_02 | AC | 2 ms
4,380 KB |
testcase_03 | AC | 2 ms
4,380 KB |
testcase_04 | AC | 1 ms
4,380 KB |
testcase_05 | AC | 8 ms
4,380 KB |
testcase_06 | AC | 4 ms
4,380 KB |
testcase_07 | AC | 13 ms
4,508 KB |
testcase_08 | AC | 13 ms
4,484 KB |
testcase_09 | AC | 33 ms
7,096 KB |
testcase_10 | AC | 29 ms
6,492 KB |
testcase_11 | AC | 17 ms
5,176 KB |
testcase_12 | AC | 13 ms
4,384 KB |
testcase_13 | AC | 24 ms
5,804 KB |
testcase_14 | AC | 30 ms
6,376 KB |
testcase_15 | AC | 24 ms
5,872 KB |
testcase_16 | AC | 24 ms
5,852 KB |
testcase_17 | AC | 14 ms
4,644 KB |
testcase_18 | AC | 7 ms
4,384 KB |
testcase_19 | AC | 12 ms
4,380 KB |
testcase_20 | AC | 19 ms
5,176 KB |
testcase_21 | AC | 27 ms
6,076 KB |
testcase_22 | AC | 10 ms
4,380 KB |
testcase_23 | AC | 35 ms
7,260 KB |
testcase_24 | AC | 37 ms
7,412 KB |
testcase_25 | AC | 40 ms
7,784 KB |
testcase_26 | AC | 40 ms
7,672 KB |
testcase_27 | AC | 40 ms
7,672 KB |
testcase_28 | AC | 40 ms
7,652 KB |
testcase_29 | AC | 40 ms
7,808 KB |
testcase_30 | AC | 40 ms
7,756 KB |
ソースコード
// ===== template.hpp ===== #include <algorithm> #include <array> #include <bitset> #include <cassert> #include <cmath> #include <iomanip> #include <iostream> #include <map> #include <numeric> #include <queue> #include <set> #include <stack> #include <string> #include <tuple> #include <unordered_map> #include <unordered_set> #include <utility> #include <vector> #define OVERRIDE(a, b, c, d, ...) d #define REP2(i, n) for (i32 i = 0; i < (i32) (n); ++i) #define REP3(i, m, n) for (i32 i = (i32) (m); i < (i32) (n); ++i) #define REP(...) OVERRIDE(__VA_ARGS__, REP3, REP2)(__VA_ARGS__) #define PER(i, n) for (i32 i = (i32) (n) - 1; i >= 0; --i) #define ALL(x) begin(x), end(x) using namespace std; using u32 = unsigned int; using u64 = unsigned long long; using u128 = __uint128_t; using i32 = signed int; using i64 = signed long long; using i128 = __int128_t; template <typename T> using Vec = vector<T>; template <typename T> bool chmin(T &x, const T &y) { if (x > y) { x = y; return true; } return false; } template <typename T> bool chmax(T &x, const T &y) { if (x < y) { x = y; return true; } return false; } [[maybe_unused]] constexpr i32 inf = 1000000100; [[maybe_unused]] constexpr i64 inf64 = 3000000000000000100; struct SetIO { SetIO() { ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(10); } } set_io; // ===== template.hpp ===== #ifdef DEBUGF #include "../new_library/other/debug.hpp" #else #define DBG(x) (void) 0 #endif int main() { i32 n; cin >> n; Vec<i64> a(n), b(n); REP(i, n) { cin >> a[i]; } REP(i, n) { cin >> b[i]; } Vec<i64> asum(n + 1, 0); REP(i, n) { asum[i + 1] = asum[i] + a[i]; } Vec<i64> axor(n + 1, 0); REP(i, n) { axor[i + 1] = axor[i] ^ a[i]; } Vec<i64> bxor(n + 1, 0); REP(i, n) { bxor[i + 1] = bxor[i] ^ b[i]; } Vec<i64> bxorsum(n + 2, 0); REP(i, n + 1) { bxorsum[i + 1] = bxorsum[i] + bxor[i]; } auto range_b_count = [&](i64 x, i32 l, i32 r) -> i64 { if (x == 1) { return bxorsum[r] - bxorsum[l]; } else { return r - l - (bxorsum[r] - bxorsum[l]); } }; i64 ans = 0; REP(i, n) { // max r s.t. sum([l, r)) - xor([l, r)) = 0 i32 ok = i, ng = n + 1; while (ng - ok > 1) { i32 mid = (ok + ng) / 2; if (asum[mid] - asum[i] == (axor[mid] ^ axor[i])) { ok = mid; } else { ng = mid; } } i32 max_r0 = ok; // max r s.t. sum([l, r)) - xor([l, r)) = 1 ng = n + 1; while (ng - ok > 1) { i32 mid = (ok + ng) / 2; if (asum[mid] - asum[i] == (axor[mid] ^ axor[i]) + 1) { ok = mid; } else { ng = mid; } } i32 max_r1 = ok; DBG(max_r0); DBG(max_r1); ans += range_b_count(bxor[i], i + 1, max_r0 + 1); ans += range_b_count(!bxor[i], max_r0 + 1, max_r1 + 1); } cout << ans << '\n'; }