English
Related papers

Related papers: Fine-grained Complexity Meets IP = PSPACE

200 papers

Designing and analyzing algorithms with provable performance guarantees enables efficient optimization problem solving in different application domains, e.g.\ communication networks, transportation, economics, and manufacturing. Despite the…

Optimization and Control · Mathematics 2019-09-30 Dimitrios Letsios , Radu Baltean-Lugojan , Francesco Ceccon , Miten Mistry , Johannes Wiebe , Ruth Misener

This paper introduces the Simultaneous assignment problem. Let us given a graph with a weight and a capacity function on its edges, and a set of its subgraphs along with a degree upper bound function for each of them. We are also given a…

Data Structures and Algorithms · Computer Science 2023-01-24 Péter Madarasi

The problem of finding longest common subsequence (LCS) is one of the fundamental problems in computer science, which finds application in fields such as computational biology, text processing, information retrieval, data compression etc.…

Computational Complexity · Computer Science 2020-06-25 Amey Bhangale , Diptarka Chakraborty , Rajendra Kumar

Genome rearrangements are events in which large blocks of DNA exchange pieces during evolution. The analysis of such events is a tool for understanding evolutionary genomics, based on finding the minimum number of rearrangements to…

Computational Complexity · Computer Science 2025-04-29 Luís Cunha , Thiago Lopes , Arnaud Mary

We show that for all $\varepsilon>0$, for sufficiently large $q\in\mathbb{N}$ power of $2$, for all $\delta>0$, it is NP-hard to distinguish whether a given $2$-Prover-$1$-Round projection game with alphabet size $q$ has value at least…

Computational Complexity · Computer Science 2026-05-15 Dor Minzer , Kai Zhe Zheng

Until now, Computer Scientists have concerned themselves with identifying efficient algorithms for solving the general case of some problem -- that is finding one which performs well when the size of the input tends to infinity. In this…

Computational Complexity · Computer Science 2026-04-21 Mircea-Adrian Digulescu

In this article, we introduce a new technique for precision tuning. This problem consists of finding the least data types for numerical values such that the result of the computation satisfies some accuracy requirement. State of the art…

Programming Languages · Computer Science 2021-03-10 Assalé Adjé , Dorra Ben Khalifa , Matthieu Martel

We give a comprehensive study of bin packing with conflicts (BPC). The input is a set $I$ of items, sizes $s:I \rightarrow [0,1]$, and a conflict graph $G = (I,E)$. The goal is to find a partition of $I$ into a minimum number of independent…

Data Structures and Algorithms · Computer Science 2023-02-22 Ilan Doron-Arad , Hadas Shachnai

A Fixed-Parameter Tractable (\FPT) $\rho$-approximation algorithm for a minimization (resp. maximization) parameterized problem $P$ is an FPT algorithm that, given an instance $(x, k)\in P$ computes a solution of cost at most $k \cdot…

Data Structures and Algorithms · Computer Science 2013-08-19 Rajesh Chitnis , MohammadTaghi Hajiaghayi , Guy Kortsarz

The interval subset sum problem (ISSP) is a generalization of the well-known subset sum problem. Given a set of intervals $\left\{[a_{i,1},a_{i,2}]\right\}_{i=1}^n$ and a target integer $T,$ the ISSP is to find a set of integers, at most…

Data Structures and Algorithms · Computer Science 2017-04-25 Rui Diao , Ya-Feng Liu , Yu-Hong Dai

Testing whether a set $\mathbf{f}$ of polynomials has an algebraic dependence is a basic problem with several applications. The polynomials are given as algebraic circuits. Algebraic independence testing question is wide open over finite…

Computational Complexity · Computer Science 2018-01-30 Zeyu Guo , Nitin Saxena , Amit Sinhababu

We are interested in the intersection of approximation algorithms and complexity theory, in particular focusing on the complexity class APX. Informally, APX $\subseteq$ NPO is the complexity class comprising optimization problems where the…

Computational Complexity · Computer Science 2021-11-03 Arthur Lee , Bruce Xu

Many problems in computer science and applied mathematics require rounding a vector $\mathbf{w}$ of fractional values lying in the interval $[0,1]$ to a binary vector $\mathbf{x}$ so that, for a given matrix $\mathbf{A}$,…

Data Structures and Algorithms · Computer Science 2020-08-04 Lily Li , Aleksandar Nikolov

The approximate string matching is a fundamental and recurrent problem that arises in most computer science fields. This problem can be defined as follows: Let $D=\{x_1,x_2,\ldots x_d\}$ be a set of $d$ words defined on an alphabet…

Data Structures and Algorithms · Computer Science 2017-01-31 Ibrahim Chegrane

One powerful technique to solve NP-hard optimization problems in practice is branch-and-reduce search---which is branch-and-bound that intermixes branching with reductions to decrease the input size. While this technique is known to be very…

Data Structures and Algorithms · Computer Science 2018-10-26 Sebastian Lamm , Christian Schulz , Darren Strash , Robert Williger , Huashuo Zhang

We study the Equitable Connected Partition (ECP for short) problem, where we are given a graph G=(V,E) together with an integer p, and our goal is to find a partition of V into p parts such that each part induces a connected sub-graph of G…

Data Structures and Algorithms · Computer Science 2024-05-01 Václav Blažej , Dušan Knop , Jan Pokorný , Šimon Schierreich

Notions of graph similarity provide alternative perspective on the graph isomorphism problem and vice-versa. In this paper, we consider measures of similarity arising from mismatch norms as studied in Gervens and Grohe: the edit distance…

Discrete Mathematics · Computer Science 2026-05-07 He Sun , Danny Vagnozzi

Biclustering, also known as co-clustering or two-way clustering, simultaneously partitions the rows and columns of a data matrix to reveal submatrices with coherent patterns. Incorporating background knowledge into clustering to enhance…

Optimization and Control · Mathematics 2026-02-24 Antonio M. Sudoso

Longest common subsequence ($\mathsf{LCS}$) is a classic and central problem in combinatorial optimization. While $\mathsf{LCS}$ admits a quadratic time solution, recent evidence suggests that solving the problem may be impossible in truly…

Data Structures and Algorithms · Computer Science 2021-11-23 Aviad Rubinstein , Saeed Seddighin , Zhao Song , Xiaorui Sun

The Graph Pricing problem is among the fundamental problems whose approximability is not well-understood. While there is a simple combinatorial 1/4-approximation algorithm, the best hardness result remains at 1/2 assuming the Unique Games…

Data Structures and Algorithms · Computer Science 2014-11-06 Euiwoong Lee