The OEIS is supported by the many generous donors to the OEIS Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A341822 Length of the longest 2-increasing sequence of positive integer triples with entries <= n. 0
 1, 2, 4, 8, 10, 14, 17, 21, 27, 30, 35 (list; graph; refs; listen; history; text; internal format)
 OFFSET 1,2 COMMENTS A triple t=(a_1,a_2,a_3) is defined to be 2-less than a triple u=(b_1,b_2,b_3) if a_i < b_i for at least two coordinates i. A sequence t^(j) of triples is 2-increasing if for all i < j, t^(i) is 2-less than t^(j). Terms n <= 5 have been confirmed by brute-force search (Table 1 of Gowers and Long (2021)). REFERENCES W. T. Gowers and J. Long, The length of an s-increasing sequence of r-tuples, Combinatorics, Probability and Computing 30 (2021), 1-36. LINKS Table of n, a(n) for n=1..11. W. T. Gowers and J. Long, The length of an s-increasing sequence of r-tuples, arXiv:1609.08688 [math.CO], 2016. Po-Shen Loh, Directed paths: from Ramsey to Ruzsa and Szemerédi, arXiv:1505.07312 [math.CO], 2015. FORMULA a(n) >= n^{3/2} when n is a perfect square. It is conjectured that a(n) <= n^{3/2} for all n. EXAMPLE For n=4, the sequence (1,1,1), (1,2,2), (2,1,3), (2,2,4), (3,3,1), (3,4,2), (4,3,3), (4,4,4) has length a(4)=8 and every 2-increasing sequence of length 9 must contain a triple with some coordinate equal to 5. CROSSREFS Cf. A000093. Sequence in context: A153974 A290476 A189670 * A363797 A034822 A300781 Adjacent sequences: A341819 A341820 A341821 * A341823 A341824 A341825 KEYWORD nonn,hard,more AUTHOR Marcel K. Goh, Feb 20 2021 EXTENSIONS Edited by N. J. A. Sloane, Mar 21 2021 a(10)-a(11) and confirmation of previous terms by Bert Dobbelaere, Mar 27 2021 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified September 27 10:09 EDT 2023. Contains 365688 sequences. (Running on oeis4.)