New orientable sequences

IF 0.5 4区 计算机科学 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS
Chris J. Mitchell, Peter R. Wild
{"title":"New orientable sequences","authors":"Chris J. Mitchell,&nbsp;Peter R. Wild","doi":"10.1007/s00236-026-00528-z","DOIUrl":null,"url":null,"abstract":"<div><p>Orientable sequences of order <i>n</i> are infinite periodic sequences with symbols drawn from a finite alphabet of size <i>k</i> with the property that any tuple of <i>n</i> elements or its reverse occurs at most once as a contiguous subsequence (i.e. a substring or factor) in a period. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of construction have been devised, although apart from very small cases a significant gap remains between the largest known period for such a sequence and the best known upper bound. In this paper we first give improved upper bounds on the period of such sequences. We then give a new general method of construction for orientable sequences involving subgraphs of the de Bruijn graph with special properties, and describe two different approaches for generating such subgraphs. This enables us to construct orientable sequences with periods meeting the improved upper bounds when <i>n</i> is 2 or 3, as well as <span>\\(n=4\\)</span> and <i>k</i> odd. For <span>\\(4\\le n\\le 8\\)</span>, in some cases the sequences produced by the methods described have periods larger than for any previously known sequences.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"63 2","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2026-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00236-026-00528-z.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-026-00528-z","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

Orientable sequences of order n are infinite periodic sequences with symbols drawn from a finite alphabet of size k with the property that any tuple of n elements or its reverse occurs at most once as a contiguous subsequence (i.e. a substring or factor) in a period. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of construction have been devised, although apart from very small cases a significant gap remains between the largest known period for such a sequence and the best known upper bound. In this paper we first give improved upper bounds on the period of such sequences. We then give a new general method of construction for orientable sequences involving subgraphs of the de Bruijn graph with special properties, and describe two different approaches for generating such subgraphs. This enables us to construct orientable sequences with periods meeting the improved upper bounds when n is 2 or 3, as well as \(n=4\) and k odd. For \(4\le n\le 8\), in some cases the sequences produced by the methods described have periods larger than for any previously known sequences.

新的定向序列
n阶可定向序列是无限周期序列,其符号取自大小为k的有限字母表,其性质是任何n个元素的元组或其反转在一个周期内最多作为连续子序列(即子字符串或因子)出现一次。它们是在20世纪90年代初在位置传感可能应用的背景下引入的。这种序列的周期界限和一系列的构造方法已经被设计出来,尽管除了非常小的情况外,这种序列的最大已知周期和最已知的上界之间仍然有很大的差距。本文首先给出了这类序列周期的改进上界。在此基础上,我们给出了包含具有特殊性质的de Bruijn图的子图的可定向序列的一种新的一般构造方法,并描述了生成这类子图的两种不同方法。这使我们能够构造周期满足改进上界的可定向序列,当n为2或3时,以及\(n=4\)和k奇数时。对于\(4\le n\le 8\),在某些情况下,通过所述方法产生的序列具有比任何先前已知序列更大的周期。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Acta Informatica
Acta Informatica 工程技术-计算机:信息系统
CiteScore
2.40
自引率
16.70%
发文量
24
审稿时长
>12 weeks
期刊介绍: Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics. Topics of interest include: • semantics of programming languages • models and modeling languages for concurrent, distributed, reactive and mobile systems • models and modeling languages for timed, hybrid and probabilistic systems • specification, program analysis and verification • model checking and theorem proving • modal, temporal, first- and higher-order logics, and their variants • constraint logic, SAT/SMT-solving techniques • theoretical aspects of databases, semi-structured data and finite model theory • theoretical aspects of artificial intelligence, knowledge representation, description logic • automata theory, formal languages, term and graph rewriting • game-based models, synthesis • type theory, typed calculi • algebraic, coalgebraic and categorical methods • formal aspects of performance, dependability and reliability analysis • foundations of information and network security • parallel, distributed and randomized algorithms • design and analysis of algorithms • foundations of network and communication protocols.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书