QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#114305 | #6631. Maximum Bitwise OR | w4p3r | WA | 453ms | 9640kb | C++20 | 3.6kb | 2023-06-21 22:50:26 | 2023-06-21 22:50:29 |
Judging History
answer
#include<bits/stdc++.h>
#define inf 1e9
#define eps 1e-6
#define FOR(i,a,b) for(int i=a;i<=b;i++)
#define REP(i,a,b) for(int i=a;i>=b;i--)
#define db double
#define ve vector<int>
#define pa pair<int,int>
#define fr first
#define sd second
#define pb push_back
#define mp make_pair
#define MEM(a) memset(a,0,sizeof(a))
typedef long long ll;
typedef unsigned long long ull;
using namespace std;
inline ll read()
{
char ch = getchar();
ll s = 0, w = 1;
while (ch < '0' || ch > '9') {if (ch == '-')w = -1; ch = getchar();}
while (ch >= '0' && ch <= '9') {s = s * 10 + ch - '0'; ch = getchar();}
return s * w;
}
#define N 100010
#define int ll
int T;
struct BIT
{
vector<int>c;
int n;
BIT(int n0) {n = n0; c.assign(n + 1, 0);}
BIT() {}
void add(int x) {for (; x <= n; x += x & (-x))c[x]++;}
int qry(int x) {int s = 0; for (; x; x -= x & (-x))s += c[x]; return s;}
} A[40];
struct qry
{
int l, r, id, r0;
};
int l[N], r[N], Or[21][N];
int n, q;
int a[N], s1[N];
int ans1[N], ans2[N];
set<int>S[40];
int findl(int x, int i) {return (*S[i].lower_bound(x));}
int findr(int x, int i) {return *(--S[i].upper_bound(x));}
int qor(int l, int r)
{
if (l > r)return 0;
int t = __lg(r - l + 1);
return Or[t][l] | Or[t][r - (1 << t) + 1];
}
void sol()
{
n = read(), q = read();
FOR(i, 0, 30)A[i] = BIT(n);
FOR(i, 0, 30) {S[i].clear(); S[i].emplace(0); S[i].emplace(n + 1);}
FOR(i, 1, n)a[i] = read();
FOR(i, 1, n)Or[0][i] = a[i];
FOR(j, 1, 20)FOR(i, 1, n)if (i + (1 << j) - 1 <= n)Or[j][i] = Or[j - 1][i] | Or[j - 1][i + (1 << j - 1)];
FOR(i, 1, n)
{
REP(j, 30, 0)if ((a[i] >> j) & 1)S[j].emplace(i);
}
vector<vector<pa>>ad(31); vector<vector<qry>>qr(31);
FOR(i, 1, n)
{
FOR(l, 0, 30)if (((a[i] >> l) & 1) == 0)
{
int r = l;
while (r <= 30 && ((a[i] >> r) & 1) == 0)r++;
ad[l].pb({r - 1, i}); l = r;
}
}
FOR(t, 1, q)
{
s1[t] = 0;
l[t] = read(), r[t] = read();
vector<int>sta(31, 0);
int mx = -1;
REP(i, 30, 0)
{
int x0 = findl(l[t], i), y0 = findr(r[t], i);
if (x0 > r[t] || y0 < l[t]) {sta[i] = -1;}
else
{
if (mx == -1)mx = i;
if (x0 < y0)sta[i] = 0;
else sta[i] = x0;
}
}
if (mx == -1) {ans1[t] = ans2[t] = 0; continue;}
ans1[t] = (1LL << (mx + 1)) - 1;
int fl = 0;
FOR(i, 0, mx)if (sta[i] == -1)fl = 1;
if (!fl) {ans2[t] = 0; continue;}
FOR(i, 0, mx)if (sta[i] > 0)
{
int x = sta[i];
FOR(j, 0, 30)if ((1LL << j) <= a[x])
{
int tmpx = a[x] - (1LL << j);
if ((tmpx | qor(l[t], x - 1) | qor(x + 1, r[t])) == ans1[t])fl = 0;
}
}
if (!fl) {ans2[t] = 1; continue;}
int ml = inf, mr = -inf;
FOR(i, 0, mx)if (sta[i] == -1)
{
ml = min(ml, i);
mr = max(mr, i);
}
int H = (1LL << mr + 1) - (1LL << ml);
FOR(i, 0, mx)if (sta[i] > 0)
{
int fl = 0, x = sta[i];
FOR(j, ml, mr)fl |= ((a[x] >> j) & 1);
s1[t] += (fl == 0);
}
qr[ml].push_back((qry) {l[t], r[t], t, mr});
}
FOR(i, 0, 30)
{
for (auto [j, x] : ad[i])
{
FOR(t, i, j)A[t].add(x);
}
for (auto tmp : qr[i])
{
int j = tmp.r0; int l = tmp.l, r = tmp.r, id = tmp.id;
int val = A[j].qry(r) - A[j].qry(l - 1);
if (val < s1[id])
{
cerr << "??:" << l << " " << r << endl;
FOR(i, l, r)cerr << a[i] << ' '; cerr << endl;
exit(0);
}
if (val > s1[id]) ans2[id] = 1;
else ans2[id] = 2;
}
}
FOR(i, 1, q)cout << ans1[i] << ' ' << ans2[i] << '\n';
}
signed main()
{
//freopen(".in","r",stdin);
//freopen(".out","w",stdout);
T = read();
while (T--)sol();
return 0;
}
/*
1
2 2
924896435 917026400
1 2
1 2
2 2
*/
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 2ms
memory: 9640kb
input:
1 3 2 10 10 5 1 2 1 3
output:
15 2 15 0
result:
ok 4 number(s): "15 2 15 0"
Test #2:
score: 0
Accepted
time: 453ms
memory: 9588kb
input:
100000 1 1 924704060 1 1 1 1 149840457 1 1 1 1 515267304 1 1 1 1 635378394 1 1 1 1 416239424 1 1 1 1 960156404 1 1 1 1 431278082 1 1 1 1 629009153 1 1 1 1 140374311 1 1 1 1 245014761 1 1 1 1 445512399 1 1 1 1 43894730 1 1 1 1 129731646 1 1 1 1 711065534 1 1 1 1 322643984 1 1 1 1 482420443 1 1 1 1 20...
output:
1073741823 2 268435455 2 536870911 2 1073741823 2 536870911 2 1073741823 2 536870911 2 1073741823 2 268435455 2 268435455 2 536870911 2 67108863 2 134217727 2 1073741823 2 536870911 2 536870911 2 268435455 2 536870911 2 536870911 2 536870911 2 268435455 2 268435455 2 1073741823 2 16777215 2 10737418...
result:
ok 200000 numbers
Test #3:
score: -100
Wrong Answer
time: 2ms
memory: 7652kb
input:
50000 2 2 924896435 917026400 1 2 1 2 2 2 322948517 499114106 1 2 2 2 2 2 152908571 242548777 1 1 1 2 2 2 636974385 763173214 1 2 1 1 2 2 164965132 862298613 1 1 1 2 2 2 315078033 401694789 1 2 1 2 2 2 961358343 969300127 2 2 1 2 2 2 500628228 28065329 1 2 1 2 2 2 862229381 863649944 1 2 2 2 2 2 541...
output:
1073741823 2 1073741823 2 536870911 2 536870911 2 268435455 2 268435455 2 1073741823 2 1073741823 2 268435455 2 1073741823 2 536870911 2 536870911 2 1073741823 2 1073741823 2 536870911 2 536870911 2 1073741823 2 1073741823 2 1073741823 2 268435455 2 536870911 2 536870911 2 1073741823 2 1073741823 2 ...
result:
wrong answer Answer contains longer sequence [length = 200000], but output contains 1552 elements