English
Related papers

Related papers: Towards a Parameterized Approximation Dichotomy of…

200 papers

This paper proposes a mechanism to fine-tune convex approximations of probabilistic reachable sets (PRS) of uncertain dynamic systems. We consider the case of unbounded uncertainties, for which it may be impossible to find a bounded…

Robotics · Computer Science 2024-02-06 Pengcheng Wu , Sonia Martinez , Jun Chen

We consider a multistage framework introduced recently where, given a time horizon t=1,2,...,T, the input is a sequence of instances of a (static) combinatorial optimization problem I_1,I_2,...,I_T, (one for each time step), and the goal is…

Data Structures and Algorithms · Computer Science 2019-09-24 Evripidis Bampis , Bruno Escoffier , Alexander Kononov

In this paper, we study the small finitistic dimension of a commutative ring from the viewpoint of finitistic flat homological algebra. Using the class $FPR(R)$ of modules admitting finite projective resolutions, we investigate the…

Commutative Algebra · Mathematics 2026-04-22 Tao Xiong , Younes El Haddaoui , Hwankoo Kim , Qiang Zhou

Constraint satisfaction problems form a nicely behaved class of problems that lends itself to complexity classification results. From the point of view of parameterized complexity, a natural task is to classify the parameterized complexity…

Data Structures and Algorithms · Computer Science 2023-05-24 Konrad K. Dabrowski , Peter Jonsson , Sebastian Ordyniak , George Osipov , Marcin Pilipczuk , Roohani Sharma

Binary quadratic programming problems have attracted much attention in the last few decades due to their potential applications. This type of problems are NP-hard in general, and still considered a challenge in the design of efficient…

Data Structures and Algorithms · Computer Science 2014-11-20 Khaled Elbassioni , Trung Thanh Nguyen

We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an…

Data Structures and Algorithms · Computer Science 2018-03-19 Fedor V. Fomin , Petr A. Golovach , Fahad Panolan

In this paper we study the fine-grained complexity of finding exact and approximate solutions to problems in P. Our main contribution is showing reductions from exact to approximate solution for a host of such problems. As one (notable)…

Computational Complexity · Computer Science 2022-12-12 Lijie Chen , Shafi Goldwasser , Kaifeng Lyu , Guy N. Rothblum , Aviad Rubinstein

For numerous graph problems in the realm of parameterized algorithms, using the size of a smallest deletion set (called a modulator) into well-understood graph families as parameterization has led to a long and successful line of research.…

Data Structures and Algorithms · Computer Science 2023-10-06 Tanmay Inamdar , Lawqueen Kanesh , Madhumita Kundu , M. S. Ramanujan , Saket Saurabh

In this paper, we study the parameterized complexity of the MaxMin versions of two fundamental separation problems: Maximum Minimal $st$-Separator and Maximum Minimal Odd Cycle Transversal (OCT), both parameterized by the solution size. In…

Computational Complexity · Computer Science 2025-02-18 Ajinkya Gaikwad , Hitendra Kumar , Soumen Maity , Saket Saurabh , Roohani Sharma

For a given graph $G=(V,\, E)$ with a terminal set $S$ and a selected root $r\in S$, a positive integer cost and a delay on every edge and a delay constraint $D\in Z^{+}$, the shallow-light Steiner tree (\emph{SLST}) problem is to compute a…

Data Structures and Algorithms · Computer Science 2013-09-04 Longkun Guo , Kewen Liao

In this paper, we study a novel problem, Minimum Robust Multi-Submodular Cover for Fairness (MinRF), as follows: given a ground set $V$; $m$ monotone submodular functions $f_1,...,f_m$; $m$ thresholds $T_1,...,T_m$ and a non-negative…

Data Structures and Algorithms · Computer Science 2020-12-16 Lan N. Nguyen , My T. Thai

We consider the Low Rank Approximation problem, where the input consists of a matrix $A \in \mathbb{R}^{n_R \times n_C}$ and an integer $k$, and the goal is to find a matrix $B$ of rank at most $k$ that minimizes $\| A - B \|_0$, which is…

Data Structures and Algorithms · Computer Science 2023-11-03 Vincent Cohen-Addad , Chenglin Fan , Suprovat Ghoshal , Euiwoong Lee , Arnaud de Mesmay , Alantha Newman , Tony Chang Wang

We study the parameterized problem of satisfying ``almost all'' constraints of a given formula $F$ over a fixed, finite Boolean constraint language $\Gamma$, with or without weights. More precisely, for each finite Boolean constraint…

Computational Complexity · Computer Science 2025-04-23 Eun Jung Kim , Stefan Kratsch , Marcin Pilipczuk , Magnus Wahlström

We study the problem of finding a minimum-distortion embedding of the shortest path metric of an unweighted graph into a "simpler" metric $X$. Computing such an embedding (exactly or approximately) is a non-trivial task even when $X$ is the…

Computational Geometry · Computer Science 2017-12-20 Timothy Carpenter , Fedor V. Fomin , Daniel Lokshtanov , Saket Saurabh , Anastasios Sidiropoulos

The classical multi-set split feasibility problem seeks a point in the intersection of finitely many closed convex domain constraints, whose image under a linear mapping also lies in the intersection of finitely many closed convex range…

Optimization and Control · Mathematics 2017-01-19 Jason Xu , Eric C. Chi , Meng Yang , Kenneth Lange

We consider the LP in standard form min {c T x\,: Ax = b; x $\ge$ 0} and inspired by $\epsilon$-regularization in Optimal Transport, we introduce its $\epsilon$-regularization ''min {c T x + $\epsilon$ f (x)\,: Ax = b; x $\ge$ 0}'' via the…

Optimization and Control · Mathematics 2025-04-08 Saroj Prasad Chhatoi , Jean B Lasserre

We study parameterized approximability of three optimization problems related to stable matching: (1) Min-BP-SMI: Given a stable marriage instance and a number k, find a size-at-least-k matching that minimizes the number $\beta$ of blocking…

Computer Science and Game Theory · Computer Science 2025-08-15 Jiehua Chen , Sanjukta Roy , Sofia Simola

Finding a minimum-weight strongly connected spanning subgraph of an edge-weighted directed graph is equivalent to the weighted version of the well-known strong connectivity augmentation problem. This problem is NP-hard, and a simple…

Data Structures and Algorithms · Computer Science 2024-09-19 Ryoma Norose , Yutaro Yamaguchi

Mixed-integer nonlinear programs (MINLPs) arise in domains such as energy systems, process engineering, and transportation, and are notoriously difficult to solve at scale due to the interplay of discrete decisions and nonlinear…

Machine Learning · Computer Science 2025-12-16 Bo Tang , Elias B. Khalil , Ján Drgoňa

Structured Low-Rank Approximation is a problem arising in a wide range of applications in Numerical Analysis and Engineering Sciences. Given an input matrix $M$, the goal is to compute a matrix $M'$ of given rank $r$ in a linear or affine…

Numerical Analysis · Computer Science 2014-10-28 Éric Schost , Pierre-Jean Spaenlehauer