[APIO2018] New Home 新家(线段树,二分答案,离散化)

[APIO2018] New Home 新家

Solution

对于时间轴我们直接离散化+扫描线,维护每一个商店的加入和删除。

对于询问(x,t)(x,t)(x,t),不好直接回答,这里的关键一步是:我们要求的是kkk种商店最小距离的最大值,于是考虑二分答案。二分一个最大值midmidmid,那么kkk种商店必须都在[x−mid,x+mid][x-mid,x+mid][xmid,x+mid]出现过。我们考虑对于每一个商店维护和它类型相同的商店的前驱。那么[x−mid,x+mid][x-mid,x+mid][xmid,x+mid]的条件就转化为了(x+mid,∞)(x+mid,\infty)(x+mid,)中的商店的前驱都不小于x−midx-midxmid(注意−1-11的特殊情况)。

于是我们用一个setsetset维护每种商店的序列,用线段树维护后缀最小值即可。

时间复杂度O(nlgn⋅lgT)O(nlgn\cdot lgT)O(nlgnlgT)

Details

具体实现时有一些细节:

  • 我们把每一种商店的第一个的前驱设为000
  • 每种商店的最后加一个∞\infty以简化−1-11的特判,具体可见代码。
  • 可能会出现类型坐标时间都相同的商店,因此我们要在线段树每个位置维护一个multisetmultisetmultiset表示该坐标的最小值,而不能直接修改一个坐标的最小值。维护每个类型的setsetset也要是multisetmultisetmultiset
  • 因为怕麻烦,我直接用的是动态开点线段树,跑得也挺轻松的。

Code

#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <ctime>
#include <cassert>
#include <string.h>
//#include <unordered_set>
//#include <unordered_map>
//#include <bits/stdc++.h>#define MP(A,B) make_pair(A,B)
#define PB(A) push_back(A)
#define SIZE(A) ((int)A.size())
#define LEN(A) ((int)A.length())
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define fi first
#define se secondusing namespace std;template<typename T>inline bool upmin(T &x,T y) { return y<x?x=y,1:0; }
template<typename T>inline bool upmax(T &x,T y) { return x<y?x=y,1:0; }typedef long long ll;
typedef unsigned long long ull;
typedef long double lod;
typedef pair<int,int> PR;
typedef vector<int> VI;const lod eps=1e-11;
const lod pi=acos(-1);
const int oo=1<<30;
const ll loo=1ll<<62;
const int mods=998244353;
const int MAXN=600005;
const int MX=1e8+300000;
const int INF=0x3f3f3f3f;//1061109567
/*--------------------------------------------------------------------*/
inline int read()
{int f=1,x=0; char c=getchar();while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+(c^48); c=getchar(); }return x*f;
}
multiset<int> V[MAXN],Set[MAXN];
int nodenum=1,mn[MAXN*30],ls[MAXN*30],rs[MAXN*30],Ans[MAXN],id[MAXN*30],ID=0;
struct Cnode{ int t,x,y; } C[MAXN<<1],Q[MAXN];
void up(int x)
{mn[x]=INF;if (ls[x]) upmin(mn[x],mn[ls[x]]);if (rs[x]) upmin(mn[x],mn[rs[x]]);
}
int query(int x,int l,int r,int L,int R)
{if (!x) return INF;if (l>=L&&r<=R) return mn[x];int mid=(l+r)>>1;if (R<=mid) return query(ls[x],l,mid,L,R);else if (L>mid) return query(rs[x],mid+1,r,L,R);else return min(query(ls[x],l,mid,L,mid),query(rs[x],mid+1,r,mid+1,R));
}
int update(int x,int l,int r,int y,int z)
{if (!x) x=++nodenum;if (l==r) { id[x]=(id[x]?id[x]:++ID),V[id[x]].insert(z),mn[x]=*V[id[x]].begin(); return x; }int mid=(l+r)>>1;if (y<=mid) ls[x]=update(ls[x],l,mid,y,z);else rs[x]=update(rs[x],mid+1,r,y,z);up(x);return x;
}
void clear(int x,int l,int r,int y,int z)
{if (l==r) { V[id[x]].erase(V[id[x]].find(z)); mn[x]=(V[id[x]].size()?*V[id[x]].begin():INF); return; }int mid=(l+r)>>1;if (y<=mid) clear(ls[x],l,mid,y,z);else clear(rs[x],mid+1,r,y,z);up(x);
}int check(int x,int l) { return query(1,1,MX,min(x,(int)1e8+1),MX)>=max(l,1);  }
signed main()
{int n=read(),k=read(),q=read(),num=0;for (int i=1;i<=n;i++){int x=read(),y=read(),a=read(),b=read();C[++num]=(Cnode){a,x,y},C[++num]=(Cnode){b+1,x,-y};}for (int i=1,x,y;i<=q;i++) x=read(),y=read(),Q[i]=(Cnode){y,x,i};sort(C+1,C+num+1,[&](Cnode a,Cnode b){ return (a.t<b.t)||(a.t==b.t&&a.x>b.x); });sort(Q+1,Q+q+1,[&](Cnode a,Cnode b){ return a.t<b.t; });for (int i=1;i<=k;i++) Set[i].insert(1e8+i),update(1,1,MX,1e8+i,0);C[num+1].t=INF;int nw=1;while (nw<=q&&Q[nw].t<C[1].t) Ans[Q[nw].y]=-1,nw++;for (int i=1;i<=num;i++){if (C[i].y>0){int t=C[i].y;Set[t].insert(C[i].x);multiset<int>::iterator it=Set[t].find(C[i].x),pre=it,nxt=it;update(1,1,MX,*(++nxt),*it);if (pre!=Set[t].begin()) update(1,1,MX,*it,*(--pre)),clear(1,1,MX,*(nxt),*pre);else update(1,1,MX,*it,0),clear(1,1,MX,*nxt,0);}else if (C[i].y<0){int t=-C[i].y;multiset<int>::iterator it=Set[t].find(C[i].x),pre=it,nxt=it;clear(1,1,MX,*(++nxt),*it);if (pre!=Set[t].begin()) clear(1,1,MX,*it,*(--pre)),update(1,1,MX,*nxt,*pre);else clear(1,1,MX,*it,0),update(1,1,MX,*nxt,0);Set[t].erase(it);}while (nw<=q&&Q[nw].t<C[i+1].t){int t=Q[nw].x,l=0,r=1e8;while (l<r){int mid=(l+r)>>1;if (check(t+mid+1,t-mid)) r=mid;else l=mid+1;}Ans[Q[nw].y]=(!check(t+r+1,t-r)?-1:r);nw++;}}for (int i=1;i<=q;i++) printf("%d\n",Ans[i]);return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315558.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Codeforces Round #701 (Div. 2) C. Floor and Mod 数学分块

传送门 题意&#xff1a; 给两个数x,yx,yx,y。现在你计算有多少对a(a<x)a(a<x)a(a<x)和b(b<y)b(b<y)b(b<y)使得⌊ab⌋amodb\left \lfloor \frac{a}{b} \right \rfloora\bmod b⌊ba​⌋amodb。 思路&#xff1a; 因为xxx和yyy都是1e91e91e9的范围&#xff0…

AGC011D - Half Reflector(模拟)

AGC011D - Half Reflector Solution 先考虑改变一次。 我们令LLL表示往左走的球&#xff0c;RRR表示往右走的球&#xff0c;xxx表示任意种类的球&#xff0c;(−x)(-x)(−x)表示与xxx相反种类的球。 当球处于ARAARAARA的状态&#xff08;即有一个向右的球在两个AAA机器人之间…

[开源] FreeSql.Tools Razor 生成器

FreeSql 经过半年的开发和坚持维护&#xff0c;在 0.6.x 版本中完成了几大重要事件&#xff1a;1、按小包拆分&#xff0c;每个数据库实现为单独 dll&#xff1b;2、实现 .net framework 4.5 支持&#xff1b;3、同时支持 MySql.Data、MySqlConnector 的实现&#xff1b;4、自定…

Codeforces Round #701 (Div. 2) D. Multiples and Power Differences 思维构造

传送门 题意&#xff1a; 给定一个矩阵aaa&#xff0c;让你构造一个矩阵bbb&#xff0c;要求矩阵bbb的每个元素是aaa对应位置元素的倍数&#xff0c;且矩阵bbb的每两个相邻元素相差为k4(k>1)k^4(k>1)k4(k>1)。注意aaa的元素范围是1<a<161<a<161<a<…

AGC012D - Colorful Balls(并查集)

AGC012D - Colorful Balls Solution 连边题。 找出www最小的球yyy和www最小且颜色和yyy不同的球zzz。 yyy向所有colt̸coly,wtwy≤Ycol_t\not col_y,w_tw_y\leq Ycolt​​coly​,wt​wy​≤Y的球ttt连边。zzz向所有colt̸coly,wtwz≤Ycol_t\not col_y,w_tw_z\leq Ycolt​…

WebAssembly和Blazor:解决了一个存在十年的老问题

本文要点WebAssembly 是一种新的客户端技术&#xff0c;可以在所有现代浏览器&#xff08;包括移动浏览器&#xff09;中实现近乎原生的性能&#xff0c;而且不需要插件。许多语言&#xff0c;包括 C、C#、Go 和 Rust&#xff0c;都可以编译成面向基于栈的 WebAssembly 虚拟机的…

Educational Codeforces Round 103 (Rated for Div. 2) D. Journey dp

传送门 题意&#xff1a; 给n1n1n1个点&#xff0c;每两个点之间有一个字符L(表示i1连向i)L(表示i1连向i)L(表示i1连向i)或者R(表示i连向i1)R(表示i连向i1)R(表示i连向i1)&#xff0c;每秒可以移动一次&#xff0c;每移动一次每两个点之间的方向会互换&#xff0c;问每个点能到…

LG P4074 [WC2013] 糖果公园(带修莫队,树上莫队)

LG P4074 [WC2013] 糖果公园 Solution 树上带修莫队&#xff0c;主要还是复习带修莫队和树上莫队。 带修莫队&#xff1a; 带修莫队要先对lll分块的序号作为第一关键字&#xff0c;对rrr分块的序号作为第二关键字&#xff0c;时间ttt作为第三关键字排序&#xff0c;然后正常…

《电商后台系统产品逻辑解析》学习笔记

文是我阅读《电商产品经理宝典&#xff1a;电商后台系统产品逻辑全解析》一书的学习笔记&#xff0c;为后续我司做家居电商后台系统储备相关领域的业务知识。一、支撑线后台概览“前端用户的一小步&#xff0c;后台系统的一大步”&#xff0c;平时常见的功能如购物车、优惠券等…

P3403 跳楼机 同余最短路

传送门 题意&#xff1a; 思路&#xff1a; 转换一下题目就是用若干x,y,zx,y,zx,y,z能凑出来多少个<h<h<h的数。先考虑两个数y,zy,zy,z的情况&#xff0c;我们如果能求出来这两个数能凑出来的数设为sumsumsum&#xff0c;让后sumkx<hsumkx<hsumkx<h求出来…

LG P4899 [IOI2018] werewolf 狼人(kruskal重构树,二维数点)

LG P4899 [IOI2018] werewolf 狼人 Solution 我们发现010101限制长这样子&#xff1a; ∃x(minids−>x≥L&maxidx−>e≤R)→1\exist_x(min_{id_{s->x}}\geq L\;\;\And\;\;max_{id_{x->e}}\leq R) \to 1∃x​(minids−>x​​≥L&maxidx−>e​​≤R)…

NopCommerce 4.2的安装与运行

、关于NopCommerceNopCommerce是国外ASP.Net领域一个高质量的B2C开源电商项目&#xff0c;最新版本4.2基于ASP.NET Core MVC 2.2和EF Core 2.2开发&#xff0c;其强大的功能特性和插件机制使其成为了.NET领域开源电商项目的标杆。当然&#xff0c;还有一些其他的开源电商项目如…

P1527 [国家集训队]矩阵乘法 整体二分 + 二维树状数组

传送门 题意&#xff1a; 思路&#xff1a; 算是个整体二分的板子啦&#xff0c;不过这个是二维的矩阵&#xff0c;我们只需要把一位树状数组改成二维的&#xff0c;让后动态维护单点加&#xff0c;区间查询前缀和即可。 //#pragma GCC optimize(2) #include<cstdio>…

应用性能问题解决实际案例

某项目在上线前的APT&#xff08;Application Performance Testing应用程序性能测试&#xff09;过程中发现性能问题&#xff0c;性能测试结果影响是否上线&#xff0c;紧急求助外部项目组技术专家。因分属不同项目&#xff0c;只能通过项目组提供的信息进行分析。第一轮评审现…

BZOJ#3786. 星系探索(平衡树,fhq-treap,弱化版ETT)

BZOJ#3786. 星系探索 Solution 子树加&#xff0c;换fatherfatherfather&#xff08;保证还是树&#xff09;&#xff0c;询问到根路径和。 树上路径求和不好动态维护&#xff0c;于是转化到序列上&#xff0c;维护一个括号序&#xff0c;dfndfndfn处贡献为www&#xff0c;fn…

Worker Service in ASP .NET Core

介绍提到 ASP.NET Core&#xff0c;我们多半会想到 ASP.NET MVC、ASP.NET Web API、Razor page 及 Blazor。随着 .NET Core 3.0 的推出&#xff0c;今天会介绍一个全新推出的功能&#xff1a;Work Service 。我们可以在 Visual Studio 2019 中通过预定的项目模版快速创建一个 W…

Codeforces Round #693 (Div. 3) G. Moving to the Capital dp + 思维

传送门 题意&#xff1a; 给一个图&#xff0c;111号点为中心点&#xff0c;定义dis[i]dis[i]dis[i]表示111号点到iii的距离。现在有三种移动方式 (1)(1)(1)从iii移动到jjj且dis[i]<dis[j]dis[i]<dis[j]dis[i]<dis[j]。 (2)(2)(2)从iii移动到jjj且dis[i]>dis[j]dis…

AGC038D - Unique Path(建图)

AGC038D - Unique Path Solution 此题较水。 大概就是简单路径唯一意味着连成一棵树&#xff0c;因此先给这些限制的端点放在同一个连通块内&#xff0c;然后如果有多条路径的限制的两端点在同一个连通块内&#xff0c;则无解。 然后考虑如果没有多条路径的限制&#xff0c;…

ASP.NET Core 奇淫技巧之动态WebApi

一.前言接触到动态WebApi&#xff08;Dynamic Web API&#xff09;这个词的已有几年&#xff0c;是从ABP框架里面接触到的&#xff0c;当时便对ABP的这个技术很好奇&#xff0c;后面分析了一波&#xff0c;也尝试过从ABP剥离一个出来作为独立组件来使用&#xff0c;可是后来因与…

CF1478A - Nezzar and Colorful Ball(数学)

CF1478A - Nezzar and Colorful Balls Solution 真不戳&#xff0c;这AAA题真不戳&#xff0c;我直接好家伙。 讲一下我搞了半个小时的垃圾做法 &#xff08;好吧后来看了看标算好像和我是一样的&#xff09; 。 大概是容易发现你两个数(x,y)(x,y)(x,y)做来做去最后一定是ax…