Submission #1319983

#TimeUsernameProblemLanguageResultExecution timeMemory
1319983PieArmyCultivation (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>>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;
		deque<int>as,bs,ss;
		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(cev[as.front()].sc[0]+cev[bs.front()].sc[1],cev[ss.front()].sc[2]));
				break;
			}
			while(i<cev.size()&&cev[i].fr==r){
				while(as.size()&&cev[as.back()].sc[0]<cev[i].sc[0])as.pop_back();
				while(bs.size()&&cev[bs.back()].sc[1]<cev[i].sc[1])bs.pop_back();
				while(ss.size()&&cev[ss.back()].sc[2]<cev[i].sc[2])ss.pop_back();
				as.pb(i);
				bs.pb(i);
				ss.pb(i);
				if(i+1<cev.size()){
					q.push({w+cev[i+1].fr-1,i});
				}
				i++;
			}
			while(q.size()&&q.front().fr==r){
				if(as.front()==q.front().sc)as.pop_front();
				if(bs.front()==q.front().sc)bs.pop_front();
				if(ss.front()==q.front().sc)ss.pop_front();
				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(cev[as.front()].sc[0]+cev[bs.front()].sc[1],cev[ss.front()].sc[2]));
			}
		}
	}
	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...