English
Related papers

Related papers: Knapsack Problems in Groups

200 papers

We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm…

Group Theory · Mathematics 2020-07-20 François Dahmani , Vincent Guirardel

In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various properties of finitely generated subsemigroups of an infinite…

Discrete Mathematics · Computer Science 2023-09-21 Ruiwen Dong

In this survey, we address the worst-case, average-case, and generic-case time complexity of the word problem and some other algorithmic problems in several classes of groups and show that it is often the case that the average-case…

Group Theory · Mathematics 2024-01-18 Vladimir Shpilrain

We prove that the generalised word problem of a finitely generated subgroup of a finitely generated virtually free group is context-free, that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of…

Group Theory · Mathematics 2015-11-04 Derek F. Holt , Sarah Rees

The subset sum problem is known to be an NP-hard problem in the field of computer science with the fastest known approach having a run-time complexity of $O(2^{0.3113n})$. A modified version of this problem is known as the perfect sum…

Data Structures and Algorithms · Computer Science 2022-11-29 Kristof Pusztai

Computing sets of high quality solutions has gained increasing interest in recent years. In this paper, we investigate how to obtain sets of optimal solutions for the classical knapsack problem. We present an algorithm to count exactly the…

Data Structures and Algorithms · Computer Science 2021-06-15 Jakob Bossek , Aneta Neumann , Frank Neumann

We study pseudo-polynomial time algorithms for the fundamental \emph{0-1 Knapsack} problem. In terms of $n$ and $w_{\max}$, previous algorithms for 0-1 Knapsack have cubic time complexities: $O(n^2w_{\max})$ (Bellman 1957), $O(nw_{\max}^2)$…

Data Structures and Algorithms · Computer Science 2023-08-10 Ce Jin

The knapsack problem (KP) is a very famous NP-hard problem in combinatorial optimization. Also its generalization to multiple dimensions named d-dimensional knapsack problem (d-KP) and to multiple knapsacks named multiple knapsack problem…

Computational Complexity · Computer Science 2016-11-24 Carolin Albrecht , Frank Gurski , Jochen Rethmann , Eda Yilmaz

Constrained submodular maximization problems encompass a wide variety of applications, including personalized recommendation, team formation, and revenue maximization via viral marketing. The massive instances occurring in modern day…

Data Structures and Algorithms · Computer Science 2024-02-20 Georgios Amanatidis , Federico Fusco , Philip Lazos , Stefano Leonardi , Rebecca Reiffenhäuser

In this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, using Grigorchuk groups, we establish that the sets of solvable groups,…

Group Theory · Mathematics 2020-11-04 Mustafa Gökhan Benli , Burak Kaya

We study the word and conjugacy problems in lacunary hyperbolic groups (briefly, LHG). In particular, we describe a necessary and sufficient condition for decidability of the word problem in LHG. Then, based on the graded small-cancellation…

Group Theory · Mathematics 2017-10-31 Arman Darbinyan

Let $\Gamma$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $\Gamma$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly…

Group Theory · Mathematics 2007-05-23 Marius Dadarlat , Erik Guentner

Extraspecial groups form a remarkable subclass of p-groups. They are also present in quantum information theory, in particular in quantum error correction. We give here a polynomial time quantum algorithm for finding hidden subgroups in…

Quantum Physics · Physics 2007-05-23 Gábor Ivanyos , Luc Sanselme , Miklos Santha

Power circuits are data structures which support efficient algorithms for highly compressed integers. Using this new data structure it has been shown recently by Myasnikov, Ushakov and Won that the Word Problem of the one-relator Baumslag…

Group Theory · Mathematics 2011-03-08 Volker Diekert , Jürn Laun , Alexander Ushakov

Given a system of equations in a "random" finitely generated subgroup of the braid group, we show how to find a small ordered list of elements in the subgroup, which contains a solution to the equations with a significant probability.…

Group Theory · Mathematics 2010-08-02 D. Garber , S. Kaplan , M. Teicher , B. Tsaban , U. Vishne

We study a robust extensible bin packing problem with budgeted uncertainty, under a budgeted uncertainty model where item sizes are defined to lie in the intersection of a box with a one-norm ball. We propose a scenario generation algorithm…

Discrete Mathematics · Computer Science 2025-10-29 Noam Goldberg , Michael Poss , Yariv Marmor

The Knapsack Problem (KP) and its generalization, the Bounded Knapsack Problem (BKP), are classical NP-hard problems with numerous practical applications, and despite being introduced over 25 years ago, the solvers COMBO and BOUKNAP remain…

Data Structures and Algorithms · Computer Science 2026-04-08 Renan F. F. da Silva , Thiago A. de Queiroz , Rafael C. S. Schouery

We consider a variant of the knapsack problem, where items are available with different possible weights. Using a separate budget for these item improvements, the question is: Which items should be improved to which degree such that the…

Optimization and Control · Mathematics 2016-07-29 Marc Goerigk , Yogish Sabharwal , Anita Schöbel , Sandeep Sen

The Time-Invariant Incremental Knapsack problem (IIK) is a generalization of Maximum Knapsack to a discrete multi-period setting. At each time, capacity increases and items can be added, but not removed from the knapsack. The goal is to…

Data Structures and Algorithms · Computer Science 2018-01-31 Yuri Faenza , Igor Malinovic

We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian…

Group Theory · Mathematics 2023-05-25 Claude Marion , Pedro V. Silva , Gareth Tracey