이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>
using namespace std;
inline namespace
{
template <typename T>
T fl_div(T a, T b) { return a / b - ((a ^ b) < 0 && a % b); }
template <typename T>
struct Line
{
T m, c;
T operator()(T x) const { return m * x + c; }
};
template <typename T>
struct LineContainerObject
{
T m, c;
mutable T p;
bool operator<(const LineContainerObject &i_line) const { return m < i_line.m; }
bool operator<(T x) const { return p < x; }
};
template <typename T>
struct LineContainer : multiset<LineContainerObject<T>, less<>>
{
void add(const Line<T> &line)
{
auto it1 = Base::insert({line.m, line.c, 0}), it2 = next(it1), it = it1;
while (isect(it1, it2))
it2 = Base::erase(it2);
if (it != Base::begin())
{
it--;
isect(it, next(it));
}
while (it != Base::begin() && prev(it)->p >= it->p)
{
it--;
isect(it, Base::erase(next(it)));
}
}
T query(T x)
{
auto it = Base::lower_bound(x);
return it->m * x + it->c;
}
private:
using Base = multiset<LineContainerObject<T>, less<>>;
using Iterator = typename Base::iterator;
inline static const T INF = numeric_limits<T>::max();
bool isect(Iterator it, Iterator it1)
{
if (it1 == Base::end())
{
it->p = INF;
return 0;
}
if (it->m == it1->m)
it->p = it->c > it1->c ? INF : -INF;
else
it->p = fl_div(it1->c - it->c, it->m - it1->m);
return it->p >= it1->p;
}
};
} // namespace
void solve()
{
int n;
cin >> n;
vector<long> h(n), w(n);
for (long &x : h)
cin >> x;
for (long &x : w)
cin >> x;
long add = 0;
for (long x : w)
add += x;
vector<long> dp(n);
LineContainer<long> cht;
dp[0] = w[0];
cht.add(Line<long>{2 * h[0], dp[0] - h[0] * h[0]});
for (int i = 1; i < n; i++)
{
dp[i] = cht.query(h[i]) - h[i] * h[i] + w[i];
cht.add(Line<long>{2 * h[i], dp[i] - h[i] * h[i]});
}
cout << -dp[n - 1] + add << '\n';
}
int main()
{
ios_base::sync_with_stdio(false), cin.tie(NULL);
solve();
return 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |