結果

問題 No.913 木の燃やし方
ユーザー tassei903tassei903
提出日時 2024-12-10 00:44:20
言語 C++23(gcc13)
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 486 ms / 3,000 ms
コード長 4,316 bytes
コンパイル時間 4,256 ms
コンパイル使用メモリ 284,796 KB
実行使用メモリ 11,228 KB
最終ジャッジ日時 2024-12-10 00:44:46
合計ジャッジ時間 22,173 ms
ジャッジサーバーID
（参考情報） 		judge2 / 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 7 ms
5,248 KB
testcase_04 AC 7 ms
5,248 KB
testcase_05 AC 8 ms
5,248 KB
testcase_06 AC 6 ms
5,248 KB
testcase_07 AC 4 ms
5,248 KB
testcase_08 AC 486 ms
7,680 KB
testcase_09 AC 419 ms
7,424 KB
testcase_10 AC 412 ms
7,424 KB
testcase_11 AC 442 ms
7,552 KB
testcase_12 AC 445 ms
7,936 KB
testcase_13 AC 418 ms
7,936 KB
testcase_14 AC 422 ms
7,552 KB
testcase_15 AC 463 ms
7,552 KB
testcase_16 AC 424 ms
7,808 KB
testcase_17 AC 420 ms
7,680 KB
testcase_18 AC 456 ms
7,552 KB
testcase_19 AC 398 ms
11,204 KB
testcase_20 AC 455 ms
7,936 KB
testcase_21 AC 451 ms
7,808 KB
testcase_22 AC 448 ms
8,064 KB
testcase_23 AC 452 ms
8,448 KB
testcase_24 AC 400 ms
9,856 KB
testcase_25 AC 371 ms
11,228 KB
testcase_26 AC 453 ms
7,936 KB
testcase_27 AC 409 ms
9,472 KB
testcase_28 AC 438 ms
7,936 KB
testcase_29 AC 426 ms
7,936 KB
testcase_30 AC 453 ms
7,936 KB
testcase_31 AC 393 ms
9,600 KB
testcase_32 AC 388 ms
9,472 KB
testcase_33 AC 412 ms
9,472 KB
testcase_34 AC 455 ms
7,936 KB
testcase_35 AC 431 ms
7,808 KB
testcase_36 AC 426 ms
7,936 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

#define rep1(n) for(int i = 0; i < (int)n; i++)
#define rep2(i, n) for(int i = 0; i < (int)n; i++)
#define rep3(i, l, r) for(int i = (int)l; i < (int)r; i++)
#define overloadrep(a, b, c, x, ...) x
#define rep(...) overloadrep(__VA_ARGS__, rep3, rep2, rep1)(__VA_ARGS__)
#define rrep(i, n) for(int i = (n)-1; i >= 0; i--)
#define rrep3(i, l, r) for(int i = (r)-1; i >= l; i--)
#define all(v) v.begin(), v.end()
#define si(v) (int)v.size()
using namespace std;

template<typename T1, typename T2>
ostream& operator<<(ostream& os, const pair<T1, T2>& p) {
    os << "(" << p.first << ", " << p.second << ")";
    return os;
}

template<typename T>
bool chmin(T &a, const T &b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}

using ll = long long;
using vi = vector<int>;
using vl = vector<ll>;
using pll = pair<ll, ll>;

const int iinf = 1e9 + 10;
const ll linf = 1e18 + 100;

template<bool isMin = true> struct CHT {
#define x first
#define y second
   CHT() = default;
   deque<pll> v;
   bool empty() { return v.empty(); }
   void clear() { return v.clear(); }
   inline int sgn(ll x) { return !x ? 0 : (x < 0 ? -1 : 1); }
   using D = long double;
   inline bool check(const pll& a, const pll& b, const pll& c) {
      if(b.y == a.y or c.y == b.y) return sgn(b.x - a.x) * sgn(c.y - b.y) >= sgn(c.x - b.x) * sgn(b.y - a.y);
      return D(b.x - a.x) * sgn(c.y - b.y) / D(abs(b.y - a.y)) >= D(c.x - b.x) * sgn(b.y - a.y) / D(abs(c.y - b.y));
   }
   void add(ll a, ll b) {
      if(!isMin) a *= -1, b *= -1;
      pll line(a, b);
      if(empty()) v.emplace_front(line);
      else {
         if(ll c = v[0].x; c <= a) {
            if(c == a) {
               if(v[0].y <= b) return;
               v.pop_front();
            }
            while(si(v) >= 2 and check(line, v[0], v[1])) v.pop_front();
            v.emplace_front(line);
         } else {
            assert(a <= v.back().x);
            if(v.back().x == a) {
               if(v.back().y <= b) return;
               v.pop_back();
            }
            while(si(v) >= 2 and check(v[si(v) - 2], v.back(), line)) v.pop_back();
            v.emplace_back(line);
         }
      }
   }
   ll get_y(const pll& a, const ll& x) { return a.x * x + a.y; }
   ll query(ll x) {
      assert(!empty());
      int l = -1, r = si(v) - 1;
      while(l + 1 < r) {
         int m = (l + r) >> 1;
         if(get_y(v[m], x) >= get_y(v[m + 1], x)) l = m;
         else r = m;
      }
      return get_y(v[r], x) * (isMin ? 1 : -1);
   }
   ll query_monotone_inc(ll x) {
      assert(!empty());
      while(si(v) >= 2 and get_y(v[0], x) >= get_y(v[1], x)) v.pop_front();
      return get_y(v[0], x) * (isMin ? 1 : -1);
   }
   ll query_monotone_dec(ll x) {
      assert(!empty());
      while(si(v) >= 2 and get_y(v.back(), x) >= get_y(v.end()[-2], x)) v.pop_back();
      return get_y(v.back(), x) * (isMin ? 1 : -1);
   }
#undef x
#undef y
};

void solve() {
    int n;cin >> n;
    vector<ll> a(n);rep(i, n)cin >> a[i];
    vector<ll> b(n+1);
    rep(i, n)b[i+1] = b[i] + a[i];
    vector<ll> ans(n, linf);

    auto dfs = [&](auto self, int l, int r) -> void {
        if (r - l == 1) {
            chmin(ans[l], a[l] + 1);
            return;
        }
        // cout << l << " " << r << endl;
        int m = (l + r) / 2;
        CHT<true> cht;
        rep(i, m, r) {
            cht.add(-2 * (i+1), b[i+1] + ((ll)(i+1)*(i+1)));
        }
        ll res = linf;
        rep(i, l, m) {
            chmin(res, cht.query_monotone_inc(i) + ((ll)i * i) - b[i]);
            chmin(ans[i], res);
        }
        cht.clear();
        rep(i, l, m) {
            cht.add(-2 * i, -b[i] + ((ll)i * i));
        }
        res = linf;
        rrep3(i, m, r) {
            chmin(res, cht.query_monotone_dec(i+1) + ((ll)(i+1)*(i+1)) + b[i+1]);
            chmin(ans[i], res);
        }
        // rep(i, l, r) {
        //     if (i > l) cout << " ";
        //     cout << ans[i];
        // }
        // cout << endl;
        self(self, l, m);
        self(self, m, r);
    };
    dfs(dfs, 0, n);
    rep(i, n) {
        cout << ans[i] << endl;
    }

}


int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int T = 1;
    // int T;cin >> T;
    while(T--) {
        solve();
    }
    
}
0