21,741 research outputs found
Reconstructing Words from Right-Bounded-Block Words
A reconstruction problem of words from scattered factors asks for the minimal
information, like multisets of scattered factors of a given length or the
number of occurrences of scattered factors from a given set, necessary to
uniquely determine a word. We show that a word can be
reconstructed from the number of occurrences of at most
scattered factors of the form . Moreover, we generalize the result to
alphabets of the form by showing that at most scattered factors suffices to reconstruct .
Both results improve on the upper bounds known so far. Complexity time bounds
on reconstruction algorithms are also considered here
Reconstructing Words from Right-Bounded-Block Words
peer reviewedA reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word can be reconstructed from the number of occurrences of at most scattered factors of the form , where is the number of occurrences of the letter in . Moreover, we generalize the result to alphabets of the form by showing that at most scattered factors suffices to reconstruct . Both results improve on the upper bounds known so far. Complexity time bounds on reconstruction algorithms are also considered here
k-Spectra of weakly-c-Balanced Words
A word is a scattered factor of if can be obtained from by
deleting some of its letters. That is, there exist the (potentially empty)
words , and such that and
. We consider the set of length- scattered
factors of a given word w, called here -spectrum and denoted
\ScatFact_k(w). We prove a series of properties of the sets \ScatFact_k(w)
for binary strictly balanced and, respectively, -balanced words , i.e.,
words over a two-letter alphabet where the number of occurrences of each letter
is the same, or, respectively, one letter has -more occurrences than the
other. In particular, we consider the question which cardinalities n=
|\ScatFact_k(w)| are obtainable, for a positive integer , when is
either a strictly balanced binary word of length , or a -balanced binary
word of length . We also consider the problem of reconstructing words
from their -spectra
Bounded Counter Languages
We show that deterministic finite automata equipped with two-way heads
are equivalent to deterministic machines with a single two-way input head and
linearly bounded counters if the accepted language is strictly bounded,
i.e., a subset of for a fixed sequence of symbols . Then we investigate linear speed-up for counter machines. Lower
and upper time bounds for concrete recognition problems are shown, implying
that in general linear speed-up does not hold for counter machines. For bounded
languages we develop a technique for speeding up computations by any constant
factor at the expense of adding a fixed number of counters
Sampling from a system-theoretic viewpoint
This paper studies a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier treatments in the control literature, is to address the problem as a hybrid model-matching problem in which performance is measured by system norms. \ud
\ud
The paper is split into three parts. In Part I we present the paradigm and revise the lifting technique, which is our main technical tool. In Part II optimal samplers and holds are designed for various analog signal reconstruction problems. In some cases one component is fixed while the remaining are designed, in other cases all three components are designed simultaneously. No causality requirements are imposed in Part II, which allows to use frequency domain arguments, in particular the lifted frequency response as introduced in Part I. In Part III the main emphasis is placed on a systematic incorporation of causality constraints into the optimal design of reconstructors. We consider reconstruction problems, in which the sampling (acquisition) device is given and the performance is measured by the -norm of the reconstruction error. The problem is solved under the constraint that the optimal reconstructor is -causal for a given i.e., that its impulse response is zero in the time interval where is the sampling period. We derive a closed-form state-space solution of the problem, which is based on the spectral factorization of a rational transfer function
Vertex-Facet Incidences of Unbounded Polyhedra
How much of the combinatorial structure of a pointed polyhedron is contained
in its vertex-facet incidences? Not too much, in general, as we demonstrate by
examples. However, one can tell from the incidence data whether the polyhedron
is bounded. In the case of a polyhedron that is simple and "simplicial," i.e.,
a d-dimensional polyhedron that has d facets through each vertex and d vertices
on each facet, we derive from the structure of the vertex-facet incidence
matrix that the polyhedron is necessarily bounded. In particular, this yields a
characterization of those polyhedra that have circulants as vertex-facet
incidence matrices.Comment: LaTeX2e, 14 pages with 4 figure
On the accuracy of solving confluent Prony systems
In this paper we consider several nonlinear systems of algebraic equations
which can be called "Prony-type". These systems arise in various reconstruction
problems in several branches of theoretical and applied mathematics, such as
frequency estimation and nonlinear Fourier inversion. Consequently, the
question of stability of solution with respect to errors in the right-hand side
becomes critical for the success of any particular application. We investigate
the question of "maximal possible accuracy" of solving Prony-type systems,
putting stress on the "local" behavior which approximates situations with low
absolute measurement error. The accuracy estimates are formulated in very
simple geometric terms, shedding some light on the structure of the problem.
Numerical tests suggest that "global" solution techniques such as Prony's
algorithm and ESPRIT method are suboptimal when compared to this theoretical
"best local" behavior
- …