Theory of Computing Systems最新文献

{"title":"Near-Optimal Auctions on Independence Systems","authors":"Sabrina C. L. Ammann, Sebastian Stiller","doi":"10.1007/s00224-024-10189-5","DOIUrl":"https://doi.org/10.1007/s00224-024-10189-5","url":null,"abstract":"<p>A classical result by Myerson (Math. Oper. Res. <b>6</b>(1), 58-73, 1981) gives a characterization of an optimal auction for any given distribution of valuations of the bidders. We consider the situation where the distribution is not explicitly given but can be observed in a sample of auction results from the same distribution. A seminal paper by Morgenstern and Roughgarden (Adv.Neural Inf. Process. Syst. <b>28</b>, 2015) proposes to learn a near-optimal auction from the hypothesis class of <i>t</i>-level auctions. They prove a bound on the sample complexity, i.e., the function <span>(f(varepsilon , delta ))</span> of required samples to guarantee a certain level of precision <span>((1-varepsilon ))</span> with a probability of at least <span>((1-delta ))</span>, for the general single-parameter case and a tighter bound for the very restricted matroid case. We show a new bound for the case of independence systems, that widely generalizes matroids and contains several important combinatorial optimization problems. This bound of <span>(tilde{O}left( nicefrac {H^2n^4}{varepsilon ^3}right) )</span> falls neatly between those known for the general and the matroid case. The class of independence systems contains several well known NP-hard problems such as knapsack. Therefore, the allocation itself might in practice be limited to <span>(alpha )</span>-approximate solutions. In a second result we show that an approximation algorithm can be used without compromising the sample complexity. Also, the precision is affected only mildly, resulting in a factor of <span>(alpha cdot (1-varepsilon ))</span>.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"27 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142205312","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}

{"title":"2-Balanced Sequences Coding Rectangle Exchange Transformation","authors":"Lubomíra Dvořáková, Zuzana Masáková, Edita Pelantová","doi":"10.1007/s00224-024-10188-6","DOIUrl":"https://doi.org/10.1007/s00224-024-10188-6","url":null,"abstract":"<p>We define a new class of ternary sequences that are 2-balanced. These sequences are obtained by colouring of Sturmian sequences. We show that the class contains sequences of any given letter frequencies. We provide an upper bound on factor and abelian complexity of these sequences. Using the interpretation by rectangle exchange transformation, we prove that for almost all triples of letter frequencies, the upper bound on factor and abelian complexity is reached. The bound on factor complexity is given using a number-theoretical function which we compute explicitly for a class of parameters.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"14 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141943934","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}

{"title":"Obstructions to Return Preservation for Episturmian Morphisms","authors":"Valérie Berthé, Herman Goulet-Ouellet","doi":"10.1007/s00224-024-10190-y","DOIUrl":"https://doi.org/10.1007/s00224-024-10190-y","url":null,"abstract":"<p>This paper studies obstructions to preservation of return sets by episturmian morphisms. We show, by way of an explicit construction, that infinitely many obstructions exist. This generalizes and improves an earlier result about Sturmian morphisms.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"62 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141887400","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}

{"title":"Non-Constructive Upper Bounds for Repetition Thresholds","authors":"Arseny M. Shur","doi":"10.1007/s00224-024-10187-7","DOIUrl":"https://doi.org/10.1007/s00224-024-10187-7","url":null,"abstract":"<p>We study the power of entropy compression in proving avoidance results in combinatorics on words. Namely, we analyze variants of a simple algorithm that transforms an input word into a word avoiding repetitions of prescribed type. This transformation can be made reversible by adding the log of the run of the algorithm to the output. Counting distinct logs, it is possible to conclude that a given repetition is avoidable over all sufficiently large alphabets. We introduce two methods of counting logs. Applying them to ordinary, undirected, and conjugate repetitions, we prove, in all cases, the results of type “<span>((1+frac{1}{d}))</span>-powers are avoidable over <span>(d+O(1))</span> letters”. These results are closer to the optimum than is usually expected from purely information-theoretic considerations. In the final part, we present experimental results obtained by the mentioned transformation algorithm in the extreme case of <span>((d+1))</span>-ary words avoiding <span>((1+frac{1}{d})^+!)</span>-powers.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"81 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141885344","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}

{"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 &amp;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":"48 1","pages":""},"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}

{"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":"15 1","pages":""},"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}

{"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":"5 1","pages":""},"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}

{"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":"4 1","pages":""},"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}

{"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":"5 1","pages":""},"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}

{"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":"508 1","pages":""},"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}