Theory of Computing Systems最新文献

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.

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)}).

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.