×

无向重复阈值和无向模式回避。 (英语) Zbl 1489.68215号

(普通)\(r \)幂(又称gapped repeat)是一个形式为\(xyx \)的单词,其中\(x \)是非空单词,并且\(|xyx|/|xy|=r \)。这将平方、立方体等经典概念推广到分数指数。
重复阈值\(\operatorname{RT}(k)\)是有理数\(r)的下确界,因此,对于由\(k)个字母组成的字母表中的无限单词,\(r \)-幂是可以避免的。由F.Dejean推测,并在许多研究人员的努力下证明,对于所有(k\geq5),(operatorname{RT}(3)=7/4),(operatorname}(4)=7/5)和(operator name{RT{(k)=k/(k-1))。
在本文中,作者将这一研究方向概括为无向\(r\)-幂,它们将其定义为形式为\(xyx'\)的单词,其中\(x\)是一个非空单词,\(x'\ in \{x,x^R\}\)和\(|xyx'|/|xy|=R\),其中\。相应地定义了无向重复阈值\(\operatorname{URT}(k)\)。显然,对于所有\(k\geq2 \),\(\operatorname{RT}(k)\leq\operator name{URT}(k)\),因为\(r \)-幂是无向\(r \-幂的特殊情况。
作者证明了每一个(k\geq4)的(operatorname{URT}(3)=7/4)和(operator name{URT}(k)\geq(k-1)/(k-2)),并猜想每一个。他们证明了所有(k)的猜想。

MSC公司:

68兰特 单词组合学

软件:

核桃
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Allouche,J.-P。;Shallit,J.,《自动序列:理论、应用、推广》(2003),剑桥大学出版社·Zbl 1086.11015号
[2] Berstel,J.,Axel Thue的《关于单词重复的论文:翻译》,《拉丁美洲和加勒比语言研究所出版物》,第20卷(1995年),魁北克大学蒙特利尔分校
[3] 勃兰登堡,F.J.,一致增长的k次幂自由同态,Theor。计算。科学。,1969年1月23日至82日(1983年)·Zbl 0508.68051号
[4] Carpi,A.,关于Dejean对大字母的猜想,Theor。计算。科学。,385, 1-3, 137-151 (2007) ·Zbl 1124.68087号
[5] Cassaigne,J.,《测试给定循环HDOL语言是否避免模式的算法》(IFIP World Computer Congress’94(1994),Elsevier),459-474
[6] Cassaigne,J.,《不可避免的模式》,(Lothaire,M.,《单词的代数组合学》(2002),剑桥大学出版社:剑桥大学出版社),111-134
[7] Cassaigne,J。;Currie,J.D.,《强烈避免分数幂的单词》,《欧洲法学杂志》。,20, 8, 725-737 (1999) ·Zbl 0948.68140号
[8] 克罗西莫尔,M。;科尔巴科夫,R。;Kucherov,G.,计算α-间隙重复的最佳界限,(Dediu,A.-H.;Janoušek,J.;Martín-Vide,C.;Truthe,B.,《语言与自动机理论与应用》(LATA 2016)。语言与自动化理论与应用(LATA 2016),《计算机科学讲义》,第9618卷(2016),斯普林格出版社,245-255·Zbl 1443.68137号
[9] 柯里,J.D。;Lafrance,P.,带反转的二进制模式的可避免性指数,电子。J.库姆。,23,1(2016),#P1.36·Zbl 1332.68177号
[10] 柯里,J.D。;Linek,V.,《阿贝尔意义上的避免模式》,Can。数学杂志。,53, 4, 696-714 (2001) ·Zbl 0986.68103号
[11] 柯里,J.D。;Visentin,T.I.,长二进制模式是阿贝尔2可避免的,Theor。计算。科学。,409, 3, 432-437 (2008) ·Zbl 1171.68034号
[12] 柯里,J.D。;摩尔,L。;Rampersad,N.,《具有高可避免性指数反转的一系列公式》,《国际代数计算》。,27, 5, 477-493 (2017) ·Zbl 1378.68132号
[13] 柯里,J.D。;摩尔,L。;Rampersad,N.,《带反转公式的避免基础》,Theor。计算。科学。,738, 25-41 (2018) ·兹比尔1395.68223
[14] 柯里,J.D。;Rampersad,N.,Dejean猜想适用于\(N\geq27\),RAIRO Theor。通知。申请。,43, 4, 775-778 (2009) ·Zbl 1192.68497号
[15] 柯里,J.D。;Rampersad,N.,Dejean猜想的证明,数学。计算。,80, 274, 1063-1070 (2011) ·Zbl 1215.68192号
[16] Dejean,F.,Sur un theéorème de Thue,J.Comb。理论,Ser。A、 13、90-99(1972)·Zbl 0245.20052号
[17] Dekking,F.M.,《强非重复序列和无累进集》,J.Comb。理论,Ser。A、 27、2、181-185(1979)·Zbl 0437.05011号
[18] Dekking,F.M.,用自动机迭代地图,离散数学。,126, 81-86 (1994) ·Zbl 0795.68158号
[19] Duchon,P。;尼科德,C。;Pivoteau,C.,缺口模式统计,(第28届组合模式匹配年度研讨会(CPM 2017)(2017)),21:1-21:12·Zbl 1434.68385号
[20] 菲奇,G。;Langiu,A。;勒克罗克,T。;Lefebvre,A。;偏头痛,F。;Peltomäki,J。;埃利桑那州普里厄尔·加斯顿。,阿贝尔的力量和斯图尔语中的重复,Theor。计算。科学。,635, 16-34 (2016) ·Zbl 1346.68150号
[21] Frid,A.E.,无重叠对称D0L单词,离散。数学。西奥。计算。科学。,4, 2, 357-362 (2001) ·Zbl 0990.68104号
[22] Gamard,G。;Ochem,P。;Richomme,G。;Sébold,P.,循环公式的可避免性,Theor。计算。科学。,726,1-4(2018)·兹比尔1393.68142
[23] 盖瑞乔夫斯基,P。;Manea,F.,《最长α间隙重复和回文》(Kosowski,A.;Walukiewicz,I.),《第20届计算理论基础国际研讨会论文集》(FCT 2015)。第20届计算理论基础国际研讨会论文集(FCT 2015),计算机科学讲稿,第9210卷(2015),施普林格出版社,27-40·Zbl 1433.68631号
[24] I、 T。;Köppl,D.,所有最大α-间隙重复和回文的改进上界,Theor。计算。科学。,753, 1-15 (2019) ·Zbl 1495.68186号
[25] Keränen,V.,Abelian正方形在4个字母上是可以避免的(Automata,Languages,and Programming,ICALP 1992)。《自动化、语言和编程》(ICALP 1992),《计算机科学讲义》,第623卷(1992),施普林格出版社),41-52·Zbl 1425.68331号
[26] 穆罕默德·努里,M。;柯里,J.D.,德让猜想和斯图尔曼语,欧洲J.库姆。,28, 3, 876-890 (2007) ·Zbl 1111.68096号
[27] Moulin-Ollagnier,J.,Dejean猜想的5、6、7、8、9、10和11个字母字母的证明,Theor。计算。科学。,95, 2, 187-205 (1992) ·Zbl 0745.68085号
[28] Mousavi,H.,《胡桃树中的自动定理证明》(2016),预印本。网址:
[29] Ochem,P。;罗森菲尔德,M.,回文模式的可避免性,电子。J.库姆。,第28页,第1页(2021年),第1.4页·Zbl 1477.68254号
[30] Pansiot,J.J.,《关于F.Dejean sur les répéptions dans les mots的猜想》,《离散应用》。数学。,7, 3, 297-311 (1984) ·Zbl 0536.68072号
[31] Rao,M.,Dejean猜想的最后几个例子,Theor。计算。科学。,412, 27, 3010-3018 (2011) ·兹比尔1230.68163
[32] Rosenfeld,M.,每个长度大于14的二进制模式都是可以避免的,(第41届计算机科学数学基础国际研讨会(MFCS 2016)(2016)),81:1-81:11·Zbl 1398.68423号
[33] Samsonov,A.V。;Shur,A.M.,《关于阿贝尔重复阈值》,RAIRO Theor。通知。申请。,46, 1, 147-163 (2012) ·Zbl 1279.68240号
[34] Shur,A.M.,《关于最小β幂的存在性》,国际期刊发现。计算。科学。,22, 7, 1683-1696 (2011) ·Zbl 1260.68314号
[35] Shur,A.M.,大型字母表上的无能力语言的增长,理论计算。系统。,54224-243(2014年)·兹比尔1380.68259
[36] Shur,A.M.,高效生成无平方单词,Theor。计算。科学。,601, 67-72 (2015) ·Zbl 1330.68361号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。