codeforces 1272F Two Bracket Sequences

https://codeforces.com/contest/1272/problem/F

3周没训练已经菜得完美融入分段了

看见200就知道n^3,然后完全不知道怎么DP。。。。

看了罗哥代码，发现他用了神奇的spfa

直接设 当前匹配到 s串的前a，t串的前b，当前( 比 )多 v个

即dp[a][b][v]这个情况的最小值是多少

那么就可以用spfa的方式从0 0 0开始，每次取出队首 然后枚举当前放一个( 和放一个 )的情况,去跟新的情况

由于最多只有 [200][200][400]的情况，每个点最多连出去两条边，即(或者)连出的边，边很少的情况spfa很快

然后把a,b,v变成一个int，用来记录状态的转移情况，最后就是从dp[slen][tlen][0]开始倒着跑得到答案

 

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<set>
#include<queue>
#include<stack>
#include<map>
#include<vector>
using namespace std;
struct Q{
    int a,b,v;
}u,v;
queue<Q>q;
char s[210],t[210];
int dp[210][210][500],fa[210][210][500],A[210][210][500];
stack<int>ans;
int main(){
    int i,n,m,a,b,c,x;
    scanf("%s%s",s+1,t+1);
    n=strlen(s+1);
    m=strlen(t+1);
    u.a=u.b=u.v=0;
    memset(dp,33,sizeof(dp));
    dp[0][0][0]=0;
    for(q.push(u);q.size();q.pop()){
        u=q.front();
 
 
        v=u;
        if(s[v.a+1]=='(') v.a++;
        if(t[v.b+1]=='(') v.b++;
        v.v++;
        //cout<<v.a<<" "<<v.b<<" "<<v.v<<endl;
        if(v.v>=0&&v.v<=455&&dp[v.a][v.b][v.v]>dp[u.a][u.b][u.v]+1){
            dp[v.a][v.b][v.v]=dp[u.a][u.b][u.v]+1;
            fa[v.a][v.b][v.v]=u.a*1e6+u.b*1e3+u.v;
            A[v.a][v.b][v.v]=1;
            q.push(v);
        }
 
 
 
        v=u;
        if(s[v.a+1]==')') v.a++;
        if(t[v.b+1]==')') v.b++;
        v.v--;
        if(v.v>=0&&v.v<=455&&dp[v.a][v.b][v.v]>dp[u.a][u.b][u.v]+1){
            dp[v.a][v.b][v.v]=dp[u.a][u.b][u.v]+1;
            fa[v.a][v.b][v.v]=u.a*1e6+u.b*1e3+u.v;
            A[v.a][v.b][v.v]=2;
            q.push(v);
        }
    }
 
    x=n*1e6+m*1e3;
 
    while(x){
        c=x%1000;
        x/=1000;
        b=x%1000;
        x/=1000;
        a=x;
        ans.push(A[a][b][c]);
        x=fa[a][b][c];
    }
    for(;ans.size();ans.pop()){
        if(ans.top()==1) cout<<"(";
        else cout<<")";
    }
    return 0;
}