当程序运行完毕后，对于所有的(1 ≤i,j ≤n)，都一定有（原题未明确后续条件，默认“(f[i][j] ≤f[n][n])”）。（）

#include <algorithm>
#include <cstdio>
#include <cstring>
#define ll long long

int f[5007][5007];
int a[5007], b[5007]; 
int n;

int main(){ 
    scanf("%d", &n); 
    for (int i=1; i<=n; ++i){
        scanf("%d", &a[i]);
    }
    for(int i=1; i<=n; ++i){
        scanf("%d", &b[i]);
    }
    for(int i=1; i<=n; ++i){
        for(int j=1; j<=n; ++j){ 
            f[i][j] = std::max(f[i-1][j], std::max(f[i-1][j], f[i][j-1]));
            if(a[i]==b[j]){ 
                f[i][j] = std::max(f[i][j], f[i-1][j-1]+1);
            }
        }
    }
    printf("%d\n", f[n][n]); 
    return 0;
}