cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A274103 Erroneous version of A003323.

Original entry on oeis.org

3, 6, 17, 66, 327
Offset: 1

Views

Author

Keywords

Comments

Included in accordance with OEIS policy of including published but erroneous sequences, to serve as pointers to the correct entries.

A045652 Schur's numbers (version 2).

Original entry on oeis.org

1, 4, 13, 44, 160
Offset: 1

Views

Author

Patric R. J. Östergård (pat(AT)ultra.hut.fi, patric.ostergard(AT)hut.fi)

Keywords

Comments

Largest number such that there is an n-coloring of the integers 1, ..., a(n) such that each color is sum-free, that is, no color contains a triple x + y = z. - Charles R Greathouse IV, Jun 11 2013
The best known lower bounds for the next terms are due to Fredricksen and Sweet (see links): a(6) >= 536 and a(7) >= 1680. - Dmitry Kamenetsky, Oct 23 2019
A partition showing that a(7) >= 1696 was demonstrated in 2021, along with some recurrence relationships for lower bounds on a(n). - Fred Rowley, Mar 01 2023

Examples

			Golomb and Baumert find a(4) = 44 and give this example:
A = {1, 3, 5, 15, 17, 19, 26, 28, 40, 42, 44}
B = {2, 7, 8, 18, 21, 24, 27, 37, 38, 43}
C = {4, 6, 13, 20, 22, 23, 25, 30, 32, 39, 41}
D = {9, 10, 11, 12, 14, 16, 29, 31, 33, 34, 35, 36}
Note that the union of these sets is {1, ..., 44} and none of the sets contains three numbers (perhaps not all distinct) such that one is the sum of the other two. - _Charles R Greathouse IV_, Jun 11 2013
From _Marijn Heule_, Nov 26 2017: (Start)
Exoo computed the first certificate showing that a(5) >= 160:
A = {1, 6, 10, 18, 21, 23, 26, 30, 34, 38, 43, 45, 50, 54, 65, 74, 87, 96, 107, 111, 116, 118, 123, 127, 131, 135, 138, 140, 143, 151, 155, 160}
B = {2, 3, 8, 14, 19, 20, 24, 25, 36, 46, 47, 51, 62, 73, 88, 99, 110, 114, 115, 125, 136, 137, 141, 142, 147, 153, 158, 159}
C = {4, 5, 15, 16, 22, 28, 29, 39, 40, 41, 42, 48, 49, 59, 102, 112, 113, 119, 120, 121, 122, 132, 133, 139, 145, 146, 156, 157}
D = {7, 9, 11, 12, 13, 17, 27, 31, 32, 33, 35, 37, 53, 56, 57, 61, 79, 82, 100, 104, 105, 108, 124, 126, 128, 129, 130, 134, 144, 148, 149, 150, 152, 154}
E = {44, 52, 55, 58, 60, 63, 64, 66, 67, 68, 69, 70, 71, 72, 75, 76, 77, 78, 80, 81, 83, 84, 85, 86, 89, 90, 91, 92, 93, 94, 95, 97, 98, 101, 103, 106, 109, 117} (End)
		

References

  • R. K. Guy, Unsolved Problems in Number Theory, E11 and E12.
  • Marijn J. H. Heule, Schur Number Five, AAAI 2018.

Crossrefs

Formula

a(n) = A030126(n)-1. a(n) <= A003323(n)-2. - Max Alekseyev, Jan 12 2008

Extensions

a(5) from Marijn Heule, Nov 26 2017
Example corrected by Eckard Specht, Jul 07 2021

A073591 a(n) = A000522(n) + 1.

Original entry on oeis.org

2, 3, 6, 17, 66, 327, 1958, 13701, 109602, 986411, 9864102, 108505113, 1302061346, 16926797487, 236975164806, 3554627472077, 56874039553218, 966858672404691, 17403456103284422, 330665665962404001, 6613313319248080002
Offset: 0

Views

Author

Vladeta Jovovic, Aug 28 2002

Keywords

Comments

a(n) is an upper bound on the Ramsey numbers in A003323. - D. G. Rogers, Aug 27 2006
There is a nice derivation of the recurrence relation given in the Walker reference.

Crossrefs

Programs

  • Maple
    a:= proc(n) a(n):= `if`(n=0, 2, n*a(n-1)-n+2) end:
    seq(a(n), n=0..30);  # Alois P. Heinz, Feb 17 2014
  • Mathematica
    f[n_] := n*(f[n - 1] - 1) + 2;f[0]=2; ff[n_]:=(1/(1+n))(1+E*Gamma[1+n, 1]-E*(n^2)*Gamma[1+n, 1]+E*n*Gamma[2+n, 1]) (Spindler)
    Table[FunctionExpand[Gamma[n, 1] E] + 1, {n, 2, 29}] (* Vincenzo Librandi, Feb 17 2014 *)

Formula

Conjecture: a(n) +(-n-2)*a(n-1) +(2*n-1)*a(n-2) +(-n+2)*a(n-3)=0. - R. J. Mathar, Feb 16 2014
a(n) = n*(a(n-1) - 1) + 2. - Georg Fischer, Dec 24 2023 [from the Walker reference, p. 55]

A343607 Minimal number of colors required for an edge-coloring of the complete graph K_n with no monochromatic triangle.

Original entry on oeis.org

0, 0, 1, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4
Offset: 0

Views

Author

M. F. Hasler, Jun 25 2021

Keywords

Comments

The complete graph K_n has n(n-1)/2 edges (i,j), 1 <= i < j <= n, connecting the n vertices to each other. A triangle is a subgraph of edges {(i,j), (i,k), (j,k)} with i < j < k; monochromatic means that all edges have the same color.
The edge-colorings are obviously not required to be proper, i.e., adjacent edges may have the same color.
Corollary 3 of Cummings et al. (2013) gives a formula for an upper bound on M_3(K_3,n), the minimal number of monochromatic triangles in a 3-colored K_n, which is positive iff n >= 11 (which, if tight, would mean a(n) > 3 for n > 10). However, the paper only claims that the bound is tight for all sufficiently large n. We have indeed 3-edge-colorings up to n = 16 with no monochromatic triangle. It is known that a(n) > 3 iff n = 17, cf. A343606.
Rows of A343606 give the lexicographic earliest edge-colorings of K_n without monochromatic triangles using the minimum number of colors a(n).

Examples

			For n = 0 and n = 1, the empty graph K_0 and the singleton graph K_1 don't have any edge, so zero colors are needed.
For n = 2 we have one edge, so one color is needed.
For n = 3 we have a triangle, so we need a second color for the third edge.
For n = 4 (square + diagonals) and n = 5 (pentagon + diagonals forming a pentagram) two colors are still enough: one can use one color for the "circumference", i.e., edges (i,i+1), and the other color for the diagonals.
For n >= 6, a third color is needed.
		

Crossrefs

Cf. A343606 (gives corresponding colorings), A000217 (triangular numbers - row lengths of A343606), A003323.

Programs

  • PARI
    A343607(n)=if(n>1, vecmax(color(n))+1, 0) \\ using the helper function:
    {M343607=List([[]]); color(n, i=matrix(n,n,r,c,r+c--*c--/2), C, k)= C|| C = if(#M343607 >= n, M343607[n], n>2, color(n-1,i)); k|| k=if(n>3, vecmax(C)+1, n-1); C=Vec(C, n*(n-1)/2); my(bad(C)= for(a=1,n-2, my(c=C[i[a,n]]); for(b=a+1, n-1, C[i[a,b]] !=c || C[i[b,n]] !=c || return( i[b,n] ))), C0=C, j); while(j=bad(C), until(j-- < i[1,n], if(C[j]++ < k, while(j<#C, C[j++]=0); next(2))); while(C[j]++ >= k, C[j]=0; j--); C=Vec(color(n-1,i,C[1..-n]),#C); if(C[1..n] != C0[1..n], k++; C=C0)); #M343607= 13. Changing 1..n to 1..2-2*n is much faster but yields suboptimal solution for n >= 12 (using 4 instead of 3 required colors).

Formula

a(n) = max { A343606(n,k)+1; k >= 1 } U { 0 }.
a(n) = min {k >= 0; A003323(k) > n}. - Pontus von Brömssen, Aug 01 2021

Extensions

More terms from Pontus von Brömssen, Jul 21 2021
Showing 1-4 of 4 results.