A set is said to be \emph{3-free} if no three elements form an arithmetic progression. Given a 3-free set of integers , the \emph{Stanley sequence} is defined using the greedy algorithm: For each successive , we pick the smallest possible so that is 3-free and increasing. Work by Odlyzko and Stanley indicates that Stanley sequences may be divided into two classes. Sequences of Type 1 are highly structured and satisfy $\alpha n^{\log_2 3}/2\le a_n\le \alpha n^{\log_2 3}\alpha$, while those of Type 2 are chaotic and satisfy . In this paper, we consider the possible values for in the growth of Type 1 Stanley sequences. Whereas Odlyzko and Stanley assumed , we show that can be any rational number which is at least 1 and for which the denominator, in lowest terms, is a power of 3.

生成讲解博客的中文版本

生成AI智能校验的中文版本