3,721 research outputs found
The Complexity of Knapsack in Graph Groups
Myasnikov et al. have introduced the knapsack problem for arbitrary finitely generated groups. In LohreyZ16 the authors proved that for each graph group, the knapsack problem can be solved in NP. Here, we determine the exact complexity of the problem for every graph group. While the problem is TC^0-complete for complete graphs, it is LogCFL-complete for each (non-complete) transitive forest. For every remaining graph, the problem is NP-complete
Knapsack problems in products of groups
The classic knapsack and related problems have natural generalizations to
arbitrary (non-commutative) groups, collectively called knapsack-type problems
in groups. We study the effect of free and direct products on their time
complexity. We show that free products in certain sense preserve time
complexity of knapsack-type problems, while direct products may amplify it. Our
methods allow to obtain complexity results for rational subset membership
problem in amalgamated free products over finite subgroups.Comment: 15 pages, 5 figures. Updated to include more general results, mostly
in Section
Knapsack Problems in Groups
We generalize the classical knapsack and subset sum problems to arbitrary
groups and study the computational complexity of these new problems. We show
that these problems, as well as the bounded submonoid membership problem, are
P-time decidable in hyperbolic groups and give various examples of finitely
presented groups where the subset sum problem is NP-complete.Comment: 28 pages, 12 figure
Fair Knapsack
We study the following multiagent variant of the knapsack problem. We are
given a set of items, a set of voters, and a value of the budget; each item is
endowed with a cost and each voter assigns to each item a certain value. The
goal is to select a subset of items with the total cost not exceeding the
budget, in a way that is consistent with the voters' preferences. Since the
preferences of the voters over the items can vary significantly, we need a way
of aggregating these preferences, in order to select the socially best valid
knapsack. We study three approaches to aggregating voters' preferences, which
are motivated by the literature on multiwinner elections and fair allocation.
This way we introduce the concepts of individually best, diverse, and fair
knapsack. We study the computational complexity (including parameterized
complexity, and complexity under restricted domains) of the aforementioned
multiagent variants of knapsack.Comment: Extended abstract will appear in Proc. of 33rd AAAI 201
Recommended from our members
Zero-one IP problems: Polyhedral descriptions & cutting plane procedures
A systematic way for tightening an IP formulation is by employing classes of linear inequalities that define facets of the convex hull of the feasible integer points of the respective problems. Describing as well as identifying these inequalities will help in the efficiency of the LP-based cutting plane methods. In this report, we review classes of inequalities that partially described zero-one poly topes such as the 0-1 knapsack polytope, the set packing polytope and the travelling salesman polytope. Facets or valid inequalities derived from the 0-1 knapsack and the set packing polytopes are algorithmically identifie
Parameterized Approximation Schemes for Independent Set of Rectangles and Geometric Knapsack
The area of parameterized approximation seeks to combine approximation and parameterized algorithms to obtain, e.g., (1+epsilon)-approximations in f(k,epsilon)n^O(1) time where k is some parameter of the input. The goal is to overcome lower bounds from either of the areas. We obtain the following results on parameterized approximability:
- In the maximum independent set of rectangles problem (MISR) we are given a collection of n axis parallel rectangles in the plane. Our goal is to select a maximum-cardinality subset of pairwise non-overlapping rectangles. This problem is NP-hard and also W[1]-hard [Marx, ESA\u2705]. The best-known polynomial-time approximation factor is O(log log n) [Chalermsook and Chuzhoy, SODA\u2709] and it admits a QPTAS [Adamaszek and Wiese, FOCS\u2713; Chuzhoy and Ene, FOCS\u2716]. Here we present a parameterized approximation scheme (PAS) for MISR, i.e. an algorithm that, for any given constant epsilon>0 and integer k>0, in time f(k,epsilon)n^g(epsilon), either outputs a solution of size at least k/(1+epsilon), or declares that the optimum solution has size less than k.
- In the (2-dimensional) geometric knapsack problem (2DK) we are given an axis-aligned square knapsack and a collection of axis-aligned rectangles in the plane (items). Our goal is to translate a maximum cardinality subset of items into the knapsack so that the selected items do not overlap. In the version of 2DK with rotations (2DKR), we are allowed to rotate items by 90 degrees. Both variants are NP-hard, and the best-known polynomial-time approximation factor is 2+epsilon [Jansen and Zhang, SODA\u2704]. These problems admit a QPTAS for polynomially bounded item sizes [Adamaszek and Wiese, SODA\u2715]. We show that both variants are W[1]-hard. Furthermore, we present a PAS for 2DKR.
For all considered problems, getting time f(k,epsilon)n^O(1), rather than f(k,epsilon)n^g(epsilon), would give FPT time f\u27(k)n^O(1) exact algorithms by setting epsilon=1/(k+1), contradicting W[1]-hardness. Instead, for each fixed epsilon>0, our PASs give (1+epsilon)-approximate solutions in FPT time.
For both MISR and 2DKR our techniques also give rise to preprocessing algorithms that take n^g(epsilon) time and return a subset of at most k^g(epsilon) rectangles/items that contains a solution of size at least k/(1+epsilon) if a solution of size k exists. This is a special case of the recently introduced notion of a polynomial-size approximate kernelization scheme [Lokshtanov et al., STOC\u2717]
- …