This article is about the solution to a recent problem from the CCF NOI 2018 Winter Camp, the penultimate stage before the Chinese national team is selected. I believe that the solution contains a few techniques that are rarely known.

Short description of the problem:

You are given three trees T₁, T₂, T₃​ with the same number of nodes. Let d₁(x, y), d₂(x, y), d₃(x, y)​ denote the distance from x​ to y​ in each tree. Find a pair of nodes (x, y)​ such that d₁(x, y) + d₂(x, y) + d₃(x, y)​ is maximized. Output that value.

Let's start by solving the problem for two trees only. Let f₁(v) denote the distance from node 1 to node v in the first tree. We want to maximize . For each node v in the second tree, let's add a node v' and an edge (v, v') to the second tree, with weight f₁(v). If we fix , we have reduced our problem to this: "Given two sets of nodes A, B, merge them and calculate the maximum value of , where d'₂(a, b) denotes the distance between a and b in the modified second tree." It can be proven through a reductio ad absurdum argument, that for each one of these sets, we only need to store a single pair of nodes (a, b) such that d'₂(a, b) is maximized. This means that merging is done in this way: Let (a₁, b₁) and (a₂, b₂) be the aforementioned pairs. The value of the new pair will be (a₁, a₂), (a₁, b₁), (a₁, b₂), (a₂, b₁), (a₂, b₂),  or (b₁, b₂), depending on which pair maximizes d'₂(a, b). This gives us an algorithm.

Now, let's solve another version of the problem: We have three trees, but the second and third trees are path-shaped. Again, let's fix . We have to maximize f₁(x) + f₁(y) + |f₂(x) - f₂(y)| + |f₃(x) - f₃(y)|. For each subtree of the first tree, we will maintain four values:

• 
• 
• 
• .

Since , the best answer will be either equal to g_1, 1(x) + g_2, 2(y) or g_1, 2(x) + g_2, 1(y) for some pair of nodes (x, y). This gives us a simple O(n) solution if we keep the prefix and suffix maxima of g for the children of every node.

Unfortunately, we still have one more subtask to solve before we reach the full solution. In this subtask, we are given two trees and a path. Let's start by introducing the auxiliary tree: Let A be a subset of nodes of a tree T. Then, the auxiliary tree contains the nodes , and every node is connected to its closest ancestor in the original tree with an edge of weight . The auxiliary tree therefore has O(|A|) nodes. Now, we can do D&C on the path: Let's fix its midpoint m. We have to maximize d₁(x, y) + d₂(x, y) + d₃(x, m) + d₃(m, y), where x ≤ m and y ≥ m. If we add an extra vertex v' to T₂ where the weight of the edge (v, v') is equal to d₃(v, m) and create the auxiliary trees that only contain the vertices in the range we're currently processing, we can use the solution to the "two trees" subtask to solve this one too. This gives us an solution, with an albeit difficult implementation.

And finally, we can move on to the complete solution. But first, we have to introduce another technique, called "centroid decomposition on edges". Here is a simple pseudocode description of this technique:

Obviously, this will work in O(n²) in some cases, e.g. a star graph. However, if we have a binary tree, this code works in O(nlogn). We can make an arbitrary tree binary while preserving distances between nodes using a method similar to the left-child right-sibling conversion. If we have a node with k > 2 children, we are going to attach a single child node to it. This node's left child will be the former first child of the node, and it will be connected to it with a weight of identical edge. Its right child will be its "sibling" node, whose left child will be the former second child of the node, and so on.

Our full solution is simply a combination of these two techniques. Make the first tree binary, and do "centroid decomposition on edges" on it. Similarly to the previous subtask, add a dummy node x', such that d'2(x, x') = h(x), where h(x) is the distance from node x to the active edge in the first tree. Then, solve the "two trees" subtask. This gives us an solution.

This article was written by f2lk6wf90d, based on our chat on Telegram. Thank you for your awesome work, Martin!

If you find any mistakes in this solution, comments are welcomed.