Knapsack Problems for Wreath Products

被引:10
作者
Ganardi, Moses [1 ]
Koenig, Daniel [1 ]
Lohrey, Markus [1 ]
Zetzsche, Georg [2 ,3 ]
机构
[1] Univ Siegen, Siegen, Germany
[2] CNRS, LSV, Paris, France
[3] ENS Paris Saclay, Paris, France
来源
35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018) | 2018年 / 96卷
关键词
Knapsack; Wreath Products; Decision Problems in Group Theory;
D O I
10.4230/LIPIcs.STACS.2018.32
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In recent years, knapsack problems for (in general non-commutative) groups have attracted attention. In this paper, the knapsack problem for wreath products is studied. It turns out that decidability of knapsack is not preserved under wreath product. On the other hand, the class of knapsack-semilinear groups, where solutions sets of knapsack equations are effectively semilinear, is closed under wreath product. As a consequence, we obtain the decidability of knapsack for free solvable groups. Finally, it is shown that for every non-trivial abelian group G, knapsack (as well as the related subset sum problem) for the wreath product G (sic) Z is NP-complete.
引用
收藏
页数:13
相关论文
共 18 条
[1]   Subgroup distortion in wreath products of cyclic groups [J].
Davis, Tara C. ;
Olshanskii, Alexander Yu. .
JOURNAL OF PURE AND APPLIED ALGEBRA, 2011, 215 (12) :2987-3004
[2]  
Elberfeld Michael, 2011, ELECT C COMPUT COMPL, V18, P128
[3]   Knapsack problems in products of groups [J].
Frenkel, Elizaveta ;
Nikolaev, Andrey ;
Ushakov, Alexander .
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 74 :96-108
[4]  
Ganardi M., 2017, ABS170909598 CORR
[5]   SEMIGROUPS PRESBURGER FORMULAS AND LANGUAGES [J].
GINSBURG, S ;
SPANIER, EH .
PACIFIC JOURNAL OF MATHEMATICS, 1966, 16 (02) :285-&
[6]  
Haase C., 2011, THESIS
[7]  
KARP R. M., 1972, REDUCIBILITY COMBINA, V85-103, DOI [10.1007/978-3-540-68279-08, DOI 10.1007/978-3-540-68279-08]
[8]  
Konig D., 2016, CONT MATH, V677, P138, DOI [DOI 10.1090/CONM/677/13625, 10.1090/conm/677, DOI 10.1090/CONM]
[9]   The co-word problem for the Higman-Thompson group is context-free [J].
Lehnert, J. ;
Schweitzer, P. .
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2007, 39 :235-241
[10]  
Lohrey M., 2017, LEIBNIZ INT P INFORM, V66