結果
問題 | No.1142 XOR と XOR |
ユーザー | packer_jp |
提出日時 | 2020-07-31 22:07:40 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 106 ms / 2,000 ms |
コード長 | 5,533 bytes |
コンパイル時間 | 1,630 ms |
コンパイル使用メモリ | 169,408 KB |
実行使用メモリ | 6,656 KB |
最終ジャッジ日時 | 2024-11-08 03:26:17 |
合計ジャッジ時間 | 4,104 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 6 ms
5,248 KB |
testcase_01 | AC | 7 ms
5,248 KB |
testcase_02 | AC | 7 ms
5,248 KB |
testcase_03 | AC | 106 ms
6,528 KB |
testcase_04 | AC | 72 ms
6,016 KB |
testcase_05 | AC | 60 ms
5,504 KB |
testcase_06 | AC | 74 ms
6,016 KB |
testcase_07 | AC | 67 ms
6,528 KB |
testcase_08 | AC | 90 ms
6,528 KB |
testcase_09 | AC | 89 ms
6,528 KB |
testcase_10 | AC | 91 ms
6,656 KB |
testcase_11 | AC | 7 ms
5,248 KB |
testcase_12 | AC | 6 ms
5,248 KB |
testcase_13 | AC | 6 ms
5,248 KB |
testcase_14 | AC | 51 ms
5,248 KB |
testcase_15 | AC | 49 ms
5,248 KB |
testcase_16 | AC | 10 ms
5,248 KB |
testcase_17 | AC | 52 ms
5,888 KB |
testcase_18 | AC | 17 ms
5,248 KB |
testcase_19 | AC | 74 ms
6,016 KB |
testcase_20 | AC | 50 ms
5,248 KB |
testcase_21 | AC | 34 ms
5,248 KB |
testcase_22 | AC | 22 ms
5,248 KB |
testcase_23 | AC | 70 ms
5,888 KB |
testcase_24 | AC | 77 ms
6,144 KB |
testcase_25 | AC | 47 ms
5,248 KB |
testcase_26 | AC | 73 ms
5,888 KB |
testcase_27 | AC | 61 ms
5,632 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; #define int long long #define rep(i, n) for (int i = 0; i < (int) (n); i++) #define reps(i, n) for (int i = 1; i <= (int) (n); i++) #define all(x) (x).begin(), (x).end() #define uniq(x) (x).erase(unique(all(x)), (x).end()) #define bit(n) (1LL << (n)) #define cdiv(a, b) (((a) - 1) / (b) + 1) #define dump(x) cerr << #x " = " << (x) << endl using vint = vector<int>; using vvint = vector<vint>; using pint = pair<int, int>; using vpint = vector<pint>; template<typename T> using priority_queue_rev = priority_queue<T, vector<T>, greater<T>>; constexpr double PI = 3.1415926535897932384626433832795028; constexpr int DY[9] = {0, 1, 0, -1, 1, 1, -1, -1, 0}; constexpr int DX[9] = {1, 0, -1, 0, 1, -1, -1, 1, 0}; int gcd(int a, int b) { while (b) { swap(a %= b, b); } return a; } int lcm(int a, int b) { return a / gcd(a, b) * b; } int sgn(int x) { return (x > 0) - (x < 0); } template<typename T> void fin(T mes) { cout << mes << endl; exit(0); } template<typename T, typename U> bool chmax(T &a, const U &b) { if (a < b) { a = b; return true; } return false; } template<typename T, typename U> bool chmin(T &a, const U &b) { if (b < a) { a = b; return true; } return false; } template<typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &rhs) { os << "(" << rhs.first << ", " << rhs.second << ")"; return os; } template<typename T> ostream &operator<<(ostream &os, const vector<T> &rhs) { os << "{"; for (auto itr = rhs.begin(); itr != rhs.end(); itr++) { os << *itr << (next(itr) != rhs.end() ? ", " : ""); } os << "}"; return os; } struct setup { static constexpr int PREC = 20; setup() { cout << fixed << setprecision(PREC); cerr << fixed << setprecision(PREC); }; } setup; template<int MOD = 1000000007> struct mod_int { int val; mod_int(long long val_ = 0) : val(val_ % MOD) { if (val < 0) { val += MOD; }} bool operator==(const mod_int &rhs) const { return val == rhs.val; } bool operator!=(const mod_int &rhs) const { return std::rel_ops::operator!=(*this, rhs); } mod_int &operator+=(const mod_int &rhs) { if ((val += rhs.val) >= MOD) { val -= MOD; } return *this; } mod_int &operator-=(const mod_int &rhs) { if ((val += MOD - rhs.val) >= MOD) { val -= MOD; } return *this; } mod_int &operator*=(const mod_int &rhs) { val = (int) ((long long) val * rhs.val % MOD); return *this; } mod_int &operator/=(const mod_int &rhs) { return *this *= rhs.inv(); } mod_int operator+() const { return *this; } mod_int operator-() const { return -val; } mod_int operator++() { return *this += 1; } mod_int operator--() { return *this -= 1; } mod_int operator++(signed) { const mod_int ret(*this); ++*this; return ret; } mod_int operator--(signed) { const mod_int ret(*this); --*this; return ret; } mod_int operator+(const mod_int &rhs) const { return mod_int(*this) += rhs; } mod_int operator-(const mod_int &rhs) const { return mod_int(*this) -= rhs; } mod_int operator*(const mod_int &rhs) const { return mod_int(*this) *= rhs; } mod_int operator/(const mod_int &rhs) const { return mod_int(*this) /= rhs; } mod_int inv() const { assert(val != 0); int a = val, b = MOD, x = 1, u = 0; while (b) { int t = a / b; std::swap(a -= t * b, b); std::swap(x -= t * u, u); } return x; } mod_int pow(long long n) const { if (n < 0) { return pow(-n).inv(); } mod_int ret = 1, mul = *this; while (n) { if (n & 1) { ret *= mul; } mul *= mul; n >>= 1; } return ret; } friend std::istream &operator>>(std::istream &is, mod_int &rhs) { long long v; is >> v; rhs = v; return is; } friend std::ostream &operator<<(std::ostream &os, const mod_int &rhs) { return os << rhs.val; } struct combination { std::vector<mod_int> fact{1, 1}, f_inv{1, 1}, inv{0, 1}; void calc(int n) { while (fact.size() <= n) { int i = fact.size(); fact.push_back(fact[i - 1] * i); inv.push_back(-inv[MOD % i] * (MOD / i)); f_inv.push_back(f_inv[i - 1] * inv[i]); } } mod_int P(int n, int r) { return r < 0 || n < r ? 0 : (calc(n), fact[n] * f_inv[n - r]); } mod_int C(int n, int r) { return r < 0 || n < r ? 0 : (calc(n), fact[n] * f_inv[r] * f_inv[n - r]); } mod_int H(int n, int r) { return C(n + r - 1, r); } }; }; int N, M, K; int a[220000], b[220000]; using mint = mod_int<>; mint aa[1024], bb[1024]; mint aaa[1024], bbb[1024]; signed main() { cin >> N >> M >> K; reps(i, N) { cin >> a[i]; } reps(i, M) { cin >> b[i]; } aa[0] = 1, bb[0] = 1; reps(i, N) { a[i] ^= a[i - 1], aa[a[i]]++; } reps(i, M) { b[i] ^= b[i - 1], bb[b[i]]++; } rep(i,8)cerr<<i<<" "<<aa[i]<<" "<<bb[i]<<endl; rep(i, 1024) { rep(j, 1024) { aaa[i ^ j] += aa[i] * aa[j]; bbb[i ^ j] += bb[i] * bb[j]; } } aaa[0] -= N + 1, bbb[0] -= M + 1; rep(i, 1024) { aaa[i] /= 2, bbb[i] /= 2; } mint ans = 0; rep(i, 1024) { ans += aaa[i] * bbb[i ^ K]; } cout << ans << endl; }