#778421 (C++17) No.2012 Largest Triangle

• 問題: No.2012 Largest Triangle
• ユーザー: 沙耶花
• 提出日時: 2022-07-15 21:58:58
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: WA
• 実行時間: -
• コード長: 1,903 bytes
• コンパイル時間: 4,766 ms
• コンパイル使用メモリ: 269,752 KB
• 実行使用メモリ: 6,832 KB
• 最終ジャッジ日時: 2023-09-10 01:42:02
• 合計ジャッジ時間: 10,405 ms
• ジャッジサーバーID （参考情報）: judge13 / judge14

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 4,376 KB
testcase_01	AC	1 ms; 4,384 KB
testcase_02	AC	2 ms; 4,380 KB
testcase_03	AC	1 ms; 4,380 KB
testcase_04	AC	2 ms; 4,376 KB
testcase_05	AC	2 ms; 4,384 KB
testcase_06	AC	2 ms; 4,376 KB
testcase_07	AC	2 ms; 4,376 KB
testcase_08	AC	2 ms; 4,380 KB
testcase_09	WA	-
testcase_10	AC	2 ms; 4,380 KB
testcase_11	AC	1 ms; 4,380 KB
testcase_12	AC	2 ms; 4,380 KB
testcase_13	AC	1 ms; 4,380 KB
testcase_14	AC	1 ms; 4,376 KB
testcase_15	WA	-
testcase_16	WA	-
testcase_17	WA	-
testcase_18	AC	162 ms; 6,184 KB
testcase_19	AC	162 ms; 6,300 KB
testcase_20	WA	-
testcase_21	AC	160 ms; 6,196 KB
testcase_22	AC	160 ms; 6,252 KB
testcase_23	WA	-
testcase_24	AC	161 ms; 6,180 KB
testcase_25	AC	158 ms; 6,124 KB
testcase_26	WA	-
testcase_27	WA	-
testcase_28	WA	-
testcase_29	WA	-
testcase_30	AC	203 ms; 6,728 KB
testcase_31	WA	-
testcase_32	WA	-
testcase_33	AC	180 ms; 6,232 KB
testcase_34	WA	-
testcase_35	WA	-
testcase_36	WA	-
testcase_37	AC	2 ms; 4,376 KB
testcase_38	WA	-
testcase_39	AC	2 ms; 4,376 KB
testcase_40	AC	2 ms; 4,380 KB
testcase_41	AC	57 ms; 4,728 KB

ソースコード

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001

template <typename T>
struct CHT{
	deque<pair<T,T>> D;
	void add(T a,T b){
		while(true){
			if(D.size()<=1){
				D.emplace_back(a,b);
				break;
			}
			T a3 = a,b3 = b,a2 = D.back().first,b2 = D.back().second;
			D.pop_back();
			T a1 = D.back().first,b1 = D.back().second;
			D.pop_back();
			
			if((a2-a1)*(b3-b2)>=(b2-b1)*(a3-a2)){
				D.emplace_back(a1,b1);
				continue;
			}
			else{
				D.emplace_back(a1,b1);
				D.emplace_back(a2,b2);
				D.emplace_back(a3,b3);
				break;
			}
		}
	}

	T query(T x){
		while(true){
			if(D.size()<=1)break;
			T a1 = D.front().first,b1 = D.front().second;
			D.pop_front();
			T a2 = D.front().first,b2 = D.front().second;
			if(a1*x+b1>=a2*x+b2){
				continue;
			}
			else{
				D.emplace_front(a1,b1);
				break;
			}
		}
		
		return D.front().first*x +	D.front().second;
	}
};

bool check(long long a0,long long b0,long long a1,long long b1,long long x,long long y){
	
	return (a0-a1)*x < (b1-b0)*y;
	
}

int main(){
	
	int n;
	cin>>n;
	vector<pair<long long,long long>> a(n);
	rep(i,n){
		cin>>a[i].first>>a[i].second;
		swap(a[i].first,a[i].second);
	}
	sort(a.begin(),a.end());
	
	CHT<long long> C;
	rep(i,n){
		C.add(a[i].first,-a[i].second);
	}
	
	long long ans = 0;
	deque<pair<long long,long long>> D = C.D;
	rep(i,n){
		
		int l = 0,r = D.size()-1;
		while(r-l>3){
			int m0 = l + (r-l)/3;
			int m1 = l + (r-l)/3 * 2;
			
			if(check(D[m0].first,D[m0].second,D[m1].first,D[m1].second,a[i].second,a[i].first))r = m1;
			else l = m0;			
		}
		
		for(int j=l;j<=r;j++){
			long long cur = 0;
			cur += D[j].second * a[i].first;
			cur += D[j].first * a[i].second;
			ans = min(ans,cur);
		}
	}
	
	cout<<-ans<<endl;
	
    return 0;
}