English
Related papers

Related papers: Rounding the Lov\'asz Theta Function with a Value …

200 papers

The Lov\'asz theta function $\theta(G)$ provides a very good upper bound on the stability number of a graph $G$. It can be computed in polynomial time by solving a semidefinite program (SDP), which also turns out to be fairly tractable in…

Optimization and Control · Mathematics 2025-11-05 Federico Battista , Fabrizio Rossi , Stefano Smriglio

The problems of computing graph colorings and clique covers are central challenges in combinatorial optimization. Both of these are known to be NP-hard, and thus computationally intractable in the worst-case instance. A prominent approach…

Optimization and Control · Mathematics 2026-02-05 Jiaxin Hou , Yong Sheng Soh , Antonios Varvitsiotis

The stable set problem and the graph coloring problem are classes of NP-hard optimization problems on graphs. It is well known that even near-optimal solutions for these problems are difficult to find in polynomial time. The Lov\'asz theta…

Optimization and Control · Mathematics 2025-07-17 Dunja Pucher , Franz Rendl

Finding the stability number of a graph, i.e., the maximum number of vertices of which no two are adjacent, is a well known NP-hard combinatorial optimization problem. Since this problem has several applications in real life, there is need…

Optimization and Control · Mathematics 2022-03-15 Elisabeth Gaar , Melanie Siebenhofer , Angelika Wiegele

The stability number of a graph $G$, denoted as $\alpha(G)$, is the maximum size of an independent (stable) set in $G$. Semidefinite programming (SDP) methods, which originated from Lov\'asz's theta number and expanded through…

Optimization and Control · Mathematics 2025-09-11 Luis Felipe Vargas , Juan C. Vera , Peter J. C. Dickinson

We consider the maximum independent set problem on graphs with maximum degree~$d$. We show that the integrality gap of the Lov\'asz $\vartheta$-function based SDP is $\widetilde{O}(d/\log^{3/2} d)$. This improves on the previous best result…

Data Structures and Algorithms · Computer Science 2015-04-24 Nikhil Bansal , Anupam Gupta , Guru Guruganesh

The theta function of Lovasz is a graph parameter that can be computed up to arbitrary precision in polynomial time. It plays a key role in algorithms that approximate graph parameters such as maximum independent set, maximum clique and…

Data Structures and Algorithms · Computer Science 2025-06-04 Uriel Feige , Vadim Grinberg

Lovasz theta function and the related theta body of graphs have been in the center of the intersection of four research areas: combinatorial optimization, graph theory, information theory, and semidefinite optimization. In this paper,…

Optimization and Control · Mathematics 2018-01-30 Marcel K. de Carli Silva , Levent Tunçel

We determine putative optimal packings of regular spherical polygons via optimization on smooth manifolds. For several cases, we establish maximality by extending the Lov\'asz theta number to Cayley graphs on the special orthogonal group…

Metric Geometry · Mathematics 2026-04-24 Fernando Mário de Oliveira Filho , Andreas Spomer , Frank Vallentin

We introduce a generic technique to obtain linear relaxations of semidefinite programs with provable guarantees based on the commutativity of the constraint and the objective matrices. We study conditions under which the optimal value of…

Optimization and Control · Mathematics 2026-05-19 Daniel de Roux , Robert Carr , R. Ravi

We show a new way to round vector solutions of semidefinite programming (SDP) hierarchies into integral solutions, based on a connection between these hierarchies and the spectrum of the input graph. We demonstrate the utility of our method…

Data Structures and Algorithms · Computer Science 2011-04-26 Boaz Barak , Prasad Raghavendra , David Steurer

Total dual integrality is a powerful and unifying concept in polyhedral combinatorics and integer programming that enables the refinement of geometric min-max relations given by linear programming Strong Duality into combinatorial min-max…

Optimization and Control · Mathematics 2018-01-30 Marcel K. de Carli Silva , Levent Tunçel

The stability number of a graph, defined as the cardinality of the largest set of pairwise non-adjacent vertices, is NP-hard to compute. The exact subgraph hierarchy (ESH) provides a sequence of increasingly tighter upper bounds on the…

Optimization and Control · Mathematics 2025-11-17 Elisabeth Gaar , Dunja Pucher

A new characterization of the Lovasz theta function is provided by relating it to the (weighted) walk-generating function, thus establishing a relationship between two seemingly quite distinct concepts in algebraic graph theory. An…

Combinatorics · Mathematics 2025-02-24 Lasse Harboe Wolff

We study the lift-and-project rank of the stable set polytopes of graphs with respect to the Lov\'asz-Schrijver SDP operator $\text{LS}_+$. In particular, we focus on a search for relatively small graphs with high $\text{LS}_+$-rank (i.e.,…

Optimization and Control · Mathematics 2024-04-26 Yu Hin Au , Levent Tunçel

The vertex cover problem is a fundamental and widely studied combinatorial optimization problem. It is known that its standard linear programming relaxation is integral for bipartite graphs and half-integral for general graphs. As a…

Data Structures and Algorithms · Computer Science 2023-07-28 Danish Kashaev , Guido Schäfer

Given an affine space of matrices $\mathcal{L}$ and a matrix $\Theta\in \mathcal{L}$, consider the problem of computing the closest rank deficient matrix to $\Theta$ on $\mathcal{L}$ with respect to the Frobenius norm. This is a nonconvex…

Optimization and Control · Mathematics 2020-10-12 Diego Cifuentes

Let $G$ be a graph with $n$ vertices and $m$ edges. One of several hierarchies towards the stability number of $G$ is the exact subgraph hierarchy (ESH). On the first level it computes the Lov\'{a}sz theta function $\vartheta(G)$ as…

Optimization and Control · Mathematics 2024-06-05 Elisabeth Gaar

Recently, Brandt et al. [STOC'16] proved a lower bound for the distributed Lov\'asz Local Lemma, which has been conjectured to be tight for sufficiently relaxed LLL criteria by Chang and Pettie [FOCS'17]. At the heart of their result lies a…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-27 Sebastian Brandt

We derive upper and lower bounds on the degree $d$ for which the Lov\'asz $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show…

Computational Complexity · Computer Science 2017-08-29 Jess Banks , Robert Kleinberg , Cristopher Moore
‹ Prev 1 2 3 10 Next ›