2,713 research outputs found

    Approximating subset kk-connectivity problems

    Get PDF
    A subset TVT \subseteq V of terminals is kk-connected to a root ss in a directed/undirected graph JJ if JJ has kk internally-disjoint vsvs-paths for every vTv \in T; TT is kk-connected in JJ if TT is kk-connected to every sTs \in T. We consider the {\sf Subset kk-Connectivity Augmentation} problem: given a graph G=(V,E)G=(V,E) with edge/node-costs, node subset TVT \subseteq V, and a subgraph J=(V,EJ)J=(V,E_J) of GG such that TT is kk-connected in JJ, find a minimum-cost augmenting edge-set FEEJF \subseteq E \setminus E_J such that TT is (k+1)(k+1)-connected in JFJ \cup F. The problem admits trivial ratio O(T2)O(|T|^2). We consider the case T>k|T|>k and prove that for directed/undirected graphs and edge/node-costs, a ρ\rho-approximation for {\sf Rooted Subset kk-Connectivity Augmentation} implies the following ratios for {\sf Subset kk-Connectivity Augmentation}: (i) b(ρ+k)+(3TTk)2H(3TTk)b(\rho+k) + {(\frac{3|T|}{|T|-k})}^2 H(\frac{3|T|}{|T|-k}); (ii) ρO(TTklogk)\rho \cdot O(\frac{|T|}{|T|-k} \log k), where b=1 for undirected graphs and b=2 for directed graphs, and H(k)H(k) is the kkth harmonic number. The best known values of ρ\rho on undirected graphs are min{T,O(k)}\min\{|T|,O(k)\} for edge-costs and min{T,O(klogT)}\min\{|T|,O(k \log |T|)\} for node-costs; for directed graphs ρ=T\rho=|T| for both versions. Our results imply that unless k=To(T)k=|T|-o(|T|), {\sf Subset kk-Connectivity Augmentation} admits the same ratios as the best known ones for the rooted version. This improves the ratios in \cite{N-focs,L}

    Approximating Source Location and Star Survivable Network Problems

    Full text link
    In Source Location (SL) problems the goal is to select a mini-mum cost source set SVS \subseteq V such that the connectivity (or flow) ψ(S,v)\psi(S,v) from SS to any node vv is at least the demand dvd_v of vv. In many SL problems ψ(S,v)=dv\psi(S,v)=d_v if vSv \in S, namely, the demand of nodes selected to SS is completely satisfied. In a node-connectivity variant suggested recently by Fukunaga, every node vv gets a "bonus" pvdvp_v \leq d_v if it is selected to SS. Fukunaga showed that for undirected graphs one can achieve ratio O(klnk)O(k \ln k) for his variant, where k=maxvVdvk=\max_{v \in V}d_v is the maximum demand. We improve this by achieving ratio \min\{p^*\lnk,k\}\cdot O(\ln (k/q^*)) for a more general version with node capacities, where p=maxvVpvp^*=\max_{v \in V} p_v is the maximum bonus and q=minvVqvq^*=\min_{v \in V} q_v is the minimum capacity. In particular, for the most natural case p=1p^*=1 considered by Fukunaga, we improve the ratio from O(klnk)O(k \ln k) to O(ln2k)O(\ln^2k). We also get ratio O(k)O(k) for the edge-connectivity version, for which no ratio that depends on kk only was known before. To derive these results, we consider a particular case of the Survivable Network (SN) problem when all edges of positive cost form a star. We give ratio O(min{lnn,ln2k})O(\min\{\ln n,\ln^2 k\}) for this variant, improving over the best ratio known for the general case O(k3lnn)O(k^3 \ln n) of Chuzhoy and Khanna

    Approximating Minimum-Cost k-Node Connected Subgraphs via Independence-Free Graphs

    Full text link
    We present a 6-approximation algorithm for the minimum-cost kk-node connected spanning subgraph problem, assuming that the number of nodes is at least k3(k1)+kk^3(k-1)+k. We apply a combinatorial preprocessing, based on the Frank-Tardos algorithm for kk-outconnectivity, to transform any input into an instance such that the iterative rounding method gives a 2-approximation guarantee. This is the first constant-factor approximation algorithm even in the asymptotic setting of the problem, that is, the restriction to instances where the number of nodes is lower bounded by a function of kk.Comment: 20 pages, 1 figure, 28 reference

    Non-Uniform Robust Network Design in Planar Graphs

    Get PDF
    Robust optimization is concerned with constructing solutions that remain feasible also when a limited number of resources is removed from the solution. Most studies of robust combinatorial optimization to date made the assumption that every resource is equally vulnerable, and that the set of scenarios is implicitly given by a single budget constraint. This paper studies a robustness model of a different kind. We focus on \textbf{bulk-robustness}, a model recently introduced~\cite{bulk} for addressing the need to model non-uniform failure patterns in systems. We significantly extend the techniques used in~\cite{bulk} to design approximation algorithm for bulk-robust network design problems in planar graphs. Our techniques use an augmentation framework, combined with linear programming (LP) rounding that depends on a planar embedding of the input graph. A connection to cut covering problems and the dominating set problem in circle graphs is established. Our methods use few of the specifics of bulk-robust optimization, hence it is conceivable that they can be adapted to solve other robust network design problems.Comment: 17 pages, 2 figure

    Spider covers for prize-collecting network activation problem

    Full text link
    In the network activation problem, each edge in a graph is associated with an activation function, that decides whether the edge is activated from node-weights assigned to its end-nodes. The feasible solutions of the problem are the node-weights such that the activated edges form graphs of required connectivity, and the objective is to find a feasible solution minimizing its total weight. In this paper, we consider a prize-collecting version of the network activation problem, and present first non- trivial approximation algorithms. Our algorithms are based on a new LP relaxation of the problem. They round optimal solutions for the relaxation by repeatedly computing node-weights activating subgraphs called spiders, which are known to be useful for approximating the network activation problem

    On the fixed-parameter tractability of the maximum connectivity improvement problem

    Full text link
    In the Maximum Connectivity Improvement (MCI) problem, we are given a directed graph G=(V,E)G=(V,E) and an integer BB and we are asked to find BB new edges to be added to GG in order to maximize the number of connected pairs of vertices in the resulting graph. The MCI problem has been studied from the approximation point of view. In this paper, we approach it from the parameterized complexity perspective in the case of directed acyclic graphs. We show several hardness and algorithmic results with respect to different natural parameters. Our main result is that the problem is W[2]W[2]-hard for parameter BB and it is FPT for parameters VB|V| - B and ν\nu, the matching number of GG. We further characterize the MCI problem with respect to other complementary parameters.Comment: 15 pages, 1 figur

    Approximating Minimum Cost Connectivity Orientation and Augmentation

    Get PDF
    We investigate problems addressing combined connectivity augmentation and orientations settings. We give a polynomial-time 6-approximation algorithm for finding a minimum cost subgraph of an undirected graph GG that admits an orientation covering a nonnegative crossing GG-supermodular demand function, as defined by Frank. An important example is (k,)(k,\ell)-edge-connectivity, a common generalization of global and rooted edge-connectivity. Our algorithm is based on a non-standard application of the iterative rounding method. We observe that the standard linear program with cut constraints is not amenable and use an alternative linear program with partition and co-partition constraints instead. The proof requires a new type of uncrossing technique on partitions and co-partitions. We also consider the problem setting when the cost of an edge can be different for the two possible orientations. The problem becomes substantially more difficult already for the simpler requirement of kk-edge-connectivity. Khanna, Naor, and Shepherd showed that the integrality gap of the natural linear program is at most 44 when k=1k=1 and conjectured that it is constant for all fixed kk. We disprove this conjecture by showing an Ω(V)\Omega(|V|) integrality gap even when k=2k=2
    corecore