結果
| 問題 | 
                            No.1494 LCS on Tree
                             | 
                    
| コンテスト | |
| ユーザー | 
                             chocorusk
                         | 
                    
| 提出日時 | 2021-04-30 22:35:01 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 2,640 bytes | 
| コンパイル時間 | 3,627 ms | 
| コンパイル使用メモリ | 188,104 KB | 
| 最終ジャッジ日時 | 2025-01-21 03:45:26 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 43 WA * 4 | 
ソースコード
#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#include <list>
#include <atcoder/all>
#define popcount __builtin_popcount
using namespace std;
using namespace atcoder;
typedef long long ll;
typedef pair<int, int> P;
int n, m;
string s;
vector<P> g[2020];
int a[2020], b[2020];
char c[2020];
int dp[2][2020][2020];
int par[2020];
void dfs(int x, int p){
    for(auto q:g[x]){
        int y=q.first;
        if(y==p) continue;
        par[y]=q.second;
        dfs(y, x);
        for(int i=0; i<=m; i++){
            for(int j=0; j<2; j++){
                dp[j][x][i]=max(dp[j][x][i], dp[j][y][i]);
                if(i) dp[j][x][i]=max(dp[j][x][i], dp[j][x][i-1]);
            }
            if(i && s[i-1]==c[q.second]) dp[0][x][i]=max(dp[0][x][i], dp[0][y][i-1]+1);
            if(i && s[m-i]==c[q.second]) dp[1][x][i]=max(dp[1][x][i], dp[1][y][i-1]+1);
        }
    }
}
int dp1[2][2020][2020];
int main()
{
    cin>>n>>s;
    m=s.size();
    for(int i=0; i<n-1; i++){
        cin>>a[i]>>b[i];
        cin>>c[i];
        a[i]--; b[i]--;
        g[a[i]].push_back({b[i],i});
        g[b[i]].push_back({a[i],i});
    }
    dfs(0, -1);
    int ans=max(dp[0][0][m], dp[1][0][m]);
    for(int i=1; i<n; i++){
        for(int j=0; j<=m; j++){
            for(int k=0; k<2; k++){
                dp1[k][i][j]=max(dp1[k][i][j], dp[k][i][j]);
            }
            if(j && c[par[i]]==s[j-1]){
                dp1[0][i][j]=max(dp1[0][i][j], dp[0][i][j-1]+1);
            }
            if(j && c[par[i]]==s[m-j]){
                dp1[1][i][j]=max(dp1[1][i][j], dp[1][i][j-1]+1);
            }
        }
    }
    for(int x=0; x<n; x++){
        for(int j=0; j<=m; j++){
            multiset<int> st;
            for(auto q:g[x]){
                int y=q.first;
                if(x>0 && q.second==par[x]) continue;
                st.insert(dp1[0][y][j]);
            }
            for(auto q:g[x]){
                int y=q.first;
                if(x>0 && q.second==par[x]) continue;
                st.erase(st.lower_bound(dp1[0][y][j]));
                if(!st.empty()){
                    ans=max(ans, dp1[1][y][m-j]+*st.rbegin());
                }
                st.insert(dp1[0][y][j]);
            }
        }
    }
    cout<<ans<<endl;
    return 0;
}
            
            
            
        
            
chocorusk