#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]平面图的更多相关文章

  1. 洛谷 P4074 [WC2013]糖果公园 解题报告

    P4074 [WC2013]糖果公园 糖果公园 树上待修莫队 注意一个思想,dfn序处理链的方法,必须可以根据类似异或的东西,然后根据lca分两种情况讨论 注意细节 Code: #include &l ...

  2. 洛谷P3209 [HNOI2010]平面图判定(2-SAT)

    传送门 看到哈密顿回路就被吓傻了……结果没有好好考虑性质…… 首先,平面图有个性质:边数小于等于$3n-6$(我也不知道为啥),边数大于这个的直接pass 然后考虑原图,先把哈密顿回路单独摘出来,就是 ...

  3. 洛谷 P3209 [HNOI2010] 平面图判定

    链接: P3209 题意: 给出 \(T\) 张无向图 \((T\leq100)\),并给出它对应的哈密顿回路,判断每张图是否是平面图. 分析: 平面图判定问题貌似是有线性做法的,这里给出链接,不是本 ...

  4. 洛谷P4074 [WC2013]糖果公园(莫队)

    传送门 总算会树形莫队了…… 上次听说树形莫队是给树分块,实在看不懂.然后用括号序列的方法做总算能弄明白了 先说一下什么是括号序列,就是在$dfs$的时候,进入的时候记录一下,出去的时候也记录一下 拿 ...

  5. [洛谷P4074][WC2013]糖果公园

    题目大意:给一棵$n$个节点的树,每个点有一个值$C_i$,每次询问一条路径$x->y$,求$\sum\limits_{c}val_c\times \sum\limits_{i=1}^{cnt_ ...

  6. Machine Learning Codeforces - 940F(带修莫队) && 洛谷P4074 [WC2013]糖果公园

    以下内容未验证,有错请指正... 设块大小为T,则块数为$\frac{n}{T}$ 将询问分为$(\frac{n}{T})^2$块(按照左端点所在块和右端点所在块分块),同块内按时间从小到大依次处理 ...

  7. BZOJ1001或洛谷4001 [BJOI2006]狼抓兔子

    BZOJ原题链接 洛谷原题链接 显然就是求最小割. 而对于一个平面图有结论,最大流=最小割=对偶图最短路. 所以这题可用最大流或是转换为对偶图求最短路,这里我是用的对偶图. 虽然理论上按上界算,这题\ ...

  8. 洛谷 P2046 BZOJ 2007 海拔(NOI2010)

    题目描述 YT市是一个规划良好的城市,城市被东西向和南北向的主干道划分为n×n个区域.简单起见,可以将YT市看作 一个正方形,每一个区域也可看作一个正方形.从而,YT城市中包括(n+1)×(n+1)个 ...

  9. 洛谷$P4001\ [ICPC-Beijing 2006]$狼抓兔子 网络流+对偶图

    正解:网络流+对偶图 解题报告: 传送门! $umm$日常看不懂题系列了$kk$.其实就是说,给定一个$n\cdot n$的网格图,求最小割$QwQ$ 然后网格图的话显然是个平面图,又看到数据范围$n ...

随机推荐

  1. 洛谷 - P2774 - 方格取数问题 - 二分图最大独立点集 - 最小割

    https://www.luogu.org/problemnew/show/P2774 把两个相邻的节点连边,这些边就是要方便最小割割断其他边存在的,容量无穷. 这种类似的问题的话,把二分图的一部分( ...

  2. AndroidStudio中添加依赖的三种方式以及如何引入so文件和arr文件

    AndroidStudio中添加依赖的三个选项,如图:    分别为:库依赖(Library dependency).文件依赖(File dependency)和module依赖(Module dep ...

  3. HDU6031:Innumerable Ancestors(二分+倍增数组)

    传送门 题意 n个点的图,有n-1条无向边,m个询问,每次询问 给出两个集合a和b,找到a的一个元素x,b的一个元素y,使得x和y的lca深度最大 分析 这道题如果直接暴力做,复杂度为O(mk1k2* ...

  4. bzoj 2435: [Noi2011]道路修建【树形dp】

    dp求size和deep,然后对每条边模拟求代价即可 #include<iostream> #include<cstdio> #include<algorithm> ...

  5. bzoj 1396: 识别子串 && bzoj 2865: 字符串识别【后缀数组+线段树】

    根据height数组的定义,和当前后缀串i最长的相同串的长度就是max(height[i],height[i+1]),这个后缀贡献的最短不同串长度就是len=max(height[i],height[ ...

  6. GraphicsLab Project学习项目

    作者:i_dovelemon 日期:2016 / 05 / 30 主题:3D,Graphics 引言 进公司以来,主要在学习的就是如何保证代码的质量,以前热爱的图形学也放置了.但是,作为游戏程序员,特 ...

  7. AFNetworking https自签名证书 -1012 解决方案

    AFSecurityPolicy *securityPolicy = [AFSecurityPolicy defaultPolicy]; //是否信任服务器无效或过期的SSL证书.默认为“不”. se ...

  8. iOS WKWebView 退出后停止播放音频/视频

    带有<video>或者<audio>标签的H5网页在播放音频视频时,退出webview后不会自动停止播放,手动处理一下. 1.注入使网页停止音频.视频播放的JS代码(Swift ...

  9. 用JS改变页面中b标签的样式啊 样式的等

    用JS改变页面中b标签的样式啊 样式的等    ,实际上是在标签内加上样式 ,用媒体查询的话 ,不能生效 <!DOCTYPE html> <html lang="en&qu ...

  10. [BZOJ5120]无限之环

    Description 曾经有一款流行的游戏,叫做InfinityLoop,先来简单的介绍一下这个游戏: 游戏在一个n×m的网格状棋盘上进行,其中有些小方格中会有水管,水管可能在方格某些方向的边界的中 ...