-
On the Hardness of Short and Sign-Compatible Circuit Walks
Authors:
Steffen Borgwardt,
Weston Grewe,
Sean Kafer,
Jon Lee,
Laura Sanità
Abstract:
The circuits of a polyhedron are a superset of its edge directions. Circuit walks, a sequence of steps along circuits, generalize edge walks and are "short" if they have few steps or small total length. Both interpretations of short are relevant to the theory and application of linear programming.
We study the hardness of several problems relating to the construction of short circuit walks. We e…
▽ More
The circuits of a polyhedron are a superset of its edge directions. Circuit walks, a sequence of steps along circuits, generalize edge walks and are "short" if they have few steps or small total length. Both interpretations of short are relevant to the theory and application of linear programming.
We study the hardness of several problems relating to the construction of short circuit walks. We establish that for a pair of vertices of a $0/1$-network-flow polytope, it is NP-complete to determine the length of a shortest circuit walk, even if we add the requirement that the walk must be sign-compatible. Our results also imply that determining the minimal number of circuits needed for a sign-compatible decomposition is NP-complete. Further, we show that it is NP-complete to determine the smallest total length (for $p$-norms $\lVert \cdot \rVert_p$, $1 < p \leq \infty$) of a circuit walk between a pair of vertices. One method to construct a short circuit walk is to pick up a correct facet at each step, which generalizes a non-revisiting walk. We prove that it is NP-complete to determine if there is a circuit direction that picks up a correct facet; in contrast, this problem can be solved in polynomial time for TU polyhedra.
△ Less
Submitted 8 March, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
On the Number of Degenerate Simplex Pivots
Authors:
Kirill Kukharenko,
Laura Sanità
Abstract:
The simplex algorithm is one of the most popular algorithms to solve linear programs (LPs). Starting at an extreme point solution of an LP, it performs a sequence of basis exchanges (called pivots) that allows one to move to a better extreme point along an improving edge-direction of the underlying polyhedron. A key issue in the simplex algorithm's performance is degeneracy, which may lead to a (p…
▽ More
The simplex algorithm is one of the most popular algorithms to solve linear programs (LPs). Starting at an extreme point solution of an LP, it performs a sequence of basis exchanges (called pivots) that allows one to move to a better extreme point along an improving edge-direction of the underlying polyhedron. A key issue in the simplex algorithm's performance is degeneracy, which may lead to a (potentially long) sequence of basis exchanges which do not change the current extreme point solution. In this paper, we prove that it is always possible to limit the number of consecutive degenerate pivots that the simplex algorithm performs to $n-m-1$, where $n$ is the number of variables and $m$ is the number of equality constraints of a given LP in standard equality form.
△ Less
Submitted 6 August, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Capacitated Network Bargaining Games: Stability and Structure
Authors:
Laura Sanità,
Lucy Verberk
Abstract:
Capacitated network bargaining games are popular combinatorial games that involve the structure of matchings in graphs. We show that it is always possible to stabilize unit-weight instances of this problem (that is, ensure that they admit a stable outcome) via capacity-reduction and edge-removal operations, without decreasing the total value that the players can get.
Furthermore, for general wei…
▽ More
Capacitated network bargaining games are popular combinatorial games that involve the structure of matchings in graphs. We show that it is always possible to stabilize unit-weight instances of this problem (that is, ensure that they admit a stable outcome) via capacity-reduction and edge-removal operations, without decreasing the total value that the players can get.
Furthermore, for general weighted instances, we show that computing a minimum amount of vertex-capacity to reduce to make an instance stable is a polynomial-time solvable problem. We then exploit this to give approximation results for the NP-hard problem of stabilizing a graph via edge-removal operations.
Our work extends and generalizes previous results in the literature that dealt with a unit-capacity version of the problem, using several new arguments. In particular, while previous results mainly used combinatorial techniques, we here rely on polyhedral arguments and, more specifically, on the notion of circuits of a polytope.
△ Less
Submitted 4 September, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Finding Almost Tight Witness Trees
Authors:
Dylan Hyatt-Denesik,
Afrouz Jabal Ameli,
Laura Sanità
Abstract:
This paper addresses a graph optimization problem, called the Witness Tree problem, which seeks a spanning tree of a graph minimizing a certain non-linear objective function. This problem is of interest because it plays a crucial role in the analysis of the best approximation algorithms for two fundamental network design problems: Steiner Tree and Node-Tree Augmentation. We will show how a wiser c…
▽ More
This paper addresses a graph optimization problem, called the Witness Tree problem, which seeks a spanning tree of a graph minimizing a certain non-linear objective function. This problem is of interest because it plays a crucial role in the analysis of the best approximation algorithms for two fundamental network design problems: Steiner Tree and Node-Tree Augmentation. We will show how a wiser choice of witness trees leads to an improved approximation for Node-Tree Augmentation, and for Steiner Tree in special classes of graphs.
△ Less
Submitted 5 May, 2023; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Stabilization of Capacitated Matching Games
Authors:
Matthew Gerstbrein,
Laura Sanità,
Lucy Verberk
Abstract:
An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network bargaining games and cooperative matchi…
▽ More
An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network bargaining games and cooperative matching games.
The vertex-stabilizer problem asks to compute a minimum number of players to block (i.e., vertices of G to remove) in order to ensure stability for such games. The problem has been shown to be solvable in polynomial-time, for unit-capacity graphs. This stays true also if we impose the restriction that the set of players to block must not intersect with a given specified maximum matching of G.
In this work, we investigate these algorithmic problems in the more general setting of arbitrary capacities. We show that the vertex-stabilizer problem with the additional restriction of avoiding a given maximum matching remains polynomial-time solvable. Differently, without this restriction, the vertex-stabilizer problem becomes NP-hard and even hard to approximate, in contrast to the unit-capacity case.
Finally, in unit-capacity graphs there is an equivalence between the stability of a graph, existence of a stable solution for network bargaining games, and existence of a stable solution for cooperative matching games. We show that this equivalence does not extend to the capacitated case.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
On the Simplex method for 0/1 polytopes
Authors:
Alexander Black,
Jesús De Loera,
Sean Kafer,
Laura Sanità
Abstract:
We present new pivot rules for the Simplex method for LPs over 0/1 polytopes. We show that the number of non-degenerate steps taken using these rules is strongly polynomial and even linear in the dimension or in the number of variables. Our bounds on the number of steps are asymptotically optimal on several well-known combinatorial polytopes. Our analysis is based on the geometry of 0/1 polytopes…
▽ More
We present new pivot rules for the Simplex method for LPs over 0/1 polytopes. We show that the number of non-degenerate steps taken using these rules is strongly polynomial and even linear in the dimension or in the number of variables. Our bounds on the number of steps are asymptotically optimal on several well-known combinatorial polytopes. Our analysis is based on the geometry of 0/1 polytopes and novel modifications to the classical Steepest-Edge and Shadow-Vertex pivot rules. We draw interesting connections between our pivot rules and other well-known algorithms in combinatorial optimization.
△ Less
Submitted 27 November, 2021;
originally announced November 2021.
-
On the diameter of the polytope of the stable marriage with ties
Authors:
Felix Bauckholt,
Laura Sanità
Abstract:
The stable marriage problem with ties is a well-studied and interesting problem in game theory. We are given a set of men and a set of women. Each individual has a preference ordering on the opposite group, which can possibly contain ties. A stable marriage is given by a matching between men and women for which there is no blocking pair, i.e., a men and a women who strictly prefer each other to th…
▽ More
The stable marriage problem with ties is a well-studied and interesting problem in game theory. We are given a set of men and a set of women. Each individual has a preference ordering on the opposite group, which can possibly contain ties. A stable marriage is given by a matching between men and women for which there is no blocking pair, i.e., a men and a women who strictly prefer each other to their current partner in the matching.
In this paper, we study the diameter of the polytope given by the convex hull of characteristic vectors of stable marriages, in the setting with ties. We prove an upper bound of $\lfloor \frac{n}{3}\rfloor$ on the diameter, where $n$ is the total number of men and women, and give a family of instances for which the bound holds tight. Our result generalizes the bound on the diameter of the standard stable marriage polytope (i.e., the well-known polytope that describes the setting without ties), developed previously in the literature.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
Pivot Rules for Circuit-Augmentation Algorithms in Linear Optimization
Authors:
Jesús A. De Loera,
Sean Kafer,
Laura Sanità
Abstract:
Circuit-augmentation algorithms are generalizations of the Simplex method, where in each step one is allowed to move along a fixed set of directions, called circuits, that is a superset of the edges of a polytope. We show that in the circuit-augmentation framework the greatest-improvement and Dantzig pivot rules are NP-hard, already for 0/1-LPs. Differently, the steepest-descent pivot rule can be…
▽ More
Circuit-augmentation algorithms are generalizations of the Simplex method, where in each step one is allowed to move along a fixed set of directions, called circuits, that is a superset of the edges of a polytope. We show that in the circuit-augmentation framework the greatest-improvement and Dantzig pivot rules are NP-hard, already for 0/1-LPs. Differently, the steepest-descent pivot rule can be carried out in polynomial time in the 0/1 setting, and the number of circuit augmentations required to reach an optimal solution according to this rule is strongly-polynomial for 0/1-LPs.
The number of circuit augmentations has been of interest as a proxy for the number of steps in the Simplex method, and the circuit-diameter of polyhedra has been studied as a lower bound to the combinatorial diameter of polyhedra. Extending prior results, we show that for any polyhedron $P$ the circuit-diameter is bounded by a polynomial in the input bit-size of $P$. This is in contrast with the best bounds for the combinatorial diameter of polyhedra.
Interestingly, we show that the circuit-augmentation framework can be exploited to make novel conclusions about the classical Simplex method itself: In particular, as a byproduct of our circuit results, we prove that (i) computing the shortest (monotone) path to an optimal solution on the 1-skeleton of a polytope is NP-hard, and hard to approximate within a factor better than 2, and (ii) for $0/1$ polytopes, a monotone path of strongly-polynomial length can be constructed using steepest improving edges.
△ Less
Submitted 22 October, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
The diameter of the fractional matching polytope and its hardness implications
Authors:
Laura Sanità
Abstract:
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computation…
▽ More
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computational complexity point of view. In particular, [Frieze and Teng, 1994] showed that computing the diameter of a polytope is (weakly) NP-hard.
In this paper, we show that the problem of computing the diameter is strongly NP-hard even for a polytope with a very simple structure: namely, the \emph{fractional matching} polytope. We also show that computing a pair of vertices at maximum shortest path distance on the 1-skeleton of this polytope is an APX-hard problem. We prove these results by giving an \emph{exact characterization} of the diameter of the fractional matching polytope, that is of independent interest.
△ Less
Submitted 22 July, 2018; v1 submitted 8 June, 2018;
originally announced June 2018.
-
On the Circuit Diameter of some Combinatorial Polytopes
Authors:
Sean Kafer,
Kanstantsin Pashkovich,
Laura Sanità
Abstract:
The combinatorial diameter of a polytope $P$ is the maximum value of a shortest path between two vertices of $P$, where the path uses the edges of $P$ only. In contrast to the combinatorial diameter, the circuit diameter of $P$ is defined as the maximum value of a shortest path between two vertices of $P$, where the path uses potential edge directions of $P$ i.e., all edge directions that can aris…
▽ More
The combinatorial diameter of a polytope $P$ is the maximum value of a shortest path between two vertices of $P$, where the path uses the edges of $P$ only. In contrast to the combinatorial diameter, the circuit diameter of $P$ is defined as the maximum value of a shortest path between two vertices of $P$, where the path uses potential edge directions of $P$ i.e., all edge directions that can arise by translating some of the facets of $P$.
In this paper, we study the circuit diameter of polytopes corresponding to classical combinatorial optimization problems, such as the Matching polytope, the Traveling Salesman polytope and the Fractional Stable Set polytope.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
Stabilizing Weighted Graphs
Authors:
Zhuan Khye Koh,
Laura Sanità
Abstract:
An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years…
▽ More
An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of $G$.
We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from $G$ yields a stable graph, for any weighted graph $G$. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application.
In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph $G$ yields a stable graph, does not admit any constant-factor approximation algorithm, unless $P=NP$. In this setting, we develop an $O(Δ)$-approximation algorithm for the problem, where $Δ$ is the maximum degree of a node in $G$.
△ Less
Submitted 24 November, 2017; v1 submitted 6 September, 2017;
originally announced September 2017.
-
Fast Approximation Algorithms for the Generalized Survivable Network Design Problem
Authors:
Andreas Emil Feldmann,
Jochen Könemann,
Kanstantsin Pashkovich,
Laura Sanità
Abstract:
In a standard $f$-connectivity network design problem, we are given an undirected graph $G=(V,E)$, a cut-requirement function $f:2^V \rightarrow {\mathbb{N}}$, and non-negative costs $c(e)$ for all $e \in E$. We are then asked to find a minimum-cost vector $x \in {\mathbb{N}}^E$ such that $x(δ(S)) \geq f(S)$ for all $S \subseteq V$. We focus on the class of such problems where $f$ is a proper func…
▽ More
In a standard $f$-connectivity network design problem, we are given an undirected graph $G=(V,E)$, a cut-requirement function $f:2^V \rightarrow {\mathbb{N}}$, and non-negative costs $c(e)$ for all $e \in E$. We are then asked to find a minimum-cost vector $x \in {\mathbb{N}}^E$ such that $x(δ(S)) \geq f(S)$ for all $S \subseteq V$. We focus on the class of such problems where $f$ is a proper function. This encodes many well-studied NP-hard problems such as the generalized survivable network design problem.
In this paper we present the first strongly polynomial time FPTAS for solving the LP relaxation of the standard IP formulation of the $f$-connectivity problem with general proper functions $f$. Implementing Jain's algorithm, this yields a strongly polynomial time $(2+ε)$-approximation for the generalized survivable network design problem (where we consider rounding up of rationals an arithmetic operation).
△ Less
Submitted 24 April, 2016;
originally announced April 2016.
-
On the existence of compact ε-approximated formulations for knapsack in the original space
Authors:
Yuri Faenza,
Laura Sanità
Abstract:
We show that there exists a family of Knapsack polytopes such that, for each polytope P from this family and each ε > 0, any ε-approximated formulation of P in the original space R^n requires a number of inequalities that is super-polynomial in n. This answers a question by Bienstock and McClosky (2012). We also prove that, for any down-monotone polytope, an ε-approximated formulation in the origi…
▽ More
We show that there exists a family of Knapsack polytopes such that, for each polytope P from this family and each ε > 0, any ε-approximated formulation of P in the original space R^n requires a number of inequalities that is super-polynomial in n. This answers a question by Bienstock and McClosky (2012). We also prove that, for any down-monotone polytope, an ε-approximated formulation in the original space can be obtained with inequalities using at most O(min{log(n/ε),n}/ε) different coefficients.
△ Less
Submitted 16 March, 2015;
originally announced March 2015.
-
0/1 Polytopes with Quadratic Chvatal Rank
Authors:
Thomas Rothvoss,
Laura Sanita
Abstract:
For a polytope P, the Chvatal closure P' is obtained by simultaneously strengthening all feasible inequalities cx <= b (with integral c) to cx <= floor(b). The number of iterations of this procedure that are needed until the integral hull of P is reached is called the Chvatal rank. If P is a subset of [0,1]^n, then it is known that O(n^2 log n) iterations always suffice (Eisenbrand and Schulz (199…
▽ More
For a polytope P, the Chvatal closure P' is obtained by simultaneously strengthening all feasible inequalities cx <= b (with integral c) to cx <= floor(b). The number of iterations of this procedure that are needed until the integral hull of P is reached is called the Chvatal rank. If P is a subset of [0,1]^n, then it is known that O(n^2 log n) iterations always suffice (Eisenbrand and Schulz (1999)) and at least (1+1/e-o(1))n iterations are sometimes needed (Pokutta and Stauffer (2011)), leaving a huge gap between lower and upper bounds.
We prove that there is a polytope contained in the 0/1 cube that has Chvatal rank Omega(n^2), closing the gap up to a logarithmic factor. In fact, even a superlinear lower bound was mentioned as an open problem by several authors. Our choice of P is the convex hull of a semi-random Knapsack polytope and a single fractional vertex. The main technical ingredient is linking the Chvatal rank to simultaneous Diophantine approximations w.r.t. the L1-norm of the normal vector defining P.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
The Virtual Private Network Design Problem with Concave Costs (Oberwolfach abstract)
Authors:
Samuel Fiorini,
Gianpaolo Oriolo,
Laura Sanità,
Dirk Oliver Theis
Abstract:
The symmetric Virtual Private Network Design (VPND) problem is concerned with buying capacity on links (edges) in a communication network such that certain traffic demands can be met. We investigate a natural generalization of VPND where the cost per unit of capacity may decrease if a larger amount of capacity is reserved (economies of scale principle). The growth of the cost of capacity is mode…
▽ More
The symmetric Virtual Private Network Design (VPND) problem is concerned with buying capacity on links (edges) in a communication network such that certain traffic demands can be met. We investigate a natural generalization of VPND where the cost per unit of capacity may decrease if a larger amount of capacity is reserved (economies of scale principle). The growth of the cost of capacity is modelled by a non-decreasing concave function $f$. We call the problem the concave symmetric Virtual Private Network Design (cVPND) problem. After showing that a generalization of the so-called Pyramidal Routing problem and hence also the cVPND have the so-called tree routing property, we study approximation algorithms for cVPND. For general $f$, using known results on the so-called Single Source Buy at Bulk problem by Grandoni and Italiano, we give a randomized 24.92-approximation algorithm.
△ Less
Submitted 12 December, 2008;
originally announced December 2008.
-
The VPN Tree Routing Conjecture for Outerplanar Networks
Authors:
Samuel Fiorini,
Gianpaolo Oriolo,
Laura Sanità,
Dirk Oliver Theis
Abstract:
The VPN Tree Routing Conjecture is a conjecture about the Virtual Private Network Design problem. It states that the symmetric version of the problem always has an optimum solution which has a tree-like structure. In recent work, Hurkens, Keijsper and Stougie (Proc. IPCO XI, 2005; SIAM J. Discrete Math., 2007) have shown that the conjecture holds when the network is a ring. A shorter proof of th…
▽ More
The VPN Tree Routing Conjecture is a conjecture about the Virtual Private Network Design problem. It states that the symmetric version of the problem always has an optimum solution which has a tree-like structure. In recent work, Hurkens, Keijsper and Stougie (Proc. IPCO XI, 2005; SIAM J. Discrete Math., 2007) have shown that the conjecture holds when the network is a ring. A shorter proof of the VPN Conjecture for rings was found a few months ago by Grandoni, Kaibel, Oriolo and Skutella (to appear in Oper. Res. Lett., 2008). In their paper, Grandoni et al. introduce another conjecture, called the Pyramidal Routing Conjecture (or simply PR Conjecture), which implies the VPN Conjecture. Here we consider a strengthened version of the PR Conjecture. First we establish several general tools which can be applied in arbitrary networks. Then we use them to prove that outerplanar networks satisfy the PR Conjecture.
△ Less
Submitted 24 November, 2008; v1 submitted 16 November, 2007;
originally announced November 2007.
