-
Generalized Cuts and Grothendieck Covers: a Primal-Dual Approximation Framework Extending the Goemans--Williamson Algorithm
Authors:
Nathan Benedetto Proença,
Marcel K. de Carli Silva,
Cristiane M. Sato,
Levent Tunçel
Abstract:
We provide a primal-dual framework for randomized approximation algorithms utilizing semidefinite programming (SDP) relaxations. Our framework pairs a continuum of APX-complete problems including MaxCut, Max2Sat, MaxDicut, and more generally, Max-Boolean Constraint Satisfaction and MaxQ (maximization of a positive semidefinite quadratic form over the hypercube) with new APX-complete problems which…
▽ More
We provide a primal-dual framework for randomized approximation algorithms utilizing semidefinite programming (SDP) relaxations. Our framework pairs a continuum of APX-complete problems including MaxCut, Max2Sat, MaxDicut, and more generally, Max-Boolean Constraint Satisfaction and MaxQ (maximization of a positive semidefinite quadratic form over the hypercube) with new APX-complete problems which are stated as convex optimization problems with exponentially many variables. These new dual counterparts, based on what we call Grothendieck covers, range from fractional cut covering problems (for MaxCut) to tensor sign covering problems (for MaxQ). For each of these problem pairs, our framework transforms the randomized approximation algorithms with the best known approximation factors for the primal problems to randomized approximation algorithms for their dual counterparts with reciprocal approximation factors which are tight with respect to the Unique Games Conjecture. For each APX-complete pair, our algorithms solve a single SDP relaxation and generate feasible solutions for both problems which also provide approximate optimality certificates for each other. Our work utilizes techniques from areas of randomized approximation algorithms, convex optimization, spectral sparsification, as well as Chernoff-type concentration results for random matrices.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
A Primal-Dual Extension of the Goemans--Williamson Algorithm for the Weighted Fractional Cut-Covering Problem
Authors:
Nathan Benedetto Proença,
Marcel K. de Carli Silva,
Cristiane M. Sato,
Levent Tunçel
Abstract:
We study a weighted generalization of the fractional cut-covering problem, which we relate to the maximum cut problem via antiblocker and gauge duality. This relationship allows us to introduce a semidefinite programming (SDP) relaxation whose solutions may be rounded into fractional cut covers by sampling via the random hyperplane technique. We then provide a…
▽ More
We study a weighted generalization of the fractional cut-covering problem, which we relate to the maximum cut problem via antiblocker and gauge duality. This relationship allows us to introduce a semidefinite programming (SDP) relaxation whose solutions may be rounded into fractional cut covers by sampling via the random hyperplane technique. We then provide a $1/α_{\scriptscriptstyle \mathrm{GW}}$-approximation algorithm for the weighted fractional cut-covering problem, where $α_{\scriptscriptstyle \mathrm{GW}} \approx 0.878$ is the approximation factor of the celebrated Goemans--Williamson algorithm for the maximum cut problem. Nearly optimal solutions of the SDPs in our duality framework allow one to consider instances of the maximum cut and the fractional cut-covering problems as primal-dual pairs, where cuts and fractional cut covers simultaneously certify each other's approximation quality. We exploit this relationship to introduce new combinatorial certificates for both problems, as well as a randomized polynomial-time algorithm for producing such certificates. In~particular, we~show how the Goemans--Williamson algorithm implicitly approximates a weighted instance of the fractional cut-covering problem, and how our new algorithm explicitly approximates a weighted instance of the maximum cut problem. We conclude by discussing the role played by geometric representations of graphs in our results, and by proving our algorithms and analyses to be optimal in several aspects.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Packing arborescences in random digraphs
Authors:
Carlos Hoppen,
Roberto F. Parente,
Cristiane M. Sato
Abstract:
We study the problem of packing arborescences in the random digraph $\mathcal D(n,p)$, where each possible arc is included uniformly at random with probability $p=p(n)$. Let $λ(\mathcal D(n,p))$ denote the largest integer $λ\geq 0$ such that, for all $0\leq \ell\leq λ$, we have $\sum_{i=0}^{\ell-1} (\ell-i)|\{v: d^{in}(v) = i\}| \leq \ell$. We show that the maximum number of arc-disjoint arboresce…
▽ More
We study the problem of packing arborescences in the random digraph $\mathcal D(n,p)$, where each possible arc is included uniformly at random with probability $p=p(n)$. Let $λ(\mathcal D(n,p))$ denote the largest integer $λ\geq 0$ such that, for all $0\leq \ell\leq λ$, we have $\sum_{i=0}^{\ell-1} (\ell-i)|\{v: d^{in}(v) = i\}| \leq \ell$. We show that the maximum number of arc-disjoint arborescences in $\mathcal D(n,p)$ is $λ(\mathcal D(n,p))$ a.a.s. We also give tight estimates for $λ(\mathcal D(n,p))$ depending on the range of $p$.
△ Less
Submitted 2 October, 2017; v1 submitted 18 May, 2016;
originally announced May 2016.
-
On the maximum density of fixed strongly connected subtournaments
Authors:
Leonardo N. Coregliano,
Roberto F. Parente,
Cristiane M. Sato
Abstract:
We study the density of fixed strongly connected subtournaments on 5 vertices in large tournaments. We determine the maximum density asymptotically for five tournaments as well as unique extremal sequences for each tournament. As a byproduct we also characterize tournaments that are recursive blow-ups of a 3-cycle as tournaments that avoid three specific tournaments of size 5.
We study the density of fixed strongly connected subtournaments on 5 vertices in large tournaments. We determine the maximum density asymptotically for five tournaments as well as unique extremal sequences for each tournament. As a byproduct we also characterize tournaments that are recursive blow-ups of a 3-cycle as tournaments that avoid three specific tournaments of size 5.
△ Less
Submitted 9 September, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
On the robustness of random k-cores
Authors:
Cristiane M. Sato
Abstract:
The k-core of a graph is its maximal subgraph with minimum degree at least k. In this paper, we address robustness questions about k-cores. Given a k-core, remove one edge uniformly at random and find its new k-core. We are interested in how many vertices are deleted from the original k-core to find the new one. This can be seem as a measure of robustness of the original k-core. We prove that, if…
▽ More
The k-core of a graph is its maximal subgraph with minimum degree at least k. In this paper, we address robustness questions about k-cores. Given a k-core, remove one edge uniformly at random and find its new k-core. We are interested in how many vertices are deleted from the original k-core to find the new one. This can be seem as a measure of robustness of the original k-core. We prove that, if the initial k-core is chosen uniformly at random from the k-cores with n vertices and m edges, its robustness depends essentially on its average degree c. We prove that, if c converges to k, then the new k-core is empty with probability 1+o(1). We define a constant c(k)' such that when k+epsilon < c < c(k)'- epsilon, the new k-core is empty with probability bounded away from zero and, if c > c(k)'+ psi with psi = omega(n^{-1/4}), psi(n) > 0 and c is bounded, then the probability that the new k-core has less than n-h(n) vertices goes to zero, for every h(n) = omega(1/psi).
△ Less
Submitted 11 September, 2012; v1 submitted 9 March, 2012;
originally announced March 2012.
-
Sparse Sums of Positive Semidefinite Matrices
Authors:
Marcel K. de Carli Silva,
Nicholas J. A. Harvey,
Cristiane M. Sato
Abstract:
Recently there has been much interest in "sparsifying" sums of rank one matrices: modifying the coefficients such that only a few are nonzero, while approximately preserving the matrix that results from the sum. Results of this sort have found applications in many different areas, including sparsifying graphs. In this paper we consider the more general problem of sparsifying sums of positive semid…
▽ More
Recently there has been much interest in "sparsifying" sums of rank one matrices: modifying the coefficients such that only a few are nonzero, while approximately preserving the matrix that results from the sum. Results of this sort have found applications in many different areas, including sparsifying graphs. In this paper we consider the more general problem of sparsifying sums of positive semidefinite matrices that have arbitrary rank.
We give several algorithms for solving this problem. The first algorithm is based on the method of Batson, Spielman and Srivastava (2009). The second algorithm is based on the matrix multiplicative weights update method of Arora and Kale (2007). We also highlight an interesting connection between these two algorithms.
Our algorithms have numerous applications. We show how they can be used to construct graph sparsifiers with auxiliary constraints, sparsifiers of hypergraphs, and sparse solutions to semidefinite programs.
△ Less
Submitted 17 October, 2011; v1 submitted 30 June, 2011;
originally announced July 2011.