870 research outputs found
One-Tape Turing Machine Variants and Language Recognition
We present two restricted versions of one-tape Turing machines. Both
characterize the class of context-free languages. In the first version,
proposed by Hibbard in 1967 and called limited automata, each tape cell can be
rewritten only in the first visits, for a fixed constant .
Furthermore, for deterministic limited automata are equivalent to
deterministic pushdown automata, namely they characterize deterministic
context-free languages. Further restricting the possible operations, we
consider strongly limited automata. These models still characterize
context-free languages. However, the deterministic version is less powerful
than the deterministic version of limited automata. In fact, there exist
deterministic context-free languages that are not accepted by any deterministic
strongly limited automaton.Comment: 20 pages. This article will appear in the Complexity Theory Column of
the September 2015 issue of SIGACT New
Online unit clustering in higher dimensions
We revisit the online Unit Clustering and Unit Covering problems in higher
dimensions: Given a set of points in a metric space, that arrive one by
one, Unit Clustering asks to partition the points into the minimum number of
clusters (subsets) of diameter at most one; while Unit Covering asks to cover
all points by the minimum number of balls of unit radius. In this paper, we
work in using the norm.
We show that the competitive ratio of any online algorithm (deterministic or
randomized) for Unit Clustering must depend on the dimension . We also give
a randomized online algorithm with competitive ratio for Unit
Clustering}of integer points (i.e., points in , , under norm). We show that the competitive ratio of
any deterministic online algorithm for Unit Covering is at least . This
ratio is the best possible, as it can be attained by a simple deterministic
algorithm that assigns points to a predefined set of unit cubes. We complement
these results with some additional lower bounds for related problems in higher
dimensions.Comment: 15 pages, 4 figures. A preliminary version appeared in the
Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA
2017
- …