English
Related papers

Related papers: The Complexity of the Kth Largest Subset Problem a…

200 papers

Chv\'{a}tal and Klincsek (1980) gave an $O(n^3)$-time algorithm for the problem of finding a maximum-cardinality convex subset of an arbitrary given set $P$ of $n$ points in the plane. This paper examines a generalization of the problem,…

Computational Geometry · Computer Science 2021-08-31 Stephane Durocher , J. Mark Keil , Saeed Mehrabi , Debajyoti Mondal

This extended abstract presents an overview on NP-hard optimization problems with multiple interdependent components. These problems occur in many real-world applications: industrial applications, engineering, and logistics. The fact that…

Artificial Intelligence · Computer Science 2016-06-23 Mohamed El Yafrani , Belaïd Ahiod

We consider several computational problems related to conjugacy between subshifts of finite type, restricted to $k$-block codes: verifying a proposed $k$-block conjugacy, deciding if two shifts admit a $k$-block conjugacy, and reducing the…

Dynamical Systems · Mathematics 2019-09-09 Tyler Schrock , Rafael Frongillo

Parameterized Inapproximability Hypothesis (PIH) is a central question in the field of parameterized complexity. PIH asserts that given as input a 2-CSP on $k$ variables and alphabet size $n$, it is W[1]-hard parameterized by $k$ to…

Computational Complexity · Computer Science 2024-07-15 Karthik C. S. , Euiwoong Lee , Pasin Manurangsi

We address the classical knapsack problem and a variant in which an upper bound is imposed on the number of items that can be selected. We show that appropriate combinations of rounding techniques yield novel and powerful ways of rounding.…

Computational Complexity · Computer Science 2007-05-23 Monaldo Mastrolilli , Marcus Hutter

The article contains some important classes of multisets. Combinatorial proofs of problems on the number of m-submultisets and m-permutations of multiset elements are considered and effective algorithms for their calculation are given. In…

General Mathematics · Mathematics 2020-09-04 Oleksandr Makhnei , Roman Zatorskii

This paper proves that arrangement of music is NP-hard when subject to various constraints: avoiding musical dissonance, limiting how many notes can be played simultaneously, and limiting transition speed between chords. These results imply…

Computational Complexity · Computer Science 2016-07-15 William S. Moses , Erik D. Demaine

In this paper we are interested in the following problem. Let $p$ be a prime number, $S\subset \F_p$ and $\cP\subset \{P\in\F_p [X]:\deg P\le d\}$. What is the largest integer $k$ such that for all subsets $\cA, \cB$ of $\F_p$ satisfying…

Number Theory · Mathematics 2013-02-20 Ramachandran Balasubramanian , Cécile Dartyge , Elie Mosaki

We revisit the classic Maximum $k$-Coverage problem: Determine the largest number $t$ of elements that can be covered by choosing $k$ sets from a given family $\mathcal{F} = \{S_1,\dots, S_n\}$ of a size-$u$ universe. A notable special case…

Data Structures and Algorithms · Computer Science 2026-01-26 Nick Fischer , Marvin Künnemann , Mirza Redzic

It is known that the maximum cardinality cut problem is NP-hard even in chordal graphs. In this paper, we consider the time complexity of the problem in proper interval graphs, a subclass of chordal graphs, and propose a dynamic programming…

Discrete Mathematics · Computer Science 2015-12-23 Arman Boyacı , Tinaz Ekim , Mordechai Shalom

The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this…

Computational Complexity · Computer Science 2012-05-23 Yonatan Bilu , Amit Daniely , Nati Linial , Michael Saks

We generalize Blumberg-Mandell's K-theoretic Poitou-Tate duality to arithmetic schemes of arbitrary dimension, smooth and proper over S-integers. As in our earlier papers on the subject, we discuss how to model the compactly supported side…

K-Theory and Homology · Mathematics 2025-04-22 Oliver Braunling

NP complete problem is one of the most challenging issues. The question of whether all problems in NP are also in P is generally considered one of the most important open questions in mathematics and theoretical computer science as it has…

Computational Complexity · Computer Science 2015-05-04 Wenhong Tian , GuoZhong Li , Xinyang Wang , Qin Xiong , Yaqiu Jiang

Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a…

Geometric Topology · Mathematics 2019-09-16 Greg Kuperberg

For any $\varepsilon > 0$, we prove that $k$-Dimensional Matching is hard to approximate within a factor of $k/(12 + \varepsilon)$ for large $k$ unless $\textsf{NP} \subseteq \textsf{BPP}$. Listed in Karp's 21 $\textsf{NP}$-complete…

Computational Complexity · Computer Science 2024-09-27 Euiwoong Lee , Ola Svensson , Theophile Thiery

The extension complexity of a polytope measures its amenability to succinct representations via lifts. There are several versions of extension complexity, including linear, real semidefinite, and complex semidefinite. We focus on the last…

Combinatorics · Mathematics 2021-10-18 Tristram Bogart , João Gouveia , Juan Camilo Torres

We present a parameterized dichotomy for the \textsc{$k$-Sparsest Cut} problem in weighted and unweighted versions. In particular, we show that the weighted \textsc{$k$-Sparsest Cut} problem is NP-hard for every $k\geq 3$ even on graphs…

Computational Complexity · Computer Science 2023-04-04 Ramin Javadi , Amir Nikabadi

It is known that there is no EPTAS for the $m$-dimensional knapsack problem unless $W[1] = FPT$. It is true already for the case, when $m = 2$. But, an FPTAS still can exist for some other particular cases of the problem. In this note, we…

Computational Complexity · Computer Science 2022-11-30 D. V. Gribanov

We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This…

Computational Complexity · Computer Science 2022-09-19 Amol Pasarkar , Mihalis Yannakakis , Christos Papadimitriou

The framework of Bodlaender et al. (ICALP 2008) and Fortnow and Santhanam (STOC 2008) allows us to exclude the existence of polynomial kernels for a range of problems under reasonable complexity-theoretical assumptions. However, there are…

Computational Complexity · Computer Science 2015-03-19 Danny Hermelin , Stefan Kratsch , Karolina Sołtys , Magnus Wahlström , Xi Wu