HNOI 2012 射箭 半平面交

http://www.lydsy.com/JudgeOnline/problem.php?id=2732

Description

沫沫最近在玩一個二維的射箭遊戲，如下圖 1 所示，這個遊戲中的 x 軸在地面，第一象限中有一些豎直線段作爲靶子，任意兩個靶子都沒有公共部分，也不會接觸座標軸。沫沫控制一個位於(0,0)的弓箭手，可以朝 0 至 90?中的任意角度（不包括 0度和 90度），以任意大小的力量射出帶有穿透能力的光之箭。由於遊戲中沒有空氣阻力，並且光之箭沒有箭身，箭的軌跡會是一條標準的拋物線，被軌跡穿過的所有靶子都認爲被沫沫射中了，包括那些 只有端點被射中的靶子。這個遊戲有多種模式，其中沫沫最喜歡的是闖關模式。在闖關模式中，第一關只有一個靶 子，射中這個靶子即可進入第二關，這時在第一關的基礎上會出現另外一個靶子，若能夠一箭 雙鵰射中這兩個靶子便可進入第三關，這時會出現第三個靶子。依此類推，每過一關都會新出 現一個靶子，在第 K 關必須一箭射中前 K 關出現的所有 K 個靶子才能進入第 K+1 關，否則遊戲 結束。沫沫花了很多時間在這個遊戲上，卻最多隻能玩到第七關“七星連珠”，這讓她非常困惑。 於是她設法獲得了每一關出現的靶子的位置，想讓你告訴她，最多能通過多少關

Input

輸入文件第一行是一個正整數N，表示一共有N關。接下來有N行，第i+1行是用空格隔開的三個正整數xi，yi1，yi2(yi1<yi2 )，表示第i關出現的靶子的橫座標是xi，縱座標的範圍是從yi1到yi2 。
輸入保證30%的數據滿足N≤100，50%的數據滿足N≤5000，100%的數據滿足N≤100000且給 出的所有座標不超過109 。

Output

僅包含一個整數，表示最多的通關數。
Sample Input

5
2 8 12
5 4 5
3 8 10
6 2 3
1 3 7
Sample Output

3

題解：對於該二次函數我們可以設爲

y=ax²+bx

, 所以有

y1<=ax²1+bx1<=y²

化簡可得

b>=y1/x1−ax1

。

同理另半邊相同。這樣就形成了一個以a，b爲未知量的二元一次方程。而題目也就變成了半平面交問題。 通過二分答案， 複雜度就是nlogn的了。

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<functional>
#include<cmath>
#include<cctype>
#include<cassert>
#include<climits>
using namespace std;
#define For(i,n) for(int i=1;i<=n;i++)
#define Rep(i,n) for(int i=0;i<n;i++)
#define Fork(i,k,n) for(int i=k;i<=n;i++)
#define ForD(i,n) for(int i=n;i;i--)
#define Forp(x) for(int p=pre[x];p;p=next[p])
#define RepD(i,n) for(int i=n;i>=0;i--)
#define MEM(a) memset(a,0,sizeof(a))
#define MEMI(a) memset(a,127,sizeof(a))
#define MEMi(a) memset(a,128,sizeof(a))
#define INF (2139062143)
#define phiF (1000000006)
#define MAXN (1000000+10)

#define dou long double
typedef long long ll;
const dou inf=1e15;
int tot,n;
struct Point{
    dou x,y;
    Point(){}
    Point(dou x0,dou y0):x(x0),y(y0){}
};
struct Line{
    Point s,e;
    dou k;
    int id;
    Line(){}
    Line(Point s0,Point e0):s(s0),e(e0){}
}l[200005],c[200005],L[200005];

dou operator *(Point p1,Point p2){
    return p1.x*p2.y-p1.y*p2.x;
}
Point operator -(Point p1,Point p2){
    return Point(p1.x-p2.x,p1.y-p2.y);
}
bool cmp(Line p1,Line p2){
    if (p1.k==p2.k) return (p2.e-p1.s)*(p1.e-p1.s)>=0;
    else return p1.k<p2.k;
}
Point inter(Line p1,Line p2){
    dou k1=(p2.e-p1.s)*(p1.e-p1.s);
    dou k2=(p1.e-p1.s)*(p2.s-p1.s);
    dou t=(k2)/(k1+k2);
    dou x=p2.s.x+(p2.e.x-p2.s.x)*t;
    dou y=p2.s.y+(p2.e.y-p2.s.y)*t;
    return Point(x,y);
}
bool jud(Line p1,Line p2,Line p3){
    Point p=inter(p1,p2);
    return (p-p3.s)*(p3.e-p3.s)>0;
}

bool check(int mid){
    int Tot(0);
    For (i,tot){
        if (l[i].id<=mid) L[++Tot]=l[i];
    }
    int cnt(1);
    Fork (i,2,Tot)
      if (L[i].k!=L[i-1].k) L[++cnt]=L[i]; 
      
     int ll=1,rr=2;
     c[1]=L[1];c[2]=L[2];
     for (int i=3;i<=Tot;i++){
         while (ll<rr&&jud(c[rr],c[rr-1],L[i])) rr--;
         while (ll<rr&&jud(c[ll],c[ll+1],L[i])) ll++;
         c[++rr]=L[i];
     } 
     while (ll<rr&&jud(c[rr],c[rr-1],c[ll])) rr--;
     while (ll<rr&&jud(c[ll],c[ll+1],c[rr])) ll++;
     if (rr-ll+1<3) return 0;
     else return 1; 
      
    
}


int main(){
    dou x,y1,y2;
    scanf("%d",&n);
    l[++tot].s=Point(-inf,inf);l[tot].e=Point(-inf,-inf);
    l[++tot].s=Point(-inf,-inf);l[tot].e=Point(inf,-inf);
    l[++tot].s=Point(inf,-inf);l[tot].e=Point(inf,inf);
    l[++tot].s=Point(inf,inf);l[tot].e=Point(-inf,inf);
    For (i,n){
        scanf("%llf%llf%llf",&x,&y1,&y2);
         l[++tot].s.x=-1;l[tot].s.y=y1/x-(-1)*x;
         l[tot].e.x=1;l[tot].e.y=y1/x-x;
         l[tot].id=i;
         l[++tot].s.x=1;l[tot].s.y=y2/x-x;
         l[tot].e.x=-1;l[tot].e.y=y2/x+x;
         l[tot].id=i;
    }
    
    For (i,tot) l[i].k=atan2(l[i].e.y-l[i].s.y,l[i].e.x-l[i].s.x);
    sort(l+1,l+1+tot,cmp);
    int ans(0);
    for (int lef=1,righ=n;lef<=righ;){
        int mid=(lef+righ)>>1;
        if (check(mid)) {
            ans=mid;
            lef=mid+1;
        }else righ=mid-1;
        
    }
    printf("%d",ans);
    
}