#if __INCLUDE_LEVEL__ == 0 #include __BASE_FILE__ void Solve() { int n; IN(n); vector a(n); IN(a); vector b(n); IN(b); vector c(n); struct S { int64_t sum; int64_t len; }; atcoder::lazy_segtree< S, [](const S& x, const S& y) { return S(x.sum + y.sum, x.len + y.len); }, [] { return S(0, 0); }, int64_t, [](int64_t f, S x) { if (f != -1) { x.sum = x.len * f; } return x; }, [](int64_t g, int64_t f) { return g == -1 ? f : g; }, [] { return INT64_C(-1); }> seg_a(n), seg_b(n); for (int k : Rep(0, n)) { seg_a.set(k, {a[k], 1}); seg_b.set(k, {b[k], 1}); { int ok = -1; int ng = k; while (ok + 1 < ng) { int mid = midpoint(ok, ng); (seg_a.get(mid).sum <= a[k] ? ok : ng) = mid; } seg_a.apply(ng, k, a[k]); } { int ok = -1; int ng = k; while (ok + 1 < ng) { int mid = midpoint(ok, ng); (seg_b.get(mid).sum <= b[k] ? ok : ng) = mid; } seg_b.apply(ng, k, b[k]); } int ng = -1; int ok = k + 1; while (ng + 1 < ok) { int mid = midpoint(ng, ok); (seg_a.get(mid).sum < seg_b.get(k - mid).sum ? ng : ok) = mid; } c[k] += seg_a.prod(0, ok).sum + seg_b.prod(0, k - ok + 1).sum; // for (int i : Rep1(0, k)) { // c[k] += min(seg_a.get(i).sum, seg_b.get(k - i).sum); // } } OUT(c); } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); Solve(); } #elif __INCLUDE_LEVEL__ == 1 #include #include template concept MyRange = std::ranges::range && !std::convertible_to; template concept MyTuple = std::__is_tuple_like::value && !MyRange; namespace std { istream& operator>>(istream& is, MyRange auto&& r) { for (auto&& e : r) is >> e; return is; } istream& operator>>(istream& is, MyTuple auto&& t) { apply([&](auto&... xs) { (is >> ... >> xs); }, t); return is; } ostream& operator<<(ostream& os, MyRange auto&& r) { auto sep = ""; for (auto&& e : r) os << exchange(sep, " ") << e; return os; } ostream& operator<<(ostream& os, MyTuple auto&& t) { auto sep = ""; apply([&](auto&... xs) { ((os << exchange(sep, " ") << xs), ...); }, t); return os; } } // namespace std using namespace std; #define Rep(...) [](int l, int r) { return views::iota(min(l, r), r); }(__VA_ARGS__) #define IN(...) (cin >> forward_as_tuple(__VA_ARGS__)) #define OUT(...) (cout << forward_as_tuple(__VA_ARGS__) << '\n') #endif // __INCLUDE_LEVEL__ == 1