POJ 1228 Grandpa's Estate(バンプ適用:安定バンプ)

POJ 1228 Grandpa's Estate(バンプ適用:安定バンプ)
http://poj.org/problem?id=1228
タイトル:
       n個の点があって、このn個の点はそれぞれ凸包の境界の点です.このn個はちょうど凸包を確定することができますか?
分析:
       n個の凸包境界の点がちょうど唯一の凸包を決定できる要件は、このn個の点で決定された凸包の各辺に少なくとも3個の点があることである.
       現在のn個の点で形成する凸包に、1つの辺が2つの点しかない場合、凸包の外の点を追加して凸包を大きくすることができ、以前のn個の点は凸包の境界にあるからである.
       判断方法:元のn点の凸包点セットを求める.次の3つの方法がある.
1.    凸包の各辺(ここで用いる最小点セット)について、元の各点でその点が現在の辺にあるか否かを判断する.ある辺の点数<3であれば、その凸包が一意でないことを説明する(本題は利用可能で、タイムアウトしない).
2.    バンプの最大点セットと最小点セットをそれぞれ求める(劉汝佳のテンプレートでは、最大点セットは集合中の隣接する3点が共線可能であるが、集合中のすべての点が凸包の境界全体を構成している.最小点セットは集合中の隣接する3点が共線ではなく、点セットの大きさをできるだけ小さくする.最小点セットの点は頂角の端点だけを取り、最大点セットの点は凸包の端にある点だけを取る)次に、最小点セットについて、最小点セットの隣接する2つの点の間に最大点セットにまだ点があるかどうかを見てみましょう.最小点セットの点の相対順序は、最大点セットの相対順序と同じであり、それらの間に他の点が挿入するだけで最大点セットが形成されることに注意してください.
3.    エッジが共線であるか否かを判断する(ここで用いる最大点セット).現在のエッジ番号をiとすると、その前のエッジがi-1であり、後のエッジがi+1である.凸包の各エッジiがi-1と共線またはi+1のエッジと共線である場合、凸包が一意である(すなわち、凸包の各エッジに少なくとも3点である).そうでなければ、1つのエッジiがエッジi-1と共線でないエッジi+1と共線でない限り、凸包は一意ではない.(すなわち、凸包が存在する辺の点数<3の辺).
ACコード:

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace std;
const double eps=1e-10;
int dcmp(double x)
{
    if(fabs(x)<eps) return 0;
    return x<0?-1:1;
}
struct Point
{
    double x,y;
    Point(){}
    Point(double x,double y):x(x),y(y){}
    bool operator==(const Point& B)const
    {
        return dcmp(x-B.x)==0 && dcmp(y-B.y)==0;
    }
    bool operator<(const Point &B)const
    {
        return dcmp(x-B.x)<0 || (dcmp(x-B.x)==0 && dcmp(y-B.y)<0);
    }
};
typedef Point Vector;
Vector operator-(Point A,Point B)
{
    return Vector(A.x-B.x,A.y-B.y);
}
double Cross(Vector A,Vector B)
{
    return A.x*B.y-A.y*B.x;
}
int ConvexHull_1(Point *p,int n,Point *ch)//       
{//        3     
    sort(p,p+n);
    n=unique(p,p+n)-p;
    int m=0;
    for(int i=0;i<n;i++)
    {
        while(m>1 && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2])<=0) m--;//  <=0
        ch[m++]=p[i];
    }
    int k=m;
    for(int i=n-2;i>=0;i--)
    {
        while(m>k && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2])<=0) m--;
        ch[m++]=p[i];
    }
    if(n>1) m--;
    return m;
}
int ConvexHull_2(Point *p,int n,Point *ch)//       
{//      ch     3   
    sort(p,p+n);
    n=unique(p,p+n)-p;
    int m=0;
    for(int i=0;i<n;i++)
    {
        while(m>1 && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2])<0) m--;//  <0
        ch[m++]=p[i];
    }
    int k=m;
    for(int i=n-2;i>=0;i--)
    {
        while(m>k && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2])<0) m--;
        ch[m++]=p[i];
    }
    if(n>1) m--;
    return m;
}
bool check(Point *ch1,int m1,Point *ch2,int m2)//        
{//  ch1                         
    int j;
    for(j=0;j<m2;j++)
        if(ch1[0]==ch2[j]) break;
    for(int i=0;i<m1;i++)
    {
        bool flag=false;
        j=(j+1)%m2;
        while(!(ch2[j]==ch1[(i+1)%m1]) )
        {
            j=(j+1)%m2;
            flag=true;
        }
        if(flag==false) return false;
    }
    return true;
}
const int maxn=1000+5;
Point p[maxn],ch1[maxn],ch2[maxn];
int main()
{
    int T; scanf("%d",&T);
    while(T--)
    {
        int n;
        scanf("%d",&n);
        for(int i=0;i<n;i++)
            scanf("%lf%lf",&p[i].x,&p[i].y);
        if(n<6)
        {
            printf("NO
");
            continue;
        }
        int m1=ConvexHull_1(p,n,ch1);
        int m2=ConvexHull_2(p,n,ch2);

        bool ok=check(ch1,m1,ch2,m2);
        printf("%s
",ok?"YES":"NO");
    }
    return 0;
}