{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article6852","name":"On Minimal Sturmian Partial Words","abstract":"Partial words, which are sequences that may have some undefined positions called holes, can be viewed as sequences over an extended alphabet A_diamond=A cup {diamond}$ where {diamond} stands for a hole and matches (or is compatible with every letter in A. The subword complexity of a partial word w, denoted by p_w(n), is the number of distinct full words (those without holes) over the alphabet that are compatible with factors of length n of w. A function f: N -> N is (k,h)-feasible if for each integer N geq 1, there exists a k-ary partial word w with h holes such that p_w(n) = f(n) for all n, 1 <= n <= N. We show that when dealing with feasibility in the context of finite binary partial words, the only linear functions that need investigation are f(n)=n+1 and f(n)=2n It turns out that both are (2,h)-feasible for all non-negative integers h. We classify all minimal partial words with $h$ holes of order $N$ with respect to f(n)=n+1, called Sturmian, computing their lengths as well as their numbers, except when h=0 in which case we describe an algorithm that generates all minimal Sturmian full words. We show that up to reversal and complement, any minimal Sturmian partial word with one hole is of the form a^i{diamond}a^jba^l, where i, j, l are integers satisfying some restrictions, that all minimal Sturmian partial words with two holes are one-periodic, and that up to complement, {diamond}(a^{N-1}{diamond})^{h-1} is the only minimal Sturmian partial word with h >= 3$holes. Finally, we give upper bounds on the lengths of minimal partial words with respect to f(n)=2n$ which are tight for h=0, 1 or 2.","keywords":"Automata and formal languages; Combinatorics on words; Graph theory; Subword complexity; Feasible functions; Partial words; Sturmian words.","author":[{"@type":"Person","name":"Blanchet-Sadri, Francine","givenName":"Francine","familyName":"Blanchet-Sadri"},{"@type":"Person","name":"Lensmire, John","givenName":"John","familyName":"Lensmire"}],"position":19,"pageStart":225,"pageEnd":236,"dateCreated":"2011-03-11","datePublished":"2011-03-11","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Blanchet-Sadri, Francine","givenName":"Francine","familyName":"Blanchet-Sadri"},{"@type":"Person","name":"Lensmire, John","givenName":"John","familyName":"Lensmire"}],"copyrightYear":"2011","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2011.225","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":{"@type":"PublicationVolume","@id":"#volume6212","volumeNumber":9,"name":"28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)","dateCreated":"2011-03-10","datePublished":"2011-03-10","editor":[{"@type":"Person","name":"Schwentick, Thomas","givenName":"Thomas","familyName":"Schwentick"},{"@type":"Person","name":"D\u00fcrr, Christoph","givenName":"Christoph","familyName":"D\u00fcrr"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article6852","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6212"}}}