8198: USACO 2023 US Open Contest, Gold Problem 3. Tree Merging
[Creator : ]
Description
Having just completed a course in graph algorithms, Bessie the cow has begun coding her very own graph visualizer! Currently, her graph visualizer is only capable of visualizing rooted trees with nodes of distinct values, and it can only perform one kind of operation: merging.
In particular, a merging operation takes any two distinct nodes in a tree with the same parent and merges them into one node, with value equal to the maximum of the values of the two nodes merged, and children a union of all the children of the nodes merged (if any).
Unfortunately, after Bessie performed some merging operations on a tree, her program crashed, losing the history of the merging operations she performed. All Bessie remembers is the tree she started with and the tree she ended with after she performed all her merging operations.
Given her initial and final trees, please determine a sequence of merging operations Bessie could have performed. It is guaranteed that a sequence exists.
Each input consists of T (1≤T≤100) independent test cases. It is guaranteed that the sum of N over all test cases does not exceed 1000.
In particular, a merging operation takes any two distinct nodes in a tree with the same parent and merges them into one node, with value equal to the maximum of the values of the two nodes merged, and children a union of all the children of the nodes merged (if any).
Unfortunately, after Bessie performed some merging operations on a tree, her program crashed, losing the history of the merging operations she performed. All Bessie remembers is the tree she started with and the tree she ended with after she performed all her merging operations.
Given her initial and final trees, please determine a sequence of merging operations Bessie could have performed. It is guaranteed that a sequence exists.
Each input consists of T (1≤T≤100) independent test cases. It is guaranteed that the sum of N over all test cases does not exceed 1000.
Input
The first line contains T, the number of independent test cases. Each test case is formatted as follows.
The first line of each test case contains the number of nodes N (2≤N≤1000) in Bessie's initial tree, which have values 1…N.
Each of the next N−1 lines contains two space-separated node values $v_i, p_i\ (1≤v_i,p_i≤N)$ indicating that the node with value $v_i$ is a child node of the node with value $p_i$ in Bessie's initial tree.
The next line contains the number of nodes M (2≤M≤N) in Bessie's final tree.
Each of the next M−1 lines contains two space-separated node values $v_i, p_i\ (1≤v_i,p_i≤N)$ indicating that the node with value $v_i$ is a child node of the node with value $p_i$ in Bessie's final tree.
Each of the next N−1 lines contains two space-separated node values $v_i, p_i\ (1≤v_i,p_i≤N)$ indicating that the node with value $v_i$ is a child node of the node with value $p_i$ in Bessie's initial tree.
The next line contains the number of nodes M (2≤M≤N) in Bessie's final tree.
Each of the next M−1 lines contains two space-separated node values $v_i, p_i\ (1≤v_i,p_i≤N)$ indicating that the node with value $v_i$ is a child node of the node with value $p_i$ in Bessie's final tree.
Output
For each test case, output the number of merging operations, followed by an ordered sequence of merging operations of that length, one per line.
Each merging operation should be formatted as two distinct space-separated integers: the values of the two nodes to merge in any order.
If there are multiple solutions, output any.
If there are multiple solutions, output any.
Sample 1 Input
1
8
7 5
2 1
4 2
5 1
3 2
8 5
6 2
4
8 5
5 1
6 5
Sample 1 Output
4
2 5
4 8
3 8
7 8