結果

問題 No.1297 銅像
ユーザー chocorusk
提出日時 2020-11-29 22:16:36
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 331 ms / 2,000 ms
コード長 4,059 bytes
コンパイル時間 1,770 ms
コンパイル使用メモリ 132,880 KB
最終ジャッジ日時 2025-01-16 10:17:04
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 21
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function ‘int main()’:
main.cpp:132:15: warning: ‘dp1’ may be used uninitialized [-Wmaybe-uninitialized]
  132 |     cout<<(ll)dp1<<endl;
      |               ^~~
main.cpp:123:9: note: ‘dp1’ was declared here
  123 |     lll dp1, dp2;
      |         ^~~

ソースコード

diff #
プレゼンテーションモードにする

#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#include <list>
#define popcount __builtin_popcount
using namespace std;
typedef long long ll;
typedef pair<int, int> P;
using lll=__int128_t;
// http://satanic0258.hatenablog.com/entry/2016/08/16/181331
using CHT_TYPE = lll;
class ConvexHullTrickDynamic {
private:
// **************************************************************
struct Line {
CHT_TYPE a, b; // y = ax + b
mutable std::function<const Line*()> getSuc; // ()
bool operator<(const Line& rhs) const {
//
if (rhs.b == IS_QUERY) {
const Line* suc = getSuc();
if (suc == nullptr) return false;
const CHT_TYPE& x = rhs.a;
return (suc->a - a)*x + suc->b - b > 0;
}
if (b == IS_QUERY) {
const Line* suc = rhs.getSuc();
if (suc == nullptr) return true;
const CHT_TYPE& x = a;
return (suc->a - rhs.a)*x + suc->b - rhs.b < 0;
}
//
return a < rhs.a;
}
};
// **********************************************************
class LinesSet : public std::multiset<Line> {
private:
// true -> , false ->
bool flagMin;
public:
// ( false, )
LinesSet(bool flagMin = true) : flagMin(flagMin) {};
// l
inline bool isBad(iterator l) {
const auto&& nel = std::next(l);
if (l == begin()) { // l
if (nel == end()) return false; // l
return l->a == nel->a && l->b <= nel->b;
}
else {
const auto&& prl = std::prev(l);
if (nel == end()) return l->a == prl->a && l->b <= prl->b;
return (prl->b - l->b) * (nel->a - l->a) >= (nel->b - l->b) * (prl->a - l->a);
}
}
// y=ax+b
inline void add(CHT_TYPE a, CHT_TYPE b) {
if (flagMin) a = -a, b = -b;
auto&& it = insert({a, b});
it->getSuc = [=] { return (std::next(it) == end() ? nullptr : &*std::next(it)); };
if (isBad(it)) { erase(it); return; }
while (std::next(it) != end() && isBad(std::next(it))) erase(std::next(it));
while (it != begin() && isBad(std::prev(it))) erase(std::prev(it));
}
// x()
inline CHT_TYPE get(CHT_TYPE x) {
auto&& l = *lower_bound(Line{x, IS_QUERY});
if (flagMin) return -l.a * x - l.b;
else return l.a * x + l.b;
}
};
static const CHT_TYPE IS_QUERY = std::numeric_limits<CHT_TYPE>::lowest();
LinesSet linesSet;
public:
// ( false, )
ConvexHullTrickDynamic(bool flagMin = true) : linesSet(flagMin) {}
// y=ax+b
inline void add(CHT_TYPE a, CHT_TYPE b) { linesSet.add(a, b); }
// x
inline CHT_TYPE get(CHT_TYPE x) { return linesSet.get(x); }
};
int main()
{
int n; cin>>n;
ll c; cin>>c;
ll a[100010], b[100010];
for(int i=0; i<n; i++){
cin>>a[i]>>b[i];
}
ConvexHullTrickDynamic cht1, cht2;
cht1.add(0, 0);
lll dp1, dp2;
for(int i=0; i<n; i++){
dp2=cht1.get(-2*a[i]-(2*i+1)*c)+c*i*(i+1)+2*a[i]*(i+1)+2*b[i];
dp2/=2;
cht2.add(-2*(i+1)*c+2*a[i], -(i+1)*c-2*(i+1)*a[i]+2*dp2+c*(i+1)*(i+1));
dp1=cht2.get(i+1)+c*(i+1)*(i+2);
dp1/=2;
cht1.add(i+1, c*(i+1)*(i+1)+2*dp1);
}
cout<<(ll)dp1<<endl;
return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0