Checking whether a word is Hamming-isometric in linear time

نویسندگان

چکیده

A finite word f is Hamming-isometric if for any two words u and v of the same length avoiding f, can be transformed into by changing one all letters on which differs from v, in such a way that new obtained this process also avoid f. Words are not have been characterized as having border with mismatches. We derive characterization linear-time algorithm to check whether Hamming-isometric. It based pattern matching algorithms k Lee-isometric over four-letter alphabet Lee-errors. an size four Lee-isometric.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Isometric embeddings in Hamming graphs

The results presented in this paper are parts of my doctoral thesis [ 193; the algorithm and some of the characterizations in Section 7 have been introduced in [ 181. Motivation for isometric embeddings into Hamming graphs has come from communication theory (Graham and Pollak [ 121) an-d linguistics (Firsov 1181). Isometric subgraphs of Hamming graphs also appear in biology as “quasi-species” (...

متن کامل

Checking Whether an Automaton Is Monotonic Is NP-complete

An automaton is monotonic if its states can be arranged in a linear order that is preserved by the action of every letter. We prove that the problem of deciding whether a given automaton is monotonic is NP-complete. The same result is obtained for oriented automata, whose states can be arranged in a cyclic order. Moreover, both problems remain hard under the restriction to binary input alphabets.

متن کامل

Asymptotically Optimal Algorithm for Checking Whether a Given Vector Is a Solution to a Given Interval-Quantifier Linear System∗

In many practical situations, we have a linear dependence between different quantities. In such situations, we often need to solve the corresponding systems of linear equations. Often, we know the parameters of these equations with interval uncertainty. In this case, depending on the practical problem, we have different notions of a solution. For example, if we determine parameters from observa...

متن کامل

Asymptotically Tight Algorithm for Checking Whether a Given Vector Is a Solution to a Given Interval-Quantifier Linear System∗

In many practical situations, we have a linear dependence between different quantities. In such situations, we often need to solve the corresponding systems of linear equations. Often, we know the parameters of these equations with interval uncertainty. In this case, depending on the practical problem, we have different notions of a solution. For example, if we determine parameters from observa...

متن کامل

On Checking Whether a Predicate Definitely Holds

Predicate detection is an important problem in testing and debugging distributed programs. Cooper and Marzullo introduced two modalities possibly and definitely as a solution to this problem. Given a predicate p, a computation satisfies possibly : p if p is true for some global state in the computation. A computation satisfies definitely : p if all paths from the initial to the final global sta...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2022

ISSN: ['1879-2294', '0304-3975']

DOI: https://doi.org/10.1016/j.tcs.2022.08.032