English
Related papers

Related papers: An FPTAS for the $\Delta$-modular multidimensional…

200 papers

We show that for every fixed $k\geq 3$, the problem whether the termination/counter complexity of a given demonic VASS is $\mathcal{O}(n^k)$, $\Omega(n^{k})$, and $\Theta(n^{k})$ is coNP-complete, NP-complete, and DP-complete, respectively.…

Logic in Computer Science · Computer Science 2021-12-07 Michal Ajdarów , Antonín Kučera

In the knapsack interdiction problem, there are $n$ items, each with a non-negative profit, interdiction cost, and packing weight. There is also an interdiction budget and a capacity. The objective is to select a set of items to interdict…

Data Structures and Algorithms · Computer Science 2026-04-24 Noah Weninger

In the Closest String problem one is given a family $\mathcal S$ of equal-length strings over some fixed alphabet, and the task is to find a string $y$ that minimizes the maximum Hamming distance between $y$ and a string from $\mathcal S$.…

Data Structures and Algorithms · Computer Science 2015-09-22 Marek Cygan , Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

We consider the classic Knapsack problem. Let $t$ and $\mathrm{OPT}$ be the capacity and the optimal value, respectively. If one seeks a solution with total profit at least $\mathrm{OPT}/(1 + \varepsilon)$ and total weight at most $t$, then…

Data Structures and Algorithms · Computer Science 2025-04-23 Lin Chen , Jiayi Lian , Yuchen Mao , Guochuan Zhang

We give an approximation algorithm for packing and covering linear programs (linear programs with non-negative coefficients). Given a constraint matrix with n non-zeros, r rows, and c columns, the algorithm computes feasible primal and dual…

Data Structures and Algorithms · Computer Science 2015-06-02 Christos Koufogiannakis , Neal E. Young

We show that linearly constrained linear optimization over a Stiefel or Grassmann manifold is NP-hard in general. We show that the same is true for unconstrained quadratic optimization over a Stiefel manifold. We will show that unless…

Optimization and Control · Mathematics 2025-11-27 Zehua Lai , Lek-Heng Lim , Tianyun Tang

Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed \lambda-calculus and the modal \lambda-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of…

Logic in Computer Science · Computer Science 2015-07-01 Roland Axelsson , Martin Lange , Rafal Somla

Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem of counting the number of integer points inside $P$, assuming that $P$ is $\Delta$-modular, where the polytope $P$ is called $\Delta$-modular if all the rank…

Computational Complexity · Computer Science 2023-05-09 D. V. Gribanov , D. S. Malyshev

We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in…

Discrete Mathematics · Computer Science 2021-10-12 Zdeněk Dvořák

The Minimum Enclosing Ball (MEB) problem is one of the most fundamental problems in clustering, with applications in operations research, statistics and computational geometry. In this works, we give the first differentially private (DP)…

Data Structures and Algorithms · Computer Science 2022-12-26 Bar Mahpud , Or Sheffet

We formulate the knapsack problem (KP) as a statistical physics system and compute the corresponding partition function as an integral in the complex plane. The introduced formalism allows us to derive three statistical-physics-based…

Statistical Mechanics · Physics 2023-04-04 Mobolaji Williams

An important objective in scheduling literature is to minimize the sum of weighted flow times. We are given a set of jobs where each job is characterized by a release time, a processing time, and a weight. Our goal is to find a preemptive…

Data Structures and Algorithms · Computer Science 2022-08-08 Alexander Armbruster , Lars Rohwedder , Andreas Wiese

In the incremental knapsack problem ($\IK$), we are given a knapsack whose capacity grows weakly as a function of time. There is a time horizon of $T$ periods and the capacity of the knapsack is $B_t$ in period $t$ for $t = 1, \ldots, T$.…

Data Structures and Algorithms · Computer Science 2013-11-20 Daniel Bienstock , Jay Sethuraman , Chun Ye

Initially developed for the min-knapsack problem, the knapsack cover inequalities are used in the current best relaxations for numerous combinatorial optimization problems of covering type. In spite of their widespread use, these…

Discrete Mathematics · Computer Science 2016-11-22 Abbas Bazzi , Samuel Fiorini , Sangxia Huang , Ola Svensson

We show optimal FPT-approximability results for solving almost satisfiable systems of modular linear equations, completing the picture of the parameterized complexity and FPT-approximability landscape for the Min-$r$-Lin$(\mathbb{Z}_m)$…

Data Structures and Algorithms · Computer Science 2026-04-14 Konrad K. Dabrowski , Peter Jonsson , Sebastian Ordyniak , George Osipov , Magnus Wahlström

We consider the general problem of the Longest Common Subsequence (LCS) on weighted sequences. Weighted sequences are an extension of classical strings, where in each position every letter of the alphabet may occur with some probability.…

Computational Complexity · Computer Science 2020-07-21 Evangelos Kipouridis , Kostas Tsichlas

We present an approximation notion for NP-hard optimization problems represented by binary functions. We prove that (assuming P != NP) the new notion is strictly stronger than FPTAS, but strictly weaker than having a polynomial-time…

Computational Complexity · Computer Science 2026-05-08 Samuel Bismuth , Erel Segal-Halevi

Knapsack problems are among the most fundamental problems in optimization. In the Multiple Knapsack problem, we are given multiple knapsacks with different capacities and items with values and sizes. The task is to find a subset of items of…

Data Structures and Algorithms · Computer Science 2021-10-05 Franziska Eberle , Nicole Megow , Lukas Nölke , Bertrand Simon , Andreas Wiese

We consider the 0-1 Incremental Knapsack Problem (IKP) where the capacity grows over time periods and if an item is placed in the knapsack in a certain period, it cannot be removed afterwards. The contribution of a packed item in each time…

Data Structures and Algorithms · Computer Science 2018-01-16 Federico Della Croce , Ulrich Pferschy , Rosario Scatamacchia

Both weighted and unweighted Borda manipulation problems have been proved $\mathcal{NP}$-hard. However, there is no exact combinatorial algorithm known for these problems. In this paper, we initiate the study of exact combinatorial…

Data Structures and Algorithms · Computer Science 2013-04-12 Yongjie Yang , Jiong Guo
‹ Prev 1 4 5 6 7 8 10 Next ›