English
Related papers

Related papers: WeGotYouCovered: The Winning Solver from the PACE …

200 papers

We consider online fractional covering problems with a convex objective, where the covering constraints arrive over time. Formally, we want to solve $\min\,\{f(x) \mid Ax\ge \mathbf{1},\, x\ge 0\},$ where the objective function…

Data Structures and Algorithms · Computer Science 2014-12-30 Niv Buchbinder , Shahar Chen , Anupam Gupta , Viswanath Nagarajan , Joseph , Naor

We present two algorithms for the minimum feedback vertex set problem in planar graphs: an $O(n \log n)$ PTAS using a linear kernel and balanced separator, and a heuristic algorithm using kernelization and local search. We implemented these…

Data Structures and Algorithms · Computer Science 2018-04-24 Glencora Borradaile , Hung Le , Baigong Zheng

For both the edge deletion heuristic and the maximum-degree greedy heuristic, we study the problem of recognizing those graphs for which that heuristic can approximate the size of a minimum vertex cover within a constant factor of r, where…

Computational Complexity · Computer Science 2016-08-16 Edith Hemaspaandra , Jörg Rothe , Holger Spakowski

Several NP-hard problems are solved exactly using exponential-time branching strategies, whether it be branch-and-bound algorithms, or bounded search trees in fixed-parameter algorithms. The number of tractable instances that can be handled…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-17 Andres Pastrana-Cruz , Manuel Lafond

A vertex cover on a graph is a set of vertices in which each edge of the graph is adjacent to at least one vertex in the set. The Minimal Vertex Cover (MVC) Problem concerns finding vertex covers with a smallest cardinality. The MVC problem…

Statistical Mechanics · Physics 2025-11-04 Yu-Tao Li , Chun-Yan Zhao , Jin-Hua Zhao

Low-rank matrix completion consists of computing a matrix of minimal complexity that recovers a given set of observations as accurately as possible. Unfortunately, existing methods for matrix completion are heuristics that, while highly…

Machine Learning · Computer Science 2026-03-12 Dimitris Bertsimas , Ryan Cory-Wright , Sean Lo , Jean Pauphilet

The $k$-defective clique model relaxes the strict completeness constraint of the traditional clique by allowing up to $k$ missing edges, providing a robust formulation for detecting cohesive structures in noisy graphs. Consequently, the…

Databases · Computer Science 2026-05-19 Kewu Yang , Kaiqiang Yu , Shengxin Liu , Zhaoquan Gu

Finding a minimum vertex cover in a network is a fundamental NP-complete graph problem. One way to deal with its computational hardness, is to trade the qualitative performance of an algorithm (allowing non-optimal outputs) for an improved…

Data Structures and Algorithms · Computer Science 2023-12-14 Thomas Bläsius , Tobias Friedrich , Maximilian Katzmann

We consider a class of multi-agent optimal coverage problems in which the goal is to determine the optimal placement of a group of agents in a given mission space so that they maximize a coverage objective that represents a blend of…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Shirantha Welikala , Christos G. Cassandras

The Minimum Spanning Tree Problem with Conflicts consists in finding the minimum conflict-free spanning tree of a graph, i.e., the spanning tree of minimum cost, including no pairs of edges that are in conflict. In this paper, we solve this…

Optimization and Control · Mathematics 2025-06-11 Francesco Carrabs , Martina Cerulli , Domenico Serra

Understanding whether deep neural networks are effectively optimized remains challenging, as training occurs in highly nonconvex landscapes and standard metrics provide limited visibility into layer-wise learning quality. This challenge is…

Machine Learning · Computer Science 2026-05-05 Arian Eamaz , Farhang Yeganegi , Mojtaba Soltanalian

Connectivity problems like k-Path and k-Disjoint Paths relate to many important milestones in parameterized complexity, namely the Graph Minors Project, color coding, and the recent development of techniques for obtaining kernelization…

Data Structures and Algorithms · Computer Science 2015-03-19 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

Strict inequalities in mixed-integer linear optimization can cause difficulties in guaranteeing convergence and exactness. Utilizing that optimal vertex solutions follow a lattice structure we propose a rounding rule for strict inequalities…

Optimization and Control · Mathematics 2024-10-30 Katrin Halbig , Timm Oertel , Dieter Weninger

We present a general method for obtaining strong bounds for discrete optimization problems that is based on a concept of branching duality. It can be applied when no useful integer programming model is available, and we illustrate this with…

Data Structures and Algorithms · Computer Science 2019-08-22 J. G. Benade , J. N. Hooker

The paper presents a strategy for robotic exploration problem using Space-Filling curves (SFC). The strategy plans a path that avoids unknown obstacles while ensuring complete coverage of the free space in region of interest. The region of…

Robotics · Computer Science 2024-03-26 Ashay Wakode , Arpita Sinha

In the Set Cover problem, we are given a set system with each set having a weight, and we want to find a collection of sets that cover the universe, whilst having low total weight. There are several approaches known (based on greedy…

Data Structures and Algorithms · Computer Science 2022-11-09 Anupam Gupta , Euiwoong Lee , Jason Li

The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev (2003) proved that the problem is NP-hard to approximate within a factor $2 - \epsilon$, assuming the Unique…

Computational Complexity · Computer Science 2015-11-30 Abbas Bazzi , Samuel Fiorini , Sebastian Pokutta , Ola Svensson

Kernelization is a significant topic in parameterized complexity. Turing kernelization is a general form of kernelization. In the aspect of kernelization, an impressive hardness theory has been established [Bodlaender etc. (ICALP 2008,…

Computational Complexity · Computer Science 2016-11-22 Weidong Luo

In the vertex cover problem, the input is a graph $G$ and an integer $k$, and the goal is to decide whether there is a set of vertices $S$ of size at most $k$ such that every edge of $G$ is incident on at least one vertex in $S$. We study…

Data Structures and Algorithms · Computer Science 2018-12-31 Dekel Tsur

The Cluster Editing problem seeks a transformation of a given undirected graph into a disjoint union of cliques via a minimum number of edge additions or deletions. A multi-parameterized version of the problem is studied, featuring a number…

Data Structures and Algorithms · Computer Science 2015-12-01 Faisal N. Abu-Khzam
‹ Prev 1 8 9 10 Next ›