首页/论文/1301.4682

arXiv 1301.46822013-01-20cs.FLmath.CO

二元无立方词中的二元模式：可避免性和增长

Binary Patterns in Binary Cube-Free Words: Avoidability and Growth

Robert Mercas, Pascal Ochem, Alexei V. Samsonov, Arseny M. Shur

备注：: 18 pages, 2 tables; submitted to RAIRO TIA (Special issue of Mons Days 2012)
发表信息：: RAIRO-Theor. Inf. Appl. 48 (2014) 369-389
DOI：: 10.1051/ita/2014015

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

研究了二元无立方词对二元模式的可避性，得到了可避模式与不可避模式的精确界，并证明了所有可避模式都是DL-可避的.对于可避免模式，避免语言的增长率进行了研究。所有这些语言，除了无符号的语言，被证明有指数增长。避免最小可避免模式的语言的准确增长率通过计算机辅助上界近似。最后给出了一个新的多项式增长模式回避语言的例子。

英文摘要：

The avoidability of binary patterns by binary cube-free words is investigated and the exact bound between unavoidable and avoidable patterns is found. All avoidable patterns are shown to be D0L-avoidable. For avoidable patterns, the growth rates of the avoiding languages are studied. All such languages, except for the overlap-free language, are proved to have exponential growth. The exact growth rates of languages avoiding minimal avoidable patterns are approximated through computer-assisted upper bounds. Finally, a new example of a pattern-avoiding language of polynomial growth is given.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Van der Waerden定理与语言的可回避性

Van der Waerden's Theorem and Avoidability in Words

Pirillo和Varricchio，并独立，Halbeisen和Hungerbuhler考虑了以下问题，开放自1994年：是否存在一个无限的字w在有限子集的Z，使w包含没有两个连续块相同的长度和总和？我们考虑这个问题的一些变化在光范德瓦尔登定理的等差数列。

2009-11-17cs.FLmath.CO

对合模式的可避免性

Pattern Avoidability with Involution

一个无穷词w避免了一个模式p与对合t，如果没有替代的变量在p和没有对合t，使最终的词是一个因素的w。我们调查的避免模式相对于字母表的大小。例如，它表明，模式a t（a）a可以避免超过三个字母，但不能超过两个字母，而众所周知，a a a是可以避免超过两个字母。

2011-08-18cs.DMcs.FLmath.CO

双变量公式的可避免性

Avoidability of formulas with two variables

在关于词的组合学中，如果不存在$w$的因子$f$使得$f=h(p)$，其中$h:Δ^*\toΣ^*$是非擦除态射，则在字母表$Σ$上的词$w$被称为避免在变量的字母表$Δ$上的模式$p$。一个模式$p$被称为是$k$ -可避免的，如果在$k$ -字母表上存在一个避免$p$的无限单词。我们考虑的模式，使最多两个变量出现至少两次，或等价的，最多两个变量的公式。对于每一个这样的公式，我们确定它是否是$2$ -可避免的，如果它是$2$ -可避免的，我们确定它是否是由指数许多二进制字避免。

2016-10-13cs.DMcs.FL

关于变元可逆二元模式可避免性的一个注记

A note on the avoidability of binary patterns with variables and reversals

在这篇文章中，我们提出了一个所有的一元和二元模式，不仅包含变量，但也逆转他们的实例的特征。这些类型的变量最近在更一般或特殊的情况下进行了研究。我们表明，在一般情况下，结果并不令人惊讶，并延长这些模式的可避免性，以执行非周期性的话。

2015-08-19cs.FL

模式的可避免性建模为CSP

On Modelling the Avoidability of Patterns as CSP

解决字符串组合学领域的可避免性问题通常需要在初始步骤中通过计算机程序构造一个非常长的单词，该单词不包含任何与给定模式匹配的单词。众所周知，这是一个计算困难的任务。尽管相当简单，最终，所有这些任务都可以形式化为约束满足问题，但到目前为止还没有提出统一的方法来解决它们，并且使用了非常不同的特设方法。我们致力于填补这一空白：我们展示了如何几个相关的可避免性问题可以建模，从而解决，在一个统一的方式作为约束满足问题，使用的框架MiniZinc。这种方法的主要优点是，现在只需要用MiniZinc语言来表达可避免性问题，然后实际搜索解决方案不必特别实施，而是由标准CSP求解器执行。

2019-06-03cs.FLcs.LOcs.PL

在富词中避免 abelian 幂和 additive 幂

Avoiding abelian and additive powers in rich words

该文研究无限富词中 abelian 幂与 additive 幂的避免问题，分别在二元和三元字母表上构造无 additive 5-幂与 4-幂的无限富词，并证明所用字母表大小均为最小。

2025-02-14cs.DMcs.FLmath.CO

更多相关论文收起更多论文

有许多正方形的无立方词

Cubefree words with many squares

我们构建无限立方二进制字包含指数许多不同的平方长度为n。我们还证明了对每一个正整数n，都存在一个长度为2n的无立方二进平方。

2008-11-19cs.FLmath.CO

以立方体结尾的斐波那契字的前缀

Prefixes of the Fibonacci word that end with a cube

我们研究了以立方体结尾的斐波那契数列的前缀。使用核桃，我们得到一个确切的描述的位置斐波那契字在立方体结束。

2021-11-21cs.FLmath.CO

具有形态置换的四元模式

Unary Patterns of Size Four with Morphic Permutations

我们研究了一元模式的可避免性大小为4的形态排列。更确切地说，我们表明，对于正整数$i,j,k$，在其上的模式$x π^ {i} (x) π^{j}(x) π^{k}(x)$是可避免的字母表的大小是整数的区间（其中$x$是一个字变量和$π$是一个函数变量，其值在各自的字母表的所有形态排列的集合中）。我们还展示了如何计算这个区间的一个很好的近似。这继续了[Manea等人，2015]，其中给出了具有排列的立方图案的可避免性的完整表征。

2019-02-05cs.FLcs.LOmath.CO

无立方词的过渡性质

Transition Property For Cube-Free Words

本文研究了任意非一元有限字母表上的无立方字，证明了如下结构性质：对于每对$(u,v)$的$d$ -元无立方字，如果$u$可以向右无限扩展，$v$可以向左无限扩展，则在同一字母表上存在一个“过渡”字$w$，使得$uwv$是无立方的.关键的情况是二进制字母表的情况下，分析在中央部分的文件。所获得的“过渡属性”，再加上开发的技术，使我们能够解决三个旧的开放的问题Restivo和Salemi立方体的自由版本。此外，它对词的组合学有一些进一步的影响;例如，它意味着存在具有非常大的子字（因子）复杂性的无限无立方字。

2018-12-28cs.FLmath.CO

对所有k >= 0，存在k-一致无立方二元态射

There are k-uniform cubefree binary morphisms for all k >= 0

一个词是无立方的，如果它不包含xxx形式的非空子词。一个态射h：Sigma^* -> Sigma^* 是k-一致的，如果h（a）对所有Sigma中的a都有长度k。一个态射是无立方的，如果它将无立方的词映射到无立方的词。我们证明了对所有k >= 0存在k-一致无立方二元态射。

2008-12-24cs.FLmath.CO

Fibonacci自动词的判定算法及其在模式回避中的应用

Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance

我们实现了一个决策过程，回答一类无限的话，可能被称为（缺乏一个更好的名字）“斐波那契自动”的问题。例如，这个类包括著名的斐波那契数列f = 01001010...，态射0 -> 01和1 -> 0的不动点。然后，我们从文献中恢复了许多关于斐波那契词的结果（并改进了其中一些结果），例如关于正方形、立方体、回文等在f中出现的断言。作为该方法的一个应用，我们证明了一个新的结果：存在一个非周期的无限二进制字，它避开了模式x x x^R。这是第一个关于非一致态射的可避免性结果，它被纯机械地证明了。

2014-07-27cs.DMcs.FLmath.CO

避免2-二项平方和立方

Avoiding 2-binomial squares and cubes

两个有限字$u,v$是2-二项式等价的，如果对于所有长度最多为2的字$x$，作为$u$的（分散的）子字的$x$的出现次数等于$v$中$x$的出现次数。这个概念是通常的阿贝尔等价的一个改进。2-二项平方是一个字$uv$，其中$u$和$v$是2-二项等价的。在本文中，考虑纯态词，我们证明了2-二项平方（分别）。cubes）在3个字母上是可避免的（resp. 2个字母）字母表。字母的大小是最佳的。

2013-10-17cs.FLmath.CO

基于交换和错配距离的超立方体和等距词

Hypercubes and Isometric Words based on Swap and Mismatch Distance

维数为n的超立方体是这样的图，其顶点是长度为n的2^n个二进制字，如果它们之间的汉明距离为1，则它们之间存在一条边。我们考虑基于交换和不匹配的编辑距离，我们称之为波浪线距离，并定义波浪线超立方体，其边以波浪线距离1连接单词。然后，我们引入并研究了波浪线超立方体的一些等距子图，这些子图是由波浪线等距字得到的。子图只保留避免给定波浪线等距字的顶点作为因子。在字11的情况下，子图被称为波浪线-斐波那契立方体，作为经典斐波那契立方体的推广。波浪线超立方体和波浪线斐波那契立方体可以递归地定义;这同样适用于它们的边数。这允许渐进估计波浪线-斐波那契立方体中的边的数量，与波浪线-超立方体中的总数相比。

2023-03-17cs.FLmath.CO

任意层预极大二元无立方字的构造

Constructing Premaximal Binary Cube-free Words of Any Level

我们研究了二元无立方词的语言结构。也就是说，我们感兴趣的立方自由的话，不能无限延长保持立方自由。我们证明了存在这样的话任意长的有限扩展，无论是一边和双方。

2011-08-18cs.FL

非主动词模式的复杂性

The Complexity of Unavoidable Word Patterns

有限字母表上的单词模式的可避免性或可避免性已经得到了广泛的研究。有限集合上的一个词（模式）被称为是不可避免的，如果对于除了1000个词之外的所有词，都存在一个将模式映射到每个词的态射。我们提出了各种复杂性相关的属性不可避免的话。对于不可避免的单词，我们提供了避免它们的单词长度的上限。一个自然的问题是有多少不可避免的词。我们表明，不可避免的单词的比例下降指数快速的单词的长度。这使我们能够计算任何给定的有限字母表的不可避免的模式的数量的上限。随后，我们调查计算方面的不可避免的话。特别是，我们展示了具体的算法，用于确定一个字是否是不可避免的。我们还证明了结果的计算复杂性的问题，确定一个给定的词是否是不可避免的。

2019-07-13cs.CCcs.FLcs.LO

使用Walnut对部分字中的平方与立方进行机械证明

Mechanical proving with Walnut for squares and cubes in partial words

University of Oregon（俄勒冈大学）

本研究利用自动机定理证明软件Walnut，开展部分字中平方与立方的规避研究，既证明新结果也复证旧结论，还定义了反平方概念并初步研究含固定数量平方与反平方的二元部分字。

2022-08-09cs.FL

无向重复阈值与无向模式回避

The undirected repetition threshold and undirected pattern avoidance

对于一个有理数$r$，使得$1<r\leq 2$，一个无向$r$ -幂是一个形式为$xyx'$的字，其中字$x$是非空的，字$x'$在$\{x,x^R\}$中，我们有$|xyx'|/|xy|=r$。用于$k$字母的无向重复阈值（表示为$\mbox{URT}(k)$）是所有$r$的集合的下确界，使得在$k$字母上可避免无向$r$ -幂。我们首先证明了$\mbox{URT}(3)=\tfrac{7}{4}$ .然后我们证明了对于所有的$k\geq 4$，$\mbox{URT}(k)\geq \tfrac{k-1}{k-2}$。我们猜想，$\mbox{URT}(k)=\tfrac{k-1}{k-2}$的所有$k\geq 4$，我们证实了这一猜想为$k\in\{4,5,\ldots,21\}.$，我们然后考虑相关的问题，在模式回避，特别是，我们发现的无向回避指数的每一个二进制模式。这是在WORDS 2019上发表的一篇论文的扩展版本，它包含了新的和改进的结果。

2020-06-12cs.DMcs.FLmath.CO

无平方和几乎无平方词的非确定性自动复杂度

Nondeterministic automatic complexity of overlap-free and almost square-free words

Shallit和Wang研究了单词的确定性自动复杂性。他们证明了无限Thue字的自动Hausdorff维数$I(\mathbf t)$满足$1/3\le I(\mathbf t)\le 2/3$。我们通过证明$I(\mathbf t)\ge 1/2$。对于不确定的自动复杂性，我们展示了$I(\mathbf t)=1/2$。我们证明了这样的复杂性$A_N$的一个字$x$的长度$n$满足$A_N(x)\le b(n):=\lfloor n/2\rfloor + 1$。这使我们能够定义复杂性缺陷$D(x)=b(n)-A_N(x)$。如果$x$无平方，则$D(x)=0$。如果$x$在Fraenkel和Simpson的意义下几乎是无平方的，或者如果$x$是一个强无立方的二进制字，如无限Thue字，那么$D(x)\le 1$。另一方面，有没有恒定的上限$D$强立方自由的话，在一个三元字母表，也没有立方自由的话，在一个二进制字母表。对于给定的$x$，$d$是否属于$NP\cap E$的判定问题。

2020-01-31cs.FL

关于串中立方子字的最大个数

On the maximal number of cubic subwords in a string

我们调查的最大数量的立方子字（形式$www$）在一个给定的词的问题。我们还考虑正方形子字（形式为$ww$）。一个单词中最大平方数的问题还没有很好地理解。文中给出了与此问题有关的几个新结果。我们考虑两个简单的问题，这是平方或高度重复的子字的最大数量，然后我们提供了一个非平凡的估计立方体的数量。我们表明，最大数量的平方$xx$，$x$是不是一个原始的字（非原始平方）在一个字的长度$n$正是$\lfloor \frac{n}{2}\rfloor - 1$，和最大数量的子字的形式$x^k$，为$k\ge 3$，正是$n-2$。特别地，字中的立方体的最大数量也不大于$n-2$。使用非常技术性能的出现立方体，我们提高了这个界限显着。我们表明，在一个字的长度$n$的立方体的最大数量是$(1/2)n$和$(4/5)n$之间。(In特别是，我们从会议版本的文件中改进了下界。

2009-11-06cs.DMcs.FL

无幂互补二元态射

Power-free Complementary Binary Morphisms

本文研究二元互补态射的无幂性质，证明Thue-Morse词前缀生成3^+-无态射，并刻画无立方情形的长度存在性及其α-无边界。

2023-12-08cs.DMcs.FLmath.CO