結果
| 問題 |
No.1240 Or Sum of Xor Pair
|
| コンテスト | |
| ユーザー |
fuppy_kyopro
|
| 提出日時 | 2020-09-25 22:55:00 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 294 ms / 2,000 ms |
| コード長 | 4,897 bytes |
| コンパイル時間 | 1,886 ms |
| コンパイル使用メモリ | 178,580 KB |
| 実行使用メモリ | 25,416 KB |
| 最終ジャッジ日時 | 2024-06-28 07:12:22 |
| 合計ジャッジ時間 | 6,817 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 30 |
ソースコード
#include <bits/stdc++.h>
// #include <atcoder/all>
using namespace std;
// using namespace atcoder;
#define DEBUG(x) cerr<<#x<<": "<<x<<endl;
#define DEBUG_VEC(v) cerr<<#v<<":";for(int i=0;i<v.size();i++) cerr<<" "<<v[i]; cerr<<endl;
#define DEBUG_MAT(v) cerr<<#v<<endl;for(int i=0;i<v.size();i++){for(int j=0;j<v[i].size();j++) {cerr<<v[i][j]<<" ";}cerr<<endl;}
typedef long long ll;
// #define int ll
#define vi vector<int>
#define vl vector<ll>
#define vii vector< vector<int> >
#define vll vector< vector<ll> >
#define vs vector<string>
#define pii pair<int,int>
#define pis pair<int,string>
#define psi pair<string,int>
#define pll pair<ll,ll>
template<class S, class T> pair<S, T> operator+(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first + t.first, s.second + t.second); }
template<class S, class T> pair<S, T> operator-(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first - t.first, s.second - t.second); }
template<class S, class T> ostream& operator<<(ostream& os, pair<S, T> p) { os << "(" << p.first << ", " << p.second << ")"; return os; }
#define X first
#define Y second
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rep1(i,n) for(int i=1;i<=(int)(n);i++)
#define rrep(i,n) for(int i=(int)(n)-1;i>=0;i--)
#define rrep1(i,n) for(int i=(int)(n);i>0;i--)
#define REP(i,a,b) for(int i=a;i<b;i++)
#define in(x, a, b) (a <= x && x < b)
#define all(c) c.begin(),c.end()
template<class T> bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T> bool chmin(T &a, const T &b) { if (a>b) { a = b; return 1; } return 0; }
#define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end());
const ll inf = 1000000001;
const ll INF = (ll)1e18 + 1;
const long double pi = 3.1415926535897932384626433832795028841971L;
#define Sp(p) cout<<setprecision(25)<< fixed<<p<<endl;
// int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1};
// int dx2[8] = { 1,1,0,-1,-1,-1,0,1 }, dy2[8] = { 0,1,1,1,0,-1,-1,-1 };
vi dx = {1, 0, -1, 0}, dy = {0, 1, 0, -1};
// vi dx2 = { 1,1,0,-1,-1,-1,0,1 }, dy2 = { 0,1,1,1,0,-1,-1,-1 };
#define fio() cin.tie(0); ios::sync_with_stdio(false);
// const ll MOD = 1000000007;
const ll MOD = 998244353;
// #define mp make_pair
//#define endl '\n'
int n, x;
ll ans = 0;
//n��kbit�\����\������
void print_bit(ll n, ll k = 18) {
ll m = (1LL << (k - 1));;
while (m >= 1) {
if ((n&m)) {
cout << 1;
}
else {
cout << 0;
}
m >>= 1;
}
cout << endl;
}
void solve2(vl a) {
if (a.size() <= 1) return;
int n = a.size();
rep (i, a.size()) {
ans += a[i] * (n - 1);
}
rep (k, 18) {
int mask = 1 << k;
ll cnt = 0;
rep (i, n) {
if (a[i] & mask) cnt++;
}
ans -= mask * (cnt * (cnt - 1)) / 2;
}
return;
}
void solve3(vl b, vl c) {
if (b.size() == 0 or c.size() == 0) return;
int n = b.size(), m = c.size();
ll sum = 0;
rep (i, m) sum += c[i];
rep (i, n) ans += sum + b[i] * m;
vl cnts(18);
rep (i, m) {
rrep (k, 18) {
int mask = 1 << k;
if (c[i] & mask) cnts[k]++;
}
}
rep (i, n) {
rrep (k, 18) {
int mask = 1 << k;
if (b[i] & mask) {
ans -= mask * cnts[k];
}
}
}
}
void solve4(vl a, vl b, int k) {
if (a.size() == 0 or b.size() == 0) return;
if (k == -1) {
return solve3(a, b);
}
int mask = 1 << k;
vl a0, a1, b0, b1;
rep (i, a.size()) {
if (a[i] & mask) a1.push_back(a[i]);
else a0.push_back(a[i]);
}
rep (i, b.size()) {
if (b[i] & mask) b1.push_back(b[i]);
else b0.push_back(b[i]);
}
if (x & mask) {
solve3(a0, b0);
solve3(a1, b1);
solve4(a0, b1, k - 1);
solve4(a1, b0, k - 1);
}
else {
solve4(a0, b0, k - 1);
solve4(a1, b1, k - 1);
}
}
void solve(vl a, int k) {
// DEBUG_VEC(a);
if (a.size() <= 1) return;
if (k == -1) {
solve2(a);
return;
}
int mask = 1 << k;
vl b, c;
rep (i, a.size()) {
if (a[i] & mask) b.push_back(a[i]);
else c.push_back(a[i]);
}
if (x & mask) {
solve2(c);
solve4(b, c, k - 1);
solve2(b);
}
else {
solve(b, k - 1);
solve(c, k - 1);
}
}
signed main() {
fio();
cin >> n >> x;
x--;
// print_bit(x);
// print_bit(133);
// print_bit(163);
vl a(n);
rep (i, n) cin >> a[i];
// rep (i, n) {
// vi temp;
// rep (j, n) {
// if (i == j) continue;
// if ((a[i] ^ a[j]) <= x) {
// temp.push_back(a[j]);
// }
// }
// DEBUG(a[i]);
// DEBUG_VEC(temp);
// }
solve(a, 17);
cout << ans << endl;
}
fuppy_kyopro