English
Related papers

Related papers: Gap Amplification for Reconfiguration Problems

200 papers

We study the electrical distribution network reconfiguration problem, defined as follows. We are given an undirected graph with a root vertex, demand at each non-root vertex, and resistance on each edge. Then, we want to find a spanning…

Data Structures and Algorithms · Computer Science 2024-12-20 Takehiro Ito , Naonori Kakimura , Naoyuki Kamiyama , Yusuke Kobayashi , Yoshio Okamoto

Linear and semidefinite programming (LP, SDP), regularisation through basis pursuit (BP) and Lasso have seen great success in mathematics, statistics, data science, computer-assisted proofs and learning. The success of LP is traditionally…

Optimization and Control · Mathematics 2022-08-03 Alexander Bastounis , Anders C Hansen , Verner Vlačić

We prove new explicit inapproximability results for the Vertex Cover Problem on the Power Law Graphs and some functional generalizations of that class of graphs. Our results depend on special bounded degree amplifier constructions for those…

Computational Complexity · Computer Science 2012-10-10 Mikael Gast , Mathias Hauptmann , Marek Karpinski

A primary challenge in metagenomics is reconstructing individual microbial genomes from the mixture of short fragments created by sequencing. Recent work leverages the sparsity of the assembly graph to find $r$-dominating sets which enable…

Data Structures and Algorithms · Computer Science 2023-01-24 Yosuke Mizutani , Annie Staker , Blair D. Sullivan

The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem…

Computational Complexity · Computer Science 2013-07-25 Christian Knauer , Stefan König , Daniel Werner

Constraint satisfaction problem (CSP) is a well-studied combinatorial search problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of…

Data Structures and Algorithms · Computer Science 2018-12-31 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

Graph augmentation is a fundamental and well-studied problem that arises in network optimization. We consider a new variant of this model motivated by reconfigurable communication networks. In this variant, we consider a given physical…

Data Structures and Algorithms · Computer Science 2024-11-19 Aleksander Figiel , Darya Melnyk , André Nichterlein , Arash Pourdamghani , Stefan Schmid

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

Computational Complexity · Computer Science 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

The complexity and approximability of the constraint satisfaction problem (CSP) has been actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) has recently been proposed, motivated by open questions about…

Computational Complexity · Computer Science 2021-07-19 Libor Barto , Jakub Bulín , Andrei Krokhin , Jakub Opršal

Recently, Cygan, Kowalik, and Wykurz [IPL 2009] gave sub-exponential-time approximation algorithms for the Set-Cover problem with approximation ratios better than ln(n). In light of this result, it is natural to ask whether such…

Combinatorics · Mathematics 2012-10-26 Eden Chlamtac , Zac Friggstad , Konstantinos Georgiou

This paper presents a stochastic approximation proximal subgradient (SAPS) method for stochastic convex-concave minimax optimization. By accessing unbiased and variance bounded approximate subgradients, we show that this algorithm exhibits…

Optimization and Control · Mathematics 2024-04-01 Yu-Hong Dai , Jiani Wang , Liwei Zhang

Proximity gaps and correlated agreement have become central tools in the analysis of interactive oracle proofs of proximity (IOPPs) and code-based SNARKs. Informally, a proximity-gap statement says that for a structured set of words -- such…

Information Theory · Computer Science 2026-05-11 Chen Yuan , Ruiqi Zhu

In the context of compressed sensing (CS), both Subspace Pursuit (SP) and Compressive Sampling Matching Pursuit (CoSaMP) are very important iterative greedy recovery algorithms which could reduce the recovery complexity greatly comparing…

Information Theory · Computer Science 2015-06-17 Chao-Bing Song , Shu-Tao Xia , Xin-ji Liu

In this paper, we define the reoptimization variant of the closest substring problem (CSP) under sequence addition. We show that, even with the additional information we have about the problem instance, the problem of finding a closest…

Data Structures and Algorithms · Computer Science 2016-03-09 Jeffrey Aborot , Henry Adorna , Jhoirene Clemente

We show that in a knapsack feasibility problem an integral vector $p$, which is short, and near parallel to the constraint vector gives a branching direction with small integer width. We use this result to analyze two computationally…

Optimization and Control · Mathematics 2008-07-23 Gabor Pataki , Mustafa Tural

In this paper we introduce the concept of additive approximation schemes and apply it to load balancing problems. Additive approximation schemes aim to find a solution with an absolute error in the objective of at most $\epsilon h$ for some…

Data Structures and Algorithms · Computer Science 2020-07-21 Moritz Buchem , Lars Rohwedder , Tjark Vredeveld , Andreas Wiese

We analyze affine reachability problems in dimensions 1 and 2. We show that the reachability problem for 1-register machines over the integers with affine updates is PSPACE-hard, hence PSPACE-complete, strengthening a result by Finkel et…

Computational Complexity · Computer Science 2020-07-03 Stefan Jaax , Stefan Kiefer

We study the unweighted Tree Augmentation Problem (TAP) via the Lasserre (Sum of Squares) system. We prove an approximation guarantee of ($1.8+\epsilon$) relative to an SDP relaxation, which matches the combinatorial approximation guarantee…

Data Structures and Algorithms · Computer Science 2016-04-05 Joe Cheriyan , Zhihan Gao

Optimization problems consist of either maximizing or minimizing an objective function. Instead of looking for a maximum solution (resp. minimum solution), one can find a minimum maximal solution (resp. maximum minimal solution). Such…

Data Structures and Algorithms · Computer Science 2018-11-08 Kaveh Khoshkhah , Mehdi Khosravian Ghadikolaei , Jerome Monnot , Florian Sikora

There has been significant recent progress on algorithms for approximating graph spanners, i.e., algorithms which approximate the best spanner for a given input graph. Essentially all of these algorithms use the same basic LP relaxation, so…

Computational Complexity · Computer Science 2019-05-21 Michael Dinitz , Yasamin Nazari , Zeyu Zhang