이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>
using namespace std;
using ll=long long;
struct cake {
	int v, x;
	bool operator<(cake b) const { return x<b.x; }
};
struct node {
	ll v; int c, l, r;
};
int main() {
	ios::sync_with_stdio(0);cin.tie(0);
	int N, M;
	cin>>N>>M;
	cake A[N];
	for(auto&[v,x]:A) cin>>v>>x;
	sort(A, A+N);
	node T[6200100]{};
	int t=N;
	for(int i=0; i<N; i++) {
		int x=A[i].v, p=i, q=i+1, s=1, e=1e9;
		while(s<e) {
			int m=s+e>>1;
			T[q].l=T[p].l, T[q].r=T[p].r;
			if(x<=m) T[q].v=T[p].v, T[q].c=T[p].c, e=m, p=T[p].l, q=T[q].l=++t;
			else T[q].v=T[p].v+x, T[q].c=T[p].c+1, s=m+1, p=T[p].r, q=T[q].r=++t;
		}
	}
	auto qry=[&](int l, int r) {
		int s=1, e=1e9, n=M;
		ll v=0;
		while(s<e) {
			int m=s+e>>1, c=T[r].c-T[l].c;
			if(n<=c) s=m+1, l=T[l].r, r=T[r].r;
			else v+=T[r].v-T[l].v, n-=c, e=m, l=T[l].l, r=T[r].l;
		}
		return v+ll(e)*n;
	};
	auto f=[&](int l, int r) {
		return qry(l, r)-2*(A[r-1].x-A[l].x);
	};
	ll ans=-1e18;
	function<void(int, int, int, int)> dnc=[&](int l, int r, int s, int e) {
		if(l>r || e-l<M) return;
		int m=l+r>>1, n=e;
		ll p=-1e18;
		for(int i=e-1; i>=max(s, m+M); i--) if(auto q=f(m, i); p<q) p=q, n=i;
		ans=max(ans, p);
		dnc(l, m-1, s, n), dnc(m+1, r, n, e);
	};
	dnc(0, N-1, M, N);
	cout<<ans<<'\n';
}
컴파일 시 표준 에러 (stderr) 메시지
cake3.cpp: In function 'int main()':
cake3.cpp:25:11: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
   25 |    int m=s+e>>1;
      |          ~^~
cake3.cpp: In lambda function:
cake3.cpp:36:11: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
   36 |    int m=s+e>>1, c=T[r].c-T[l].c;
      |          ~^~
cake3.cpp: In lambda function:
cake3.cpp:49:10: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
   49 |   int m=l+r>>1, n=e;
      |         ~^~| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |