10,968 research outputs found

    Improved Approximation Algorithms for Steiner Connectivity Augmentation Problems

    Full text link
    The Weighted Connectivity Augmentation Problem is the problem of augmenting the edge-connectivity of a given graph by adding links of minimum total cost. This work focuses on connectivity augmentation problems in the Steiner setting, where we are not interested in the connectivity between all nodes of the graph, but only the connectivity between a specified subset of terminals. We consider two related settings. In the Steiner Augmentation of a Graph problem (kk-SAG), we are given a kk-edge-connected subgraph HH of a graph GG. The goal is to augment HH by including links and nodes from GG of minimum cost so that the edge-connectivity between nodes of HH increases by 1. In the Steiner Connectivity Augmentation Problem (kk-SCAP), we are given a Steiner kk-edge-connected graph connecting terminals RR, and we seek to add links of minimum cost to create a Steiner (k+1)(k+1)-edge-connected graph for RR. Note that kk-SAG is a special case of kk-SCAP. All of the above problems can be approximated to within a factor of 2 using e.g. Jain's iterative rounding algorithm for Survivable Network Design. In this work, we leverage the framework of Traub and Zenklusen to give a (1+ln2+ε)(1 + \ln{2} +\varepsilon)-approximation for the Steiner Ring Augmentation Problem (SRAP): given a cycle H=(V(H),E)H = (V(H),E) embedded in a larger graph G=(V,EL)G = (V, E \cup L) and a subset of terminals RV(H)R \subseteq V(H), choose a subset of links SLS \subseteq L of minimum cost so that (V,ES)(V, E \cup S) has 3 pairwise edge-disjoint paths between every pair of terminals. We show this yields a polynomial time algorithm with approximation ratio (1+ln2+ε)(1 + \ln{2} + \varepsilon) for 22-SCAP. We obtain an improved approximation guarantee of (1.5+ε)(1.5+\varepsilon) for SRAP in the case that R=V(H)R = V(H), which yields a (1.5+ε)(1.5+\varepsilon)-approximation for kk-SAG for any kk

    Finding a Highly Connected Steiner Subgraph and its Applications

    Get PDF
    Given a (connected) undirected graph G, a set X ? V(G) and integers k and p, the Steiner Subgraph Extension problem asks whether there exists a set S ? X of at most k vertices such that G[S] is a p-edge-connected subgraph. This problem is a natural generalization of the well-studied Steiner Tree problem (set p = 1 and X to be the terminals). In this paper, we initiate the study of Steiner Subgraph Extension from the perspective of parameterized complexity and give a fixed-parameter algorithm (i.e., FPT algorithm) parameterized by k and p on graphs of bounded degeneracy (removing the assumption of bounded degeneracy results in W-hardness). Besides being an independent advance on the parameterized complexity of network design problems, our result has natural applications. In particular, we use our result to obtain new single-exponential FPT algorithms for several vertex-deletion problems studied in the literature, where the goal is to delete a smallest set of vertices such that: (i) the resulting graph belongs to a specified hereditary graph class, and (ii) the deleted set of vertices induces a p-edge-connected subgraph of the input graph

    Pruning 2-Connected Graphs

    Get PDF
    Given an edge-weighted undirected graph GG with a specified set of terminals, let the emph{density} of any subgraph be the ratio of its weight/cost to the number of terminals it contains. If GG is 2-connected, does it contain smaller 2-connected subgraphs of density comparable to that of GG? We answer this question in the affirmative by giving an algorithm to emph{prune} GG and find such subgraphs of any desired size, at the cost of only a logarithmic increase in density (plus a small additive factor). We apply the pruning techniques to give algorithms for two NP-Hard problems on finding large 2-vertex-connected subgraphs of low cost; no previous approximation algorithm was known for either problem. In the kv problem, we are given an undirected graph GG with edge costs and an integer kk; the goal is to find a minimum-cost 2-vertex-connected subgraph of GG containing at least kk vertices. In the bv problem, we are given the graph GG with edge costs, and a budget BB; the goal is to find a 2-vertex-connected subgraph HH of GG with total edge cost at most BB that maximizes the number of vertices in HH. We describe an O(lognlogk)O(log n log k) approximation for the kv problem, and a bicriteria approximation for the bv problem that gives an O(frac1epslog2n)O(frac{1}{eps}log^2 n) approximation, while violating the budget by a factor of at most 3+eps3+eps

    Approximation Algorithms for Flexible Graph Connectivity

    Get PDF
    We present approximation algorithms for several network design problems in the model of Flexible Graph Connectivity (Adjiashvili, Hommelsheim and M\"uhlenthaler, "Flexible Graph Connectivity", Math. Program. pp. 1-33 (2021), and IPCO 2020: pp. 13-26). Let k1k\geq 1, p1p\geq 1 and q0q\geq 0 be integers. In an instance of the (p,q)(p,q)-Flexible Graph Connectivity problem, denoted (p,q)(p,q)-FGC, we have an undirected connected graph G=(V,E)G = (V,E), a partition of EE into a set of safe edges SS and a set of unsafe edges UU, and nonnegative costs c:Ec: E\to\Re on the edges. A subset FEF \subseteq E of edges is feasible for the (p,q)(p,q)-FGC problem if for any subset FF' of unsafe edges with Fq|F'|\leq q, the subgraph (V,FF)(V, F \setminus F') is pp-edge connected. The algorithmic goal is to find a feasible solution FF that minimizes c(F)=eFcec(F) = \sum_{e \in F} c_e. We present a simple 22-approximation algorithm for the (1,1)(1,1)-FGC problem via a reduction to the minimum-cost rooted 22-arborescence problem. This improves on the 2.5272.527-approximation algorithm of Adjiashvili et al. Our 22-approximation algorithm for the (1,1)(1,1)-FGC problem extends to a (k+1)(k+1)-approximation algorithm for the (1,k)(1,k)-FGC problem. We present a 44-approximation algorithm for the (p,1)(p,1)-FGC problem, and an O(qlogV)O(q\log|V|)-approximation algorithm for the (p,q)(p,q)-FGC problem. Finally, we improve on the result of Adjiashvili et al. for the unweighted (1,1)(1,1)-FGC problem by presenting a 16/1116/11-approximation algorithm. The (p,q)(p,q)-FGC problem is related to the well-known Capacitated kk-Connected Subgraph problem (denoted Cap-k-ECSS) that arises in the area of Capacitated Network Design. We give a min(k,2umax)\min(k,2 u_{max})-approximation algorithm for the Cap-k-ECSS problem, where umaxu_{max} denotes the maximum capacity of an edge.Comment: 23 pages, 1 figure, preliminary version in the Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), December 15-17, (LIPIcs, Volume 213, Article No. 9, pp. 9:1-9:14), see https://doi.org/10.4230/LIPIcs.FSTTCS.2021.9. Related manuscript: arXiv:2102.0330

    A Variant of the Maximum Weight Independent Set Problem

    Full text link
    We study a natural extension of the Maximum Weight Independent Set Problem (MWIS), one of the most studied optimization problems in Graph algorithms. We are given a graph G=(V,E)G=(V,E), a weight function w:VR+w: V \rightarrow \mathbb{R^+}, a budget function b:VZ+b: V \rightarrow \mathbb{Z^+}, and a positive integer BB. The weight (resp. budget) of a subset of vertices is the sum of weights (resp. budgets) of the vertices in the subset. A kk-budgeted independent set in GG is a subset of vertices, such that no pair of vertices in that subset are adjacent, and the budget of the subset is at most kk. The goal is to find a BB-budgeted independent set in GG such that its weight is maximum among all the BB-budgeted independent sets in GG. We refer to this problem as MWBIS. Being a generalization of MWIS, MWBIS also has several applications in Scheduling, Wireless networks and so on. Due to the hardness results implied from MWIS, we study the MWBIS problem in several special classes of graphs. We design exact algorithms for trees, forests, cycle graphs, and interval graphs. In unweighted case we design an approximation algorithm for d+1d+1-claw free graphs whose approximation ratio (dd) is competitive with the approximation ratio (d2\frac{d}{2}) of MWIS (unweighted). Furthermore, we extend Baker's technique \cite{Baker83} to get a PTAS for MWBIS in planar graphs.Comment: 18 page

    On the Approximability of Digraph Ordering

    Full text link
    Given an n-vertex digraph D = (V, A) the Max-k-Ordering problem is to compute a labeling :V[k]\ell : V \to [k] maximizing the number of forward edges, i.e. edges (u,v) such that \ell(u) < \ell(v). For different values of k, this reduces to Maximum Acyclic Subgraph (k=n), and Max-Dicut (k=2). This work studies the approximability of Max-k-Ordering and its generalizations, motivated by their applications to job scheduling with soft precedence constraints. We give an LP rounding based 2-approximation algorithm for Max-k-Ordering for any k={2,..., n}, improving on the known 2k/(k-1)-approximation obtained via random assignment. The tightness of this rounding is shown by proving that for any k={2,..., n} and constant ε>0\varepsilon > 0, Max-k-Ordering has an LP integrality gap of 2 - ε\varepsilon for nΩ(1/loglogk)n^{\Omega\left(1/\log\log k\right)} rounds of the Sherali-Adams hierarchy. A further generalization of Max-k-Ordering is the restricted maximum acyclic subgraph problem or RMAS, where each vertex v has a finite set of allowable labels SvZ+S_v \subseteq \mathbb{Z}^+. We prove an LP rounding based 42/(2+1)2.3444\sqrt{2}/(\sqrt{2}+1) \approx 2.344 approximation for it, improving on the 222.8282\sqrt{2} \approx 2.828 approximation recently given by Grandoni et al. (Information Processing Letters, Vol. 115(2), Pages 182-185, 2015). In fact, our approximation algorithm also works for a general version where the objective counts the edges which go forward by at least a positive offset specific to each edge. The minimization formulation of digraph ordering is DAG edge deletion or DED(k), which requires deleting the minimum number of edges from an n-vertex directed acyclic graph (DAG) to remove all paths of length k. We show that both, the LP relaxation and a local ratio approach for DED(k) yield k-approximation for any k[n]k\in [n].Comment: 21 pages, Conference version to appear in ESA 201
    corecore