Submission #1319978

#TimeUsernameProblemLanguageResultExecution timeMemory
1319978PieArmyCultivation (JOI17_cultivation)C++20
15 / 100
2094 ms956 KiB
#include<bits/stdc++.h>
typedef long long ll;
#define pb push_back
#define fr first
#define sc second
#define endl '\n'
using namespace std;
#define mid ((left+right)>>1)

const bool boceksizlestir=false;

int h,w,n;
pair<int,int>arr[323];
vector<int>lens;
set<pair<int,int>>st;
map<int,vector<int>>mp;
vector<pair<int,array<int,3>>>cev;
int ans=2e9;

signed main(){
	ios_base::sync_with_stdio(23^23);cin.tie(0);
	cin>>h>>w>>n;
	{
		int a=h,b=w;
		for(int i=1;i<=n;i++){
			cin>>arr[i].fr>>arr[i].sc;
			a=min(a,arr[i].fr-1);
			b=min(b,arr[i].sc-1);
		}
		for(int i=1;i<=n;i++){
			arr[i].fr-=a;
			arr[i].sc-=b;
		}
	}
	sort(arr+1,arr+n+1,[&](const auto&x,const auto&y){
		return x.sc<y.sc;
	});
	lens.pb(w);
	lens.pb(0);
	for(int i=1;i<=n;i++){
		for(int j=i+1;j<=n;j++){
			if(arr[j].sc==arr[i].sc)continue;
			lens.pb(arr[j].sc-arr[i].sc-1);
			lens.pb(arr[j].sc-arr[i].sc-1+w);
		}
		lens.pb(w-arr[i].sc);
	}
	sort(lens.begin(),lens.end());
	lens.resize(unique(lens.begin(),lens.end())-lens.begin());
	for(int k:lens){
		mp.clear();
		st.clear();
		cev.clear();
		bool valid=true;
		for(int i=2;i<=n;i++){
			if(arr[i-1].sc+k+1<arr[i].sc)valid=false;
		}
		if(arr[n].sc+k<w)valid=false;
		if(!valid)continue;
		for(int i=1;i<=n;i++){
			mp[arr[i].sc].pb(i);
			mp[arr[i].sc+k+1].pb(-i);
		}
		multiset<int,greater<int>>as,bs,ss;
		for(auto it=mp.begin();it!=mp.end();it++){
			auto[x,v]=*it;
			for(int y:v){
				if(y<0){
					y*=-1;
					st.erase(st.find({arr[y].fr,y}));
					auto ust=st.upper_bound({arr[y].fr,y});
					auto alt=st.lower_bound({arr[y].fr,y});
					if(alt!=st.begin()&&ust!=st.end()){
						alt--;
						ss.insert(ust->fr-alt->fr-1);
						ss.erase(ss.find(ust->fr-arr[y].fr-1));
						ss.erase(ss.find(arr[y].fr-alt->fr-1));
					}
					else{
						if(alt!=st.begin()){
							alt--;
							ss.erase(ss.find(arr[y].fr-alt->fr-1));
						}
						if(ust!=st.end()){
							ss.erase(ss.find(ust->fr-arr[y].fr-1));
						}
					}
				}
				else{
					auto ust=st.upper_bound({arr[y].fr,y});
					auto alt=st.lower_bound({arr[y].fr,y});
					if(alt!=st.begin()&&ust!=st.end()){
						alt--;
						ss.erase(ss.find(ust->fr-alt->fr-1));
						ss.insert(ust->fr-arr[y].fr-1);
						ss.insert(arr[y].fr-alt->fr-1);
					}
					else{
						if(alt!=st.begin()){
							alt--;
							ss.insert(arr[y].fr-alt->fr-1);
						}
						if(ust!=st.end()){
							ss.insert(ust->fr-arr[y].fr-1);
						}
					}
					st.insert({arr[y].fr,y});
				}
			}
			if(!st.size())break;
			int a=st.begin()->fr-1,b=h-(--st.end())->fr,sum=*ss.begin();
			cev.pb({x,{a,b,sum}});
		}
		if(!cev.size())continue;
		as.clear();
		bs.clear();
		ss.clear();
		queue<pair<int,int>>q;
		int i=0;
		// cerr<<k;
		while(i<cev.size()||q.size()){
			// cerr<<"*";
			int r=INT_MAX;
			if(i<cev.size())r=cev[i].fr;
			if(q.size())r=min(r,q.front().fr);
			if(r>=arr[n].sc+k+1){
				ans=min(ans,k+max((*as.begin())+(*bs.begin()),*ss.begin()));
				break;
			}
			while(i<cev.size()&&cev[i].fr==r){
				as.insert(cev[i].sc[0]);
				bs.insert(cev[i].sc[1]);
				ss.insert(cev[i].sc[2]);
				if(i+1<cev.size()){
					q.push({w+cev[i+1].fr-1,i});
				}
				i++;
			}
			while(q.size()&&q.front().fr==r){
				as.erase(as.find(cev[q.front().sc].sc[0]));
				bs.erase(bs.find(cev[q.front().sc].sc[1]));
				ss.erase(ss.find(cev[q.front().sc].sc[2]));
				q.pop();
			}
			int nr=INT_MAX;
			if(i<cev.size())nr=cev[i].fr;
			if(q.size())nr=min(nr,q.front().fr);
			if(nr>w){
				ans=min(ans,k+max((*as.begin())+(*bs.begin()),*ss.begin()));
			}
		}
	}
	cout<<ans<<endl;
}
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...