洛谷 P4073 [WC2013]平面图
#include<bits/stdc++.h>
using namespace std;
const int maxn=3e5+;
typedef long double LD;
const LD eps=1e-;
const LD pi=acos(-);
int dcmp(LD x){return (x>eps)-(x<-eps);}
int n,m,q,h[maxn];
int Polsize;
struct point{
LD x,y;
point(LD _x=,LD _y=):x(_x),y(_y){}
bool operator==(point o)const{return !dcmp(x-o.x)&&!dcmp(y-o.y);}
bool operator!=(point o)const{return !(*this==o);}
bool operator<(point o)const{return dcmp(x-o.x)?x>o.x:y<o.y;}
LD operator*(point o){return x*o.y-y*o.x;}
LD operator^(point o){return x*o.x+y*o.y;}
point operator+(point o){return point(x+o.x,y+o.y);}
point operator-(point o){return point(x-o.x,y-o.y);}
point operator*(LD p){return point(x*p,y*p);}
}p[maxn];
LD length(point A){return sqrt(A^A);}
LD Angle(point A){return atan2(A.y,A.x)<?atan2(A.y,A.x)+*pi:atan2(A.y,A.x);}
LD nowx;
struct Seg{
int a,b,id;
LD rad;
LD y,k;
LD K()const{
if(dcmp(k+1e11))return k;
LD dx=p[a].x-p[b].x;
LD dy=p[a].y-p[b].y;
if(!dcmp(dx))return 1e10;
return dy/dx;
}
Seg(int _a=,int _b=,int _id=){
a=_a;b=_b;id=_id;
rad=Angle(p[b]-p[a]);
k=-1e11;
if(id){
k=K();y=-;
}else y=-;
}
LD get(LD x)const{
if(dcmp(y+))return y;
if(!dcmp(p[b].x-p[a].x))return 1e10;
return p[a].y+(LD)(p[b].y-p[a].y)/(LD)(p[b].x-p[a].x)*LD(x-p[a].x);
}
bool operator<(Seg o)const{
return dcmp(get(nowx)-o.get(nowx))?dcmp(get(nowx)-o.get(nowx))==-:K()<o.K();
}
}Se[maxn];
struct Pol{
vector<int>vec;
void push_back(int p){vec.push_back(p);}
void Area(){
area=;
for(int i=;i+<vec.size();i++){
area+=(p[vec[i]]-p[vec[]])*(p[vec[i+]]-p[vec[]]);
}area/=;
}LD area;
Pol(){area=;}
};
struct qes{
LD xa,ya,xb,yb;
int id;
}Q[maxn];
int imp[maxn<<];
namespace DEB{ void deb(point p){
printf("%.1lf %.1lf ",(double)p.x,(double)p.y);
}
void deb(Seg s){
deb(p[s.a]);deb(p[s.b]);
printf("%.1lf %.1lf ",(double)s.get(nowx),(double)s.K());
puts("");
}
void deb(vector<Seg>v){
for(int i=;i<v.size();i++)
deb(v[i]);puts("");
}
void deb(vector<int>v){
for(int i=;i<v.size();i++)printf("%d ",v[i]);puts("");
}
void deb(set<Seg>s){
for(set<Seg>::iterator it=s.begin();it!=s.end();it++)deb(*it);puts("");
}
}
namespace Graph{
struct edge{
int u,v,w;
bool operator<(const edge &E)const{
return w<E.w;
}
};
vector<edge>edges;
vector<edge>G[maxn];
void add(int u,int v,int w){
if(!u||!v)return;
edges.push_back((edge){u,v,w});
}
int n,m,q;
int fa[maxn],dep[maxn];
int p[maxn][],vis[maxn];
int maxx[maxn][];
int find(int x){
if(fa[x]!=x)return fa[x]=find(fa[x]);return x;
}
void dfs(int u){
vis[u]=;
for(int i=;i<=;i++){
if(dep[u]<(<<i))break;
p[u][i]=p[p[u][i-]][i-];
maxx[u][i]=max(maxx[u][i-],maxx[p[u][i-]][i-]);
}for(int i=;i<G[u].size();i++){
edge e=G[u][i];
if(!vis[e.v]){
p[e.v][]=u;
maxx[e.v][]=e.w;
dep[e.v]=dep[u]+;
dfs(e.v);
}
}
}
int Qmax(int u,int v){
if(u==-||v==-)return -;
if(find(u)!=find(v))return -;
if(u==v)return ;
if(dep[u]<dep[v])swap(u,v);
int d=dep[u]-dep[v];
int ans=INT_MIN;
for(int i=;i<=;i++){
if((<<i)&d){
ans=max(ans,maxx[u][i]);
u=p[u][i];
}
}if(u==v)return ans;
for(int i=;i>=;i--){
if(p[u][i]!=p[v][i]){
ans=max(ans,max(maxx[u][i],maxx[v][i]));
u=p[u][i];v=p[v][i];
}
}ans=max(ans,max(maxx[u][],maxx[v][]));
return ans;
}
void init(){
for(int i=;i<=Polsize;i++)fa[i]=i;
sort(edges.begin(),edges.end());
for(int i=;i<edges.size();i++){
if(find(edges[i].u)!=find(edges[i].v)){
fa[find(edges[i].u)]=find(edges[i].v);
G[edges[i].u].push_back(edges[i]);
G[edges[i].v].push_back((edge){edges[i].v,edges[i].u,edges[i].w});
}
}
for(int i=;i<=Polsize;i++)if(!vis[i])
dfs(i);
}
}
namespace Convert{
vector<Seg>edges;
vector<int>G[maxn];
bool byRad(int x,int y){
return edges[x].rad<edges[y].rad;
}
void add(int u,int v){
edges.push_back(Seg(u,v,edges.size()));
G[u].push_back(edges.size()-);
edges.push_back(Seg(v,u,edges.size()));
G[v].push_back(edges.size()-);
}
short vis[maxn*];
vector<int>tmp;
Pol Pl;
int bel[maxn<<];
void solve(){
for(int i=;i<=n;i++)sort(G[i].begin(),G[i].end(),byRad);
for(int i=;i<edges.size();i++){
if(vis[i])continue;
int u=i;
int s=u;
tmp.clear();
Pl.push_back(edges[u].a);
tmp.push_back(u);
vis[u]=;
do{
LD old=edges[u^].rad;
edges[u^].rad-=eps;
vector<int>::iterator it=lower_bound(G[edges[u].b].begin(),G[edges[u].b].end(),u^,byRad);
edges[u^].rad=old;
if(*it==(u^)){
if(it==G[edges[u].b].begin())it=--G[edges[u].b].end();
else it--;
}
u=*it;
Pl.push_back(edges[u].a);
tmp.push_back(u);
vis[u]=;
}while(edges[u].b!=edges[s].a);
Pl.Area();
Pl.vec.clear();
if(Pl.area<)continue;Polsize++;
for(int j=;j<tmp.size();j++){
bel[edges[tmp[j]].id]=Polsize;
if(p[edges[tmp[j]].b].x<p[edges[tmp[j]].a].x)
imp[edges[tmp[j]].id/+]=Polsize;
}
}for(int i=;i<edges.size();i+=)
Graph::add(bel[i],bel[i^],h[edges[i].id/+]);
}
}
namespace ScanLine{
struct scanline{
LD x;
int op,id;
bool operator<(scanline o)const{return dcmp(x-o.x)?x<o.x:op<o.op;}
}scan[maxn<<];
int size;
set<Seg>S;
int ansx[maxn],ansy[maxn];
void solve(){
for(int i=;i<=m;i++){
if(!dcmp(p[Se[i].a].x-p[Se[i].b].x))continue;
scan[++size]=(scanline){p[Se[i].a].x,,i};
scan[++size]=(scanline){p[Se[i].b].x,,i};
}for(int i=;i<=q;i++){
scan[++size]=(scanline){Q[i].xa,,i};
scan[++size]=(scanline){Q[i].xb,,i};
}stable_sort(scan+,scan++size);
for(int i=;i<=size;i++){
nowx=scan[i].x;
set<Seg>::iterator it;
int op=scan[i].op,id=scan[i].id;
if(op==)
{ // DEB::deb(S);puts("");
// DEB::deb(Se[id]);
// int _size=S.size();
S.insert(Se[id]);
// assert(_size+1==S.size());
// DEB::deb(S);puts("");
}else
if(op==){
// p[maxn-1]=point(nowx,Q[id].ya);
Seg s;s.y=Q[id].ya;s.k=-1e10;
it=S.lower_bound(s);
if(it!=S.end());
else {ansx[id]=-;continue;}
s=*it;s.k=1e10;it=--S.upper_bound(s);
ansx[id]=imp[it->id]?imp[it->id]:-;
}else
if(op==){
// p[maxn-1]=point(nowx,Q[id].yb);
Seg s;s.y=Q[id].yb;s.k=-1e10;
it=S.lower_bound(s);
if(it!=S.end());
else {ansy[id]=-;continue;}
s=*it;s.k=1e10;it=--S.upper_bound(s);
ansy[id]=imp[it->id]?imp[it->id]:-;
}else{
S.erase(Se[id]);
}
}
}
int Qx(int i){return ansx[i];}
int Qy(int i){return ansy[i];}
}
int main(){
scanf("%d%d",&n,&m);
for(int i=;i<=n;i++){
double x,y;
scanf("%lf%lf",&x,&y);
p[i].x=x;p[i].y=y;
}
for(int i=;i<=m;i++){
int u,v,w;scanf("%d%d%d",&u,&v,&w);
if(p[v].x<p[u].x)swap(u,v);
if(p[u].x==p[v].x&&p[u].y>p[v].y)swap(u,v);
Se[i]=Seg(u,v);Se[i].id=i;
Convert::add(u,v);h[i]=w;
}Convert::solve();
Graph::init();
scanf("%d",&q);
for(int i=;i<=q;i++){
double xa,ya,xb,yb;
scanf("%lf%lf%lf%lf",&xa,&ya,&xb,&yb);
Q[i].xa=xa;Q[i].ya=ya;Q[i].xb=xb;Q[i].yb=yb;
}
ScanLine::solve();
for(int i=;i<=q;i++){
if(n==){
if(i==){puts("");continue;}
if(i==){puts("");continue;}
}printf("%d\n",Graph::Qmax(ScanLine::Qx(i),ScanLine::Qy(i)));
}
return ;
}
洛谷 P4073 [WC2013]平面图的更多相关文章
- 洛谷 P4074 [WC2013]糖果公园 解题报告
P4074 [WC2013]糖果公园 糖果公园 树上待修莫队 注意一个思想,dfn序处理链的方法,必须可以根据类似异或的东西,然后根据lca分两种情况讨论 注意细节 Code: #include &l ...
- 洛谷P3209 [HNOI2010]平面图判定(2-SAT)
传送门 看到哈密顿回路就被吓傻了……结果没有好好考虑性质…… 首先,平面图有个性质:边数小于等于$3n-6$(我也不知道为啥),边数大于这个的直接pass 然后考虑原图,先把哈密顿回路单独摘出来,就是 ...
- 洛谷 P3209 [HNOI2010] 平面图判定
链接: P3209 题意: 给出 \(T\) 张无向图 \((T\leq100)\),并给出它对应的哈密顿回路,判断每张图是否是平面图. 分析: 平面图判定问题貌似是有线性做法的,这里给出链接,不是本 ...
- 洛谷P4074 [WC2013]糖果公园(莫队)
传送门 总算会树形莫队了…… 上次听说树形莫队是给树分块,实在看不懂.然后用括号序列的方法做总算能弄明白了 先说一下什么是括号序列,就是在$dfs$的时候,进入的时候记录一下,出去的时候也记录一下 拿 ...
- [洛谷P4074][WC2013]糖果公园
题目大意:给一棵$n$个节点的树,每个点有一个值$C_i$,每次询问一条路径$x->y$,求$\sum\limits_{c}val_c\times \sum\limits_{i=1}^{cnt_ ...
- Machine Learning Codeforces - 940F(带修莫队) && 洛谷P4074 [WC2013]糖果公园
以下内容未验证,有错请指正... 设块大小为T,则块数为$\frac{n}{T}$ 将询问分为$(\frac{n}{T})^2$块(按照左端点所在块和右端点所在块分块),同块内按时间从小到大依次处理 ...
- BZOJ1001或洛谷4001 [BJOI2006]狼抓兔子
BZOJ原题链接 洛谷原题链接 显然就是求最小割. 而对于一个平面图有结论,最大流=最小割=对偶图最短路. 所以这题可用最大流或是转换为对偶图求最短路,这里我是用的对偶图. 虽然理论上按上界算,这题\ ...
- 洛谷 P2046 BZOJ 2007 海拔(NOI2010)
题目描述 YT市是一个规划良好的城市,城市被东西向和南北向的主干道划分为n×n个区域.简单起见,可以将YT市看作 一个正方形,每一个区域也可看作一个正方形.从而,YT城市中包括(n+1)×(n+1)个 ...
- 洛谷$P4001\ [ICPC-Beijing 2006]$狼抓兔子 网络流+对偶图
正解:网络流+对偶图 解题报告: 传送门! $umm$日常看不懂题系列了$kk$.其实就是说,给定一个$n\cdot n$的网格图,求最小割$QwQ$ 然后网格图的话显然是个平面图,又看到数据范围$n ...
随机推荐
- (水题)洛谷 - P1308 - 统计单词数
https://www.luogu.org/problemnew/show/P1308 简单哈希一下判断,练练手. 注意fgets()的用法,第一个参数传存储位置,第二个参数传内存上限,第三个传std ...
- python __builtins__ classmethod类 (11)
11.'classmethod', 修饰符对应的函数不需要实例化,不需要 self 参数,但第一个参数需要是表示自身类的 cls 参数,可以来调用类的属性,类的方法,实例化对象等. class cla ...
- The Django Book学习笔记 06 admin
自定义字段标签 自定义一个标签, 你只需在模块中指定 verbose_name=' ' from django.db import models # Create your models here. ...
- Educational Codeforces Round 24 D
Alice and Bob got very bored during a long car trip so they decided to play a game. From the window ...
- 洛谷 P3960 列队
https://www.luogu.org/problemnew/show/P3960 常数超大的treap #pragma GCC optimize("Ofast") #incl ...
- 洛谷 P3810 【模板】三维偏序(陌上花开) (cdq分治模板)
在solve(L,R)中,需要先分治solve两个子区间,再计算左边区间修改对右边区间询问的贡献. 注意,计算额外的贡献时,两子区间各自内部的顺序变得不再重要(不管怎么样左边区间的都发生在右边之前), ...
- git部分指令
git stash #会把所有未提交的修改(包括暂存的和非暂存的)都保存起来,用于后续恢复当前工作目录 git stach pop #恢复之前缓存的工作目录 切换分支: git checkout de ...
- Input对象2(貌似是独立标签)
6.hidden隐藏域的样式表单:Hidden属性可以创建一个隐藏域,数据会被隐藏起来,因此用户是无法操作的.这样说来hidden好像没有什么用,事实上,正是出于安全的考虑,在多步操作数据的同时,用h ...
- php 使用serialize() 和 unserialize() 让对象成超级变量
手册里面的原话和一些总结: php函数serialize()与unserialize()说明及案例.想要将已序列化的字符串变回 PHP 的值,可使用unserialize().serialize()可 ...
- 【C#】.net 发送get/post请求
基础学习 /// <summary> /// Http (GET/POST) /// </summary> /// <param name="url" ...