//DP

 int LIS(int a[], int n)

 {

     int DP[n];

     int Cnt=-;

     memset(DP, , sizeof(DP));

     for(int i=; i<n; i++ )

     {

         for(int j=; j<i; j++ )

         {

             if( a[i]>a[j] )

             {

                 DP[i] = max(DP[i], DP[j]+);

                 Cnt = max(DP[i], Cnt);//记录最长序列所含元素的个数

             }

         }

     }

     return Cnt+;//因为初始化为0,所以返回结果+1

 }

 //贪心＋二分

 int LIS(int a[])

 {

     int Cnt=;

     int Array[n+];

     Array[] = a[];

     for(int i=; i<n; i++ )

     {

         if( a[i]>Array[Cnt] )

             Array[++Cnt]=a[i];

             else

             {

                 int Index=lower_bound(Array, Array+Cnt+, a[i])-Array;

                 Array[Index]=a[i];

             }

     }

     return Cnt+;

 }