bzoj1822 [JSOI2010]Frozen Nova 冷冻波（计算几何+二分答案+最大流）

白天写的心不在焉的…一堆奇怪的错误。写个规范点的果然就好多了qaq

首先就是巫师向他能吃到的小精灵建边，小精灵向汇建边，容量均为1.然后二分时间，算出每个巫师能吃几个精灵，由源向巫师建边，容量为算出的该巫师能吃几个精灵。如果小精灵都被吃了则合法。
然后对于一个巫师能否吃到一个小精灵，相当于我们要判断一条线段是否与给定圆相交。注意是线段！所以可能垂线段不是最小距离！需要判断一下垂线段是否与线段相交，如果不相交，显然取圆心到两端点距离较小的那个和r去比较，如果相交则用垂线段的长度去和r比较。那么如何判断垂线段是否与线段相交呢？我们可以通过判断夹角是否是钝角来判断，也就是通过点乘的正负来判断。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 410
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,K,h[N],num=1,cur[N],T=401,lev[N],t[210],in[210],num1,r1[210],r3[210];
struct point{
    int x,y;
    point(int _x=0,int _y=0){x=_x;y=_y;}
    friend point operator-(point a,point b){
        return point(a.x-b.x,a.y-b.y);
    }
}p1[210],p2[210],p3[210];
struct edge{
    int to,next,val;
}data[81000];
inline void add(int x,int y,int val){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=val;
    data[++num].to=x;data[num].next=h[y];h[y]=num;data[num].val=0;
}
inline bool bfs(){
    queue<int>q;memset(lev,0,sizeof(lev));
    q.push(0);lev[0]=1;
    while(!q.empty()){
        int x=q.front();q.pop();
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;if(lev[y]||!data[i].val) continue;
            lev[y]=lev[x]+1;if(y==T) return 1;q.push(y);
        }
    }return 0;
}
inline int dinic(int x,int low){
    if(x==T) return low;int tmp=low;
    for(int &i=cur[x];i;i=data[i].next){
        int y=data[i].to;if(lev[y]!=lev[x]+1||!data[i].val) continue;
        int res=dinic(y,min(tmp,data[i].val));
        if(!res) lev[y]=0;else tmp-=res,data[i].val-=res,data[i^1].val+=res;
        if(!tmp) return low;
    }return low-tmp;
}
inline int dis(point a,point b){
    return (a.x-b.x)*(a.x-b.x)+(a.y-b.y)*(a.y-b.y);
}
inline int dot(point a,point b){return a.x*b.x+a.y*b.y;}
inline bool check(point a,point b){
    int A=a.y-b.y,B=b.x-a.x,C=a.x*b.y-b.x*a.y;
    ll owo=A*A+B*B;if(!owo) return 1;
    for(int k=1;k<=K;++k){
        double dist=0;
        if(dot(p3[k]-a,b-a)<0) dist=dis(p3[k],a);
        else if(dot(p3[k]-b,a-b)<0) dist=dis(p3[k],b);
        else{
            ll len=A*p3[k].x+B*p3[k].y+C;dist=len*len*1.0/owo;
        }if(dist<=r3[k]*r3[k]) return 0;
    }return 1;
}
inline bool jud(int mid){
    num=1;int ans=0;
    for(int i=1;i<=n;++i) data[++num].val=mid/t[i]+1,data[++num].val=0;
    while(num<num1) data[++num].val=1,data[++num].val=0;
    while(bfs()){memcpy(cur,h,sizeof(h));ans+=dinic(0,inf);}
    return ans==m;
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();K=read();
    for(int i=1;i<=n;++i) p1[i].x=read(),p1[i].y=read(),r1[i]=read(),t[i]=read();
    for(int i=1;i<=m;++i) p2[i].x=read(),p2[i].y=read();
    for(int i=1;i<=K;++i) p3[i].x=read(),p3[i].y=read(),r3[i]=read();
    for(int i=1;i<=n;++i) add(0,i,0);
    for(int i=1;i<=m;++i) add(n+i,T,1);
    for(int i=1;i<=n;++i){
        r1[i]*=r1[i];
        for(int j=1;j<=m;++j){
            int len=dis(p1[i],p2[j]);
            if(len>r1[i]) continue;
            if(check(p1[i],p2[j])) add(i,n+j,1),in[j]++;
        }
    }for(int i=1;i<=m;++i) if(!in[i]){puts("-1");return 0;}
    int l=0,r=4e6;num1=num;
    while(l<=r){
        int mid=l+r>>1;
        if(jud(mid)) r=mid-1;else l=mid+1;
    }printf("%d\n",r+1);
    return 0;
}