cp's OEIS Frontend

A265316 First row of A262057.

%I A265316 #37 Jun 11 2025 01:09:01
%S A265316 0,2,7,21,23,64,69,71,193,207,209,214,579,581,622,627,629,643,1737,
%T A265316 1739,1744,1866,1868,1882,1887,1889,1930,5211,5213,5218,5232,5234,
%U A265316 5599,5604,5606,5647,5661,5663,5668,5790,5792,15634,15639,15641,15655,15696,15698
%N A265316 First row of A262057.
%C A265316 From _Robert Israel_, Feb 03 2016: (Start)
%C A265316 a(n) is the first member of the n-th sequence in the greedy partition of the nonnegative integers into sequences that contain no 3-term arithmetic progression.
%C A265316 As a special case (proved by Roth in 1953) of Szemerédi's theorem, sequences with no 3-term arithmetic progressions must have density 0.  In particular, the nonnegative integers can't be partitioned into finitely many such sequences.  Therefore this sequence is infinite.
%C A265316 a(n+1) >= a(n) + 2.  There seem to be many cases where this is an equality. (End)
%C A265316 It can be deduced from the main result of Gerver, Propp, Simpson (below) that a(3n+1) = 3a(2n+1), a(3n+2) = 2 + 3a(2n+1), and a(3n) = 1 + 3a(2n). This implies infinitely many cases where a(n+1) = a(n) + 2. - _C. Kenneth Fan_, Dec 09 2018
%C A265316 Indices of records in A006997. - _Rémy Sigrist_, Jan 06 2024
%H A265316 Robert Israel, <a href="/A265316/b265316.txt">Table of n, a(n) for n = 1..140</a>
%H A265316 Matvey Borodin, Hannah Han, Kaylee Ji, Tanya Khovanova, Alexander Peng, David Sun, Isabel Tu, Jason Yang, William Yang, Kevin Zhang, and Kevin Zhao, <a href="https://arxiv.org/abs/1901.09818">Variants of Base 3 over 2</a>, arXiv:1901.09818 [math.NT], 2019.
%H A265316 J. Gerver, J. Propp, and J. Simpson, <a href="https://doi.org/10.1090/S0002-9939-1988-0929018-1">Greedily partitioning the natural numbers into sets free of arithmetic progressions</a>, Proc. of the Amer. Math. Soc. 102 (1988), no. 3, pp. 765-772.
%H A265316 Tanya Khovanova and Kevin Wu, <a href="https://arxiv.org/abs/2007.09705">Base 3/2 and Greedily Partitioned Sequences</a>, arXiv:2007.09705 [math.NT], 2020.
%H A265316 K. F. Roth, <a href="https://doi.org/10.1112/jlms/s1-28.1.104">On certain sets of integers</a>, Journal of the London Mathematical Society s1-28 (1953), 104-109.
%H A265316 Wikipedia, <a href="https://en.wikipedia.org/wiki/Szemer%C3%A9di%27s_theorem"> Szemerédi's theorem</a>.
%F A265316 A006997(a(n)) = n - 1. - _Rémy Sigrist_, Jan 06 2024
%p A265316 M:= 100: # to get a(1) to a(M)
%p A265316 for i from 1 to M do B[i]:= {}: F[i]:= {}: od:
%p A265316 for x from 0 do
%p A265316   for i from 1 to M do
%p A265316      if not member(x,F[i]) then
%p A265316        F[i]:= F[i] union map(y -> 2*x-y, B[i]);
%p A265316      B[i]:= B[i] union {x};
%p A265316      if not assigned(A[i]) then A[i]:= x fi;
%p A265316      break
%p A265316     fi
%p A265316   od;
%p A265316   if i = M+1 then break fi;
%p A265316 od:
%p A265316 seq(A[i],i=1..M); # _Robert Israel_, Feb 03 2016
%Y A265316 Cf. A006997, A262057.
%K A265316 nonn
%O A265316 1,2
%A A265316 _Max Barrentine_, Dec 06 2015