QOJ.ac
QOJ
The 2nd Universal Cup Finals is coming! Check out our event page, schedule, and competition rules!
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#648803 | #5466. Permutation Compression | Repeater | WA | 1ms | 3660kb | C++20 | 3.9kb | 2024-10-17 20:29:16 | 2024-10-17 20:29:17 |
Judging History
answer
#include <bits/stdc++.h>
constexpr int INF = 1e9;
template<class Info>
struct SegmentTree
{
int n;
std::vector<Info> info;
SegmentTree() : n(0) {}
SegmentTree(int n_, Info v_ = Info())
{
init(n_, v_);
}
template<class T>
SegmentTree(std::vector<T> init_)
{
init(init_);
}
void init(int n_, Info v_ = Info())
{
init(std::vector(n_, v_));
}
template<class T>
void init(std::vector<T> init_)
{
n = init_.size();
info.assign(4 << std::__lg(n), Info());
std::function<void(int, int, int)> build = [&](int p, int l, int r)
{
if(r - l == 1)
{
info[p] = init_[l];
return;
}
int mid = (l + r) >> 1;
build(p << 1, l, mid);
build(p << 1 | 1, mid, r);
pull(p);
};
build(1, 0, n);
}
void pull(int p)
{
info[p] = info[p << 1] + info[p << 1 | 1];
}
void modify(int p, int l, int r, int x, const Info &v)
{
if(r - l == 1)
{
info[p] = v;
return;
}
int mid = (l + r) >> 1;
if(x < mid) modify(p << 1, l, mid, x, v);
else modify(p << 1 | 1, mid, r, x, v);
pull(p);
}
void modify(int p, const Info &v)
{
modify(1, 0, n, p, v);
}
Info rangeQuery(int p, int l, int r, int x, int y)
{
if(l >= y || r <= x) return Info();
if(l >= x && r <= y) return info[p];
int mid = (l + r) >> 1;
return rangeQuery(p << 1, l, mid, x, y) + rangeQuery(p << 1 | 1, mid, r, x, y);
}
Info rangeQuery(int l, int r)
{
return rangeQuery(1, 0, n, l, r);
}
template<class F>
int findFirst(int p, int l, int r, int x, int y, F pred)
{
if(l >= y || r <= x || !pred(info[p])) return -1;
if(r - l == 1) return l;
int mid = (l + r) >> 1;
int res = findFirst(p << 1, l, mid, x, y, pred);
if(res == -1) res = findFirst(p << 1 | 1, mid, r, x, y, pred);
return res;
}
template<class F>
int findFirst(int l, int r, F pred)
{
return findFirst(1, 0, n, l, r, pred);
}
template<class F>
int findLast(int p, int l, int r, int x, int y, F pred)
{
if(l >= y || r <= x || !pred(info[p])) return -1;
if(r - l == 1) return l;
int mid = (l + r) >> 1;
int res = findLast(p << 1 | 1, mid, r, x, y, pred);
if(res == -1) res = findLast(p << 1, l, mid, x, y, pred);
return res;
}
template<class F>
int findLast(int l, int r, F pred)
{
return findLast(1, 0, n, l, r, pred);
}
};
struct Info
{
int max = 0;
int cnt = 0;
};
Info operator+(Info a, Info b)
{
return {std::max(a.max, b.max), a.cnt + b.cnt};
}
void solve()
{
int n, m, k; std::cin >> n >> m >> k;
std::vector<int> a(n + 2), b(m), vis(n + 1);
for(int i = 1; i <= n; i++) std::cin >> a[i];
for(int i = 0; i < m; i++) std::cin >> b[i], vis[b[i]] = 1;
std::vector<std::pair<int, int>> v;
for(int i = 1; i <= n; i++) if(!vis[a[i]])
v.emplace_back(a[i], i);
std::ranges::sort(v, std::greater());
a[0] = a[n + 1] = INF;
std::vector<Info> init(n + 2);
for(int i = 0; i <= n + 1; i++) init[i] = {a[i], 0};
SegmentTree<Info> segt(init);
std::multiset<int> L;
L.emplace(0);
for(int i = 0; i < k; i++)
{
int x; std::cin >> x;
L.emplace(x);
}
for(auto [x, pos] : v)
{
// std::cerr << x << " " << pos << "\n";
int r = segt.findFirst(pos, n + 2, [&](Info info) -> bool
{
return info.max > x;
});
int l = segt.findLast(0, pos, [&](Info info) -> bool
{
return info.max > x;
});
int len = r - l - 1 - segt.rangeQuery(l, r).cnt;
if(L.empty())
{
std::cout << "NO\n";
return;
}
auto it = *std::prev(L.upper_bound(len));
// std::cerr << l << " " << r << "\n";
if(it == 0)
{
std::cout << "NO\n";
return;
}
L.extract(it);
segt.modify(pos, {0, 1});
// for(auto i : L) std::cerr << i << " ";
// std::cerr << "\n";
}
std::cout << "YES\n";
}
int main()
{
std::ios::sync_with_stdio(false);
std::cin.tie(nullptr);
int t; std::cin >> t;
while(t--) solve();
return 0;
}
/*
1
2 1 1
1 2
1
2
*/
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 0ms
memory: 3660kb
input:
3 5 2 3 5 1 3 2 4 5 2 1 2 4 5 5 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 3 2 2 3 1 2 3 2 2 3
output:
YES YES NO
result:
ok 3 lines
Test #2:
score: -100
Wrong Answer
time: 1ms
memory: 3588kb
input:
100 2 1 2 2 1 2 1 1 2 1 2 1 2 1 2 2 2 1 1 1 2 1 2 6 1 5 3 4 2 5 6 1 3 5 2 1 1 1 6 1 6 2 1 3 6 4 5 1 4 1 2 2 1 4 3 3 2 2 1 3 2 1 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 1 2 1 2 4 4 3 2 1 3 4 2 1 3 4 4 3 1 1 1 1 1 1 1 6 5 1 6 2 5 4 3 1 6 2 4 3 1 4 1 1 1 1 1 1 6 5 3 3 6 1 4 5 2 3 6 1 4 2 3 3 4 4 3 4 3 4 ...
output:
YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES NO YES YES YES YES NO YES YES YES YES YES YES YES YES YES YES NO NO NO YES YES NO YES YES YES YES YES YES YES YES YES YES YES YES YES NO YES YES YES YES YES YES NO YES YES YES YES YES YES YES NO YES YES YES YES Y...
result:
wrong answer 45th lines differ - expected: 'NO', found: 'YES'