zoukankan      html  css  js  c++  java
  • 二分优化lis和STL函数

    LIS:最长上升子序列;

    这个题我们很显然会想到使用dp,

    状态设计:dp[i]代表以a[i]结尾的LIS的长度 
    状态转移:dp[i]=max(dp[i], dp[j]+1) (0<=j< i, a[j]< a[i]) 
    边界处理:dp[i]=1 (0<=j< n) 
    时间复杂度:O(N^2) 

    #include<bits/stdc++.h>
    using namespace std;
    inline int read()
    {
        int x=0,f=1;  char ch=getchar();
        while(!isdigit(ch))  {if(ch=='-')  f=-1;  ch=getchar();}
        while(isdigit(ch))  {x=x*10+ch-'0';  ch=getchar();}
        return x*f;
    }
    using namespace std;
    const int MAXN=100005;
    int n,a[MAXN],dp[MAXN];
    int LIS()
    {
        int ans=1;
        for(int i=1;i<=n;i++)
        {
            dp[i]=1;
            for(int j=1;j<i;j++)
            if(a[i]>a[j])    dp[i]=max(dp[i],dp[j]+1);
            ans=max(ans,dp[i]);
        }
        return ans;
    }
    int main()
    {
           n=read();
        for(int i=1; i<=n; i++)
            cin>>a[i];
        int ans=LIS();
        cout<<ans<<endl;
        return 0;
    }
    View Code

    但是n^2的做法显然会超时,所以介绍一种二分优化的做法;

    用二分+贪心的思想可以将时间复杂度优化至(nlogn);

    a[i]表示第i个原数据。 
    dp[i]表示表示长度为i+1的LIS结尾元素的最小值。 
    利用贪心的思想,对于一个上升子序列,当前添加的最后一个元素越小,越有利于添加新的元素,这样LIS长度更长。 
    因此,我们只需要维护dp数组,其表示的就是长度为i+1的LIS结尾元素的最小值,保证每一位都是最小值,

    这样子dp数组的长度就是LIS的长度。

    这样每次查找就用到了我们的stl函数撒;

    介绍一下upper_boundlower_bound;

    (刚知道这个东西)

    lower_bound( )和upper_bound( )是利用二分查找的方法在一个有序的数组中进行查找的。

    当数组是从小到大时,

    lower_bound( begin,end,num):表示从数组的begin位置到end-1位置二分查找第一个大于或等于num的数字,找到返回该数字的地址,不存在则返回end。通过返回的地址减去起始地址begin,找到数字在数组中的下标。

    upper_bound( begin,end,num):表示从数组的begin位置到end-1位置二分查找第一个大于num的数字,找到返回该数字的地址,不存在则返回end。通过返回的地址减去起始地址begin,找到数字在数组中的下标。

    当数组是从大到小时,我们需要重载lower_bound()和upper_bound();

    struct cmp{bool operator()(int a,int b){return a>b;}};

    lower_bound( begin,end,num,cmp() ):从数组的begin位置到end-1位置二分查找第一个小于或等于num的数字,找到返回该数字的地址,不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

    upper_bound( begin,end,num,cmp() ):从数组的begin位置到end-1位置二分查找第一个小于num的数字,找到返回该数字的地址,不存在则返回end。通过返回的地址减去起始地址begin,得到找到数字在数组中的下标。

    所以我们就可以使用stl函数寻找lis啦;

    针对上面那个题:

    #include<bits/stdc++.h>
    using namespace std;
    #define N 500001
    inline int read()
    {
        int x=0,f=1;  char ch=getchar();
        while(!isdigit(ch))  {if(ch=='-')  f=-1;  ch=getchar();}
        while(isdigit(ch))  {x=x*10+ch-'0';  ch=getchar();}
        return x*f;
    }
    int n,a[N],l[N];
    struct cmp{bool operator()(int a,int b){return a>b;}};
    int main()
    {
        n=read();
        for(int i=1;i<=n;i++)    a[i]=read();
        int con=1,cont=1;
        l[1]=a[1];
        for(int i=2;i<=n;i++)
        {
            if(l[cont]<a[i])    l[++cont]=a[i];
            else l[upper_bound(l+1,l+cont+1,a[i])-l]=a[i];
        }
        cout<<cont<<endl;
        return 0;
    } 
        
    View Code

     所以我们想一下有没有什么dp的题可以用stl写呢?

    嗯...导弹拦截,这个题可以完美的体现stl的好处;

    luogu

    这个题我们需要求出最长单调不升子序列和一个最长单调上升子序列;

    这个题两种写法,学了stl后又写了一个,明显stl代码短很多;

    因为洛谷输入和本校oj不太一样,酌情修改代码...

    #include<bits/stdc++.h>
    using namespace std;
    int a[100005],f[100005],l[100005],n;
    struct cmp{bool operator()(int a,int b){return a>b;}};
    int main()
    {
    //    int n=1;
    //    while(cin>>a[n])    n++;
    //    n--;
        cin>>n;
        for(int i=1;i<=n;i++)    cin>>a[i];
        int con=1,cont=1;
        l[1]=f[1]=a[1];
        for(int i=2;i<=n;i++)
        {
            if(l[cont]>=a[i])l[++cont]=a[i];
            else l[upper_bound(l+1,l+cont+1,a[i],cmp())-l]=a[i];
            if(f[con]<a[i])f[++con]=a[i];
            else f[lower_bound(f+1,f+con+1,a[i])-f]=a[i];
        }
        cout<<cont<<endl<<con;
        return 0;
    }
    /*
    #include<iostream>
    using namespace std;
    int n;
    int h[1001],ht[1001],best[1001];
    int ans=0;
    int main()
    {
        cin>>n;
        for(int i=1;i<=n;i++)
           cin>>h[i];
        best[0]=0x7fffffff;
        for(int i=1;i<=n;i++)
            for(int j=ans;j>=0;j--)
               if(best[j]>=h[i])
               {
                       best[j+1]=h[i];
                    ans=max(ans,j+1);
                    break;
                }
        cout<<ans<<endl;
        ans=0;
        for(int i=1;i<=n;i++)
        {
           for(int j=0;j<=ans;j++)
              {
                   if(ht[j]>=h[i])
                {
                           ht[j]=h[i];
                        break;
                }
              }
              if(ht[ans]<h[i])ht[++ans]=h[i];
        }
        cout<<ans;
        return 0;
    }*/
    View Code

    看了好多手写二分的都快一二百行了,可是我还不会啊...

    所以懒,写了stl函数,才知道代码的精短,核心不到十行;

    总结:寻找最长上升(使用lower_bound)和最长不下降时(使用upper_bound),无需重载;

    寻找最长下降(使用lower_bound)和最长不上升时(使用upper_bound),需重载;

    #include<bits/stdc++.h>
    using namespace std;
    const int N=7e5+10;
    template<typename T>inline void read(T &x)
    {
        x=0;T f=1,ch=getchar();
        while(!isdigit(ch))  {if(ch=='-')  f=-1;  ch=getchar();}
        while(isdigit(ch))  {x=x*10+ch-'0';  ch=getchar();}
        x*=f;
    }
    long long n,f[N],s[N],t[N],l[N],a[N],ans1,ans2,ans3,ans4;
    struct cmp{bool operator()(int a,int b){return a>b;}};
    int main()
    {
        read(n);
        for(int i=1;i<=n;i++)
            read(a[i]);
        l[1]=f[1]=s[1]=t[1]=a[1];
        ans1=ans2=ans3=ans4=1;
        for(int i=2;i<=n;i++)
        {
            if(f[ans1]<a[i]) f[++ans1]=a[i];
            else f[lower_bound(f+1,f+ans1+1,a[i])-f]=a[i];
            if(s[ans2]>a[i]) s[++ans2]=a[i];
            else s[lower_bound(s+1,s+ans2+1,a[i],cmp())-s]=a[i];
            if(t[ans3]>=a[i]) t[++ans3]=a[i];
            else t[upper_bound(t+1,t+ans3+1,a[i],cmp())-t]=a[i];
            if(l[ans4]<=a[i]) l[++ans4]=a[i];
            else l[upper_bound(l+1,l+ans4+1,a[i])-l]=a[i];
        }
        printf("%lld
    %lld
    %lld
    %lld
    ",ans1,ans2,ans3,ans4);
        return 0;
    }
    View Code

  • 相关阅读:
    hdu 5726 GCD
    codeforces 982C Cut 'em all!
    codeforces 982B Bus of Characters
    codeforces 982A Row
    codeforces 983B XOR-pyramid
    codeforces 979D Kuro and GCD and XOR and SUM
    codeforces 983A Finite or not?
    codeforces 984B Minesweeper
    codeforces 979C Kuro and Walking Route
    codeforces 979B Treasure Hunt
  • 原文地址:https://www.cnblogs.com/Tyouchie/p/10477314.html
Copyright © 2011-2022 走看看