English
Related papers

Related papers: A counting method for finding rational approximate…

200 papers

A double occurrence word $w$ over a finite alphabet $\Sigma$ is a word in which each alphabet letter appears exactly twice. Such words arise naturally in the study of topology, graph theory, and combinatorics. Recently, double occurrence…

Combinatorics · Mathematics 2012-05-01 Jonathan Burns , Tilahun Muche

Dot plots are a standard method for local comparison of biological sequences. In a dot plot, a substring to substring distance is computed for all pairs of fixed-size windows in the input strings. Commonly, the Hamming distance is used…

Data Structures and Algorithms · Computer Science 2009-09-11 Peter Krusche , Alexander Tiskin

We study equations in groups G with unique m-th roots for each positive integer m. A word equation in two letters is an expression of the form w(X,A) = B, where w is a finite word in the alphabet {X,A}. We think of A,B in G as fixed…

Group Theory · Mathematics 2014-02-26 Christopher J. Hillar , Lionel Levine , Darren Rhea

We present a new algorithm for reconstructing an exact algebraic number from its approximate value using an improved parameterized integer relation construction method. Our result is consistent with the existence of error controlling on…

Computational Complexity · Computer Science 2009-02-06 Xiaolin Qin , Yong Feng , Jingwei Chen , Jingzhong Zhang

This text is devoted to simultaneous approximation to $\xi$ and $\xi^2$ by rational numbers with the same denominator, where $\xi$ is a non-quadratic real number. We focus on an exponent $\beta_0(\xi)$ that measures the quality of such…

Number Theory · Mathematics 2012-02-13 Stéphane Fischler

A finite word $w$ with $\vert w\vert=n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called \emph{rich}. Let $\Factor(w)$ be the set of factors of the word $w$. It is known that there…

Combinatorics · Mathematics 2019-09-06 Josef Rukavicka

We present a simple yet powerful technique for forming iterative methods of various convergence orders. Methods of various convergence orders (four, six, eight and ten) are formed through a modest modification of the classical Newton…

Numerical Analysis · Mathematics 2009-12-22 Sanjay Kumar Khattri

For every integer $k\geq 2$ let $[k]^{<\mathbb{N}}$ be the set of all words over $k$, that is, all finite sequences having values in $[k]:=\{1,...,k\}$. A Carlson-Simpson tree of $[k]^{<\mathbb{N}}$ of dimension $m\geq 1$ is a subset of…

Probability · Mathematics 2014-10-23 Pandelis Dodos , Vassilis Kanellopoulos , Konstantinos Tyros

To any infinite word w over a finite alphabet A we can associate two infinite words min(w) and max(w) such that any prefix of min(w) (resp. max(w)) is the lexicographically smallest (resp. greatest) amongst the factors of w of the same…

Combinatorics · Mathematics 2010-03-16 Amy Glen

A method to solve the problem f(x) = 0 efficiently on any n-dimensional domain Omega under very broad hypoteses is proposed. The position of the root of f, assumed unique, is found by computing the center of mass of an Omega-shaped object…

Numerical Analysis · Mathematics 2009-02-27 Fabrizio Castellano

We consider the problem of dictionary matching in a stream. Given a set of strings, known as a dictionary, and a stream of characters arriving one at a time, the task is to report each time some string in our dictionary occurs in the…

Data Structures and Algorithms · Computer Science 2015-04-24 Raphael Clifford , Allyx Fontaine , Ely Porat , Benjamin Sach , Tatiana Starikovskaya

We show how to enumerate words in $1^{m_1} \dots n^{m_n}$ that avoid the increasing consecutive pattern $12 \dots r$ for any $r \geq 2$. Our approach yields an $O(n^{s+1})$ algorithm to enumerate words in $1^s \dots n^s$, avoiding the…

Combinatorics · Mathematics 2018-05-23 Mingjia Yang , Doron Zeilberger

We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $\omega$ of such length, and…

Formal Languages and Automata Theory · Computer Science 2023-07-04 Guillaume Chapuy , Guillem Perarnau

Suppose that we are given a formal power series of many variables with coefficients in $\mathbb{R}$ (or $\mathbb{C}$) and we want to compute its $n$-th (multiplicative) root. As can be expected coefficients of the root have to satisfy a…

Commutative Algebra · Mathematics 2025-02-11 Piotr Maćkowiak , Motaz Mokatren

In this note we provide a (decidable) graph-structural characterisation of the infiniteness of $L(w_1, ..., w_k)$, where $L(w_1, ..., w_k) = \{w \in A^* | |w|_{w_1} = \cdots = |w|_{w_k}\}$ is the set of all words that contain the same…

Formal Languages and Automata Theory · Computer Science 2019-10-29 Ryoma Sin'ya

A novel integer sorting technique was proposed replacing bucket sort, distribution counting sort and address calculation sort family of algorithms which requires only constant amount of additional memory. The technique was inspired from one…

Data Structures and Algorithms · Computer Science 2012-09-18 A. Emre Cetin

We present a complete algorithm for finding an exact minimal polynomial from its approximate value by using an improved parameterized integer relation construction method. Our result is superior to the existence of error controlling on…

Symbolic Computation · Computer Science 2010-01-06 Xiaolin Qin , Yong Feng , Jingwei Chen , Jingzhong Zhang

We consider the sequence of polynomials $W_n(x)$ defined by the recursion $W_n(x)=(ax+b)W_{n-1}(x)+dW_{n-2}(x)$, with initial values $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a,b,d,t,r$ are real numbers, $a,t>0$, and $d<0$. We show that every…

Classical Analysis and ODEs · Mathematics 2015-03-19 J. L. Gross , T. Mansour , T. W. Tucker , D. G. L. Wang

The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization". In this paper we introduce and explore a novel but general form of parameterization: the number of…

Data Structures and Algorithms · Computer Science 2015-05-19 Michael R. Fellows , Serge Gaspers , Frances A. Rosamond

When proving theorems from large sets of logical assertions, it can be helpful to restrict the search for a proof to those assertions that are relevant, that is, closely related to the theorem in some sense. For example, in the Watson…

Logic in Computer Science · Computer Science 2019-05-23 David A. Plaisted
‹ Prev 1 3 4 5 6 7 10 Next ›