Economic Difficulties

题意翻译

给你两棵树，结点分别是1～A与1～B，然后给了N台设备，并且A树和B树的叶子结点(两棵树的叶子节点数量相同)都是链接电机的，保证这样连接出来的图是平面图。问，最多可以删掉几条边使得每个设备都能连到任意一棵（或两棵）树的根节点（1号点）

题目描述

An electrical grid in Berland palaces consists of 2 grids: main and reserve. Wires in palaces are made of expensive material, so selling some of them would be a good idea! Each grid (main and reserve) has a head node (its number is $ 1 $ ). Every other node gets electricity from the head node. Each node can be reached from the head node by a unique path. Also, both grids have exactly $ n $ nodes, which do not spread electricity further. In other words, every grid is a rooted directed tree on $ n $ leaves with a root in the node, which number is $ 1 $ . Each tree has independent enumeration and nodes from one grid are not connected with nodes of another grid. Also, the palace has $ n $ electrical devices. Each device is connected with one node of the main grid and with one node of the reserve grid. Devices connect only with nodes, from which electricity is not spread further (these nodes are the tree's leaves). Each grid's leaf is connected with exactly one device. In this example the main grid contains $ 6 $ nodes (the top tree) and the reserve grid contains $ 4 $ nodes (the lower tree). There are $ 3 $ devices with numbers colored in blue.It is guaranteed that the whole grid (two grids and $ n $ devices) can be shown in this way (like in the picture above): - main grid is a top tree, whose wires are directed 'from the top to the down', - reserve grid is a lower tree, whose wires are directed 'from the down to the top', - devices — horizontal row between two grids, which are numbered from $ 1 $ to $ n $ from the left to the right, - wires between nodes do not intersect. Formally, for each tree exists a depth-first search from the node with number $ 1 $ , that visits leaves in order of connection to devices $ 1, 2, \dots, n $ (firstly, the node, that is connected to the device $ 1 $ , then the node, that is connected to the device $ 2 $ , etc.). Businessman wants to sell (remove) maximal amount of wires so that each device will be powered from at least one grid (main or reserve). In other words, for each device should exist at least one path to the head node (in the main grid or the reserve grid), which contains only nodes from one grid.

输入输出格式

输入格式

The first line contains an integer $ n $ ( $ 1 \le n \le 1000 $ ) — the number of devices in the palace. The next line contains an integer $ a $ ( $ 1 + n \le a \le 1000 + n $ ) — the amount of nodes in the main grid. Next line contains $ a - 1 $ integers $ p_i $ ( $ 1 \le p_i \le a $ ). Each integer $ p_i $ means that the main grid contains a wire from $ p_i $ -th node to $ (i + 1) $ -th. The next line contains $ n $ integers $ x_i $ ( $ 1 \le x_i \le a $ ) — the number of a node in the main grid that is connected to the $ i $ -th device. The next line contains an integer $ b $ ( $ 1 + n \le b \le 1000 + n $ ) — the amount of nodes in the reserve grid. Next line contains $ b - 1 $ integers $ q_i $ ( $ 1 \le q_i \le b $ ). Each integer $ q_i $ means that the reserve grid contains a wire from $ q_i $ -th node to $ (i + 1) $ -th. The next line contains $ n $ integers $ y_i $ ( $ 1 \le y_i \le b $ ) — the number of a node in the reserve grid that is connected to the $ i $ -th device. It is guaranteed that each grid is a tree, which has exactly $ n $ leaves and each leaf is connected with one device. Also, it is guaranteed, that for each tree exists a depth-first search from the node $ 1 $ , that visits leaves in order of connection to devices.

输出格式

Print a single integer — the maximal amount of wires that can be cut so that each device is powered.

输入输出样例

输入样例 #1

3
6
4 1 1 4 2
6 5 3
4
1 1 1
3 4 2

输出样例 #1

5

输入样例 #2

4
6
4 4 1 1 1
3 2 6 5
6
6 6 1 1 1
5 4 3 2

输出样例 #2

6

输入样例 #3

5
14
1 1 11 2 14 14 13 7 12 2 5 6 1
9 8 3 10 4
16
1 1 9 9 2 5 10 1 14 3 7 11 6 12 2
8 16 13 4 15

输出样例 #3

17

说明

For the first example, the picture below shows one of the possible solutions (wires that can be removed are marked in red): The second and the third examples can be seen below: