蓝桥杯23年第十四届省赛C++A组-更小的数|暴力双指针到区间DP

题目链接：

蓝桥杯2023年第十四届省赛真题-更小的数 - C语言网 (dotcpp.com)

说明：

根据题目分析出以l为左端点，r为右端点的子串有三种情况：

1. s[l]>s[r]，合法，答案加一

2. s[l]< s[r] ，不合法，这个子串不再考虑

3. 相等，暴力的做法是在这里向里挪动左右指针，继续按照上述的方式判断直到找到大于或者小于，或者左指针大于右指针。于是时间复杂度到了三次方，最差的情况会超时。

这个做法的代码：

#include<bits/stdc++.h>
#define int long long
#define endl '\n'
using namespace std;
const int N =30+10;
int ans = 0;

signed main() {

    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    
    int n;
    string str;
    cin>>str;
    n=str.size();
    
    for(int i=0;i<n-1;i++){
    	for(int j=i+1;j<n;j++){
    		if(str[j]>str[i]){
    			continue;
			}
    		else if(str[j]<str[i]) {
    			ans++;
			}
			else{
				int l=i+1,r=j-1;
				while(l<r){
				if(str[r]>str[l]){
    			break;
			   }
    		else if(str[r]<str[l]) {
    			ans++;break;
			}

           //别忘了 挪动指针
			l++,r--;
				}
			}
    		
		}
	}
    
    
   cout<<ans;
  return 0;
}

那么可以优化的地方其实就在这第三个地方，因为相等的情况我们挪动双指针，其实就是在看这个小一点的区间字符串是否合法，也就是说通过小区间的状态推到大区间的状态，那么状态转移或者这种可以递推的思路启发我们可以考虑动态规划的做法：

因为相等的情况下，子串的合法状态等于l+1，r-1子串的状态，那么这就是一个状态转移的式子，我们用dp[i][j]表示i为左端点j为右端点的区间的子串是否合法，合法为1，不合法为0 ，那么相等情况下dp[i][j]=dp[i+1][j-1]。左大于右的情况，dp[i][j]=1，小于，dp[i][j]=0 。

于是就可以套区间dp的模板了，第一层循环枚举长度，第二层枚举左端点，然后在里面写状态转移的方程。因为需要通过小区间的状态推到大区间的状态，那么第一层枚举长度是很自然的，需要先得到小长度的状态，大长度的状态才能从小长度推出来。而一个长度对应的区间是有很多个的，所以需要枚举起点（或者终点）。

学习链接：

区间DP学习

DP，代码：

#include<bits/stdc++.h>
#define int long long
#define endl '\n'
using namespace std;
const int N =5e3+10;
int ans = 0;
//dp[i][j]表示i为左端点j为右端点的区间是否合法，合法为1，不合法为0 
int dp[N][N]={0};

signed main() {

    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    
    int n;
    string str;
    cin>>str;
    n=str.size();
   
    for(int i=2;i<=n;i++){//第一层 枚举长度 ，长度为1的区间不合法，从2开始 
    	for(int j=0;i+j-1<n;j++){//第二层 枚举左端点，因为知道长度和左端点，右端点也确定 
    		int l=j,r=i+j-1;
    		
    		if(str[r]>str[l]){
    			continue;
			}
    		else if(str[r]<str[l]) {
    			dp[l][r]=1;
    			ans++;
			}
			
			else{//如果左右端点相等，那么就要看左+1，右-1处的大小关系，
			//即此时大的区间的状态可以从小的区间的状态得来，l>=r的dp也已经初始化为0，不用再处理 
				dp[l][r]=dp[l+1][r-1];
				ans+=dp[l][r];
			}
		}
	}
    
    
  cout<<ans;
  return 0;
}