32,075 research outputs found
Regular matching problems for infinite trees
We investigate regular matching problems. The classical reference is Conway's
textbook "Regular algebra and finite machines". Some of his results can be
stated as follows. Let and be
regular languages where is a set of constants and is a set of
variables. Substituting every by a regular subset of
yields a regular set . A substitution
solves a matching problem "?" if .
There are finitely many maximal solutions ; they are effectively
computable and is regular for all ; and every solution is
included in a maximal one. Also, in the case of words
"?" is decidable.
Apart from the last property, we generalize these results to infinite trees.
We define a notion of choice function which for any tree over
and position of a variable selects at most one tree
; next, we define as the limit of a
Cauchy sequence; and the union over all yields .
Since our definition coincides with that for IO substitutions, we write
instead of .
Our main result is the decidability of
"?" if is regular and belongs
to a class of tree languages closed under intersection with regular sets. Such
a special case pops up if is context-free. Note that
"?" is undecidable, in general in that case.
However, the decidability of "?" if both
and are regular remains open because, in contrast to word languages, the
homomorphic image of a regular tree language is not always regular if
is regular for all .Comment: 18 pages. This replacement eliminates a false claim from the previous
arXiv version of this paper: Item 4 of Theorem 1 did not hold for # = {=
Regular matching problems for infinite trees
We study the matching problem of regular tree languages, that is, "?" where are regular tree languages over the
union of finite ranked alphabets and where
is an alphabet of variables and is a substitution such that
is a set of trees in for all . Here, denotes a set of "holes" which are used to define a
"sorted" concatenation of trees. Conway studied this problem in the special
case for languages of finite words in his classical textbook "Regular algebra
and finite machines" published in 1971. He showed that if and are
regular, then the problem "?" is decidable. Moreover,
there are only finitely many maximal solutions, the maximal solutions are
regular substitutions, and they are effectively computable. We extend Conway's
results when are regular languages of finite and infinite trees, and
language substitution is applied inside-out, in the sense of Engelfriet and
Schmidt (1977/78). More precisely, we show that if and are regular tree languages
over finite or infinite trees, then the problem "?" is decidable. Here, the subscript "" in
refers to "inside-out". Moreover, there are only
finitely many maximal solutions , the maximal solutions are regular
substitutions and effectively computable. The corresponding question for the
outside-in extension remains open, even in the
restricted setting of finite trees
A Local Computation Approximation Scheme to Maximum Matching
We present a polylogarithmic local computation matching algorithm which
guarantees a (1-\eps)-approximation to the maximum matching in graphs of
bounded degree.Comment: Appears in Approx 201
Locally Optimal Load Balancing
This work studies distributed algorithms for locally optimal load-balancing:
We are given a graph of maximum degree , and each node has up to
units of load. The task is to distribute the load more evenly so that the loads
of adjacent nodes differ by at most .
If the graph is a path (), it is easy to solve the fractional
version of the problem in communication rounds, independently of the
number of nodes. We show that this is tight, and we show that it is possible to
solve also the discrete version of the problem in rounds in paths.
For the general case (), we show that fractional load balancing
can be solved in rounds and discrete load
balancing in rounds for some function , independently of the
number of nodes.Comment: 19 pages, 11 figure
A survey of max-type recursive distributional equations
In certain problems in a variety of applied probability settings (from
probabilistic analysis of algorithms to statistical physics), the central
requirement is to solve a recursive distributional equation of the form X =^d
g((\xi_i,X_i),i\geq 1). Here (\xi_i) and g(\cdot) are given and the X_i are
independent copies of the unknown distribution X. We survey this area,
emphasizing examples where the function g(\cdot) is essentially a ``maximum''
or ``minimum'' function. We draw attention to the theoretical question of
endogeny: in the associated recursive tree process X_i, are the X_i measurable
functions of the innovations process (\xi_i)?Comment: Published at http://dx.doi.org/10.1214/105051605000000142 in the
Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute
of Mathematical Statistics (http://www.imstat.org
Deterministic Automata for Unordered Trees
Automata for unordered unranked trees are relevant for defining schemas and
queries for data trees in Json or Xml format. While the existing notions are
well-investigated concerning expressiveness, they all lack a proper notion of
determinism, which makes it difficult to distinguish subclasses of automata for
which problems such as inclusion, equivalence, and minimization can be solved
efficiently. In this paper, we propose and investigate different notions of
"horizontal determinism", starting from automata for unranked trees in which
the horizontal evaluation is performed by finite state automata. We show that a
restriction to confluent horizontal evaluation leads to polynomial-time
emptiness and universality, but still suffers from coNP-completeness of the
emptiness of binary intersections. Finally, efficient algorithms can be
obtained by imposing an order of horizontal evaluation globally for all
automata in the class. Depending on the choice of the order, we obtain
different classes of automata, each of which has the same expressiveness as
CMso.Comment: In Proceedings GandALF 2014, arXiv:1408.556
Infinite games with finite knowledge gaps
Infinite games where several players seek to coordinate under imperfect
information are deemed to be undecidable, unless the information is
hierarchically ordered among the players.
We identify a class of games for which joint winning strategies can be
constructed effectively without restricting the direction of information flow.
Instead, our condition requires that the players attain common knowledge about
the actual state of the game over and over again along every play.
We show that it is decidable whether a given game satisfies the condition,
and prove tight complexity bounds for the strategy synthesis problem under
-regular winning conditions given by parity automata.Comment: 39 pages; 2nd revision; submitted to Information and Computatio
- …