English
Related papers

Related papers: An exact algorithm for the weighed mutually exclus…

200 papers

We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing…

Logic in Computer Science · Computer Science 2023-06-22 Robin Eßmann , Tobias Nipkow , Simon Robillard , Ujkan Sulejmani

In this paper, we give a faster width-dependent algorithm for mixed packing-covering LPs. Mixed packing-covering LPs are fundamental to combinatorial optimization in computer science and operations research. Our algorithm finds a $1+\eps$…

Optimization and Control · Mathematics 2019-10-15 Digvijay Boob , Saurabh Sawlani , Di Wang

We present a packing-based approximation algorithm for the $k$-Set Cover problem. We introduce a new local search-based $k$-set packing heuristic, and call it Restricted $k$-Set Packing. We analyze its tight approximation ratio via a…

Data Structures and Algorithms · Computer Science 2015-03-03 Martin Furer , Huiwen Yu

In the Maximum Weight Independent Set of Rectangles (MWISR) problem we are given a set of n axis-parallel rectangles in the 2D-plane, and the goal is to select a maximum weight subset of pairwise non-overlapping rectangles. Due to many…

Data Structures and Algorithms · Computer Science 2013-07-09 Anna Adamaszek , Andreas Wiese

Consider the Maximum Weight Independent Set problem for rectangles: given a family of weighted axis-parallel rectangles in the plane, find a maximum-weight subset of non-overlapping rectangles. The problem is notoriously hard both in the…

Data Structures and Algorithms · Computer Science 2016-11-22 Michał Pilipczuk , Erik Jan van Leeuwen , Andreas Wiese

Motivated by applications in machine learning, such as subset selection and data summarization, we consider the problem of maximizing a monotone submodular function subject to mixed packing and covering constraints. We present a tight…

Data Structures and Algorithms · Computer Science 2018-12-20 Eyal Mizrachi , Roy Schwartz , Joachim Spoerhase , Sumedha Uniyal

An upper dominating set is a minimal dominating set in a graph. In the \textsc{Upper Dominating Set} problem, the goal is to find an upper dominating set of maximum size. We study the complexity of parameterized algorithms for \textsc{Upper…

Data Structures and Algorithms · Computer Science 2021-01-20 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

In the maximum coverage problem, we are given subsets $T_1, \ldots, T_m$ of a universe $[n]$ along with an integer $k$ and the objective is to find a subset $S \subseteq [m]$ of size $k$ that maximizes $C(S) := \Big|\bigcup_{i \in S}…

Data Structures and Algorithms · Computer Science 2021-05-04 Siddharth Barman , Omar Fawzi , Paul Fermé

We show that there is no subexponential time algorithm for computing the exact solution of the maximum independent set problem in d-regular graphs unless ETH fails. We expand our method to show that it helps to provide lower bounds for…

Computational Complexity · Computer Science 2021-03-25 Saeed Akhoondian Amiri

The $k$-ExactCover problem is a parameterized version of the ExactCover problem, in which we are given a universe $U$, a collection $S$ of subsets of $U$, and an integer $k$, and the task is to determine whether $U$ can be partitioned into…

Computational Complexity · Computer Science 2019-05-21 Venkatesan Guruswami , Patrick Lin

We give a quantum algorithm to exactly solve certain problems in combinatorial optimization, including weighted MAX-2-SAT as well as problems where the objective function is a weighted sum of products of Ising variables, all terms of the…

Quantum Physics · Physics 2018-07-20 M. B. Hastings

Given a k-uniform hypergraph on n vertices, partitioned in k equal parts such that every hyperedge includes one vertex from each part, the k-dimensional matching problem asks whether there is a disjoint collection of the hyperedges which…

Data Structures and Algorithms · Computer Science 2010-02-03 Andreas Björklund

Many combinatorial problems involving weights can be formulated as a so-called ranged problem. That is, their input consists of a universe $U$, a (succinctly-represented) set family $\mathcal{F} \subseteq 2^{U}$, a weight function $\omega:U…

Data Structures and Algorithms · Computer Science 2012-08-22 Jesper Nederlof , Erik Jan van Leeuwen , Ruben van der Zwaan

We study the maximum weight convex polytope problem, in which the goal is to find a convex polytope maximizing the total weight of enclosed points. Prior to this work, the only known result for this problem was an $O(n^3)$ algorithm for the…

Computational Geometry · Computer Science 2022-07-27 Mohammad Ali Abam , Ali Mohammad Lavasani , Denis Pankratov

In this work, we study the trade-off between the running time of approximation algorithms and their approximation guarantees. By leveraging a structure of the `hard' instances of the Arora-Rao-Vazirani lemma [JACM'09], we show that the…

Data Structures and Algorithms · Computer Science 2018-07-27 Pasin Manurangsi , Luca Trevisan

Mixed packing and covering problems are problems that can be formulated as linear programs using only non-negative coefficients. Examples include multicommodity network flow, the Held-Karp lower bound on TSP, fractional relaxations of set…

Data Structures and Algorithms · Computer Science 2016-01-19 Neal E. Young

We study the weighted $k$-Set Packing problem: Given a collection $S$ of sets, each of cardinality at most $k$, together with a positive weight function $w:\mathcal{S}\rightarrow\mathbb{Q}_{>0}$, the task is to compute a disjoint…

Data Structures and Algorithms · Computer Science 2022-08-19 Meike Neuwohner

The Maximum Induced Matching problem asks to find the maximum $k$ such that, given a graph $G=(V,E)$, can we find a subset of vertices $S$ of size $k$ for which every vertices $v$ in the induced graph $G[S]$ has exactly degree $1$. In this…

Data Structures and Algorithms · Computer Science 2022-01-11 Gordon Hoi , Ammar Fathin Sabili , Frank Stephan

We study the maximum $k$-set coverage problem in the following distributed setting. A collection of sets $S_1,\ldots,S_m$ over a universe $[n]$ is partitioned across $p$ machines and the goal is to find $k$ sets whose union covers the most…

Data Structures and Algorithms · Computer Science 2018-08-24 Sepehr Assadi , Sanjeev Khanna

A 2-packing set for an undirected, weighted graph G=(V,E,w) is a subset S of the vertices V such that any two vertices are not adjacent and have no common neighbors. The Maximum Weight 2-Packing Set problem that asks for a 2-packing set of…

Data Structures and Algorithms · Computer Science 2025-02-21 Jannick Borowitz , Ernestine Großmann , Christian Schulz