首页/论文/1302.5671

arXiv 1302.56712013-02-22math.GRcs.CCmath.CO

群的背包问题

Knapsack Problems in Groups

Alexei Myasnikov, Andrey Nikolaev, Alexander Ushakov

备注：: 28 pages, 12 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们将经典的背包问题和子集和问题推广到任意群，并研究了这些新问题的计算复杂性。我们表明，这些问题，以及有界的submonoid成员资格问题，是P-时间判定的双曲群，并给出各种例子，其中的子集和问题是NP-完全的群。

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

群积中的背包问题

Knapsack problems in products of groups

经典的背包问题和相关问题可以自然地推广到任意（非交换）群，统称为背包型群问题。我们研究了自由积和直积对其时间复杂度的影响。我们证明了自由积在一定意义下保持背包型问题的时间复杂性，而直积可能放大背包型问题的时间复杂性.我们的方法可以得到有限子群上合并自由积的有理子集成员问题的复杂性结果.

2015-08-10cs.CCmath.GR

图群中背包的复杂性

The Complexity of Knapsack in Graph Groups

Myasnikov等人介绍了任意有限生成群的背包问题。在以前的工作中，作者证明了，对于每个图组，背包问题可以解决$\mathsf{NP}$。在这里，我们确定每个图组的问题的精确复杂性。虽然这个问题对于完全图是$\mathsf{TC}^0$ -完全的，但对于每个（非完全）传递森林是$\mathsf{LogCFL}$ -完全的。对于每个剩余的图，问题是$\mathsf{NP}$ -完全的。

2016-10-13cs.CCmath.GR

幂零群的背包问题

Knapsack problem for nilpotent groups

本文证明了对于幂零类2的任何群，如果导出子群的生成元（无挠）的个数至少为322，则背包问题（KP）是不可判定的。这一结果加上如果KP对一个子群不可判定则它对整个群不可判定的事实，使得我们可以把我们的结果推广到某些类的多环群、线性群和高幂零类的幂零群幂零群.

2016-06-28math.GR

圈积的背包问题

Knapsack Problems for Wreath Products

近年来，（一般非交换）群的背包问题引起了人们的注意。研究了圈积的背包问题。证明了背包的可判定性在圈积下不保持。另一方面，一类背包-半线性群，其中背包方程的解集是有效半线性的，在圈积下是闭的。作为结果，我们得到了背包对于自由可解群的可判定性。最后，它表明，对于每个非平凡的阿贝尔群$G$，背包（以及相关的子集和问题）的圈积$G \wr \mathbb{Z}$是NP-完全的。

2017-10-02cs.FLmath.GR

图群中的背包、HNN-扩张和合并积

Knapsack in graph groups, HNN-extensions and amalgamated products

本文证明了由Myasnikov等人提出的任意有限生成群的背包问题，对于图群可以用NP方法求解。这一结果甚至在群元素以压缩形式表示时也成立，这推广了整数背包问题的经典NP完全性结果。我们还证明了一般的转移结果：NP-成员的背包问题传递到有限扩张，HNN-扩展有限关联子群，并合并产品与有限确定的子群。

2015-09-20cs.FLmath.GR

幂零、多环和余上下文自由群中的背包与子集和问题

Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups

本文证明了背包问题（由Myasnikov，Nikolaev和Ushakov提出）在离散Heisenberg群（2类幂零群）的足够多的副本的直积中是不可判定的。此外，对于离散海森堡群本身，背包问题是可判定的。因此，背包问题的可判定性在直积下不被保留。同时证明了对于每个共上下文自由群，背包问题都是可判定的。对于子集和问题（也是由Myasnikov、Nikolaev和Ushakov提出的），我们证明了对于每个由虚幂零群生成的群，它都属于NL（非确定性对数空间）类，并且存在一个具有NP完全子集和问题的多环群.

2015-07-18cs.FLmath.GR

更多相关论文收起更多论文

双曲群中的背包

Knapsack in hyperbolic groups

最近背包问题已经从整数推广到任意有限生成群。背包问题的一个有限生成群$G$是下面的决策问题：给定一个元组$G$的元素$(g, g_1, \ldots, g_k)$，是否有自然数$n_1, \ldots, n_k \in \mathbb{N}$，使$g = g_1^{n_1} \cdots g_k^{n_k}$保持在$G$？Myasnikov、Nikolaev和Ushakov证明了对于每个（Gromov-）双曲群，背包问题可以在多项式时间内解决。本文确定了双曲群背包问题的精确复杂性：对于每一个双曲群$G$，背包问题都属于复杂性类$\mathsf{LogCFL}$，且当$G$包含秩为2的自由群时，背包问题是$\mathsf{LogCFL}$ -完全的.此外，它表明，对于每个双曲群$G$和每个元组$G$的元素$(g, g_1, \ldots, g_k)$的所有$(n_1, \ldots, n_k) \in \mathbb{N}^k$，使$g = g_1^{n_1} \cdots g_k^{n_k}$在$G$是半线性的和半线性表示，其中所有整数的大小多项式的总测地线长度的$g, g_1, \ldots, g_k$可以计算。具有这种性质的群也称为背包驯服群。这使我们能够证明，背包可以解决在$\mathsf{LogCFL}$的每一个组，属于封闭的双曲群下的自由产品和直积与$\mathbb{Z}…

2019-04-09cs.FLmath.GR

自动机群的背包问题

Knapsack problem for automaton groups

背包问题是一个经典的优化问题，最近已扩展到组的设置。它的研究表明是有趣的，因为它提供了许多不同的行为，这取决于所考虑的群体类别。在本文中，我们处理的群体所产生的Mealy自动机，一类是经常被用来研究组理论programmures-and证明背包问题是不可判定的这一类。在第二次，我们构造一个图，如果有限，提供了一个背包问题的解决方案。我们推断，背包问题是可判定的所谓的有界自动机组，一类的顺序和共轭问题已经知道是可判定的。

2016-12-14cs.DMcs.FLmath.GR

背包可判定的圈积的一个刻画

A characterization of wreath products where knapsack is decidable

背包问题是由米亚斯尼科夫、尼古拉耶夫和乌沙科夫提出的。它是为每个随机生成的组$G$定义的，并将组元素$g_1,\ldots,g_n,g\in G$作为输入，并询问是否存在具有$g_1^{x_1}\cdots g_n^{x_n}=g$的$x_1,\ldots,x_n\ge 0$。研究了群$G$和$H$的圈积$G\wr H$的背包问题.我们的主要结果是这些圈积$G\wr H$的背包问题是可判定的表征。该特征是根据$G$和$H$这两个独立因子的可判定性来描述的。为此，我们介绍了两个决策问题，交叉背包问题及其限制，正交叉背包问题。此外，我们应用我们的主要结果$H_3(\mathbb{Z})$，离散海森堡群，和Baumslag-Solitar群$\mathsf{BS}(1,q)$为$q\ge 1$。首先，我们证明了背包问题是不可判定的$G\wr H_3(\mathbb{Z})$的任何$G\ne 1$。这意味着，对于$G\ne 1$和无限和虚拟幂零群$H$，背包问题的$G\wr H$是可判定的当且仅当$H$是虚拟阿贝尔和系统的指数方程的可解性是可判定的$G$。其次，我们证明了背包问题是可判定的$G\wr\mathsf{BS}(1,q)$当且仅当系统的指数方程是可判定的$G$。

2021-01-15math.GR

背包半线性群的闭包性质

Closure properties of knapsack semilinear groups

本文证明图积、融合自由积、HNN扩张和有限扩张等群构造保持背包方程解集的半线性，并研究解集复杂度度量magnitude对方程长度的依赖在这些运算下的变化。

2024-11-26math.GR

背包与可解Baumslag-Solitar群中的幂字问题

Knapsack and the power word problem in solvable Baumslag-Solitar groups

证明了$\mathsf{GL}(2,\mathbb{C})$的某些亚阿贝尔子群（包括可解Baumslag-Solitar群$\mathsf{BS}(1,q) = \langle a,t \mid t a t^{-1} = a^q \rangle$）的幂字问题属于电路复杂性类$\mathsf{TC}^0$ .在幂字问题中，输入由群元素$g_1, \ldots, g_d$和二进制编码整数$n_1, \ldots, n_d$组成，并询问$g_1^{n_1} \cdots g_d^{n_d} = 1$是否成立。证明了$\mathsf{BS}(1,q)$的背包问题是$\mathsf{NP}$ -完全的.在背包问题中，输入由群元素$g_1, \ldots, g_d,h$组成，并且询问方程$g_1^{x_1} \cdots g_d^{x_d} = h$是否在$\mathbb{N}^d$中有解。对于更一般的情况下，一个系统的所谓的指数方程，其中的指数变量$x_i$可以出现多次，我们表明，可解性是不可判定的$\mathsf{BS}(1,q)$。

2022-10-16math.GR

wreath 积中背包问题的复杂度

The complexity of knapsack problems in wreath products

本文研究群的 wreath 积中幂字问题和背包问题的复杂度，证明了幂零群 wreath 积等的幂字问题属 $\mathsf{TC}^0$，自由可解群背包问题为 $\mathsf{NP}$-完全，部分非可解群 wreath 积问题复杂度更高。

2024-11-30cs.CCmath.GR

HNN-扩张中的指数方程

Exponent equations in HNN-extensions

本文研究有限生成群中的指数方程，针对稳定字母作用平凡的HNN-扩张，证明在额外技术条件下背包半线性性从基群转移至扩张群，覆盖中心化子、双曲群拟凸子群等场景。

2024-12-02math.GR

有限群中的成员问题

Membership Problems in Finite Groups

证明了置换群的子集和问题、背包问题和有理子集成员问题是NP-完全的。对于背包问题，我们得到了每个固定的$n \geq 3$的NP-完全性，其中$n$是背包方程中置换的个数.换句话说：三个轮换群的乘积中的成员是NP-完全的。这使Luks的一个结果更加尖锐，该结果表明三个交换置换群的乘积的成员问题是NP-完全的。我们还考虑了置换群中的上下文无关成员问题，并证明了对于一类限制性上下文无关文法（其中非循环导子树必须具有常数Horton-Strahler数），该问题是PSPACE-完全的，但却是NP-完全的.我们的上界对黑盒群成立。置换群中上下文无关成员问题的结果为DFA和单个上下文无关文法的各种交集非空问题产生了新的复杂性界。

2022-06-28cs.FLmath.GR