68 research outputs found
Cost Automata, Safe Schemes, and Downward Closures
Higher-order recursion schemes are an expressive formalism used to define languages of possibly infinite ranked trees. They extend regular and context-free grammars, and are equivalent to simply typed ?Y-calculus and collapsible pushdown automata. In this work we prove, under a syntactical constraint called safety, decidability of the model-checking problem for recursion schemes against properties defined by alternating B-automata, an extension of alternating parity automata for infinite trees with a boundedness acceptance condition. We then exploit this result to show how to compute downward closures of languages of finite trees recognized by safe recursion schemes
Average-case Approximation Ratio of Scheduling without Payments
Apart from the principles and methodologies inherited from Economics and Game
Theory, the studies in Algorithmic Mechanism Design typically employ the
worst-case analysis and approximation schemes of Theoretical Computer Science.
For instance, the approximation ratio, which is the canonical measure of
evaluating how well an incentive-compatible mechanism approximately optimizes
the objective, is defined in the worst-case sense. It compares the performance
of the optimal mechanism against the performance of a truthful mechanism, for
all possible inputs.
In this paper, we take the average-case analysis approach, and tackle one of
the primary motivating problems in Algorithmic Mechanism Design -- the
scheduling problem [Nisan and Ronen 1999]. One version of this problem which
includes a verification component is studied by [Koutsoupias 2014]. It was
shown that the problem has a tight approximation ratio bound of (n+1)/2 for the
single-task setting, where n is the number of machines. We show, however, when
the costs of the machines to executing the task follow any independent and
identical distribution, the average-case approximation ratio of the mechanism
given in [Koutsoupias 2014] is upper bounded by a constant. This positive
result asymptotically separates the average-case ratio from the worst-case
ratio, and indicates that the optimal mechanism for the problem actually works
well on average, although in the worst-case the expected cost of the mechanism
is Theta(n) times that of the optimal cost
Automatic Equivalence Structures of Polynomial Growth
In this paper we study the class EqP of automatic equivalence structures of the form ?=(D, E) where the domain D is a regular language of polynomial growth and E is an equivalence relation on D. Our goal is to investigate the following two foundational problems (in the theory of automatic structures) aimed for the class EqP. The first is to find algebraic characterizations of structures from EqP, and the second is to investigate the isomorphism problem for the class EqP. We provide full solutions to these two problems. First, we produce a characterization of structures from EqP through multivariate polynomials. Second, we present two contrasting results. On the one hand, we prove that the isomorphism problem for structures from the class EqP is undecidable. On the other hand, we prove that the isomorphism problem is decidable for structures from EqP with domains of quadratic growth
A Regular and Complete Notion of Delay for Streaming String Transducers
The notion of delay between finite transducers is a core element of numerous fundamental results of transducer theory. The goal of this work is to provide a similar notion for more complex abstract machines: we introduce a new notion of delay tailored to measure the similarity between streaming string transducers (SST). We show that our notion is regular: we design a finite automaton that can check whether the delay between any two SSTs executions is smaller than some given bound. As a consequence, our notion enjoys good decidability properties: in particular, while equivalence between non-deterministic SSTs is undecidable, we show that equivalence up to fixed delay is decidable. Moreover, we show that our notion has good completeness properties: we prove that two SSTs are equivalent if and only if they are equivalent up to some (computable) bounded delay. Together with the regularity of our delay notion, it provides an alternative proof that SSTs equivalence is decidable. Finally, the definition of our delay notion is machine-independent, as it only depends on the origin semantics of SSTs. As a corollary, the completeness result also holds for equivalent machine models such as deterministic two-way transducers, or MSO transducers
Cost Automata, Safe Schemes, and Downward Closures
Higher-order recursion schemes are an expressive formalism used to define
languages of possibly infinite ranked trees. They extend regular and
context-free grammars, and are equivalent to simply typed -calculus
and collapsible pushdown automata. In this work we prove, under a syntactical
constraint called safety, decidability of the model-checking problem for
recursion schemes against properties defined by alternating B-automata, an
extension of alternating parity automata for infinite trees with a boundedness
acceptance condition. We then exploit this result to show how to compute
downward closures of languages of finite trees recognized by safe recursion
schemes.Comment: accepted at ICALP'2
Graph Connectivity with Noisy Queries
Graph connectivity is a fundamental combinatorial optimization problem that arises in many practical applications, where usually a spanning subgraph of a network is used for its operation. However, in the real world, links may fail unexpectedly deeming the networks non-operational, while checking whether a link is damaged is costly and possibly erroneous. After an event that has damaged an arbitrary subset of the edges, the network operator must find a spanning tree of the network using non-damaged edges by making as few checks as possible.
Motivated by such questions, we study the problem of finding a spanning tree in a network, when we only have access to noisy queries of the form "Does edge e exist?". We design efficient algorithms, even when edges fail adversarially, for all possible error regimes; 2-sided error (where any answer might be erroneous), false positives (where "no" answers are always correct) and false negatives (where "yes" answers are always correct). In the first two regimes we provide efficient algorithms and give matching lower bounds for general graphs. In the False Negative case we design efficient algorithms for large interesting families of graphs (e.g. bounded treewidth, sparse). Using the previous results, we provide tight algorithms for the practically useful family of planar graphs in all error regimes
The Isomorphism Relation Between Tree-Automatic Structures
An -tree-automatic structure is a relational structure whose domain
and relations are accepted by Muller or Rabin tree automata. We investigate in
this paper the isomorphism problem for -tree-automatic structures. We
prove first that the isomorphism relation for -tree-automatic boolean
algebras (respectively, partial orders, rings, commutative rings, non
commutative rings, non commutative groups, nilpotent groups of class n >1) is
not determined by the axiomatic system ZFC. Then we prove that the isomorphism
problem for -tree-automatic boolean algebras (respectively, partial
orders, rings, commutative rings, non commutative rings, non commutative
groups, nilpotent groups of class n >1) is neither a -set nor a
-set
- …