#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define dbg(x) (cout<<#x<<" = "<<(x)<<'\n') #ifdef HOME const string inputFile = "input.txt"; const string outputFile = "output.txt"; #else const string problemName = ""; const string inputFile = problemName + ".in"; const string outputFile = problemName + ".out"; #endif typedef long long int lld; typedef pair PII; typedef pair PIL; typedef pair PLI; typedef pair PLL; const int INF = (1LL << 31) - 1; const lld LINF = (1LL << 62) - 1; const int dx[] = {1, 0, -1, 0, 1, -1, 1, -1}; const int dy[] = {0, 1, 0, -1, 1, -1, -1, 1}; const int MOD = (int)(1e9) + 7; const int NMAX = 10000 + 5; const int KMAX = 300 + 5; int N, K, sol; vector V[NMAX]; PII RMQ[15][2 * NMAX]; int euler[2 * NMAX], cnt; int first[NMAX]; int lvl[NMAX]; int dad[NMAX]; int A[KMAX]; int B[KMAX]; void dfs(int x) { euler[++cnt] = x; first[x] = cnt; for(auto y : V[x]) { if(y == dad[x]) continue; lvl[y] = lvl[x] + 1; dad[y] = x; dfs(y); euler[++cnt] = x; } } void build() { int i, j, p; for(i = 1; i <= cnt; i++) RMQ[0][i] = make_pair(lvl[euler[i]], euler[i]); for(i = 1, p = 2; 1 + p / 2 <= cnt; i++, p *= 2) for(j = 1; j + p / 2 <= cnt; j++) RMQ[i][j] = min(RMQ[i - 1][j], RMQ[i - 1][j + p / 2]); } int query(int x, int y) { int d = y - x + 1; int i = log2(d + 0.5); int p = (1 << i); return min(RMQ[i][x], RMQ[i][y - p + 1]).second; } int lca(int x, int y) { x = first[x]; y = first[y]; if(x > y) swap(x, y); return query(x, y); } int main() { int i, x, y, z, p; freopen(inputFile.c_str(), "r", stdin); freopen(outputFile.c_str(), "w", stdout); scanf("%d%d", &N, &K); for(i = 1; i <= K; i++) scanf("%d", &A[i]); for(i = 1; i <= K; i++) scanf("%d", &B[i]); for(i = 2; i <= N; i++) { scanf("%d%d", &x, &y); V[x].push_back(y); V[y].push_back(x); } dfs(1); build(); while(K--) { x = A[K + 1]; y = B[K + 1]; z = lca(x, y); p = lvl[x] - lvl[z] + lvl[y] - lvl[z]; sol = max(sol, p); } printf("%d\n", sol); return 0; }