arXiv Science⌕ Search

arXiv subjects

Sharat Ibrahimpur

Publications and source records attributed to Sharat Ibrahimpur.

13 recordsLinked to original sources
arXiv2026

Stochastic Load Balancing with Machine Reservations

We introduce a novel variant of stochastic load balancing that enables a quantitative tradeoff between the practical benefits of non-adaptive policies and their performance limitations. Our model describes a solution in two stages. In the first stage, given only job-size distributions, we reserve a set of at most k machines for each job (a k-reservation). In the second stage, after observing job-size realizations, we assign each job to one of its reserved machines (a consistent assignment). The goal is to minimize the expected makespan. If k=1, we get the standard stochastic load balancing problem of finding a non-adaptive assignment with minimum expected makespan. If k is equal to the number of machines, then we obtain an all-powerful omniscient optimum that can tailor the assignment arbitrarily to the job-size realizations. We give a number of results that quantify this tradeoff. Most saliently, we show that in the setting of identical machines, a 2-reservation suffices to achieve a constant-factor approximation to the omniscient optimum, establishing a "power-of-two-choices" result for stochastic load balancing. We also show that this no longer holds true in the more challenging setting of related machines. Nonetheless, we give a number of positive algorithmic results for this setting: a true O(log m/log log m)-approximation; a bicriteria O(1)-approximation by reserving twice as many machines per job relative to an optimal k-reservation; and a 2-reservation whose cost is within a constant factor of what the adaptive optimum can achieve.

cs.DS↗
arXiv2026

Approximation Algorithms for Norm-Budgeted Packing Problems

In recent years, much attention has been devoted to the study of optimization problems under norm-based objectives coming from the rich class of monotone, symmetric norms (and their generalizations). This work has however almost exclusively focused on covering problems, wherein one seeks to minimize the norm of the cost vector induced by a solution. We introduce and study the class of {\em norm-budgeted packing problems}, which are packing problems where the resource constraints underlying the packing problem are modeled via a {\em norm budget constraint} involving a {\em monotone, symmetric norm}. Formally, we have some elements with associated rewards and sizes, a downwards-closed collection of feasible solutions, and a budget $B$. Each solution induces a size vector, and the goal is to maximize the total reward subject to the norm-budget constraint $f(\text{size vector})\leq B$. The versatility of monotone, symmetric norms implies that a variety of classical packing problems can be captured under the umbrella of norm-budgeted packing problems. Moreover, the closure properties of monotone, symmetric norms, also enable one to encode multiple different norm-budget constraints via a single monotone, symmetric norm. We consider the norm-budgeted versions of a variety of canonical packing problems, including knapsack, matching, maximum-weight independent set in a $k$-set system, maximum generalized assignment problem (MaxGAP), and $k$-facility location, and develop a framework that allows us to obtain {\em constant-factor approximation guarantees} for these problems, and {\em PTASes for knapsack, and MaxGAP on identical and related machines}. We also develop constant-factor approximation algorithms for the {\em submodular} versions of some norm-budgeted packing problems, wherein the reward function is now specified by a monotone, submodular function.

cs.DS↗
arXiv2026

An O(log n)-Approximation Algorithm for (p,q)-Flexible Graph Connectivity via Independent Rounding

In the Flexible Graph Connectivity (FGC) problem, we are given an undirected multigraph on $n$ vertices with nonnegative edge costs, where each edge is classified as either safe or unsafe. Given integer parameters $p$ and $q$, the goal in $(p,q)$-FGC is to purchase a minimum-cost set of edges such that the resulting spanning subgraph remains $p$-edge-connected after the removal of any set of up to $q$ unsafe edges. Our main contribution is an $O(\log n)$-approximation algorithm based on independent rounding, improving the previous best approximation ratio of $O(q \log n)$. Central to our approach is a new linear programming formulation of feasible solutions that encodes knapsack cover inequalities as cut-capacity constraints. Unlike prior work, the capacity of an edge in a cut may depend on the partially purchased solution for this cut. We show that the resulting linear program admits a polynomial-time separation oracle. Scaling the fractional solution by $Θ(\log n)$ and applying independent rounding yields a feasible integral solution with constant probability; here, we leverage the knapsack cover inequalities to obtain strong concentration bounds for the rounded solution relative to any given partial solution. A key ingredient in both separation and rounding is the use of Karger's bound on the number of near-minimum cuts. We also extend the $(p,q)$-FGC problem to model more than two safety tiers and show that our results and techniques extend naturally to this setting, albeit with increased approximation ratios and running times that scale with the number of tiers.

cs.DM↗
arXiv2024

Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions

We address long-standing open questions raised by Williamson, Goemans, Vazirani and Mihail pertaining to the design of approximation algorithms for problems in network design via the primal-dual method (Combinatorica 15(3):435-454, 1995). Williamson et al. prove an approximation guarantee of two for connectivity augmentation problems where the connectivity requirements can be specified by so-called uncrossable functions. They state: ``Extending our algorithm to handle non-uncrossable functions remains a challenging open problem. The key feature of uncrossable functions is that there exists an optimal dual solution which is laminar. This property characterizes uncrossable functions\dots\ A larger open issue is to explore further the power of the primal-dual approach for obtaining approximation algorithms for other combinatorial optimization problems.'' Our main result proves that the primal-dual algorithm of Williamson et al. achieves an approximation ratio of 16 for a class of functions that generalizes the notion of an uncrossable function. There exist instances that can be handled by our methods where none of the optimal dual solutions has a laminar support. We present three applications of our main result. (1) A 16-approximation algorithm for augmenting a family of small cuts of a graph $G$. (2) A $16 \cdot {\lceil k/u_{min} \rceil}$-approximation algorithm for the Cap-$k$-ECSS problem which is as follows: Given an undirected graph $G = (V,E)$ with edge costs $c \in \mathbb{Q}_{\geq 0}^E$ and edge capacities $u \in \mathbb{Z}_{\geq 0}^E$, find a minimum-cost subset of the edges $F\subseteq E$ such that the capacity of any cut in $(V,F)$ is at least $k$; we use $u_{min}$ to denote the minimum capacity of an edge in $E$. (3) An $O(1)$-approximation algorithm for the model of $(p,2)$-Flexible Graph Connectivity.

cs.DS↗
arXiv2023

Efficient Caching with Reserves via Marking

Online caching is among the most fundamental and well-studied problems in the area of online algorithms. Innovative algorithmic ideas and analysis -- including potential functions and primal-dual techniques -- give insight into this still-growing area. Here, we introduce a new analysis technique that first uses a potential function to upper bound the cost of an online algorithm and then pairs that with a new dual-fitting strategy to lower bound the cost of an offline optimal algorithm. We apply these techniques to the Caching with Reserves problem recently introduced by Ibrahimpur et al. [10] and give an O(log k)-competitive fractional online algorithm via a marking strategy, where k denotes the size of the cache. We also design a new online rounding algorithm that runs in polynomial time to obtain an O(log k)-competitive randomized integral algorithm. Additionally, we provide a new, simple proof for randomized marking for the classical unweighted paging problem.

cs.DS↗
arXiv2022

Extensions of the $(p,q)$-Flexible-Graph-Connectivity model

We present approximation algorithms for network design problems in some models related to the $(p,q)$-FGC model. Adjiashvili, Hommelsheim and Mühlenthaler introduced the model of Flexible Graph Connectivity that we denote by FGC. Boyd, Cheriyan, Haddadan and Ibrahimpur introduced a generalization of FGC. Let $p\geq 1$ and $q\geq 0$ be integers. In an instance of the $(p,q)$-Flexible Graph Connectivity problem, denoted $(p,q)$-FGC, we have an undirected connected graph $G = (V,E)$, a partition of $E$ into a set of safe edges and a set of unsafe edges, and nonnegative costs $c\in\mathbb{R}_{\geq0}^E$ on the edges. A subset $F \subseteq E$ of edges is feasible for the $(p,q)$-FGC problem if for any set of unsafe edges, $F'$, with $|F'|\leq q$, the subgraph $(V, F \setminus F')$ is $p$-edge connected. The algorithmic goal is to find a feasible edge-set $F$ that minimizes $c(F) = \sum_{e \in F} c_e$.

cs.DS↗
arXiv2022

Algorithms for 2-connected network design and flexible Steiner trees with a constant number of terminals

The $k$-Steiner-2NCS problem is as follows: Given a constant $k$, and an undirected connected graph $G = (V,E)$, non-negative costs $c$ on $E$, and a partition $(T, V-T)$ of $V$ into a set of terminals, $T$, and a set of non-terminals (or, Steiner nodes), where $|T|=k$, find a minimum-cost two-node connected subgraph that contains the terminals. We present a randomized polynomial-time algorithm for the unweighted problem, and a randomized PTAS for the weighted problem. We obtain similar results for the $k$-Steiner-2ECS problem, where the input is the same, and the algorithmic goal is to find a minimum-cost two-edge connected subgraph that contains the terminals. Our methods build on results by Björklund, Husfeldt, and Taslaman (ACM-SIAM SODA 2012) that give a randomized polynomial-time algorithm for the unweighted $k$-Steiner-cycle problem; this problem has the same inputs as the unweighted $k$-Steiner-2NCS problem, and the algorithmic goal is to find a minimum-size simple cycle $C$ that contains the terminals ($C$ may contain any number of Steiner nodes).

cs.DS↗
arXiv2022

Caching with Reserves

Caching is a crucial component of many computer systems, so naturally it is a well-studied topic in algorithm design. Much of traditional caching research studies cache management for a single-user or single-processor environment. In this paper, we propose two related generalizations of the classical caching problem that capture issues that arise in a multi-user or multi-processor environment. In the caching with reserves problem, a caching algorithm is required to maintain at least $k_i$ pages belonging to user $i$ in the cache at any time, for some given reserve capacities $k_i$. In the public-private caching problem, the cache of total size $k$ is partitioned into subcaches, a private cache of size $k_i$ for each user $i$ and a shared public cache usable by any user. In both of these models, as in the classical caching framework, the objective of the algorithm is to dynamically maintain the cache so as to minimize the total number of cache misses. We show that caching with reserves and public-private caching models are equivalent up to constant factors, and thus focus on the former. Unlike classical caching, both of these models turn out to be NP-hard even in the offline setting, where the page sequence is known in advance. For the offline setting, we design a 2-approximation algorithm, whose analysis carefully keeps track of a potential function to bound the cost. In the online setting, we first design an $O(\ln k)$-competitive fractional algorithm using the primal-dual framework, and then show how to convert it online to a randomized integral algorithm with the same guarantee.

cs.DS↗
arXiv2022

Approximation Algorithms for Flexible Graph Connectivity

We present approximation algorithms for several network design problems in the model of Flexible Graph Connectivity (Adjiashvili, Hommelsheim and Mühlenthaler, "Flexible Graph Connectivity", Math. Program. pp. 1-33 (2021), and IPCO 2020: pp. 13-26). Let $k\geq 1$, $p\geq 1$ and $q\geq 0$ be integers. In an instance of the $(p,q)$-Flexible Graph Connectivity problem, denoted $(p,q)$-FGC, we have an undirected connected graph $G = (V,E)$, a partition of $E$ into a set of safe edges $S$ and a set of unsafe edges $U$, and nonnegative costs $c: E\to\Re$ on the edges. A subset $F \subseteq E$ of edges is feasible for the $(p,q)$-FGC problem if for any subset $F'$ of unsafe edges with $|F'|\leq q$, the subgraph $(V, F \setminus F')$ is $p$-edge connected. The algorithmic goal is to find a feasible solution $F$ that minimizes $c(F) = \sum_{e \in F} c_e$. We present a simple $2$-approximation algorithm for the $(1,1)$-FGC problem via a reduction to the minimum-cost rooted $2$-arborescence problem. This improves on the $2.527$-approximation algorithm of Adjiashvili et al. Our $2$-approximation algorithm for the $(1,1)$-FGC problem extends to a $(k+1)$-approximation algorithm for the $(1,k)$-FGC problem. We present a $4$-approximation algorithm for the $(p,1)$-FGC problem, and an $O(q\log|V|)$-approximation algorithm for the $(p,q)$-FGC problem. Finally, we improve on the result of Adjiashvili et al. for the unweighted $(1,1)$-FGC problem by presenting a $16/11$-approximation algorithm. The $(p,q)$-FGC problem is related to the well-known Capacitated $k$-Connected Subgraph problem (denoted Cap-k-ECSS) that arises in the area of Capacitated Network Design. We give a $\min(k,2 u_{max})$-approximation algorithm for the Cap-k-ECSS problem, where $u_{max}$ denotes the maximum capacity of an edge.

cs.DS↗
arXiv2021

A Simple Approximation Algorithm for Vector Scheduling and Applications to Stochastic Min-Norm Load Balancing

We consider the Vector Scheduling problem on identical machines: we have m machines, and a set J of n jobs, where each job j has a processing-time vector $p_j\in \mathbb{R}^d_{\geq 0}$. The goal is to find an assignment $σ:J\to [m]$ of jobs to machines so as to minimize the makespan $\max_{i\in [m]}\max_{r\in [d]}( \sum_{j:σ(j)=i}p_{j,r})$. A natural lower bound on the optimal makespan is lb $:=\max\{\max_{j\in J,r\in [d]}p_{j,r},\max_{r\in [d]}(\sum_{j\in J}p_{j,r}/m)\}$. Our main result is a very simple O(log d)-approximation algorithm for vector scheduling with respect to the lower bound lb: we devise an algorithm that returns an assignment whose makespan is at most O(log d)*lb. As an application, we show that the above guarantee leads to an O(log log m)-approximation for Stochastic Minimum-Norm Load Balancing (StochNormLB). In StochNormLB, we have m identical machines, a set J of n independent stochastic jobs whose processing times are nonnegative random variables, and a monotone, symmetric norm $f:\mathbb{R}^m \to \mathbb{R}_{\geq 0}$. The goal is to find an assignment $σ:J\to [m]$ that minimizes the expected $f$-norm of the induced machine-load vector, where the load on machine i is the (random) total processing time assigned to it. Our O(log log m)-approximation guarantee is in fact much stronger: we obtain an assignment that is simultaneously an O(log log m)-approximation for StochNormLB with all monotone, symmetric norms. Next, this approximation factor significantly improves upon the O(log m/log log m)-approximation in (Ibrahimpur and Swamy, FOCS 2020) for StochNormLB, and is a consequence of a more-general black-box reduction that we present, showing that a $γ(d)$-approximation for d-dimensional vector scheduling with respect to the lower bound lb yields a simultaneous $γ(\log m)$-approximation for StochNormLB with all monotone, symmetric norms.

cs.DS↗
arXiv2020

Approximation Algorithms for Stochastic Minimum Norm Combinatorial Optimization

Motivated by the need for, and growing interest in, modeling uncertainty in data, we introduce and study {\em stochastic minimum-norm optimization}. We have an underlying combinatorial optimization problem where the costs involved are {\em random variables} with given distributions; each feasible solution induces a random multidimensional cost vector, and given a certain objective function, the goal is to find a solution (that does not depend on the realizations of the costs) that minimizes the expected objective value. For instance, in stochastic load balancing, jobs with random processing times need to be assigned to machines, and the induced cost vector is the machine-load vector. Recently, in the deterministic setting, Chakrabarty and Swamy \cite{ChakrabartyS19a} considered a fairly broad suite of objectives, wherein we seek to minimize the $f$-norm of the cost vector under a given {\em arbitrary monotone, symmetric norm} $f$. In stochastic minimum-norm optimization, we work with this broad class of objectives, and seek a solution that minimizes the {\em expected $f$-norm} of the induced cost vector. We give a general framework for devising algorithms for stochastic minimum-norm combinatorial optimization, using which we obtain approximation algorithms for the stochastic minimum-norm versions of the load balancing and spanning tree problems. Two key technical contributions of this work are: (1) a structural result of independent interest connecting stochastic minimum-norm optimization to the simultaneous optimization of a (\emph{small}) collection of expected $\mathsf{Top}$-$\ell$-norms; and (2) showing how to tackle expected $\mathsf{Top}$-$\ell$-norm minimization by leveraging techniques used to deal with minimizing the expected maximum, circumventing the difficulties posed by the non-separable nature of $\mathsf{Top}$-$\ell$ norms.

cs.DS↗
arXiv2017

Min-Max Theorems for Packing and Covering Odd $(u,v)$-trails

We investigate the problem of packing and covering odd $(u,v)$-trails in a graph. A $(u,v)$-trail is a $(u,v)$-walk that is allowed to have repeated vertices but no repeated edges. We call a trail odd if the number of edges in the trail is odd. Let $ν(u,v)$ denote the maximum number of edge-disjoint odd $(u,v)$-trails, and $τ(u,v)$ denote the minimum size of an edge-set that intersects every odd $(u,v)$-trail. We prove that $τ(u,v)\leq 2ν(u,v)+1$. Our result is tight---there are examples showing that $τ(u,v)=2ν(u,v)+1$---and substantially improves upon the bound of $8$ obtained in [Churchley et al 2016] for $τ(u,v)/ν(u,v)$. Our proof also yields a polynomial-time algorithm for finding a cover and a collection of trails satisfying the above bounds. Our proof is simple and has two main ingredients. We show that (loosely speaking) the problem can be reduced to the problem of packing and covering odd $(uv,uv)$-trails losing a factor of 2 (either in the number of trails found, or the size of the cover). Complementing this, we show that the odd-$(uv,uv)$-trail packing and covering problems can be tackled by exploiting a powerful min-max result of [Chudnovsky et al 2006] for packing vertex-disjoint nonzero $A$-paths in group-labeled graphs.

cs.DM↗