Theory of Computing Systems最新文献_第5页

A Closer Look at the Expressive Power of Logics Based on Word Equations 近距离观察基于文字等式的逻辑表达能力

IF 0.5 4区计算机科学

Theory of Computing Systems Pub Date : 2023-12-11 DOI: 10.1007/s00224-023-10154-8

Joel Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea

{"title":"A Closer Look at the Expressive Power of Logics Based on Word Equations","authors":"Joel Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea","doi":"10.1007/s00224-023-10154-8","DOIUrl":"https://doi.org/10.1007/s00224-023-10154-8","url":null,"abstract":"Word equations are equations (alpha doteq beta ) where (alpha ) and (beta ) are words consisting of letters from some alphabet (Sigma ) and variables from a set X. Recently, there has been substantial interest in the context of string solving in logics combining word equations with other kinds of constraints on words such as (regular) language membership (regular constraints) and arithmetic over string lengths (length constraints). We consider the expressive power of such logics by looking at the set of all values a single variable might take as part of a satisfying assignment for a given formula. Hence, each formula-variable pair defines a formal language, and each logic defines a class of formal languages. We consider logics arising from combining word equations with either length constraints, regular constraints, or both. We also consider word equations with visibly pushdown language membership constraints as a generalisation of the combination of regular and length constraints. We show that word equations with visibly pushdown membership constraints are sufficient to express all recursively enumerable languages and hence satisfiability is undecidable in this case. We then establish a strict hierarchy involving the other combinations. We also provide a complete characterisation of when a thin regular language is expressible by word equations (alone) and some further partial results for regular languages in the general case.","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"1052 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2023-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138566860","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}

引用次数: 0

Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs 中位数图上直径和所有偏心率的次二次时间算法

IF 0.5 4区计算机科学

Theory of Computing Systems Pub Date : 2023-12-04 DOI: 10.1007/s00224-023-10153-9

Pierre Bergé, Guillaume Ducoffe, Michel Habib

{"title":"Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs","authors":"Pierre Bergé, Guillaume Ducoffe, Michel Habib","doi":"10.1007/s00224-023-10153-9","DOIUrl":"https://doi.org/10.1007/s00224-023-10153-9","url":null,"abstract":"On sparse graphs, Roditty and Williams [2013] proved that no (varvec{O(n^{2-varepsilon })})-time algorithm achieves an approximation factor smaller than (varvec{frac{3}{2}}) for the diameter problem unless SETH fails. In this article, we solve an open question formulated in the literature: can we use the structural properties of median graphs to break this global quadratic barrier? We propose the first combinatorial algorithm computing exactly all eccentricities of a median graph in truly subquadratic time. Median graphs constitute the family of graphs which is the most studied in metric graph theory because their structure represents many other discrete and geometric concepts, such as CAT(0) cube complexes. Our result generalizes a recent one, stating that there is a linear-time algorithm for all eccentricities in median graphs with bounded dimension (varvec{d}), i.e. the dimension of the largest induced hypercube. This prerequisite on (varvec{d}) is not necessary anymore to determine all eccentricities in subquadratic time. The execution time of our algorithm is (varvec{O(n^{1.6456}log ^{O(1)} n)}). We provide also some satellite outcomes related to this general result. In particular, restricted to simplex graphs, this algorithm enumerates all eccentricities with a quasilinear running time. Moreover, an algorithm is proposed to compute exactly all reach centralities in time (varvec{O(2^{3d}nlog ^{O(1)}n)}).","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"150 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138542830","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}

引用次数: 0

On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective 二部图的部分顶点覆盖问题——一个参数化的透视

IF 0.5 4区计算机科学

Theory of Computing Systems Pub Date : 2023-12-01 DOI: 10.1007/s00224-023-10152-w

Vahan Mkrtchyan, Garik Petrosyan, K. Subramani, Piotr Wojciechowski

{"title":"On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective","authors":"Vahan Mkrtchyan, Garik Petrosyan, K. Subramani, Piotr Wojciechowski","doi":"10.1007/s00224-023-10152-w","DOIUrl":"https://doi.org/10.1007/s00224-023-10152-w","url":null,"abstract":"In this paper, we examine variants of the partial vertex cover problem from the perspective of parameterized algorithms. Recall that in the classical vertex cover problem (VC), we are given a graph (mathbf{G = langle V, E rangle }) and a number k and asked if we can cover all of the edges in (textbf{E}), using at most k vertices from (textbf{V}). The partial vertex cover problem (PVC) is a more general version of the VC problem in which we are given an additional parameter (k'). We then ask the question of whether at least (k') of the edges in (textbf{E}) can be covered using at most k vertices from (textbf{V}). Note that the VC problem is a special case of the PVC problem when (k'=|textbf{E}|). In this paper, we study the weighted generalizations of the PVC problem. This is called the weighted partial vertex cover problem (WPVC). In the WPVC problem, we are given two parameters R and L, associated respectively with the vertex set (textbf{V}) and edge set (textbf{E}) of the graph (textbf{G}) respectively. Additionally, we are given non-negative integral weight functions for the vertices and the edges. The goal then is to cover edges of total weight at least L, using vertices of total weight at most R. This paper studies several variants of the PVC and WPVC problems and establishes new results from the perspective of fixed-parameter tractability and W[1]-hardness. We also introduce a new problem called the partial vertex cover with matching constraints and show that it is Fixed-Parameter Tractable (FPT) for a certain class of graphs. Finally, we show that the WPVC problem is APX-complete for bipartite graphs.","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"5 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2023-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138524057","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}

引用次数: 0

Disentangling the Computational Complexity of Network Untangling 解缠网络解缠的计算复杂度

4区计算机科学

Theory of Computing Systems Pub Date : 2023-11-14 DOI: 10.1007/s00224-023-10150-y

Vincent Froese, Pascal Kunz, Philipp Zschoche

引用次数: 0

Stability, Vertex Stability, and Unfrozenness for Special Graph Classes 特殊图类的稳定性、顶点稳定性和非冻结性

4区计算机科学

Theory of Computing Systems Pub Date : 2023-11-07 DOI: 10.1007/s00224-023-10149-5

Frank Gurski, Jörg Rothe, Robin Weishaupt

{"title":"Stability, Vertex Stability, and Unfrozenness for Special Graph Classes","authors":"Frank Gurski, Jörg Rothe, Robin Weishaupt","doi":"10.1007/s00224-023-10149-5","DOIUrl":"https://doi.org/10.1007/s00224-023-10149-5","url":null,"abstract":"Abstract Frei et al. (J. Comput. Syst. Sci. 123 , 103–121, 2022) show that the stability, vertex stability, and unfrozenness problems with respect to certain graph parameters are complete for $$varvec{Theta _{2}^{textrm{P}}}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:msubsup> <mml:mi>Θ</mml:mi> <mml:mrow> <mml:mn>2</mml:mn> </mml:mrow> <mml:mtext>P</mml:mtext> </mml:msubsup> </mml:mrow> </mml:math> , the class of problems solvable in polynomial time by parallel access to an NP oracle. They studied the common graph parameters $$varvec{alpha }$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>α</mml:mi> </mml:mrow> </mml:math> (the independence number), $$varvec{beta }$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>β</mml:mi> </mml:mrow> </mml:math> (the vertex cover number), $$varvec{omega }$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> </mml:math> (the clique number), and $$varvec{chi }$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>χ</mml:mi> </mml:mrow> </mml:math> (the chromatic number). We complement their approach by providing polynomial-time algorithms solving these problems for special graph classes, namely for graphs with bounded tree-width or bounded clique-width. In order to improve these general time bounds even further, we then focus on trees, forests, bipartite graphs, and co-graphs.","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"58 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135476611","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}

引用次数: 0

Quantum Algorithm for Lexicographically Minimal String Rotation 字典最小字符串旋转的量子算法

4区计算机科学

Theory of Computing Systems Pub Date : 2023-10-24 DOI: 10.1007/s00224-023-10146-8

Qisheng Wang, Mingsheng Ying

{"title":"Quantum Algorithm for Lexicographically Minimal String Rotation","authors":"Qisheng Wang, Mingsheng Ying","doi":"10.1007/s00224-023-10146-8","DOIUrl":"https://doi.org/10.1007/s00224-023-10146-8","url":null,"abstract":"Abstract Lexicographically minimal string rotation (LMSR) is a problem to find the minimal one among all rotations of a string in the lexicographical order, which is widely used in equality checking of graphs, polygons, automata and chemical structures. In this paper, we propose an $$O(n^{3/4})$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>n</mml:mi> <mml:mrow> <mml:mn>3</mml:mn> <mml:mo>/</mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> quantum query algorithm for LMSR. In particular, the algorithm has average-case query complexity $$O(sqrt{n} log n)$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo>(</mml:mo> <mml:msqrt> <mml:mi>n</mml:mi> </mml:msqrt> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , which is shown to be asymptotically optimal up to a polylogarithmic factor, compared to its $$Omega left( sqrt{n/log n}right) $$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>Ω</mml:mi> <mml:mfenced> <mml:msqrt> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>/</mml:mo> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:msqrt> </mml:mfenced> </mml:mrow> </mml:math> lower bound. Furthermore, we show that our quantum algorithm outperforms any (classical) randomized algorithms in both worst and average cases. As an application, it is used in benzenoid identification and disjoint-cycle automata minimization.","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135273543","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}

引用次数: 5

Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams 用有序二元决策图表示整数分解问题

4区计算机科学

Theory of Computing Systems Pub Date : 2023-10-19 DOI: 10.1007/s00224-023-10147-7

David E. Brown, David Skidmore

引用次数: 0

Toward Online Mobile Facility Location on General Metrics 基于一般指标的在线移动设施定位

4区计算机科学

Theory of Computing Systems Pub Date : 2023-10-06 DOI: 10.1007/s00224-023-10145-9

Abdolhamid Ghodselahi, Fabian Kuhn

{"title":"Toward Online Mobile Facility Location on General Metrics","authors":"Abdolhamid Ghodselahi, Fabian Kuhn","doi":"10.1007/s00224-023-10145-9","DOIUrl":"https://doi.org/10.1007/s00224-023-10145-9","url":null,"abstract":"Abstract We introduce an online variant of mobile facility location (MFL) (introduced by Demaine et al. (SODA 258–267 2007)). We call this new problem online mobile facility location (OMFL). In the OMFL problem, initially, we are given a set of k mobile facilities with their starting locations. One by one, requests are added. After each request arrives, one can make some changes to the facility locations before the subsequent request arrives. Each request is always assigned to the nearest facility. The cost of this assignment is the distance from the request to the facility. The objective is to minimize the total cost, which consists of the relocation cost of facilities and the distance cost of requests to their nearest facilities. We provide a lower bound for the OMFL problem that even holds on uniform metrics . A natural approach to solve the OMFL problem for general metric spaces is to utilize hierarchically well-separated trees (HSTs) and directly solve the OMFL problem on HSTs. In this paper, we provide the first step in this direction by solving a generalized variant of the OMFL problem on uniform metrics that we call G-OMFL. We devise a simple deterministic online algorithm and provide a tight analysis for the algorithm. The second step remains an open question. Inspired by the k -server problem, we introduce a new variant of the OMFL problem that focuses solely on minimizing movement cost. We refer to this variant as M-OMFL. Additionally, we provide a lower bound for M-OMFL that is applicable even on uniform metrics.","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135350992","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}

引用次数: 2

Weighted Tree Automata with Constraints 带约束的加权树自动机

4区计算机科学

Theory of Computing Systems Pub Date : 2023-10-03 DOI: 10.1007/s00224-023-10144-w

Andreas Maletti, Andreea-Teodora Nász

引用次数: 0

b-Coloring Parameterized by Clique-Width 由团宽度参数化的b-着色

4区计算机科学

Theory of Computing Systems Pub Date : 2023-09-23 DOI: 10.1007/s00224-023-10132-0

Lars Jaffke, Paloma T. Lima, Daniel Lokshtanov

引用次数: 0