Coloring Down: approximation for special cases of the weighted tree augmentation problem^{1}^{1}1We would like to acknowledge Robert Carr and László Végh for their numerous discussions on this problem. In addition, we would like to thank Sinziana Munteanu for her developments on the structure of the trees.
Abstract
In this paper, we investigate the weighted tree augmentation problem (TAP), where the goal is to augment a tree with a minimum cost set of edges such that the graph becomes two edge connected. First we show that in weighted TAP, we can restrict our attention to trees which are binary and where all the nontree edges go between two leaves of the tree. We then give two different topdown coloring algorithms. Both of our algorithms differ from known techniques for obtaining a approximation in unweighted TAP and current attempts to reach a approximation for weighted TAP.
The first algorithm we describe always gives a 2approximation starting from any feasible fractional solution to the natural tree cut covering LP. When the structure of the fractional solution is such that all the edges with nonzero weight are at least , then this algorithm achieves a approximation. We propose a new conjecture on extreme points of LP relaxations for the problem, which if true, will lead to a potentially constructive proof of an integrality gap of at most for weighted TAP. In the second algorithm, we introduce simple extra valid constraints to the tree edge covering LP. In this algorithm, we focus on deficient edges, edges which get covered to an extent less than in the fractional solution. We show that in the support of extreme points for this LP, deficient edges occurs in nodedisjoint paths in the tree. When the number of such paths is at most two, we give a topdown coloring algorithm which decomposes times the fractional solution into a convex combination of integer solutions. We believe our algorithms will be useful in eventually resolving the integrality gap of linear programming formulations for TAP.
We also investigate a variant of TAP where each edge in the solution must be covered by a cycle of length three (triangle). We give a approximation algorithm for this problem in the weighted case and a approximation in the unweighted case.
Keywords: approximation algorithms, tree augmentation, linear programming, spanning tree, twoedge connectivity, LP rounding
1 Introduction
We consider the weighted tree augmentation problem (TAP): Given an undirected graph with nonnegative weights on the edges, and a spanning tree , find a minimum cost subset of edges such that is twoedgeconnected. We will call the elements of as (tree) edges and those of as links for convenience. A graph is twoedge connected if the removal of any edge does not disconnect the graph, i.e., it does not have any cut edges. Since cut edges are also sometimes called bridges, this problem has also been called bridge connectivity augmentation in prior work [10].
While TAP is well studied in both the weighted and unweighted case [10, 15, 20, 8, 4, 17, 1, 9], it is NPhard even when the tree has diameter [10] or when the set of available links form a single cycle on the leaves of the tree [6]. Weighted TAP remains one of the simplest network design problems without a better than approximation. TAP can also be viewed as a covering problem. The cuts in a tree which have a single edge crossing them are exactly the cuts that must be covered.
A link is said to cover an edge if the unique cycle of contains . Here we use for a tree edge to denote the set of links which cover . The natural covering linear programming relaxation for the problem, EDGELP, is a special instance of a set covering problem with one requirement (element) corresponding to each cut edge in the tree (Since the tree edges define shores that form a laminar family, this is also equivalent to a laminar cover problem [6]).
(1)  
(2) 
Fredrickson and Jájá showed that the integrality gap for EDGELP can not exceed [10] and also studied the related problem of augmenting the tree to be twonodeconnected (biconnectivity versus bridgeconnectivity augmentation) [11]. Cheriyan, Jordán, and Ravi, who studied halfintegral solutions to EDGELP and proved an integrality gap of for such solutions, also conjectured that the overall integrality gap of EDGELP was at most [6]. However, Cheriyan et al. [7] demonstrated an instance for which the integrality gap of EDGELP is at least .
We study the integrality gap of the EDGELP and its generalizations in this work. We first show that without loss of generality, we can focus our attention on binary trees where every node has degree 1 or 3 (and every link goes between a pair of leaves). By focusing on the internal nodes of degree 3, we can add a simple valid constraint. In particular, at any node of degree 3, since no link can cover all three edges which meet at this node, the total number of (integral) links which must cover its neighbors is at least 2. This gives one additional constraint per internal node that we can add to the EDGELP. The resulting LP, called the NODELP follows where we use for a node to refer to its three incident edges in the tree .
(3)  
Fiorini et. al extended node constraints for all classes of odd subsets of tree edges as ChvátalGomory cuts of EDGELP to obtain new constraints on all odd sets of edges [9]. We call their extended linear program the ODDLP. Since we will show that we can assume the tree is binary, every node has odd degree (1 or 3) in the input tree, so if is odd, then it follows that is also odd. Using this observation, we can write the ODDLP as follows. Recall that for is the set of all edges and links with exactly one endpoint in .
(4)  
In Appendix A, we provide a simple independent proof of validity of these odd set constraints due to Robert Carr.
In addition to the standard version, we also study the problem of 3TAP in which every tree edge in the final solution must be in a cycle of length 3 (instead of every tree edge being in a cycle of any length). This is a natural variant of TAP. While TAP models increasing the resilience of a tree network, 3TAP requires local resilience: i.e., in case of any edge failure, the overhead of implementing a rerouting protocol is not too high (3TAP solutions only need the identity of the midpoint of the alternate 2path for every edge in the solution).
1.1 Related Work
Weighted TAP has several 2approximation algorithms. The earliest proof of this result used methods that were tailored for this problem: Frederickson and JáJá [10] convert the problem into one of finding a minimum weight arborescence in an appropriate directed graph: First, they root the given tree at an arbitrary node and direct it outwards; Links that go from a node to an ancestor are directed upward in the tree, while cross links are replaced by two links of the same weight going from each endpoint to their least common ancestor in the tree. After given the original tree edges directed downward weight zero, their method finds a minimum weight inarborescence pointing to the root, which they argue is of cost at most twice the optimal weighted TAP solution for this instance (coming from the duplication of cross links). Khuller and Thurimella improved the runtime of this algorithm [15]. It is also worth noting that the directed instance when viewed as an undirected instance of TAP consists of all links going topdown in the tree (since cross links are replaced with two such links from their ends to their lca). The EDGELP for all links going topdown in a tree is totally unimodular (see, e.g., Section 2 of [13]). Hence this version can be solved to optimality (providing an alternate to the use of the inarborescence algorithm). Later, other approximation algorithms have been devised for weighted TAP using other techniques such as the primaldual method [20] and iterative rounding [14].
Special cases of weighted TAP has also been investigated. Cheriyan, Jordán and Ravi [6] developed a approximation for TAP when the optimal fractional solution is halfintegral. Another special case of weighted TAP is when the tree has bounded depth. In this special case, Cohen and Nutov showed there exists a approximation [8]. Recently, Adjiashvili [1] showed a 1.96approximation for another special case of weighted TAP where all link weights are between and some constant by using a bundling type linear program. Building off this work, Fiorini et. al [9] generalized the constraints from [16] and combined them with the bundle constraints from [1] to propose the ODDLP we described above and achieved a approximation for the same special case (when all the costs are between and some constant ). Another recent paper by Nutov takes a subset of Adjiashvili’s constraints and achieves a approximation when all the costs are between and some constant [19]. All of these techniques rely heavily on the bundle constraints that are focused on link weights being in a bounded range; hence they do not seem to be generalizable to the case of arbitrary weights. We believe the general problem requires a more polyhedral approach of the type we investigate.
Numerous papers attempted to reach a target approximation in the unweighted case of TAP when all links have the same weight. One paper by Kortsarz and Nutov [16] presents a new linear program with a 1.75approximation for the unweighted case, in the hope that this linear program could help break the 2approximation barrier for the weighted case. This LP used properties of an optimal solution for the unweighted case to add multiple new constraints; In retrospect, these additional constraints are all included in the ODDLP. Two papers achieved a approximation for the unweighted case with very different approaches; one paper by Kortsarz and Nutov relies on a unique token giving argument [17]. The other paper by Cheriyan and Gao uses semidefinite programming [4, 5] to arrive at an initial fractional solution for which this integrality gap is proved. While both of these approaches are very different, they still heavily rely on the fact that all the links have the same weight.
1.2 Our Results
Our results gives new approaches to determine the integrality gap of weighted TAP: our methods provide constructive proofs of convex decompositions of given fractional solutions appropriately scaled into integer solutions.

We show that any instance of weighted TAP can be reduced to equivalent instances where the underlying tree is binary and all the links have their endpoints at leaves (Theorem 2.1 in Section 2). The simpler structure of input instances help us in several of our proofs and may also be key in future approaches in settling the integrality gap of weighted TAP.

We give a simple new topdown coloring algorithm that gives a constructive proof of the integrality gap of 2 for EDGELP by providing a convex decomposition. Furthermore, if the minimum nonzero value in the solution for any link is then we can achieve an improved approximation (Theorem 3.1 in Section 3). This result generalizes the result of Cheriyan et al. [6]which we can recover by setting . Even more interestingly, this provides a new approximation when all nonzero values in the solution are at least .

We provide a new conjecture on the ODDLP (Conjecture 3.3) that says that every vertex solution to this LP has all large nonzero entries (greater than ) or there is a single very large valued entry (at least ). In the former case, we can use the previous theorem to get a approximation while in the latter, we can apply one step of iterative rounding [18], and reapply the conjecture to prove a approximation.

We provide a approximation for weighted TAP based on fractional solutions to NODELP with a particular structure. Let a deficient edge be an edge which gets covered to the extent less than by this fractional solution. In Section 4, we show that if the deficient edges for the NODELP form at most two paths in the tree, then we can extend our coloring construction to give a approximation.

Even though we provide improved approximations for specially structured extreme points of NODELP, we can show that such constraints do not strengthen EDGELP. In particular, in Section 5, we show how to transform any TAP instance to a slightly bigger one by a gadget expansion at every node so that any feasible solution to the EDGELP on the original instance is feasible to the NODELP in the expanded instance. Moreover, EDGELP has extreme points which violate our conjecture above, motivating a deeper study of ODDLP for future work.

In Section 6, we provide a complete study of 3TAP in which every tree edge must be in a triangle in the final solution. Via a reduction from set cover, we show an inapproximability result and give a matching approximation algorithm. In the unweighted case, we show that any minimal solution gives a 4approximation.
Our approach is a topdown coloring algorithm on the scaled fractional solution where each color class is a feasible solution. In particular, times the fractional solution is decomposed into a convex combination of integer solutions. This provides not only an approximation algorithm but also directly proves the integrality gaps for the corresponding covering LPs [3]. In addition, this technique of topdown coloring differs from all current approximation algorithms on unweighted TAP and all current algorithms which achieve better than approximations for special cases of weighted TAP. Since our methods decompose scaled fractional solutions, they also have the potential to extend to give tight integrality gap proofs  we propose some ideas for doing this in Section 5.
2 Problem Structure
In this section, we show that we can restrict our attention to only certain instances of weighted TAP. This structure restricts not only the structure of the links but also the structure of the tree itself.
Theorem 2.1.
Any instance of weighted TAP can be reduced to a corresponding instance of weighted TAP of roughly the same size where the tree is binary and all the leaves in go between two leaves. In addition, every feasible solution to provides a feasible solution to of equal cost and vice versa.
The construction is a local operation performed on all the nodes of in a topdown fashion. Let be a node in the tree with children (if is a leaf then no operation will be done). Let be the initial tree, the transformation on will give us a new instance . We will add dummy nodes for and all its children and a dummy nodes for . We remove the edges and add the edges . We leave all the existing links at their corresponding nodes. The only link we add is a link called from to of cost . The new instance has changed as follows:
Figure 1 gives an example of this transformation on a node with three children.
We will now show that performing this transformation on every nonleaf vertex of produces an instance of TAP with a binary tree and leaftoleaf links with corresponding feasible solutions to the original problem.
Proof.
First we observe that this transformation adds nodes all of degree , adds node of degree 1, and node ends with degree . The transformation also keeps the degree of unchanged. Once this transformation has been applied to all nonleaves of then the resulting tree will have only nodes of degree and ; giving a binary tree as desired.
Now observe that every original node is a leaf in . The only links we added were which have the form to where is also a leaf under the transformation. The resulting set of links is leaftoleaf.
We will now consider any feasible solution to . Let . The cost of and are the same as we added only links which were given cost . First observe that covers all the edges of the form and . Now consider an edge after the transformation. There is some link which covers in and now that same link must cover in . So, is a valid solution to of the same cost.
Now let be a feasible solution now consider there is a vertex which was not initially a leaf node in . It must be the case that contains as this is the only link in which covers . So, let . Now by the same argument as previously, as is a feasible solution for and the only edges in not in are those covered by the then is a valid solution to . Notice that and have the same cost as we only removed links of cost from the solution. ∎
3 Large Links
The main result of this section is the following theorem.
Theorem 3.1.
Given a solution to the EDGELP with when and is the number of nonzero links then there exists integer solutions and such that:
and this convex combination can be found in strongly polynomial time.
This gives an alternative proof of Cheriyan, Jordán and Ravi [6]. In particular, it gives a approximation when we start with a fractional solution where all nonzero links have weight at least .
3.1 Algorithm
We will be working with a tree rooted at an arbitrary node, . The least common ancestor (LCA) of a link, is the least common ancestor of its endpoints. We let () be the path in the tree from the LCA of to the left (right) endpoint of (this path could be empty).
Given a fractional solution, let , and let . Let be the smallest integer such that is an even integer for all entries. In order to find our convex decomposition in the algorithm below, we will decompose into different color such that each color is a feasible tree augmentation.
The main idea of how the algorithm works is that it goes down the tree looking at links which have their LCA at the current node and colors all the copies of each link with different colors so as to help cover the edges as much as possible with new colors. This guarantees that the first links (copies of one link) which are colored through an edge all get distinct colors. Afterward, we only guarantee that of the remaining links that cover an edge half of them give a new color to that edge.
We will now show that this coloring does indeed give us a convex combination as desired.
Theorem 3.2.
Algorithm 1 guarantees that every edge is covered by a link in every one of the colors.
Proof.
For a given without all colors, every time a link through receives a pair of colors, then one of those colors is new to . Let us consider some link through . Each inner while loop of the algorithm gives two colors to copies of . One of the two paths must contain ; without loss of generality let . Consider the highest edge without all colors. If is missing a color , then must also be missing color . We have only colored links whose LCA is above , therefore any link with a color which covers must also cover . So, for each pair of colors chosen for a link through , at least one of them is a new color for . In other words, half of the time a link covering gets colored, it is a new color for .
The first time a link through an edge is colored, then all its colors are distinct (unless ). For a given link , every time a color is picked for a copy of it has to be a color not on one of the edges covers or a color not on any copy of . If , then we can color the copies of with all colors and all the edges which covers will be covered by all colors. In this case, would get all colors.
Thus the first time an edge has one of its links colored it receives at least distinct colors. Combining this with the fact that every edge gets colors at rate subsequently, the total number of colors receives in this process is at least
∎
Now we will show how this implies Theorem 3.1.
Proof of Theorem 3.1.
By scaling our up by we can write this scaled version as the sum of different feasible colors (integer solutions). This gives us that:
where the are integer solutions. Dividing by gives the desired result.
Algorithm 1 does not need to first multiply by before being run. The algorithm can be run by just multiplying the solution by . As the algorithm runs, it will keep track of a convex combination of integer partial solutions. In each while loop when a link is added, will be fully added to some integer partial solutions and added to a fraction of at most two partial integer solutions (one for and one for ). This creates at most two more integer partial solutions. The number of different integer solutions at the end can be bounded by where is the number of nonzero links. This guarantees this algorithm can be run in strongly polynomial time. ∎
3.2 Conjecture
Theorem 3.1 deals with the case when does not have fractional parts which are very small. In particular, the case where gives a approximation with this algorithm. Another approach to this problem would be to iteratively round when a solution has a link with fractional value at least (See e.g., [18]).
In particular, when a fractional solution has we can immediately round up to and resolve the linear program with this added constraint. This approach combined with using our approximation when for all would achieve a approximation as every individual link gets rounded up by at most and the cost of the residual LPs do not increase in the process.
By combining these two approaches one would be able to provide a approximation to weighted TAP. It would be very convenient if every fractional solution had one of these two properties: a link with , or for all nonzero . Unfortunately, there exists extreme points of the EDGELP which satisfy neither of these properties as shown in Section 5. Therefore, we propose the following conjecture.
Conjecture 3.3.
Every extreme point solution to the ODDLP has one of the two properties: for all nonzero or there is some such that .
4 Deficient Paths
In this section, we will start with a solution to NODELP and use the additional structure from the constraints 3 to help us. Due to our previous observation as we will assume that the TAP instance is a binary tree with all links going from leaftoleaf. We will break edges into two groups depending on how much coverage they receive.
Definition 4.1.
An edge is considered deficient if and abundant if .
The deficient edges in a solution to the NODELP can not be too dense; this would violate the node constraint 3.
Lemma 4.2.
The deficient edges form paths in .
Proof.
Suppose there was a node, , adjacent to three deficient edges: . By the node inequality 3, we know that:
In this particular case, every link through goes through exactly of . So, we have:
This is a contradiction to the feasibility of for the NODELP. So, there is no node with three deficient edges in a solution to the NODELP, and the deficient edges form paths as desired. ∎
4.1 A TopDown Greedy 2approximation and Ramifications
In this section, we present a simple approximation which will be used to deal with the abundant edges in future cases. There are numerous approximations for TAP, but we will use a specific coloring one as it allows us to extend colorings.
Choose any vertex to be the root. Let be the smallest nonnegative integer such that is an integer for all links . For this approach, we will multiply our fractional solution by and then break it up into integral solutions. The cost of the cheapest such solution will be at most times the cost of the original.
We will be using LCA(), and as defined in the previous section.
The topdown algorithm is given in 2. The main idea is to double each link and use one copy to cover the left path from its lca and the other for its right path. In this sense, it is reminiscent of the approach of Frederickson and JáJá [10] of splitting each cross link in the tree to two up links to devise a 2approximation algorithm. The main idea of the coloring algorithm is to only supply colors to links that are missing at one of the edges it covers. Since the links are colored top down, this ensures that any color missing at an edge is also missing in all its descendant edges.
Lemma 4.3.
The colors returned by 2 are valid solutions.
Proof.
Consider any . When the algorithm starts, there are at least links which cover , because . After the transformation of the links, there are at least edges which cover .
As the algorithm progresses, the colors covering every edge are a subset of those covering its parent. Let be the parent of . The first time we color a link through that is not through , then we must have given all colors already.
Every time a link through gets a color, it is because some edge above was missing that color. By the above observation, the colors missing from are also missing from . Therefore, also got a new color. Hence, every time gets one of it’s links colored, it gets a new color.
Every edge is covered by all colors, so every color is a solution as desired. ∎
The correctness of the algorithm implies that taking the cheapest color (in terms of total link cost) is a valid solution, leading to the following result.
Corollary 4.4.
There is a greedy topdown coloring based approximation for TAP.
When none of the edges are deficient, then we can push this result even further.
Corollary 4.5.
Given a solution to TAP with no deficient edges, can be decomposed into feasible colors.
Proof.
We can reuse Algorithm 2 and its proof. The only thing we have to change is that we break into two parts of size . Since all edges are abundant, and so after the split, every edge has links covering it. ∎
We will strengthen this further to allow us to finish off the abundant parts after we deal with the deficient parts of the tree in later proofs.
Definition 4.6.
A rooted subtree is considered abundant if all its edges are abundant.
Definition 4.7.
A partial coloring of causes a conflict if there is an edge which is covered by three links of the same color and does not yet have all colors covering it. A partial coloring is considered conflictfree if it causes no conflicts.
In particular, we show that given the start of the coloring we can finish it off if we didn’t do too much wrong.
Theorem 4.8.
Given a partial conflictfree coloring of on some links through the root of an abundant subtree, it can be extended to cover all the edges in the subtree.
Proof.
We can simply start the greedy algorithm at the root and finish every edge off. Every edge in the subtree has at least links covering it originally. For every color through an edge , if there are two copies of that color, then can pretend that one link with color was originally given to the side of the cycle formed by the link not through . ∎
4.2 One Deficient Path
We now extend the greedy coloring algorithm to show that if the deficient edges only form one path in the tree, then there exists a approximation.
Consider we have a solution to NODELP with only one deficient path ; let be the deficient path. We will deal with this case by first coloring some links such that every edge in gets all colors. Then we will split up all the uncolored links that go through . We root the tree at , then we will use Theorem 4.8 to finish all the abundant subtrees.
Theorem 4.9.
Algorithm 3 provides all colors to all the edges in and is conflictfree.
Proof.
As the algorithm progresses, an edge in either has all colors or all of the colored links covering it are distinct colors. If a edge in were to receive a duplicate color before all colors, then there were two edges that both needed . Without loss of generality let lie between and . When takes color on a link that also covers , then the link must cover . This contradicts that would need color . Therefore, every edge in gets all colors in the first part of the iteration.
The cleanup phase does not remove any colors from edges in . A link of color that becomes uncolored, is uncolored only if all the edges in it covers have color from other links. So, the cleanup phase never removes any colors from edges of .
The cleanup phase guarantees that for all the rooted subtree, the coloring induces at most two links of that color and therefore causes no conflicts. ∎
Now by combining the previous theorem, and Theorem 4.8 there is a approximation when there is only one deficient path.
Corollary 4.10.
Given a solution for NODELP on tree which induces at most one deficient path, there is an integral solution of cost at most the cost of .
4.3 Two Deficient Paths
We’ve shown how to deal with a single deficient path. To extend our approach to two deficient paths, we need to deal with the abundant path of tree edges which connects the two deficient paths in the binary tree . The goal is to color links to cover the two deficient paths and the abundant path between them, and maintain that every remaining abundant subtree doesn’t receive too many copies of each color. We will prove the following in this section:
Theorem 4.11.
Given a solution on tree which induces at most two deficient paths, there is an integral solution of cost at most the cost of .
To deal with the deficient edges and the abundant path between them, we will have to examine the structure of links near deficient edges.
Lemma 4.12.
Given a solution to the NODELP and a deficient edge where is an internal node, then the total weight of links through but not is at least .
Proof.
Let the neighbors of be . The triangle constraint on edges says the total weight of the links that cover these edges is at least . All the links that cover or also go through . So, the total weight of links through is at least . The weight of links through the deficient edge is less than by definition; this gives the total weight of links through but not through is at least as desired. ∎
Consider is a solution to NODELP with two deficient paths; let be the deficient paths and let be the abundant path which connects them. In order to deal with this case, we will first color the links that form the intersections of with and . Then, we will finish coloring . Lastly, we will color . Throughout the whole process we will also guarantee that the coloring is conflict free, i.e., every abundant edge not in gets all colors or has at most two copies of every color. In order to deal with this coloring, we will have to treat links which cover all of differently.
Definition 4.13.
A link is considered to be a long link if covers all the edges of . A link which is not a long link, is considered to be a short link.
Let be the edges of adjacent to . Let be the edges of adjacent to . If or only has one edge adjacent to this simplifies the case greatly. We will address this case last. Algorithm 4 finds a coloring starting at the ends of .
Lemma 4.14.
Algorithm 4 finds a pairing such that every edge not on is either covered by all pairs or is only covered by at most one link in every pair.
Proof.
We only need to check that a swap can not cause an edge not on to have more pairs with both links covering . Consider that some swap occurred because was covered by both but not covered by . If is covered by both links in both pairs and then it was covered by both links in the pairs before the swap. So, consider that is covered by both links after the swap but was not covered by both links in either of the pairs before the swap. So, neither of cover .
Right now we have that covers but not ; covers but not ; covers only ; covers and not .
Consider the tree which is all the edges of contracted except for . The edges were adjacent in so they are still adjacent in . can’t separate and as covers and . Similarly, can’t separate and because of . Likewise, can’t separate and because of , and can’t separate and because of . This leaves only the three possibilities shown in Figure 2.
In the first case of Figure 2, then must cover as it covers and . This is a contradiction as does not cover . In the second case of Figure 2, would cover as it covers and . This is a contradiction as does not cover . Due to covering , it must be the case that are all on a path; this removes the third case in Figure 2.
Therefore, the swaps never increase the number of pairs which both cover an edge. When the algorithm ends, every pair covers an edge, or that edge is covered in every pair. ∎
Note that this swapping algorithm would work regardless of which links through , and through were chosen and how we initially paired them.
Now we can use Algorithm 4 to start a coloring on either side of the abundant path . We now need to coordinate the pairings and then finish coloring the abundant path. The first thing to observe, we can swap any two long links as long as the two edges of they cover are the same. This will never create any edges which have two links from the same pairing but not a link from every pairing. To coordinate the pairings on either side of then we need to deal with the long links. We consider them in three mutually exclusive and collectively exhaustive cases: the first case where there are at most long links, the second when there are more than long links, and finally, when we have long links covering one of .
At most long links.
In this case, we first observe that the initial pairing will use all the long links, and none of the long links are paired up with each other in Algorithm 4. In addition, a swap will always be initiated by a pair of short links ; if it were a pair of a long link and a short link, would have no common edges outside of . So, any swap involves at most one long link. Therefore, a swap never creates a pair of two long links.
Use Algorithm 4 to pair up links for and links for . Every long link is used in a pairing for and a pairing for and no pairing has two long links. We use Algorithm 5 to color the links to cover .
Lemma 4.15.
The coloring produced by Algorithm 5 is conflictfree, when there are at most long links.
Proof.
Suppose for a contradiction that there was some edge covered by 3 links of a color but not covered by all colors. This edge is not on (as all edges of are covered by all colors). Let be the closest vertex of to in . Without loss of generality, two of the links of color () through also go through (the other possibility is that there is two links of color through . If both were part of a pair from , then by Algorithm 4 then it would be the case that has all colors covering it. So, without loss of generality was added to extend the coloring of color along when was already colored . If covers a subset of the edges of that does, then never would have been colored with color by Algorithm 5. If covers a subset of the edges of that does, then would have been chosen and colored before . Both of these are a contradiction to the correct running of Algorithm 5. ∎
This shows when there are at most long links, we can form a conflictfree partial coloring that covers all of .
More than long links
In this case, we don’t have to worry about covering as every pair will have a long link. However we will have to be a little more careful with the coordination of the two pairings. In this case, consider there are long links. We will first show we can create pairs that use two long links, and then just create the remaining pairs with one long link each.
Lemma 4.16.
If there are long links, and no edge of has more than long links, then there exists pairs of long links such that each of these pairs cover .
Proof.
Let be the number of links that cover and . A pair that covers all of consists of a long link through and a long link through or a long link through and a long link through . Let . If there were not pairs that covered all of then . Without loss of generality, so the number of long links covering is less than . But then, the total number of long links covering is more than . This is a contradiction. Therefore, we can make pairs such that each of these pairs cover . ∎
For this case, we simply create these pairs of long links indicated in the lemma above as the first colors. Next, we can use the remaining long links as the start to fill the remaining colors using Algorithm 4. Now, if isn’t covered by a color, pick an uncolored link that doesn’t go through any other and color with the remaining color. This creates no conflicts. Each color consisting of two long links covers only the edges of twice and everywhere else once. Each color with only one long link only has two short links, and the color covers each of exactly once; each edge can only have at most two links of this color covering it.
More than long links cover a single
In this case, without loss of generality has long links. In this case, we simply start by creating and coloring the pairs as in Algorithm 4 for . Each of these pairs will cover all of and . For each color which is missing, let be an uncolored link covering but not . Color with the color that is missing. This again keeps the coloring conflictfree by the same reasoning as before. This gives a partial coloring that covers all of .
Finishing the deficient paths
In all the cases above, we colored the links to create a conflictfree partial coloring that covers all of and . To finish the deficient paths, we will use Lemma 4.12 to observe there are uncolored links crossing every deficient edge. Consider starting at and moving away from along . Let be the deficient edge; there are links through not through . For each color is missing, choose one of these uncolored links for this color. Repeat this moving away from along . We can do this same process along moving away from . This guarantees that we only add colors to the abundant subtrees hanging off of (and not to abundant subtrees hanging off of or ). In addition, we can add each color at most twice to every subtree. We can repeat this process similarly with on . This gives a conflictfree partial coloring which gives all the edges of all colors. By Theorem 4.8, this coloring can be completed and there is a approximation when there are only two deficient paths.
End of
If or have only one edge adjacent to the entire process above can be done simply without creating a pairing on such a side. Consider only has one edge adjacent to ; instead of pairs created for just take the links through which go the furthest down . This replaces Algorithm 4 for and then we proceed according to the case we are in.
This proves Theorem 4.11 as in all the cases we have provided a coloring of such that every color is a feasible solution. This coloring method could potentially be extended to the general case of multiple deficient paths, with the key difficulty being that there are links that cover segments of potentially several such deficient paths, and their colorings must be somehow globally coordinated. We have no counter examples to the success of such a potential approach even though we have no candidate algorithm that might complete the job for all feasible solutions of NODELP.
5 Comparing the linear programs
In section 3, we proposed a conjecture that every extreme point solution to the ODDLP has a link which gets or all the nonzero are at least . This conjecture does not hold for extreme points of the EDGELP. An example is given in Figure 3.
We believe the conjecture to be true for extreme points of ODDLP. We have performed exhaustive searches on all extreme points of ODDLP to verify it on small trees (binary trees with at most 12 nodes). In addition, Fiorini et. al [9] showed that in the special case of no inlinks then ODDLP is integer. Given a rooted tree with root then an inlink is a link where does not go through and does not go from one node to it’s ancestor. This indicates that the ODDLP potentially has more structure than the EDGELP that might be exploited to prove the conjecture.
In this paper, we use the structure given from the NODELP (e.g. Lemma 4.12) to prove theorem 4.11. While the NODELP does add some constraints to the EDGELP, the NODELP is not much stronger than the EDGELP as we show in the next observation. In particular, we can transform any TAP instance to a slightly bigger one by a gadget expansion at every node so that any feasible solution to the EDGELP on the original instance is feasible to the NODELP in the expanded instance. This shows that if we were to do the gadget expansion for any input, the NODELP constraints alone (without the other ODD=LP constraints) will not add any strength to the resulting solutions.
Lemma 5.1.
After a transformation of any TAP instance that leaves the solutions unchanged, the integrality gap for the NODELP on the transformed instance is the same as the integrality gap for the EDGELP in the original instance.
Proof.
In order to show this result, we will show that for every binary tree we can transform it to another binary tree such that every feasible solution of the EDGELP for corresponds to a feasible solution of the NODELP for .
Consider an original node with neighbors as shown in Figure 3(a). We will transform as shown into the structure given in Figure 3(b).
Any feasible solution to the EDGELP on can be made a feasible solution to the NODELP on by adding all the zerocost links with value 1 in the solution. These zero cost links guarantee all new tree edges that we added are covered. Every degree 3 node, has at least 2 weight of links covering its neighbors.
Consider any feasible solution to the NODELP on . For every node the solution must choose links and with value 1 for otherwise and will not be covered. To get a feasible solution to the EDGELP on we simply remove the links around every node.
Neither of these transformations change the cost, so we have proven our result as desired. This gadget forces to be covered fully by the dotted links. These ensure that the node constraints around are all satisfied as long as the edge constraints are satisfied.
∎
While the NODELP is not any stronger than the EDGELP, we believe that the ODDLP is stronger than both of these LPs. As noted before, the ODDLP may add key constraints which would allow us to extend the topdown deficient path coloring beyond just one or two deficient paths.
6 ThreeCycle TAP
6.1 Weighted Version
In this section, we will consider the weighted version of 3TAP where the weights on the links, , can take on any value. We first present an approximation algorithm, and then we present a matching lower bound of , where is the number of nodes in the tree.
Theorem 6.1.
There is a approximation algorithm for weighted 3TAP on nodes.
Proof.
Consider any feasible solution to 3TAP, such that has every tree edge in a 3cycle. For a vertex , let be the edges of adjacent to .
To turn this problem into a set cover problem, we let the edges of be the elements. For any subset of edges adjacent to a vertex , , we construct a set with cost which covers the edges induced by the endpoints of the edges in (except for those edges adjacent to ).
By doubling each edge in the feasible solution, then we can decompose the entire solution into these stars. So, given a solution to 3TAP of total cost , the corresponding set cover has a solution of at most . Given any solution to the set cover problem, then we simply add all the edges specified by the stars to the tree (with maybe some duplicates when edges are added from both endpoints’ stars). Thus, any solution of cost to the set cover gives a solution to the original 3TAP solution of cost between and . Therefore the optimal solutions to these two problems are within a factor of two of each other.
It is well known that minimumcost set cover with elements has an approximation as long as the densest set (that has the maximum ratio of newly covered elements divided by the cost of the set) can be found in polynomial time. For a fixed vertex , we can find the maximum density star centered at as follows. Due to a result by Goldberg, one can find the maximum density subgraph; which minimizes in polynomial time [12]. For the given center , by setting the cost of another vertex to be , we can use the maximum density subgraph algorithm to find the maximum density star from , where the edges in the subgraph are the tree edges covered in triangles by the corresponding star. By repeating this for every choice of center vertex , we can find the maximum density star in polynomial time. This gives the maximum density set for the set cover problem in polynomial time. Then we can use the greedy algorithm for set cover to get an approximation for 3TAP. ∎
Notice that in the above algorithm we used no properties of the original graph . This algorithm will in fact work for any graph where the goal is to augment such that every edge is in a 3cycle.
Corollary 6.2.
The problem of finding a minimum cost augmentation of any graph where every edge must be in a 3cycle has an approximation.
The above approximation is tight as the weighted 3TAP problem captures setcover exactly. We will now show the matching lower bound.
Theorem 6.3.
3TAP does not have a approximation unless .
Proof.
Consider an instance of set cover with sets and elements and cost function on the sets. We will have our tree be as shown in Figure 5. The vertex set is
with the following costs on the links:

Links from to vertices

Links from to have cost

If then the link from to has cost 0

All remaining links have cost . Call the set of these remaining edges .
In any optimal solution, we will not use any edges from as taking all the edges not in that set have smaller cost and give a feasible solution. The zero edges from allow every edge except for the edges to be in a threecycle and they have cost 0. Now the only way to have an edge in a three cycle is for and to be used for some such that . So, the nonzero edges bought correspond to sets being chosen.
Consider any feasible solution to set cover , this can be turned into a feasible solution to 3TAP of the same cost. All the zero cost edges in addition to the edges form a feasible solution. We know all the edges in the tree except for the edges are in a three cycle with zero cost edges. Consider any . There is some that contains . The edge is then in a three cycle with and . Hence, every feasible solution to the set cover instance gives a feasible solution of the same cost to the 3TAP instance.
Consider any feasible solution to our 3TAP instance. If the 3TAP solution contains an edge from then the solution has weight at least , by taking all the sets we get a feasible solution to the set cover instance of less cost. Now consider there are no edges from in the feasible solution for the 3TAP instance. Let be the nonzero edges in the solution. Therefore is a feasible solution to the set cover instance. Consider any element . The edge must be in some three cycle with and therefore, contains and is a set in our solution to set cover. Therefore every feasible solution to 3TAP has a corresponding solution of set cover with the same or smaller cost.
Any feasible solution to set cover gives a solution to 3TAP of the same cost. Any feasible solution to 3TAP, gives a feasible solution to set cover of the same or smaller cost. Therefore, by the hardness of set cover, it is impossible to approximate threecycle TAP to within a factor unless [2]. ∎
Remark: Suppose we were given an empty initial graph to augment and wish to find a minimumcost twoedgeconnected spanning subgraph where every edge is in a triangle, it is not hard to adapt the above hardness: We give all edges in the tree zero cost. By further subdividing the path of set nodes to add new dummy nodes between every pair of set nodes, we can ensure that every element node is covered only by triangles containing edge . This requires that the other edges in the cycle are of the form