15-16 ICPC europe J Saint John Festival (graham扫描法+旋转卡壳）

题意：给n个大点，m个小点$(n<=1e5,m<=5e5)，问有多少个小点，存在3个大点，使小点在三个大点组成的三角形内。

解题思路：

　　首先，易证，若该小点在某三大点行成的三角形内，则该小点必然处在大点组成的凸包内。那么首先，现将大点形成的凸包计算出来，但是若对每个点进行暴力枚举，在最坏情况下，若凸包上点数太多并且脸黑不断找区间，复杂度会达到$O(nm)$，因此要对点是否在凸包内的判断过程进行优化。

　　将凸包划分为若干个三角形，我们可以先将这m个待判断的点进行极角排序，排序后，极角较大的点要么处在较小的点的逆时针方向的三角形内要么在同一个三角形内，要么两个点在同一三角形内。因此在点坐标转移时，采用旋转卡壳，所在的三角形区域也逆时针选择即可。而对于小点是否在三角形内，采用面积判断即可，为了防止爆精度推荐用行列式计算面积，时间复杂度$O(nlogn+mlogm+m)$

　　下面贴上AC代码。

　　

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<ll,ll> pii;
#define rep(i,a,b) for(int i=a;i<b;i++)
#define rept(i,a,b) for(int i=a;i<=b;i++)
#define mes(a,b) memset(a,b,sizeof a)
#define pb push_back
#define dd(x) cout<<#x<<"="<<x<<" "
#define de(x) cout<<#x<<"="<<x<<"\n"
#define fi first
#define se second
#define mp make_pair
pii point[],small[];
pii operator -(const pii &s1,const pii &s2)
{
    return mp(s1.fi-s2.fi,s1.se-s2.se);
}
int s[];
ll chaji(const pii &s1,const pii &s2)
{
    return s1.fi*s2.se-s1.se*s2.fi;
}
bool comp(const pii &s1,const pii &s2)
{
    if((s1.se<point[].se)+(s2.se<point[].se)==) return s1.se>s2.se;
    ll x=chaji(s1-point[],s2-point[]);
    if(x>||(x==&&abs(s1.fi-point[].fi)<abs(s2.fi-point[].fi))) return ;
    else return ;
}
ll sqare(const pii &a,const pii &b,const pii &c)
{
    return abs( (b.fi-a.fi)*(c.se-a.se) -(c.fi-a.fi)*(b.se-a.se) );
}

int main()
{
    ios::sync_with_stdio(false);
    cin.tie();
    int n,m;
    cin>>n;
    rep(i,,n) cin>>point[i].fi>>point[i].se;
    int p=;
    rep(i,,n)
        if( point[i].se<point[p].se||(point[i].se==point[p].se&&point[i].fi<point[p].fi) )
            p=i;
    swap(point[],point[p]);
    //dd(point[0].fi);de(point[0].se);
    sort(point+,point+n,comp);
    int cnt=;
    s[cnt++]=;
    s[cnt++]=;

    rep(i,,n)
    {
        while(cnt>=&&chaji(point[s[cnt-]]-point[i],point[s[cnt-]]-point[i])>=) cnt--;
        s[cnt++]=i;
    }

    cin>>m;
    rep(i,,m) cin>>small[i].fi>>small[i].se;
    sort(small,small+m,comp);
    int ans=;
    p=;

    int start=;
    while(start<m&&chaji(small[start]-point[s[]],point[s[]]-point[s[]])>) start++;
    rep(i,start,m)
    {
        if(small[i].se<point[].se) break;
        while(p<cnt-&&chaji( small[i]-point[s[]],point[s[p+]]-point[s[]] )< ) p++;
        if(p==cnt-) break;
        if(chaji( small[i]-point[s[]],point[s[p]]-point[s[]] )== )
        {
            if((small[i].fi<point[s[]].fi)+(small[i].fi<point[s[p]].fi)==) ans++;
            continue;
        }
        else if(chaji( small[i]-point[s[]],point[s[p+]]-point[s[]] )<)
        {
            if((small[i].fi<point[s[]].fi)+(small[i].fi<point[s[p+]].fi)==) ans++;
            continue;
        }
        if(sqare(point[s[]],point[s[p]],point[s[p+]])==sqare(point[s[]],point[s[p]],small[i])+sqare(point[s[]],point[s[p+]],small[i])+sqare(point[s[p]],point[s[p+]],small[i]))
            ans++;
    }
    cout<<ans<<endl;
    return ;
}