𝔖 Bobbio Scriptorium
✦   LIBER   ✦

New upper bounds to the limitedness of distance automata

✍ Scribed by Kosaburo Hashiguchi


Book ID
104326384
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
143 KB
Volume
233
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis


A distance automaton is a ΓΏnite nondeterministic automaton with a distance function which assigns zero or one to each atomic transition and assigns a nonnegative integer to each accepted word by the plus-min principle. In this paper, we prove that the distances of all accepted words of a distance automaton is bounded by some constant if and only if they are bounded by 2 4m 3 +m log(m+2)+m , where m is the number of states of the automaton.


πŸ“œ SIMILAR VOLUMES


New upper bounds on the decomposability
✍ Fedor V. Fomin; Dimitrios M. Thilikos πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 335 KB πŸ‘ 1 views

## Abstract It is known that a planar graph on __n__ vertices has branch‐width/tree‐width bounded by $\alpha \sqrt {n}$. In many algorithmic applications, it is useful to have a small bound on the constant Ξ±. We give a proof of the best, so far, upper bound for the constant Ξ±. In particular, for th

New Bounds on the Distance Distribution
✍ Simon Litsyn; Sarit Zur πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 169 KB

We derive new estimates for the error term in the binomial approximation to the distance distribution of extended Goppa codes. This is an improvement on the earlier bounds by Vladuts and Skorobogatov, and Levy and Litsyn.

Upper Bounds on the Covering Radius of a
✍ S. Litsyn; A. TietΓ€vΓ€inen πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 235 KB

We derive new upper bounds on the covering radius of a binary linear code as a function of its dual distance and dual-distance width . These bounds improve on the Delorme -Sole Β΄ -Stokes bounds , and in a certain interval for binary linear codes they are also better than Tieta Β¨ va Β¨ inen's bound .