Shallit, JeffreyShur, Arseny2020-03-182020-03-182019-11-05https://doi.org/10.1016/j.tcs.2018.09.010http://hdl.handle.net/10012/15701The final publication is available at Elsevier via https://doi.org/10.1016/j.tcs.2018.09.010. © 2019. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/We begin a systematic study of the relations between subword complexity of infinite words and their power avoidance. Among other things, we show that –the Thue–Morse word has the minimum possible subword complexity over all overlap-free binary words and all (7/3)-power-free binary words, but not over all (7/3)+-power-free binary words; –the twisted Thue–Morse word has the maximum possible subword complexity over all overlap-free binary words, but no word has the maximum subword complexity over all (7/3)-power-free binary words; –if some word attains the minimum possible subword complexity over all square-free ternary words, then one such word is the ternary Thue word; –the recently constructed 1-2-bonacci word has the minimum possible subword complexity over all symmetric square-free ternary words.enAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/combinatorics on wordssubword complexitypower-free wordcritical exponentThue–Morse wordArticle