洛谷 4095 线性dp

L4095

• 线性dp
• $dp[i][j][0/1/2]$ $a$串前$i$位已匹配 $b$串前$j$位已匹配,且此时后缀空格位置分别在 $a$ $b$ 已匹配子串后 时的 最优答案
• 不可能出现两个已匹配子串后均有空格的情况，因为可以直接把空格去掉减小负贡献
• 字符串每一位都会和空格或其他字符匹配，可以此得出状态转移思路，即$dp[i][j][1]$ 只会从$dp[i][j-1][0/1/2]$转移，因为空格后缀在$a$子串后则说明$a$子串上一次匹配的是加进$a$串的空格，$dp[i][j][2]$相同
• 由题意得出一串空格中的第一位贡献为$-A$,其余贡献均为$-B$，可得出状态转移式

状态转移

dp[i][j][0]=max(dp[i][j][0],dp[i-1][j-1][0]+d[cal(S_a[i])][cal(S_b[j])]);
dp[i][j][0]=max(dp[i][j][0],dp[i-1][j-1][1]+d[cal(S_a[i])][cal(S_b[j])]);
dp[i][j][0]=max(dp[i][j][0],dp[i-1][j-1][2]+d[cal(S_a[i])][cal(S_b[j])]);

dp[i][j][1]=max(dp[i][j][1],max(dp[i][j-1][1]-B,max(dp[i][j-1][2]-A,dp[i][j-1][0]-A)));

dp[i][j][2]=max(dp[i][j][2],max(dp[i-1][j][0]-A,max(dp[i-1][j][1]-A,dp[i-1][j][2]-B)));