English
Related papers

Related papers: Optimal Extended Formulations from Optimal Dynamic…

200 papers

An application area of vertex enumeration problem (VEP) is the usage within objective space based linear/convex {vector} optimization algorithms whose aim is to generate (an approximation of) the Pareto frontier. In such algorithms, VEP,…

Optimization and Control · Mathematics 2020-10-30 Irfan Caner Kaya , Firdevs Ulus

In the decremental single-source shortest paths (SSSP) problem, the input is an undirected graph $G=(V,E)$ with $n$ vertices and $m$ edges undergoing edge deletions, together with a fixed source vertex $s\in V$. The goal is to maintain a…

Data Structures and Algorithms · Computer Science 2020-09-21 Julia Chuzhoy , Thatchaphol Saranurak

In the Vertex Cover problem we are given a graph $G=(V,E)$ and an integer $k$ and have to determine whether there is a set $X\subseteq V$ of size at most $k$ such that each edge in $E$ has at least one endpoint in $X$. The problem can be…

Data Structures and Algorithms · Computer Science 2016-11-22 Stefan Kratsch

The dominating set problem (DSP) is one of the most famous problems in combinatorial optimization. It is defined as follows. For a given simple graph $G=(V,E)$, a dominating set of $G$ is a subset $S\subseteq V$ such that every vertex in $…

Combinatorics · Mathematics 2022-11-01 Nima Ghanbari , Gerold Jäger , Tuomo Lehtilä

Mixed-integer mathematical programs are among the most commonly used models for a wide set of problems in Operations Research and related fields. However, there is still very little known about what can be expressed by small mixed-integer…

Discrete Mathematics · Computer Science 2017-12-07 Alfonso Cevallos , Stefan Weltge , Rico Zenklusen

The maximum common subtree isomorphism problem asks for the largest possible isomorphism between subtrees of two given input trees. This problem is a natural restriction of the maximum common subgraph problem, which is ${\sf NP}$-hard in…

Data Structures and Algorithms · Computer Science 2016-08-23 Andre Droschinsky , Nils M. Kriege , Petra Mutzel

The Vertex Separator Problem (VSP) on a graph is the problem of finding the smallest collection of vertices whose removal separates the graph into two disjoint subsets of roughly equal size. Recently, Hager and Hungerford [1] developed a…

Data Structures and Algorithms · Computer Science 2013-11-26 William Hager , James Hungerford , Ilya Safro

We present a general technique, based on parametric search with some twist, for solving a variety of optimization problems on a set of semi-algebraic geometric objects of constant complexity. The common feature of these problems is that…

Computational Geometry · Computer Science 2022-07-15 Matthew J. Katz , Micha Sharir

The uniqueness of an optimal solution to a combinatorial optimization problem attracts many fields of researchers' attention because it has a wide range of applications, it is related to important classes in computational complexity, and an…

Data Structures and Algorithms · Computer Science 2023-12-19 Takashi Horiyama , Yasuaki Kobayashi , Hirotaka Ono , Kazuhisa Seto , Ryu Suzuki

De Berg et al. in [SICOMP 2020] gave an algorithmic framework for subexponential algorithms on geometric graphs with tight (up to ETH) running times. This framework is based on dynamic programming on graphs of weighted treewidth resulting…

Data Structures and Algorithms · Computer Science 2021-07-15 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Saket Saurabh

Deletion problems are those where given a graph $G$ and a graph property $\pi$, the goal is to find a subset of edges such that after its removal the graph $G$ will satisfy the property $\pi$. Typically, we want to minimize the number of…

Data Structures and Algorithms · Computer Science 2022-03-17 Tomáš Masařík , Tomáš Toufar

Random constraint satisfaction problems (CSPs) such as random $3$-SAT are conjectured to be computationally intractable. The average case hardness of random $3$-SAT and other CSPs has broad and far-reaching implications on problems in…

Computational Complexity · Computer Science 2019-11-11 Jonah Brown-Cohen , Prasad Raghavendra

In our paper, we consider the following general problems: check feasibility, count the number of feasible solutions, find an optimal solution, and count the number of optimal solutions in $P \cap Z^n$, assuming that $P$ is a polyhedron,…

Computational Complexity · Computer Science 2024-01-23 Dmitry Gribanov , Dmitry Malyshev , Nikolai Zolotykh

We present an algorithm for the extensively studied Long Path and Long Cycle problems on unit disk graphs that runs in time $2^{O(\sqrt{k})}(n+m)$. Under the Exponential Time Hypothesis, Long Path and Long Cycle on unit disk graphs cannot…

Data Structures and Algorithms · Computer Science 2020-03-03 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

For a large class of optimization problems, namely those that can be expressed as finite-valued constraint satisfaction problems (VCSPs), we establish a dichotomy on the number of levels of the Lasserre hierarchy of semi-definite programs…

Logic in Computer Science · Computer Science 2016-09-27 Anuj Dawar , Pengming Wang

We study the vertex-decremental Single-Source Shortest Paths (SSSP) problem: given an undirected graph $G=(V,E)$ with lengths $\ell(e)\geq 1$ on its edges and a source vertex $s$, we need to support (approximate) shortest-path queries in…

Data Structures and Algorithms · Computer Science 2019-05-29 Julia Chuzhoy , Sanjeev Khanna

In the decremental $(1+\epsilon)$-approximate Single-Source Shortest Path (SSSP) problem, we are given a graph $G=(V,E)$ with $n = |V|, m = |E|$, undergoing edge deletions, and a distinguished source $s \in V$, and we are asked to process…

Data Structures and Algorithms · Computer Science 2020-01-30 Maximilian Probst Gutenberg , Christian Wulff-Nilsen

Statistical inference problems arising within signal processing, data mining, and machine learning naturally give rise to hard combinatorial optimization problems. These problems become intractable when the dimensionality of the data is…

Statistical Mechanics · Physics 2017-04-27 Adel Javanmard , Andrea Montanari , Federico Ricci-Tersenghi

We present fixed-parameter tractable (FPT) algorithms for two problems, Maximum Happy Set (MaxHS) and Maximum Edge Happy Set (MaxEHS)--also known as Densest k-Subgraph. Given a graph $G$ and an integer $k$, MaxHS asks for a set $S$ of $k$…

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

In a large-scale network, we want to choose some influential nodes to make a profit by paying some cost within a limited budget so that we do not have to spend more budget on some nodes adjacent to the chosen nodes; our problem is the…

Data Structures and Algorithms · Computer Science 2026-01-30 Sipra Singh