QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#263695 | #7736. Red Black Tree | ucup-team133 | AC ✓ | 666ms | 27376kb | C++17 | 5.9kb | 2023-11-25 03:29:38 | 2024-02-19 10:14:28 |
Judging History
answer
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define all(x) (x).begin(),(x).end()
template<typename T>
ostream &operator<<(ostream &os, const vector<T> &v) {
for (int i = 0; i < int(v.size()); i++) cout << v[i] << (i + 1 == int(v.size()) ? "" : " ");
return os;
}
template<typename T>
ostream &operator<<(ostream &os, const map<T,int> &mp){
cout << "{";
for (auto e:mp){
cout << e.first << ": " << e.second << ", ";
}
cout << "}";
return os;
}
#ifdef LOCAL
#define debug(x) cerr << #x << " = " << (x) << "(L" << __LINE__ << ")" << endl;
#else
#define debug(x)
#endif
template<typename T>
struct SlopeTrick {
const T inf = numeric_limits<T>::max() / 2;
T min_f;
map<T,int> L,R;
T add_l, add_r;
T min_cut;
int merge_size = 0;
void push_L(const T &a){
merge_size++;
if (!L.count(a-add_l)) L[a-add_l] = 0;
L[a-add_l]++;
}
T top_L() const{
if (L.empty()) return -inf;
T x = (L.rbegin()->first);
return x;
}
T pop_L() {
T res = top_L();
if (!L.empty()){
merge_size--;
assert (L[res]);
L[res]--;
if (L[res] == 0) L.erase(res);
}
return res;
}
void push_R(const T &a){
merge_size++;
if (!R.count(a-add_r)) R[a-add_r] = 0;
R[a-add_r]++;
}
T top_R() const {
if (R.empty()) return inf;
return (R.begin()->first) + add_r;
}
T pop_R(){
T res = top_R();
if (!R.empty()){
merge_size--;
assert (R[res-add_r]);
R[res-add_r]--;
if (R[res-add_r] == 0) R.erase(res-add_r);
}
return res;
}
SlopeTrick() : min_f(0), add_l(0), add_r(0), min_cut(0) {}
int size() const { return merge_size; }
void add_a_minus_x(T a) {
if (min_cut <= a){
min_f += a - min_cut;
a = min_cut;
}
min_f += max(T(0), a - top_R());
push_R(a);
push_L(pop_R());
}
void add_x_minus_a(T a) {
if (min_cut <= a){
a = min_cut;
};
min_f += max(T(0), top_L() - a);
push_L(a);
push_R(pop_L());
}
void add_min_cut(){
min_cut++;
}
void change_min_cut(T p){
//cout << "change_min_cut" << " " << min_cut << " " << p << endl;
if (min_cut <= p) return ;
while (!R.empty()){
auto x = (R.rbegin()->first);
if (x+add_r < p) break;
R.erase(x);
}
int new_min_cut_L = 0;
while (!L.empty()){
auto x = (L.rbegin()->first);
if (x+add_l < p) break;
min_f += (x+add_l-p) * L[x];
new_min_cut_L += L[x];
L.erase(x);
}
if (new_min_cut_L){
if (!L.count(p)) L[p] = 0;
L[p] += new_min_cut_L;
}
min_cut = p;
}
void merge_destructive(SlopeTrick &g) {
//cout << size() << " " << g.size() << endl;
if (g.size() > size()) {
swap(min_f, g.min_f);
swap(L, g.L);
swap(R, g.R);
swap(add_l, g.add_l);
swap(add_r, g.add_r);
swap(min_cut,g.min_cut);
swap(merge_size,g.merge_size);
}
min_f += g.min_f;
merge_size += g.merge_size;
change_min_cut(g.min_cut);
while (not g.L.empty()) add_a_minus_x(g.pop_L());
while (not g.R.empty()) add_x_minus_a(g.pop_R());
}
};
void solve() {
int n;
cin >> n;
string S;
cin >> S;
vector<int> p(n);
for (int i = 1; i < n; i++) cin >> p[i], p[i]--;
vector<int> ans(n);
vector<SlopeTrick<int>> ST(n);
for (int i=0;i<n;i++){
ST[i].min_cut = n+1;
}
vector<vector<int>> fuck_dp(n);
auto debug_dp = [&](int i){
vector<int> dp(n+1,ST[i].min_f);
int p = ST[i].min_cut;
cout << "## " << i << " ## " << dp << endl;
for (auto a:ST[i].L){
for (int j=0;j<=p;j++){
dp[j] += max((a.first-j) * a.second,0);
}
}
cout << "## " << i << " ## " << dp << endl;
for (auto a:ST[i].R){
for (int j=0;j<=p;j++){
dp[j] += max((j-(a.first+ST[i].add_r))*a.second,0);
}
}
cout << "## " << i << " ## " << dp << endl;
for (int j=p+1;j<=n;j++){
dp[j] = n+1;
}
fuck_dp[i] = dp;
};
for (int i = n - 1; i > 0; i--) {
//cout << "start " << i << endl;
if (ST[i].size() == 0) {
//cout << "init_leaf" << endl;
ST[i].add_a_minus_x(0);
ST[i].add_x_minus_a(0);
ST[i].min_cut = 0;
}
ST[i].add_min_cut();
//cout << S << " " << S[i] << endl;
if (S[i] == '0') {
if (not ST[i].R.empty()) {
int tmp = ST[i].pop_R();
ST[i].add_r++;
ST[i].push_R(tmp);
}
} else {
//cout << "SINE" << endl;
if (!ST[i].L.empty()) {
//cout << "FUCK" << endl;
ST[i].push_R(ST[i].pop_L());
ST[i].add_r++;
ST[i].push_L(ST[i].pop_R());
}
}
//debug_dp(i);
//cout << i << endl;
//cout << ST[i].L << " " << ST[i].R << " " << ST[i].min_cut << " " << ST[i].min_f << endl;
//cout << ST[i].add_r << endl;
ans[i] = ST[i].min_f;
ST[p[i]].merge_destructive(ST[i]);
//cout << ST[p[i]].L << " " << ST[p[i]].R << " " << ST[p[i]].min_cut << endl;
}
ans[0] = ST[0].min_f;
//debug_dp(0);
for (int i=0;i<n;i++){
//cout << fuck_dp[i] << endl;
}
cout << ans << "\n";
}
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int T;
cin >> T;
for (; T--;) solve();
return 0;
}
这程序好像有点Bug,我给组数据试试?
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 1ms
memory: 3616kb
input:
2 9 101011110 1 1 3 3 3 6 2 2 4 1011 1 1 3
output:
4 1 2 0 0 0 0 0 0 2 0 0 0
result:
ok 2 lines
Test #2:
score: 0
Accepted
time: 266ms
memory: 21020kb
input:
6107 12 000000001000 1 2 3 2 5 4 4 7 3 8 11 19 1100111101111011110 1 2 1 1 4 5 2 4 3 2 2 7 10 2 11 3 15 5 7 0111110 1 1 2 2 1 5 3 000 1 1 7 1000011 1 2 3 3 5 4 7 0001001 1 1 1 3 5 3 8 00111000 1 1 3 2 5 2 7 11 11111110111 1 1 1 4 5 4 5 2 5 1 15 110101101000010 1 2 3 2 1 5 2 5 6 5 8 7 9 14 10 0101000...
output:
1 1 1 1 0 0 0 0 0 0 0 0 6 2 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 2 1 0 0 0 0 0 0 4 0 0 2 1 0 0 0 0 0 0 4 3 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 6 5 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 5 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 5 3 ...
result:
ok 6107 lines
Test #3:
score: 0
Accepted
time: 485ms
memory: 21284kb
input:
10 100000 10001010000001100001000100001000010100010101100001001110110001000010000110001000000010000011000001000001010001110100000000000000000010011011100000000000001000000000100100100110000000100001010011000000110000000111010100100001100000100100101001000000010000000011100000000000000010001100011100...
output:
22440 21414 19422 13454 5328 2719 1421 1168 1478 661 4662 5037 418 183 2304 501 2008 1643 692 2211 570 1003 967 950 504 124 894 333 775 523 905 197 12 337 195 310 1325 1016 638 50 907 361 179 336 313 102 309 555 733 871 490 414 375 318 66 625 336 267 276 162 203 25 112 216 252 146 42 233 232 333 27 ...
result:
ok 10 lines
Test #4:
score: 0
Accepted
time: 262ms
memory: 18980kb
input:
10 100000 01010111111101011100011111111010011001111111110001100111111101011111110011101111110110111011010111011011010011111110101111111011111111011101011111011001110101111011011010110100011111001101001011111101111101111111111100101101000111111110111101111111111011111100111011101110110101111010101101...
output:
25019 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ...
result:
ok 10 lines
Test #5:
score: 0
Accepted
time: 143ms
memory: 18812kb
input:
10 100000 00111110110011111111111010011111011111101010110111111110011110111111111111000110101110110111111101011111111111010101111111011001110110011101111001110111101101110110101000011111110100101110110100111110001111011100111101011010111111011011100011111011110111111110011110111111001111111010011100...
output:
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ...
result:
ok 10 lines
Test #6:
score: 0
Accepted
time: 219ms
memory: 21532kb
input:
10 100000 00111100100100001111011000100000000000111001100000000000100000101001001010010000001000010010111000001011010000000000001000000000010100000010010010000001000010001000000100000001010000000000000000000001000110000010100100000010000011000000000010010000100010100000000100000100100011000000001000...
output:
4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 4415 ...
result:
ok 10 lines
Test #7:
score: 0
Accepted
time: 147ms
memory: 19040kb
input:
10 100000 00111101111001101110101101111110100001010100011011100001011100000110000100100010111010011001111011100010010011111100000011111011001001000110000101101001011110000000011100001010100001000110110101111010000100000111001110001100001001001000101110100111111000101101100000011001110111001111101011...
output:
210 210 210 210 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ...
result:
ok 10 lines
Test #8:
score: 0
Accepted
time: 205ms
memory: 27376kb
input:
10 100000 00010011111100101111110000110010101110000000001111011110011010011011101011010000111100001001111111111001000110100010001111010111101100101111101100001001100110000011010100110110010101000010111001001010110111011000010100110101110001100110101010101001100010100000100000100101011110000100001001...
output:
6360 6360 4803 4803 1549 1549 1555 1555 1555 1595 1555 1549 1549 1555 1555 1600 1555 1549 1549 1549 1555 1555 1555 1555 1595 1549 1555 1555 1555 1555 1595 1595 1600 1555 1600 1600 1595 1549 1555 1555 1549 1600 1595 1600 1555 1595 1595 1549 1549 1549 1549 1555 1549 1549 1600 1595 1555 1549 1549 1555 ...
result:
ok 10 lines
Test #9:
score: 0
Accepted
time: 666ms
memory: 20936kb
input:
10 100000 11000111101111111101001011010110110111010011000111011111011111110111110000110101111111011101111011111111101110011100011101111111001011111101011111110010011111101111111011101101100110101010011111110111111101100101010011111111111100101111111101111100011100111110111111011111011001111110011101...
output:
18217 12003 6214 6012 5991 3232 2982 3008 3004 2973 3017 1780 1451 1499 1483 1513 1495 1486 1516 1499 1474 1509 1508 1037 743 738 713 722 776 752 731 741 771 759 735 731 755 740 776 733 765 736 738 753 756 739 769 678 359 362 380 364 374 342 370 356 364 393 382 367 385 360 371 370 371 383 387 387 37...
result:
ok 10 lines
Test #10:
score: 0
Accepted
time: 279ms
memory: 18772kb
input:
10 100000 10111111011011110010111111111111110111101110110001011111101110111011111111111101101011111101101001100111011011011101001110110110101010010001010111111111111111111011011011101011011101100001111101111110111110010011011111111011101110111111111110010011110011111011011011111111101111001110111111...
output:
50037 0 50035 0 50034 0 50033 0 50033 0 50032 0 50030 0 50029 0 50029 0 50027 0 50025 0 50024 0 50023 0 50022 0 50021 0 50020 0 50019 0 50019 0 50018 0 50017 0 50015 0 50014 0 50012 0 50012 0 50011 0 50011 0 50010 0 50009 0 50008 0 50006 0 50005 0 50003 0 50002 0 50000 0 49999 0 49998 0 49997 0 4999...
result:
ok 10 lines
Extra Test:
score: 0
Extra Test Passed