洛谷 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 ...
随机推荐
- E20180502-hm
inject vt. (给…)注射(药物等) ; (给…)注射(液体) ; (给…) 添加; (给…)投入(资金) ; reduce vt. 减少; 缩小; 使还原; 使变弱; vi. ...
- poj1837【背包】
题意: 有一根杆子,给出一些杆子上的位置,位置上能放重物,再给出一些重物的重量. 重物都需要被使用,但是位置不一定都要用到. 问你能有多少种方法让这个杆子平衡. 思路: 在位置上是0/1背包思想,取或 ...
- CodeForces 687C【DP】
题意: 给你n个数,然后让这些数相加组合,然后在这些组合的数里可以再相加组合搞出给定 k,输出这些组合的数. 思路: DP. //在枚举到第i个coin的时,dp[i][j],i 肯定能被a[i]组合 ...
- Codeforces Round #324 (Div. 2)C. Marina and Vasya
A的万般无奈...后来跑了大牛的这份代码发现, 题意是求一个序列与给定的两个序列有t个不同. 只要保证...对应位置就行了.. 所以处理起来非常方便.............. 可是没有感觉是对应位置 ...
- SpringBoot 整合SpringMVC 原理探究
https://blog.csdn.net/cml_blog/article/details/70196572 Spring Web MVC 的配置 Bean :WebMvcProperties
- linux添加开机启动脚本
[root@mysql ~]# ll /etc/rc.local lrwxrwxrwx. 1 root root 13 Mar 12 22:20 /etc/rc.local -> rc.d/rc ...
- AtCoder Regular Contest 083 E - Bichrome Tree
题目传送门:https://arc083.contest.atcoder.jp/tasks/arc083_c 题目大意: 给定一棵树,你可以给这些点任意黑白染色,并且赋上权值,现给定一个序列\(X_i ...
- 小程序setData,视图层没有跟新
如果你完全符合微信介绍的setData使用说明的情况下,发现视图层没有更新,你可以看看我的这种情况. 使用setData的时候,修改的是data中一个对象的值,然后这个对象里面第一层不能含有 numb ...
- Maximal Discount
Description: Linda is a shopaholic. Whenever there is a discount of the kind where you can buy three ...
- 使用cordova把h5应用打包成apk
由于h5应用开发不是本例重点,因此直接提供一个最简单的h5应用代码,此应用使用vue-cli框架开发 此h5应用叫vue1,用webstrom打开vue1,进行npm install安装引用 vue1 ...