English
Related papers

Related papers: P-SLOCAL-Completeness of Maximum Independent Set A…

200 papers

In this paper, we will find a pseudopolynomial algorithm to solve $Qm \mid \mid L_{\max}$ and then we will prove that it is impossible to get any constant-factor approximation in polynomial time, and thus also impossible to have a PTAS for…

Data Structures and Algorithms · Computer Science 2020-01-23 Elbert Du , Stan Zhang

We consider two models of computation: centralized local algorithms and local distributed algorithms. Algorithms in one model are adapted to the other model to obtain improved algorithms. Distributed vertex coloring is employed to design…

Data Structures and Algorithms · Computer Science 2014-11-12 Guy Even , Moti Medina , Dana Ron

Given a graph $G$, the NP-hard Maximum Planar Subgraph problem (MPS) asks for a planar subgraph of $G$ with the maximum number of edges. There are several heuristic, approximative, and exact algorithms to tackle the problem, but---to the…

Data Structures and Algorithms · Computer Science 2016-08-29 Markus Chimani , Karsten Klein , Tilo Wiedera

Statistical Linkage Learning (SLL) is a part of many state-of-the-art optimizers. The purpose of SLL is to discover variable interdependencies. It has been shown that the effectiveness of SLL-using optimizers is highly dependent on the…

Neural and Evolutionary Computing · Computer Science 2025-03-25 Michal Prusik , Bartosz Frej , Michal W. Przewozniczek

In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in…

Data Structures and Algorithms · Computer Science 2020-03-24 Andrzej Grzesik , Tereza Klimošová , Marcin Pilipczuk , Michał Pilipczuk

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 the NP-hard \textsc{Group Closeness Centrality Maximization} problem, the input is a graph $G = (V,E)$ and a positive integer $k$, and the task is to find a set $S \subseteq V$ of size $k$ that maximizes the reciprocal of group farness…

Data Structures and Algorithms · Computer Science 2026-03-27 Christian Schulz , Jakob Ternes , Henning Woydt

We study the problems of covering or partitioning a polygon $P$ (possibly with holes) using a minimum number of small pieces, where a small piece is a connected sub-polygon contained in an axis-aligned unit square. For covering, we seek to…

We study the Maximum Independent Set of Rectangles (MISR) problem, where we are given a set of axis-parallel rectangles in the plane and the goal is to select a subset of non-overlapping rectangles of maximum cardinality. In a recent…

Computational Geometry · Computer Science 2021-09-28 Waldo Gálvez , Arindam Khan , Mathieu Mari , Tobias Mömke , Madhusudhan Reddy , Andreas Wiese

We study approximation algorithms for the following geometric version of the maximum coverage problem: Let P be a set of n weighted points in the plane. We want to place m a * b rectangles such that the sum of the weights of the points in P…

Computational Geometry · Computer Science 2015-05-12 Jian Li , Haitao Wang , Bowei Zhang , Ningye Zhang

Centrality measures characterize important nodes in networks. Efficiently computing such nodes has received a lot of attention. When considering the generalization of computing central groups of nodes, challenging optimization problems…

Data Structures and Algorithms · Computer Science 2020-10-30 Eugenio Angriman , Ruben Becker , Gianlorenzo D'Angelo , Hugo Gilbert , Alexander van der Grinten , Henning Meyerhenke

We present a new local approximation algorithm for computing Maximum a Posteriori (MAP) and log-partition function for arbitrary exponential family distribution represented by a finite-valued pair-wise Markov random field (MRF), say $G$.…

Artificial Intelligence · Computer Science 2007-10-03 Kyomin Jung , Devavrat Shah

We study the problem of multiway number partition optimization, which has a myriad of applications in the decision, learning and optimization literature. Even though the original multiway partitioning problem is NP-hard and requires…

Data Structures and Algorithms · Computer Science 2022-03-14 Kaan Gokcesu , Hakan Gokcesu

A number of prototypical optimization problems in multi-agent systems (e.g., task allocation and network load-sharing) exhibit a highly local structure: that is, each agent's decision variables are only directly coupled to few other agent's…

Multiagent Systems · Computer Science 2020-03-04 Robin Brown , Federico Rossi , Kiril Solovey , Michael T. Wolf , Marco Pavone

The first part of this report describes the following result that, logarithmic approximation factor for hard capacitated set cover can be achieved from Wolsey's work [9], using a simpler and more intuitive analysis. We further show in our…

Data Structures and Algorithms · Computer Science 2016-12-12 Rahil Sharma

We investigate a way to approximate the maximum of a polynomial over a polytopal region by using Handelman's polynomial decomposition and continuous multivariate generating functions. The maximization problem is NP-hard, but our…

Optimization and Control · Mathematics 2016-06-28 Jesús De Loera , Brandon Dutra , Matthias Köppe

Aligning partially overlapping point sets where there is no prior information about the value of the transformation is a challenging problem in computer vision. To achieve this goal, we first reduce the objective of the robust point…

Computer Vision and Pattern Recognition · Computer Science 2020-07-07 Wei Lian , WangMeng Zuo , Lei Zhang

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

We enhance the approximation capabilities of algebraic polynomials by composing them with homeomorphisms. This composition yields families of functions that remain dense in the space of continuous functions, while enabling more accurate…

Numerical Analysis · Mathematics 2025-12-17 Álvaro Fernández Corral , Yahya Saleh

Maximizing a single submodular set function subject to a cardinality constraint is a well-studied and central topic in combinatorial optimization. However, finding a set that maximizes multiple functions at the same time is much less…

Data Structures and Algorithms · Computer Science 2025-05-16 Fabian Spaeh , Atsushi Miyauchi