D. Recovering BST 题解(区间dp+二叉搜索树)

题目链接

题目思路

二叉搜索树的定义：就是二叉树中左子树的节点值均小于根节点，右子树的节点值均大于根节点

玄学的dp...

设\(dp[i][j]\)表示是否可以构成合法的二叉搜索树

设\(L[i][j]\)表示是否可以构成合法的左子树

设\(R[i][j]\)表示是否可以构成合法的右子树

然后转移

为啥我总感觉这个转移漏了点什么东西一样，总感觉这样就行了嘛???

代码

#include<bits/stdc++.h>
#define fi first
#define se second
#define debug printf(" I am here\n");
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
mt19937 rnd(time(0));
const ll INF=0x3f3f3f3f3f3f3f3f;
const int maxn=7e2+5,inf=0x3f3f3f3f,mod=20071027;
const double eps=1e-10;
int n;
int a[maxn];
int g[maxn][maxn];
int L[maxn][maxn],R[maxn][maxn],dp[maxn][maxn];
signed main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
    }
    for(int i=1;i<=n;i++){
        L[i][i]=R[i][i]=dp[i][i]=1;
        for(int j=1;j<=n;j++){
            g[i][j]=__gcd(a[i],a[j]);
        }
    }
    for(int len=1;len<=n;len++){
        for(int l=1;l+len-1<=n;l++){
            int r=l+len-1;
            for(int k=l;k<=r;k++){
                if(L[l][k]&&R[k][r]){
                    dp[l][r]=1;
                    if(g[l-1][k]>1) R[l-1][r]=1;
                    if(g[k][r+1]>1) L[l][r+1]=1;
                }
            }
        }
    }
    printf(dp[1][n]?"Yes\n":"No\n");
    return 0;
}