In the application of telecommunication networks, network security, image segmentation, some edges are correlated with each other and share the risk of a common failure. Those edges can be associated with labels (or colors) which partition the set of edges into categories. The label cut problem(hedge connectivity) problem asks for the minimum number of edge sets(each edge set (or hedge) is the edges with the same label) whose removal disconnect the source-sink pair of vertices or the whole graph with minimum total weights(minimum cardinality for unweighted version). This problem is more general than the traditional min cut or hypergraph min cut problem, since the later ones are just special cases of the label cut problem.
1.1 Brief Literature Review
1.1.1 Minimum Label Cut problem
Coudert, Datta, et al.  first considered the Minimum Label Cut problem, in which it was called Minimum Color Cut problem. Jha, Sheyner and Wing  observed that the Minimum Label Cut problem is NP-hard since the Minimum Hitting Set problem can be reduced to it. Since there is a simple duality between Minimum Hitting Set and Minimum Set Cover, the approximation algorithm for Set Cover can be transformed to an approximation algorithm for Label Cut with approximation guarantee of . Zhang, Cai, et al.  gave the first non-trivial approximation algorithm for the Minimum Label Cut problem on general graphs, where a polynomial time -approximation algorithm was given. For the approximation hardness, they showed that the Minimum Label Cut problem can not be approximated within for any constant unless . Tang and Zhang 
further improved the approximation result, using linear programming techniques, they got-approximation algorithm. Zhang  gave a combinatorial -approximation algorithm for the Label Cut problem, where is the maximum length.
Broersma et al.  devised exact algorithm for the Minimum Label Cut problem with running time , where denotes the set of labels.
Fellows, Guo and Kanj  did the parameterized complexity of the Minimum Label Cut problem, they showed that it is -hard on graphs with pathwidth at most parameterized by the number of used labels , -hard on graphs with pathwidth at most , parameterized by the solution size.
1.1.2 Minimum Label Cut problem with Label Overlaps
Faragó  first studied the Path Vulnerability problem with Label Overlaps. He argued that for a path the important thing is not that how many failure sets cover the entire path. It is more important that how many failure sets intersects with it, i.e., contains a link from the path. To characterize the expressibility of the vulnerability measure(no matter what kind of path metric), he gave a Path Metric Representation Theorem to show the path vulnerability. However, the complexity of the Minimum Label Cut problem with Label Overlaps is unknown. The Path Vulnerability problem with Label Overlaps is a dual of the Minimum Label Cut problem with Label Overlaps.
1.1.3 Minimum Label Cut problem
Minimum Label Cut problem is polynomial-time solvable in several special cases, including graphs with bounded treewidth, planar graphs, and instances with bounded label frequency . Ghaffari, Karger and Panigrahi  studied the Minimum Label Cut problem (they call this problem Hedge Connectivity), in which they gave a polynomial-time approximation scheme and a quasi-polynomial exact algorithm. They mentioned the Minimum Label Cut problem with Label Overlaps can be reduced to the Minimum Label Cut problem by replacing the overlap edge with a rainbow path, that operation won’t change the hedge connectivity. However, their argument does not hold(one can find a more detailed argument in section 3), thus their algorithms only work for the non-overlapping case.
1.1.4 Minimum Label Cut problem with Label Overlaps
Faragó  first studied the Minimum Label Cut problem with Label Overlaps. He showed that for an input positive integer it is NP-complete to decide whether the label cut(with label overlaps) less than or equal to exists.
1.2 Main Results and Organization
This paper gives uniform notations for four different versions of the minimum label cut(hedge connectivity) problem of whether it is for a source-sink label cut or global cut, and whether edge labels have overlaps or not(all the four versions can be either unweighted or weighted depends on whether edge’s weights are unique or not). First, we show the overlapping version can be transformed into a weighted non-overlapping version by a polynomial time operation. Then, we show the hardness and approximation performance of unweighted version and weighted version. Moreover, some useful properties of minimum label cut problem and further open problems are discussed.
In this paper, unless specific mention, all original graphs are simple, i.e. they have no self-loop nor multiple edges and connected. If you see one edge has multiple colors, that means that a single edge has multiple labels (label overlaps).
Given an undirected graph , a label set , an edge weight set , the four versions of minimum label cut problem(weighted or unweighted based on the edge weight set) are defined as follows:
(Minimum Label Cut problem)
Each edge has a label from the label set, and there are a source vertex and a sink vertex A label cut is a subset of labels such that the removal of all edges with these labels from disconnects and in The Minimum Label Cut problem is to find a label cut of minimum size.
(Minimum Label Cut problem with Label Overlaps)
Each edge has one or multiple labels from the label set, and there are a source vertex and a sink vertex A label cut is a subset of labels such that the removal of all edges with these labels from disconnects and in The Minimum Label Cut problem is to find a label cut of minimum size.
(Minimum Label Cut problem)
Each edge has a label from the label set. A label cut is a subset of labels such that the removal of all edges with these labels from partitions into at least two connected components. The Minimum Label Cut problem is to find a label cut of minimum size.
(Minimum Label Cut problem with Label Overlaps)
Each edge has one or multiple labels from the label set. A label cut is a subset of labels such that the removal of all edges with these labels from partitions into at least two connected components. The Minimum Label Cut problem with Label Overlaps is to find a label cut of minimum size.
3 Transform Overlapping Version into Non-overlapping Version
In paper , it says ”We also note that by insisting on the fact that the hedges are disjoint, we are not losing any generality. If hedges overlap on an edge, modeling the fact that the edge can fail as part of multiple groups, we can replace the edge by a path where each edge on the path belongs to a unique hedge. This transformation does not affect the hedge connectivity of the graph since removing any of the hedges containing the original edge disconnects the path in the transformed graph.”
To illustrate the above operation, we show the following example.
In Figure 1. the edge has three colors, according to the paper , it can be replaced by a rainbow path from to , the path has three colors. However, this operation is not hedge connectivity preserving. The error is that when we replace an edge with a path, such that each overlapping hedge that contained the original edge now only contains one edge of the path, then any new vertex of the path can be separated from the rest of the graph by removing the two hedges that contain its adjacent edges. Therefore, the hedge connectivity after the transformation drops to at most two, no matter how much it was originally. Thus, this transformation does not preserve hedge connectivity.
Let be the label degree of vertex , which is the number of different labels of adjacent edges of vertex .
The Minimum Label Cut of a graph is no larger than , where
In Figure 1. the original graph, , but in the new graph, , , , thus and . One can easily get the hedge connectivity of is , but the hedge connectivity of is definitely not , thus that operation is not hedge connectivity preserving.
Then, what operation can preserve hedge connectivity? We show it in the following:
If there is one edge labeled by two different labels and , then these two labels are correlated with each other, i.e. if there is one edge labeled by is removed(which leads all edges labeled by are removed), all other edges labeled are also removed consequently.
If there is one edge labeled by two different labels and (it may be also labeled by other labels other than and ), then all other edges labeled by or can be relabeled by a new created label with weight , this operation preserves the hedge connectivity.
In a graph with multiple edges which have label overlaps, we use disjoint-set data structure(also called a union-find or merge–find set data structure) to count the minimum relabel operation. Let’s name the following procedure as operation .
List all edges which have label overlaps, each of them is represented as a set with edge labels as its elements.
If two sets have common elements, merge them as one union set.
Relabel each union set elements with one new created label.
For example, in Figure 2., Graph has five kinds of labels and three edges have label overlaps. The three edges can be represented as three sets, their labels are its elements: , , . After merging sets with common elements into union sets, we can get new sets: , . Label edges with labels in set as (yellow) with weight and label edges with labels in set as (blue) with weight . Eventually, one can get , which preserves the hedge connectivity of .
After taking operation for the graph with label overlaps, (1) each edge only has one label, (2) the weight of each hedge is no larger than of the original graph, the total number of hedges in the new graph is no larger than the total number of hedges in the original graph, (3) the total weight of hedges in the new graph is exactly equal to the number of hedges of the original graph.
(1) is obvious just following operation .
If there is one hedge with weight larger than , then in the original graph, there must be a vertex , in which (since the original graph is connected and this hedge in the original graph is the collection of a number of labels as same as the weight in the new graph), which contradicts the definition of . An obvious consequence is that the total number of hedges in the new graph is no larger than the total number of hedges in the original graph. Therefore (2) is true.
As after label replacement step, correlated labels(have nonempty overlaps in some edges) is replaced by a new label with weight to be the number of such correlated labels, each label with other label correlations only replaced by one new label, thus the total weight of hedges in the new graph is exactly equal to the total number of hedges in the original graph. Thus (3) is proved.
4 Between Weighted Version and Unweighted Version
4.1 Computational Complexity with Label Overlaps
It is known that the Minimum Label Cut problem with Label Overlaps is NP-hard.
 It is NP-hard to find the Minimum Label Cut problem with Label Overlaps.
The basic idea of the proof in  is via a reduction from the Set Cover problem to the decision version of the problem whether the Label Cut with label overlaps is less than or equal to a positive integer exists.
However the hardness of Minimum Label Cut problem with Label Overlaps is still open, we give a proof that it is also NP-hard.
It is NP-hard to find the Minimum Label Cut problem with Label Overlaps.
Given a set and are subsets of and integer The hitting set problem is to find a subset of with size at most which has intersection with all It is known that the hitting set problem is NP-complete, which is among the original 21 NP-complete problem list of Karp . According to Menger’s theorem, the size of the minimum edge cut for and is equal to the maximum number of pairwise internally edge-disjoint paths from to . The minimum edge cut for and can be found in polynomial time. Then one can apply the operation introduced earlier to relabel the graph. Let’s make a construction to make , , each is corresponding to one -path of the graph. The hitting set intersecting all is exactly the number of hedge edges removal to disconnect all the paths of and .
4.2 Approximation Results with Label Overlaps
Minimum Label Cut problem with Label Overlaps is APX-hard.
After doing the operation as the preprocessing procedure, the Minimum Label Cut problem with Label Overlaps transformed into the Weighted Minimum Label Cut problem. This operation preserves the hedge connectivity, and can be done in polynomial time. As the Weighted Minimum Label Cut problem is APX-hard , thus the Minimum Label Cut problem with Label Overlaps is also APX-hard.
Based on the existing results, in addition to some lemmas, one can easily get corollaries for label overlapping problems.
Minimum Label Cut problem with Label Overlaps does not admit PTAS even in graphs with , , and , where is longest path between and , is the label frequency, i.e. the number of appearances of a label in the input graph and is the treewidth of
For any constant the Minimum Label Cut problem with Label Overlaps can not be approximated within in polynomial time unless P=NP, where is the input length of the problem.
 It is NP-hard to approximate Vertex Cover problem within a factor of .
Label cut problem with the longest path between and is bounded by cannot be approximated within for any constant .
If the longest path between and is bounded by , it is NP-hard to approximate Minimum Label Cut problem with Label Overlaps within a factor of .
Minimum Label Cut problem with Label Overlaps can not be approximated within unless .
Figure 3. is the example in paper  to argue the hedge cut function is not submodular. In that example,
In telecommunication networks, Shared Risk Resource Group(SRG) is exactly the problems studied above. An SRG failure makes multiple circuits go down because of the failure of a common resource those networks share. There are different shared risk groups: Shared risk link group (SRLG) and Shared risk node group (SRNG). The paper  was studying the SRLG problem, however, the example it showed was actually SRNG.
A more proper way to define the hedge cut function is by the number of labels of the cut edge set. Given a subset of edges, let to be the number of labels appeared in . The minimum hedge cut :
Let and , the function of the number of labels in Minimum Label Cut Problem is submodular:
Above properties also hold in minimum label cut problem with label overlaps.
The Minimum Label Cut with Label Overlaps of a graph is no larger than , where
Let and , the function of the number of labels in Minimum Label Cut Problem with Label Overlaps is submodular:
6 Further Discussion and Open Problems
There are some interesting open problems for further research. One may try different approaches for the minimum label cut problem by streaming, graph sparsification method, or distributed algorithm. It is also interesting to study the problem with special hedge structures such as tree, path, cycle. The Menger’s type theorem for this problem is still missing, it is open whether Menger’s type theorem exists for the minimum label cut problem. Moreover, those results may have connections with other cut problems such as Label Multicut, Label Multiway Cut, and Label -Cut. Last but not least, it is still open whether the (global) minimum label cut(nonoverlapping version) problem is polynomial-time solvable or not.
Rupei Xu would like to thank Dr. Debmalya Panigrahi for kind instructions and helpful discussions on graph connectivity topic during her visit to Simons Institute for the Theory of Computing of UC Berkeley. Dr. Debmalya Panigrahi’s talks about hedge connectivity in the 9th Workshop on Flexible Network Design and 2018 INFORMS Annual Meeting inspired Rupei Xu to start this research. Dr. Kyle J. Fox and Dr. László A. Végh also helped to discuss this problem.
-  Coudert, David, Pallab Datta, Stéphane Pérennes, Hervé Rivano, and M-E. Voge. ”Shared risk resource group complexity and approximability issues.” Parallel Processing Letters 17, no. 02 (2007): 169-184.
-  Jha, Somesh, Oleg Sheyner, and Jeannette Wing. ”Two formal analyses of attack graphs.” In Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, pp. 49-63. IEEE, 2002.
Zhang, Peng, Jin-Yi Cai, Lin-Qing Tang, and Wen-Bo Zhao. ”Approximation and hardness results for label cut and related problems.” Journal of Combinatorial Optimization 21, no. 2 (2011): 192-208.
-  Tang, Linqing, and Peng Zhang. ”Approximating minimum label s-t cut via linear programming.” In Latin American Symposium on Theoretical Informatics, pp. 655-666. Springer, Berlin, Heidelberg, 2012.
-  Broersma, Hajo, Xueliang Li, Gerhard J. Woeginger, and Shenggui Zhang. ”Paths and cycles in colored graphs.” Australasian J. Combinatorics 31 (2005): 299-312.
-  Fellows, Michael R., Jiong Guo, and Iyad Kanj. ”The parameterized complexity of some minimum label problems.” Journal of Computer and System Sciences 76, no. 8 (2010): 727-740.
-  Faragó, András. ”A graph theoretic model for complex network failure scenarios.” In Proceedings of the Eighth INFORMS Telecommunications Conference, Dallas, Texas. 2006.
-  Zhang, Peng. ”Efficient algorithms for the label cut problems.” In International Conference on Theory and Applications of Models of Computation, pp. 259-270. Springer, Cham, 2014.
-  Ghaffari, Mohsen, David R. Karger, and Debmalya Panigrahi. ”Random contractions and sampling for hypergraph and hedge connectivity.” In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1101-1114. Society for Industrial and Applied Mathematics, 2017.
-  Subhash, Khot, Dor Minzer, and Muli Safra. ”Pseudorandom sets in grassmann graph have near-perfect expansion.” 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, 2018.
-  Dinur, Irit, and Samuel Safra. ”On the hardness of approximating minimum vertex cover.” Annals of mathematics (2005): 439-485.
-  Karp, Richard M. ”Reducibility among combinatorial problems.” Complexity of computer computations. Springer, Boston, MA, 1972. 85-103.
-  Crescenzi, Pierluigi, Riccardo Silvestri, and Luca Trevisan. ”On weighted vs unweighted versions of combinatorial optimization problems.” Information and Computation 167.1 (2001): 10-26.