이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define fi first
#define se second
#define ll long long
#define ld long double
#define sz(x) ((int)(x).size())
#define all(x) (x).begin(), (x).end()
#define pb push_back
#define mpp make_pair
#define ve vector
using namespace std;
using namespace __gnu_pbds;
template<class T> using oset = tree<T,null_type,less<T>,rb_tree_tag,tree_order_statistics_node_update>;
const ll inf = 1e18; const int iinf = 1e9;
typedef pair<ll, ll> pll;
typedef pair<int, int> pii;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
template <typename T> inline bool chmin(T& a, T b) { return (a > b ? a = b, 1 : 0); }
template <typename T> inline bool chmax(T& a, T b) { return (a < b ? a = b, 1 : 0); }
inline bool in(const pii &a, const pii &b) {
auto &[l1, r1] = b; auto &[l2, r2] = a;
return (l2 >= l1 && r2 <= r1);
}
inline int is(const pii &a, const pii &b) {
auto &[l1, r1] = a; auto &[l2, r2] = b;
return max(0, min(r1, r2) - max(l1, l2) + 1);
}
struct line {
ll k, b, id;
line() : k(0), b(0) {}
line(ll k, ll b, ll id) : k(k), b(b), id(id) {}
inline pll operator()(const ll &x) { return mpp(k * x + b, id); }
};
inline bool bad(const line &a, const line &b, const line &c) {
return (a.b - c.b) * (b.k - a.k) < (a.b - b.b) * (c.k - a.k);
}
ve<line> s;
inline void add(const line &c) {
if (1) return void(s.pb(c));
while (sz(s) >= 2) {
line &a = s[sz(s) - 2], &b = s[sz(s) - 1];
if (bad(a, b, c)) s.pop_back();
else break;
} s.pb(c);
}
inline pll qry(const ll &x) {
pll res = {inf, inf};
for (auto i : s) chmin(res, i(x));
return res;
int l = 0, r = sz(s) - 2, m, ans = -1;
while (l <= r) {
m = l + r >> 1;
s[m + 1](x) < s[m](x) ? ans = m, l = m + 1 : r = m - 1;
} return s[ans + 1](x);
}
ll take_photos(int n, int m, int k, ve<int> R, ve<int> C) {
ve<pii> pts(n);
for (int i = 0; i < n; ++i) pts[i] = {min(R[i], C[i]), max(R[i], C[i])};
sort(all(pts), [](const pii &a, const pii &b) { return mpp(a.se, a.fi) < mpp(b.se, b.fi); });
pts.erase(unique(all(pts)), pts.end());
ve<pii> nw;
for (int i = sz(pts) - 1; ~i; --i) {
if (!sz(nw) || !in(pts[i], nw.back())) nw.pb(pts[i]);
} pts.swap(nw); reverse(all(pts));
n = sz(pts);
ve<ll> isec(n);
for (int i = 0; i + 1 < n; ++i) isec[i] = is(pts[i + 1], pts[i]);
for (int i = 0; i < n; ++i) isec[i] *= isec[i];
ve<int> l(n), r(n);
for (int i = 0; i < n; ++i) l[i] = pts[i].fi, r[i] = pts[i].se + 1;
auto ok = [&](ll u) {
s.clear();
ve<pll> dp(n + 1, {inf, inf});
dp[n] = {0, 0};
for (int i = n - 1; ~i; --i) {
add(line(2 * r[i], dp[i + 1].fi - isec[i] + r[i] * 1ll * r[i], dp[i + 1].se));
auto need = qry(-l[i]);
chmin(dp[i], {need.fi + u + l[i] * 1ll * l[i], need.se + 1});
} return dp[0];
};
ll le = 0, re = m * 1ll * m + 228, mid;
ll ans = re;
while (le <= re) {
mid = le + re >> 1;
ok(mid).se <= k ? ans = mid, re = mid - 1 : le = mid + 1;
}
return ok(ans).fi - ans * k;
}
#ifdef LOCAL
int main() {
int n, m, k;
assert(3 == scanf("%d %d %d", &n, &m, &k));
std::vector<int> r(n), c(n);
for (int i = 0; i < n; i++) {
assert(2 == scanf("%d %d", &r[i], &c[i]));
}
long long ans = take_photos(n, m, k, r, c);
printf("%lld\n", ans);
return 0;
}
#endif
컴파일 시 표준 에러 (stderr) 메시지
aliens.cpp: In function 'pll qry(const long long int&)':
aliens.cpp:56:9: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
56 | m = l + r >> 1;
| ~~^~~
aliens.cpp: In function 'long long int take_photos(int, int, int, std::vector<int>, std::vector<int>)':
aliens.cpp:95:12: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
95 | mid = le + re >> 1;
| ~~~^~~~
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |