Pub Date : 2024-07-12DOI: 10.1007/s00224-024-10184-w
Hagit Attiya, Arie Fouren, Jeremy Ko
The amortized step complexity of an implementation measures its performance as a whole, rather than the performance of individual operations. Specifically, the amortized step complexity of an implementation is the average number of steps performed by invoked operations, in the worst case, taken over all possible executions. The point contention of an execution, denoted by (dot{c}), measures the maximal number of precesses simultaneously active in the execution. Ruppert (2016) showed that the amortized step complexity of known lock-free implementations for many shared data structures includes an additive factor linear in the point contention (dot{c}). This paper shows that there is no lock-free implementation with (o(min {dot{c}, sqrt{log log n}})) amortized RMR complexity of queues, stacks or heaps from reads, writes, comparison primitives (such as compare &swap) and LL/SC, where n is the total number of the processes in the system. In addition, the paper shows a (Omega (min {dot{c}, log log n})) lower bound on the amortized step complexity for shared linked lists, skip lists, search trees and other pointer-based data structures. These lower bounds mean that the additive factor linear in (dot{c}) is inherent for these implementations, provided that the point contention is small compared to the number of processes in the system (i.e. (dot{c}in O(sqrt{log log n})) or (dot{c}in O(log log n))).
{"title":"Lower Bounds on the Amortized Time Complexity of Shared Objects","authors":"Hagit Attiya, Arie Fouren, Jeremy Ko","doi":"10.1007/s00224-024-10184-w","DOIUrl":"https://doi.org/10.1007/s00224-024-10184-w","url":null,"abstract":"<p>The <i>amortized</i> step complexity of an implementation measures its performance as a whole, rather than the performance of individual operations. Specifically, the amortized step complexity of an implementation is the average number of steps performed by invoked operations, in the worst case, taken over all possible executions. The <i>point contention</i> of an execution, denoted by <span>(dot{c})</span>, measures the maximal number of precesses simultaneously active in the execution. Ruppert (2016) showed that the amortized step complexity of known lock-free implementations for many shared data structures includes an additive factor linear in the point contention <span>(dot{c})</span>. This paper shows that there is no lock-free implementation with <span>(o(min {dot{c}, sqrt{log log n}}))</span> amortized <i>RMR</i> complexity of queues, stacks or heaps from reads, writes, comparison primitives (such as <span>compare &swap</span>) and <span>LL/SC</span>, where <i>n</i> is the total number of the processes in the system. In addition, the paper shows a <span>(Omega (min {dot{c}, log log n}))</span> lower bound on the amortized <i>step</i> complexity for shared linked lists, skip lists, search trees and other pointer-based data structures. These lower bounds mean that the additive factor linear in <span>(dot{c})</span> is inherent for these implementations, provided that the point contention is small compared to the number of processes in the system (i.e. <span>(dot{c}in O(sqrt{log log n}))</span> or <span>(dot{c}in O(log log n))</span>).</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141608538","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-03DOI: 10.1007/s00224-024-10174-y
Jiehua Chen, Hendrik Molter, Manuel Sorge, Ondřej Suchý
Motivated by the recent rapid growth of research for algorithms to cluster multi-layer and temporal graphs, we study extensions of the classical Cluster Editing problem. In Multi-Layer Cluster Editing we receive a set of graphs on the same vertex set, called layers and aim to transform all layers into cluster graphs (disjoint unions of cliques) that differ only slightly. More specifically, we want to mark at most d vertices and to transform each layer into a cluster graph using at most k edge additions or deletions per layer so that, if we remove the marked vertices, we obtain the same cluster graph in all layers. In Temporal Cluster Editing we receive a sequence of layers and we want to transform each layer into a cluster graph so that consecutive layers differ only slightly. That is, we want to transform each layer into a cluster graph with at most k edge additions or deletions and to mark a distinct set of d vertices in each layer so that each two consecutive layers are the same after removing the vertices marked in the first of the two layers. We study the combinatorial structure of the two problems via their parameterized complexity with respect to the parameters d and k, among others. Despite the similar definition, the two problems behave quite differently: In particular, Multi-Layer Cluster Editing is fixed-parameter tractable with running time (k^{O(k + d)} s^{O(1)}) for inputs of size s, whereas Temporal Cluster Editing is (textsf {W[1]})-hard with respect to k even if (d = 3).
最近,对多层图和时序图聚类算法的研究迅速发展,受此激励,我们研究了经典聚类编辑问题的扩展。在多层聚类编辑中,我们会收到一组相同顶点集上的图,称为层,目的是将所有层转化为仅有细微差别的聚类图(小群的不相交联盟)。更具体地说,我们希望最多标记 d 个顶点,并使用每层最多 k 条边的增减将每层转化为聚类图,这样,如果我们移除标记的顶点,就能在所有层中得到相同的聚类图。在 "时间聚类编辑 "中,我们会收到一连串的图层,我们希望将每一层转化为聚类图,这样连续的图层之间只有细微的差别。也就是说,我们希望将每一层转化为最多有 k 条边增删的簇图,并在每一层中标记一组不同的 d 个顶点,这样在去除第一层中标记的顶点后,每两个连续的层都是相同的。我们通过参数 d 和 k 等参数的参数化复杂度来研究这两个问题的组合结构。尽管定义相似,这两个问题的表现却大相径庭:特别是,对于大小为 s 的输入,多层集群编辑是固定参数可处理的,其运行时间为 (k^{O(k + d)} s^{O(1)}) ,而时态集群编辑即使在 (d = 3) 的情况下,相对于 k 也是(textsf {W[1]})困难的。
{"title":"Cluster Editing for Multi-Layer and Temporal Graphs","authors":"Jiehua Chen, Hendrik Molter, Manuel Sorge, Ondřej Suchý","doi":"10.1007/s00224-024-10174-y","DOIUrl":"https://doi.org/10.1007/s00224-024-10174-y","url":null,"abstract":"<p>Motivated by the recent rapid growth of research for algorithms to cluster multi-layer and temporal graphs, we study extensions of the classical <span>Cluster Editing</span> problem. In <span>Multi-Layer Cluster Editing</span> we receive a set of graphs on the same vertex set, called <i>layers</i> and aim to transform all layers into cluster graphs (disjoint unions of cliques) that differ only slightly. More specifically, we want to mark at most <i>d</i> vertices and to transform each layer into a cluster graph using at most <i>k</i> edge additions or deletions per layer so that, if we remove the marked vertices, we obtain the same cluster graph in all layers. In <span>Temporal Cluster Editing</span> we receive a <i>sequence</i> of layers and we want to transform each layer into a cluster graph so that consecutive layers differ only slightly. That is, we want to transform each layer into a cluster graph with at most <i>k</i> edge additions or deletions and to mark a distinct set of <i>d</i> vertices in each layer so that each two consecutive layers are the same after removing the vertices marked in the first of the two layers. We study the combinatorial structure of the two problems via their parameterized complexity with respect to the parameters <i>d</i> and <i>k</i>, among others. Despite the similar definition, the two problems behave quite differently: In particular, <span>Multi-Layer Cluster Editing</span> is fixed-parameter tractable with running time <span>(k^{O(k + d)} s^{O(1)})</span> for inputs of size <i>s</i>, whereas <span>Temporal Cluster Editing</span> is <span>(textsf {W[1]})</span>-hard with respect to <i>k</i> even if <span>(d = 3)</span>.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141511287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-27DOI: 10.1007/s00224-024-10181-z
Jacob Holm, Eva Rotenberg
We present a data structure that, given a graph G of n vertices and m edges, and a suitable pair of nested r-divisions of G, preprocesses G in (O(m+n)) time and handles any series of edge-deletions in O(m) total time while answering queries to pairwise biconnectivity in worst-case O(1) time. In case the vertices are not biconnected, the data structure can return a cutvertex separating them in worst-case O(1) time. As an immediate consequence, this gives optimal amortized decremental biconnectivity, 2-edge connectivity, and connectivity for large classes of graphs, including planar graphs and other minor free graphs.
我们提出了一种数据结构,给定一个由 n 个顶点和 m 条边组成的图 G,以及 G 的一对合适的嵌套 r 分割,它能在(O(m+n))时间内对 G 进行预处理,并在 O(m) 的总时间内处理任何一系列边的删除,同时在最坏情况下在 O(1) 的时间内回答成对双连通性查询。如果顶点不是双连接的,数据结构可以在最坏情况下用 O(1) 的时间返回一个将它们分开的切割顶点。因此,这就为包括平面图和其他次要自由图在内的大量图类提供了最优的摊销递减双连通性、2-边连通性和连通性。
{"title":"Good r-divisions Imply Optimal Amortized Decremental Biconnectivity","authors":"Jacob Holm, Eva Rotenberg","doi":"10.1007/s00224-024-10181-z","DOIUrl":"https://doi.org/10.1007/s00224-024-10181-z","url":null,"abstract":"<p>We present a data structure that, given a graph <i>G</i> of <i>n</i> vertices and <i>m</i> edges, and a suitable pair of nested <i>r</i>-divisions of <i>G</i>, preprocesses <i>G</i> in <span>(O(m+n))</span> time and handles any series of edge-deletions in <i>O</i>(<i>m</i>) total time while answering queries to pairwise biconnectivity in worst-case <i>O</i>(1) time. In case the vertices are not biconnected, the data structure can return a cutvertex separating them in worst-case <i>O</i>(1) time. As an immediate consequence, this gives optimal amortized decremental biconnectivity, 2-edge connectivity, and connectivity for large classes of graphs, including planar graphs and other minor free graphs.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141511288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-05DOI: 10.1007/s00224-024-10178-8
Sándor P. Fekete, Dominik Krupke
We investigate several geometric problems of finding tours and cycle covers with minimum turn cost, which have been studied in the past, with complexity, approximation results, and open problems dating back to work by Arkin et al. in 2001. Many new practical applications have spawned variants: For full coverage, all points have to be covered, for subset coverage, specific points have to be covered, and for penalty coverage, points may be left uncovered by incurring a penalty. We show that finding a minimum-turn (full) cycle cover is NP-hard even in 2-dimensional grid graphs, solving the long-standing open Problem 53 in The Open Problems Project edited by Demaine, Mitchell and O’Rourke. We also prove NP-hardness of finding a subset cycle cover of minimum turn cost in thin grid graphs, for which Arkin et al. gave a polynomial-time algorithm for full coverage; this shows that their boundary techniques cannot be applied to compute exact solutions for subset and penalty variants. We also provide a number of positive results. In particular, we establish the first constant-factor approximation algorithms for all considered subset and penalty problem variants for grid-based instances, based on LP/IP techniques. These geometric versions allow many possible edge directions (and thus, turn angles, such as in hexagonal grids or higher-dimensional variants); our approximation factors improve the combinatorial ones of Arkin et al.
{"title":"What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs","authors":"Sándor P. Fekete, Dominik Krupke","doi":"10.1007/s00224-024-10178-8","DOIUrl":"https://doi.org/10.1007/s00224-024-10178-8","url":null,"abstract":"<p>We investigate several geometric problems of finding tours and cycle covers with minimum turn cost, which have been studied in the past, with complexity, approximation results, and open problems dating back to work by Arkin et al. in 2001. Many new practical applications have spawned variants: For <i>full coverage</i>, all points have to be covered, for <i>subset coverage</i>, specific points have to be covered, and for <i>penalty coverage</i>, points may be left uncovered by incurring a penalty. We show that finding a minimum-turn (full) cycle cover is NP-hard even in 2-dimensional grid graphs, solving the long-standing open <i>Problem 53</i> in <i>The Open Problems Project</i> edited by Demaine, Mitchell and O’Rourke. We also prove NP-hardness of finding a <i>subset</i> cycle cover of minimum turn cost in <i>thin</i> grid graphs, for which Arkin et al. gave a polynomial-time algorithm for full coverage; this shows that their boundary techniques cannot be applied to compute exact solutions for subset and penalty variants. We also provide a number of positive results. In particular, we establish the first constant-factor approximation algorithms for all considered subset and penalty problem variants for grid-based instances, based on LP/IP techniques. These geometric versions allow many possible edge directions (and thus, turn angles, such as in hexagonal grids or higher-dimensional variants); our approximation factors improve the combinatorial ones of Arkin et al.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141252148","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-23DOI: 10.1007/s00224-024-10177-9
Fei Gao, Cui Yu, Yawen Chen, Boyong Gao
{"title":"Routing and Wavelength Assignment Algorithm for Mesh-based Multiple Multicasts in Optical Network-on-chip","authors":"Fei Gao, Cui Yu, Yawen Chen, Boyong Gao","doi":"10.1007/s00224-024-10177-9","DOIUrl":"https://doi.org/10.1007/s00224-024-10177-9","url":null,"abstract":"","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141103011","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-21DOI: 10.1007/s00224-024-10182-y
Volker Diekert, Mikhail Volkov
{"title":"Preface of the Special Issue Dedicated to Selected Papers from DLT 2022","authors":"Volker Diekert, Mikhail Volkov","doi":"10.1007/s00224-024-10182-y","DOIUrl":"https://doi.org/10.1007/s00224-024-10182-y","url":null,"abstract":"","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141114627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-20DOI: 10.1007/s00224-024-10180-0
Alexey Milovanov
We combine Solomonoff’s approach to universal prediction with algorithmic statistics and suggest to use the computable measure that provides the best “explanation” for the observed data (in the sense of algorithmic statistics) for prediction. In this way we keep the expected sum of squares of prediction errors bounded (as it was for the Solomonoff’s predictor) and, moreover, guarantee that the sum of squares of prediction errors is bounded along any Martin-Löf random sequence. An extended abstract of this paper was presented at the 16th International Computer Science Symposium in Russia (CSR 2021) (Milovanov 2021).
{"title":"Prediction and MDL for infinite sequences","authors":"Alexey Milovanov","doi":"10.1007/s00224-024-10180-0","DOIUrl":"https://doi.org/10.1007/s00224-024-10180-0","url":null,"abstract":"<p>We combine Solomonoff’s approach to universal prediction with algorithmic statistics and suggest to use the computable measure that provides the best “explanation” for the observed data (in the sense of algorithmic statistics) for prediction. In this way we keep the expected sum of squares of prediction errors bounded (as it was for the Solomonoff’s predictor) and, moreover, guarantee that the sum of squares of prediction errors is bounded along any Martin-Löf random sequence. An extended abstract of this paper was presented at the 16th International Computer Science Symposium in Russia (CSR 2021) (Milovanov 2021).</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141148389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-10DOI: 10.1007/s00224-024-10176-w
Markus Bläser, Benjamin Monmege
{"title":"Preface of STACS 2021 Special Issue","authors":"Markus Bläser, Benjamin Monmege","doi":"10.1007/s00224-024-10176-w","DOIUrl":"https://doi.org/10.1007/s00224-024-10176-w","url":null,"abstract":"","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140991755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-07DOI: 10.1007/s00224-024-10173-z
Markus Lohrey, Florian Stober, Armin Weiß
The power word problem for a group (varvec{G}) asks whether an expression (varvec{u_1^{x_1} cdots u_n^{x_n}}), where the (varvec{u_i}) are words over a finite set of generators of (varvec{G}) and the (varvec{x_i}) binary encoded integers, is equal to the identity of (varvec{G}). It is a restriction of the compressed word problem, where the input word is represented by a straight-line program (i.e., an algebraic circuit over (varvec{G})). We start by showing some easy results concerning the power word problem. In particular, the power word problem for a group (varvec{G}) is (varvec{textsf{uNC}^{1}})-many-one reducible to the power word problem for a finite-index subgroup of (varvec{G}). For our main result, we consider graph products of groups that do not have elements of order two. We show that the power word problem in a fixed such graph product is (varvec{textsf{AC} ^0})-Turing-reducible to the word problem for the free group (varvec{F_2}) and the power word problems of the base groups. Furthermore, we look into the uniform power word problem in a graph product, where the dependence graph and the base groups are part of the input. Given a class of finitely generated groups (varvec{mathcal {C}}) without order two elements, the uniform power word problem in a graph product can be solved in (varvec{textsf{AC} ^0[textsf{C}_=textsf{L} ^{{{,textrm{UPowWP},}}(mathcal {C})}]}), where (varvec{{{,textrm{UPowWP},}}(mathcal {C})}) denotes the uniform power word problem for groups from the class (varvec{mathcal {C}}). As a consequence of our results, the uniform knapsack problem in right-angled Artin groups is (varvec{textsf{NP}})-complete. The present paper is a combination of the two conference papers (Lohrey and Weiß 2019b, Stober and Weiß 2022a). In Stober and Weiß (2022a) our results on graph products were wrongly stated without the additional assumption that the base groups do not have elements of order two. In the present work we correct this mistake. While we strongly conjecture that the result as stated in Stober and Weiß (2022a) is true, our proof relies on this additional assumption.
群(varvec{G})的幂词问题问的是表达式 (varvec{u_1^{x_1} cdots u_n^{x_n}}) 是否是幂词、其中,(varvec{u_i})是有限的(varvec{G})生成器集合上的词;(varvec{x_i})是二进制编码的整数,等于(varvec{G})的标识。它是压缩字问题的一个限制条件,在压缩字问题中,输入字由直线程序(即 (varvec{G}) 上的代数电路)表示。我们首先展示一些关于幂词问题的简单结果。特别是,群 (varvec{G}) 的幂级数问题是 (varvec{textsf{uNC}^{1}})-many-one reducible to the power word problem for a finite-index subgroup of (varvec{G}).对于我们的主要结果,我们考虑的是没有二阶元素的群的图积。我们证明了在一个固定的这样的图积中,幂词问题是 (varvec{textsf{AC} ^0})-Turing-reducible 到自由群 (varvec{F_2}) 的词问题和基群的幂词问题的。此外,我们还研究了图积中的均匀幂词问题,其中隶属图和基群是输入的一部分。给定一类无二阶元素的有限生成群((varvec{textsf{AC})),图积中的均匀幂词问题可以在(varvec{textsf{AC})中求解。^0[textsf{C}_=textsf{L}^{{textrm{UPowWP},}}}(mathcal {C})}]}), where (varvec{{,textrm{UPowWP}、(mathcal{C})})表示来自类 (varvec{mathcal {C}}) 的群的均匀幂词问题。)由于我们的结果,直角阿汀群中的均匀knapsack问题是 (varvec{textsf{NP}})-完全的。本文是两篇会议论文(Lohrey and Weiß 2019b, Stober and Weiß 2022a)的合并。在 Stober and Weiß (2022a)中,我们关于图积的结果被错误地表述为没有额外假设基群没有二阶元素。在本论文中,我们纠正了这一错误。虽然我们强烈推测 Stober 和 Weiß (2022a) 中的结果是正确的,但我们的证明依赖于这个额外的假设。
{"title":"The Power Word Problem in Graph Products","authors":"Markus Lohrey, Florian Stober, Armin Weiß","doi":"10.1007/s00224-024-10173-z","DOIUrl":"https://doi.org/10.1007/s00224-024-10173-z","url":null,"abstract":"<p>The power word problem for a group <span>(varvec{G})</span> asks whether an expression <span>(varvec{u_1^{x_1} cdots u_n^{x_n}})</span>, where the <span>(varvec{u_i})</span> are words over a finite set of generators of <span>(varvec{G})</span> and the <span>(varvec{x_i})</span> binary encoded integers, is equal to the identity of <span>(varvec{G})</span>. It is a restriction of the compressed word problem, where the input word is represented by a straight-line program (i.e., an algebraic circuit over <span>(varvec{G})</span>). We start by showing some easy results concerning the power word problem. In particular, the power word problem for a group <span>(varvec{G})</span> is <span>(varvec{textsf{uNC}^{1}})</span>-many-one reducible to the power word problem for a finite-index subgroup of <span>(varvec{G})</span>. For our main result, we consider graph products of groups that do not have elements of order two. We show that the power word problem in a fixed such graph product is <span>(varvec{textsf{AC} ^0})</span>-Turing-reducible to the word problem for the free group <span>(varvec{F_2})</span> and the power word problems of the base groups. Furthermore, we look into the uniform power word problem in a graph product, where the dependence graph and the base groups are part of the input. Given a class of finitely generated groups <span>(varvec{mathcal {C}})</span> without order two elements, the uniform power word problem in a graph product can be solved in <span>(varvec{textsf{AC} ^0[textsf{C}_=textsf{L} ^{{{,textrm{UPowWP},}}(mathcal {C})}]})</span>, where <span>(varvec{{{,textrm{UPowWP},}}(mathcal {C})})</span> denotes the uniform power word problem for groups from the class <span>(varvec{mathcal {C}})</span>. As a consequence of our results, the uniform knapsack problem in right-angled Artin groups is <span>(varvec{textsf{NP}})</span>-complete. The present paper is a combination of the two conference papers (Lohrey and Weiß 2019b, Stober and Weiß 2022a). In Stober and Weiß (2022a) our results on graph products were wrongly stated without the additional assumption that the base groups do not have elements of order two. In the present work we correct this mistake. While we strongly conjecture that the result as stated in Stober and Weiß (2022a) is true, our proof relies on this additional assumption.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140883734","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}