結果

問題 No.703 ゴミ拾い Easy
ユーザー vwxyzvwxyz
提出日時 2024-12-04 15:58:02
言語 C++23(gcc13)
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 303 ms / 1,500 ms
コード長 4,081 bytes
コンパイル時間 4,910 ms
コンパイル使用メモリ 282,832 KB
実行使用メモリ 10,496 KB
最終ジャッジ日時 2024-12-04 15:58:16
合計ジャッジ時間 13,239 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 3 ms
5,248 KB
testcase_15 AC 3 ms
6,816 KB
testcase_16 AC 3 ms
6,820 KB
testcase_17 AC 3 ms
6,820 KB
testcase_18 AC 3 ms
5,248 KB
testcase_19 AC 3 ms
5,248 KB
testcase_20 AC 3 ms
5,248 KB
testcase_21 AC 3 ms
5,248 KB
testcase_22 AC 3 ms
5,248 KB
testcase_23 AC 3 ms
5,248 KB
testcase_24 AC 303 ms
10,240 KB
testcase_25 AC 268 ms
10,368 KB
testcase_26 AC 267 ms
10,240 KB
testcase_27 AC 270 ms
10,368 KB
testcase_28 AC 266 ms
10,216 KB
testcase_29 AC 266 ms
10,240 KB
testcase_30 AC 267 ms
10,240 KB
testcase_31 AC 286 ms
10,112 KB
testcase_32 AC 266 ms
10,240 KB
testcase_33 AC 267 ms
10,240 KB
testcase_34 AC 219 ms
10,368 KB
testcase_35 AC 218 ms
10,316 KB
testcase_36 AC 219 ms
10,292 KB
testcase_37 AC 218 ms
10,208 KB
testcase_38 AC 227 ms
10,240 KB
testcase_39 AC 222 ms
10,240 KB
testcase_40 AC 223 ms
10,496 KB
testcase_41 AC 218 ms
10,240 KB
testcase_42 AC 220 ms
10,240 KB
testcase_43 AC 219 ms
10,368 KB
testcase_44 AC 2 ms
5,248 KB
testcase_45 AC 2 ms
5,248 KB
testcase_46 AC 291 ms
10,240 KB
testcase_47 AC 278 ms
10,240 KB
testcase_48 AC 2 ms
5,248 KB
testcase_49 AC 3 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using uint = unsigned int;
using ll = long long;
using ull = unsigned long long;
template<class T> using V = vector<T>;
template<class T> using VV = V<V<T>>;
constexpr ll TEN(int n) { return (n == 0) ? 1 : 10 * TEN(n-1); }
#define FOR(i, a, b) for(int i=(int)(a);i<(int)(b);i++)
#define rep(i,N) for(int i=0;i<(int)(N);i++)
#define rep1(i,N) for(int i=1;i<=(int)(N);i++)
#define fs first
#define sc second
#define eb emplace_back
#define pb eb
#define all(x) x.begin(),x.end()
template<class T, class U> void chmin(T& t, const U& u) { if (t > u) t = u; }
template<class T, class U> void chmax(T& t, const U& u) { if (t < u) t = u; }
// bit op
int popcnt(uint x) { return __builtin_popcount(x); }
int popcnt(ull x) { return __builtin_popcountll(x); }
int bsr(uint x) { return 31 - __builtin_clz(x); }
int bsr(ull x) { return 63 - __builtin_clzll(x); }
int bsf(uint x) { return __builtin_ctz(x); }
int bsf(ull x) { return __builtin_ctzll(x); }
template<class T>

//que_incrはmax_yに入るものが単調増加ならtrue,単調減少ならfalse
struct ConvexHull {
  using L = array<T, 2>;
  bool que_incr;
  ConvexHull(bool _que_incr) : que_incr(_que_incr) {}
  deque<L> lines;
  // can remove mid?
  static bool is_need(L mid, L left, L right) {
    assert(left[0] <= mid[0] && mid[0] <= right[0]);
    return (right[0]-mid[0])*(left[1]-mid[1]) < (mid[0]-left[0])*(mid[1]-right[1]);
  }
  //work with 2^(60 + 64)
  /*static bool is_need(L mid, L left, L right) {
  assert(left[0] <= mid[0] && mid[0] <= right[0]);
  ll a = (right[0]-mid[0]), b = (left[1]-mid[1]), c = (mid[0]-left[0]), d
  = (mid[1]-right[1]);
  long double x = (long double)(a) * b - (long double)(c) * d;
  if (abs(x) > (1LL << 60)) return x < 0;
  int fl = b < 0, fr = d < 0;
  if (fl != fr) return fl == 1;
  ull z = ull(a) * ull(abs(b)) - ull(c) * ull(abs(d));
  if (fl == 0) return (1ULL << 63) < z;
  return z < (1ULL << 63);
  }*/
  void insert_front(L l) {
    if (lines.empty()) {
      lines.push_front(l);
      return;
    }
    assert(l[0] <= lines[0][0]);
    if (l[0] == lines[0][0]) {
      if (l[1] <= lines[0][1]) return;
      lines.pop_front();
    }
    while (lines.size() >= 2 && !is_need(lines.front(), l, lines[1])) {
      lines.pop_front();
    }
    lines.push_front(l);
  }
  void insert_back(L l) {
    if (lines.empty()) {
      lines.push_back(l);
      return;
    }
    assert(lines.back()[0] <= l[0]);
    if (lines.back()[0] == l[0]) {
      if (l[1] <= lines.back()[1]) return;
      lines.pop_back();
    }
    while (lines.size() >= 2 && !is_need(lines.back(),lines[lines.size()-2], l)) {
      lines.pop_back();
    }
    lines.push_back(l);
  }
  /**
  Insert line
  line's degree must be minimum or maximum
  */
  void insert_line(L line) {
    if (lines.empty()) {
      lines.push_back(line);
      return;
    }
    if (line[0] <= lines[0][0]) insert_front(line);
    else if (lines.back()[0] <= line[0]) insert_back(line);
    else assert(false); //line's degree must be minimum or maximum
  }
  /// get maximum y
  T b_x;
  T first = true;
  T max_y(T x) {
    assert(lines.size());
    auto value = [&](L l) { return l[0] * x + l[1]; };
    if (que_incr) {
      assert(first || b_x <= x);
      first = false; b_x = x;
      while (lines.size() >= 2 &&value(lines[0]) <= value(lines[1])) {
        lines.pop_front();
      }
      return value(lines.front());
    } else {
      assert(first || x <= b_x);
      first = false; b_x = x;
      while (lines.size() >= 2 && value(lines[lines.size()-2]) >= value(lines.back())) {
        lines.pop_back();
      }
      return value(lines.back());
    }
  }
};

int main(){
  int N;cin>>N;
  vector<ll> A(N);
  vector<ll> X(N);
  vector<ll> Y(N);
  for(int i=0;i<N;i++){
    cin>>A[i];
  }
  for(int i=0;i<N;i++){
    cin>>X[i];
  }
  for(int i=0;i<N;i++){
    cin>>Y[i];
  }
  ConvexHull<ll> dp(true);
  ll cost=0;
  for(int i=0;i<N;i++){
    dp.insert_line({2*X[i],-cost-X[i]*X[i]-Y[i]*Y[i]});
    cost=-dp.max_y(A[i])+A[i]*A[i];
  }
  ll ans=cost;
  cout<<ans<<"\n";
}
0