A056560 -id:A056560 - cp's OEIS frontend

A127560 Number of fixed r-celled polyominoes with smallest containing rectangle measuring k by m, read in order r=A056556(n)+1, k=A056560(n)+1, m=A056558(n)+1.

1, 0, 1, 1, 0, 0, 0, 1, 4, 1, 0, 0, 0, 0, 1, 0, 1, 8, 8, 1, 0, 0, 0, 0, 0, 0, 0, 6, 6, 0, 1, 12, 25, 12, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 18, 44, 18, 0, 1, 16, 50, 50, 16, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 32, 8, 0, 0, 38, 155, 155, 38, 0, 1, 20, 82, 120, 82, 20, 1

Offset: 0

Graeme McRae, Jan 18 2007

nonn

The sum of each triangle, i.e. for a given r the sum of a(n) for all n such that r=A056556(n)+1 is the number of r-celled fixed polyominoes, A001168(r).

			The 5th triangle of the sequence, the number of fixed pentominoes by dimension, is
0,0,0,0,1
0,0,6,12
0,6,25
0,12
1
This indicates, for example, there are 25 fixed pentominos that fit in a 3 X 3 rectangle and 12 fixed pentominos that fit in a 4 X 2 rectangle.

Cf. A000105, A000988, A001168 Indices for reading by triangles given by A056556, A056560, A056558.

A056558 Third tetrahedral coordinate, i.e., tetrahedron with T(t,n,k)=k; succession of growing finite triangles with increasing values towards bottom right.

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 1, 0, 1, 2, 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4, 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4, 0, 1, 2, 3, 4, 5, 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4, 0, 1, 2, 3, 4, 5, 0, 1, 2, 3, 4, 5, 6, 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4, 0, 1, 2, 3, 4, 5

Offset: 0

Henry Bottomley, Jun 26 2000

nonn

Alternatively, write n = C(i,3)+C(j,2)+C(k,1) with i>j>k>=0; sequence gives k values. See A194847 for further information about this interpretation.
If {(X,Y,Z)} are triples of nonnegative integers with X>=Y>=Z ordered by X, Y and Z, then X=A056556(n), Y=A056557(n) and Z=A056558(n).
This is a 'Matryoshka doll' sequence with alpha=0 (cf. A000292 and A000178). - Peter Luschny, Jul 14 2009

			First triangle: [0]; second triangle: [0; 0 1]; third triangle: [0; 0 1; 0 1 2]; ...

D. E. Knuth, The Art of Computer Programming, vol. 4A, Combinatorial Algorithms, Section 7.2.1.3, Eq. (20), p. 360.

Reinhard Zumkeller, Table of n, a(n) for n = 0..10000

Together with A056559 and A056560 might enable reading "by antidiagonals" of cube arrays as 3-dimensional analog of A002262 and A025581 with square arrays. Also cf. A000292, A056556, A056557.
See also A194847, A194848, A194849.
Cf. A002262, A127324, A000217.

import Data.List (inits)
a056558 n = a056558_list !! n
a056558_list = concatMap (concat . init . inits . enumFromTo 0) [0..]
-- Reinhard Zumkeller, Jun 01 2015

seq(seq(seq(i,i=0..k),k=0..n),n=0..6); # Peter Luschny, Sep 22 2011

Table[i, {k, 0, 7}, {j, 0, k}, {i, 0, j}] // Flatten  (* Robert G. Wilson v, Sep 27 2011 *)

T(t,n,k)=k \\ Charles R Greathouse IV, Feb 22 2017

from math import isqrt, comb
from sympy import integer_nthroot
def A056558(n): return (r:=n-comb((m:=integer_nthroot(6*(n+1),3)[0])+(n>=comb(m+2,3))+1,3))-comb((k:=isqrt(m:=r+1<<1))+(m>k*(k+1)),2) # Chai Wah Wu, Nov 04 2024

a(n) = n-A056556(n)*(A056556(n)+1)*(A056556(n)+2)/6-A056557(n)*(A056557(n)+1)/2 = n-A000292(A056556(n)-1)-A000217(A056557(n)) = A056557(n)-A056560(n).

a(n+1) = A056556(n)==a(n) ? 0 : A056557(n)==a(n) ? 0 : a(n)+1. - Graeme McRae, Jan 09 2007

A056556 First tetrahedral coordinate; repeat m (m+1)*(m+2)/2 times.

Original entry on oeis.org

0, 1, 1, 1, 2, 2, 2, 2, 2, 2, 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, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7

Offset: 0

Henry Bottomley, Jun 26 2000

If {(X,Y,Z)} are triples of nonnegative integers with X >= Y >= Z ordered by X, Y and Z, then X=A056556(n), Y=A056557(n) and Z=A056558(n).
From Gus Wiseman, Jul 03 2019: (Start)
Also the maximum number of distinct multiplicities among integer partitions of n. For example, random partitions of 56 realizing each number of distinct multiplicities are:
  1: (24,17,6,5,3,1)
  2: (10,9,9,5,5,4,4,3,3,2,1,1)
  3: (6,5,5,5,4,4,4,3,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1)
  4: (28,5,5,3,3,3,2,2,1,1,1,1,1)
  5: (13,4,4,4,4,4,3,3,3,2,2,2,2,2,2,1,1)
  6: (6,5,5,4,4,4,3,3,3,3,2,2,2,2,2,1,1,1,1,1,1)
The maximum number of distinct multiplicities is 6, so a(56) = 6.
(End)

			3 is (3+1) * (3+2)/2 = 10 times in the sequence all these occurrences are in consecutive places. The first 3 is at position binomial(3 + 2, 3) = 10, the last one at binomial((3 + 1) + 2, 3) - 1. - _David A. Corneth_, Oct 14 2022

Cf. A000292, A003056, A056557, A056558, A056559, A056560.
See also A194847.
Cf. A088880, A088881, A116608, A325242.

Table[Table[m, {(m+1)(m+2)/2}], {m, 0, 7}] // Flatten (* Jean-François Alcover, Feb 28 2019 *)

a(n)=my(t=polrootsreal(x^3+3*x^2+2*x-6*n)); t[#t]\1 \\ Charles R Greathouse IV, Feb 22 2017

from math import comb
from sympy import integer_nthroot
def A056556(n): return (m:=integer_nthroot(6*(n+1),3)[0])-(nChai Wah Wu, Nov 04 2024

a(n) = floor(x) where x is the (largest real) solution to x^3 + 3x^2 + 2x - 6n = 0; a(A000292(n)) = n+1.
a(n+1) = a(n)+1 if a(n) = A056558(n), otherwise a(n). - Graeme McRae, Jan 09 2007
a(n) = floor(t/3 + 1/t - 1), where t = (81*n + 3*sqrt(729*n^2 - 3))^(1/3). - Ridouane Oudra, Mar 21 2021
a(n) = floor(t + 1/(3*t) - 1), where t = (6*n)^(1/3), for n>=1. - Ridouane Oudra, Nov 04 2022
a(n) = m if n>=binomial(m+2,3) and a(n) = m-1 otherwise where m = floor((6n+6)^(1/3)). - Chai Wah Wu, Nov 04 2024

Incorrect formula deleted by Ridouane Oudra, Nov 04 2022

A056557 Second tetrahedral coordinate.

Original entry on oeis.org

0, 0, 1, 1, 0, 1, 1, 2, 2, 2, 0, 1, 1, 2, 2, 2, 3, 3, 3, 3, 0, 1, 1, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 0, 1, 1, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 0, 1, 1, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 0, 1, 1, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5

Offset: 0

Henry Bottomley, Jun 26 2000

nonn

If {(X,Y,Z)} are triples of nonnegative integers with X >= Y >= Z ordered by X, Y and Z, then X=A056556(n), Y=A056557(n) and Z=A056558(n).

Cf. A000292, A002262, A003056, A056556, A056558, A056559, A056560.

A056559 Tetrahedron with T(t,n,k) = t - n; succession of growing finite triangles with declining values per row.

Original entry on oeis.org

0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 3, 2, 2, 1, 1, 1, 0, 0, 0, 0, 4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 0, 0, 0, 0, 0, 5, 4, 4, 3, 3, 3, 2, 2, 2, 2, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 6, 5, 5, 4, 4, 4, 3, 3, 3, 3, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 7, 6, 6, 5, 5, 5, 4, 4, 4, 4, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 2

Offset: 0

Henry Bottomley, Jun 26 2000

			First triangle: [0]; second triangle: [1; 0 0]; third triangle: [2; 1 1; 0 0 0]; ...

Peter Luschny, Table of n, a(n) for n = 0..10000 (first 105 terms by Henry Bottomley).

Together with A056558 and A056560 might enable reading "by antidiagonals" of cube arrays as 3-dimensional analog of A002262 and A025581 with square arrays.

Bisection (y-coordinates) of A332662.

function a_list(N)
    a = Int[]
    for n in 1:N
        for j in ((k:-1:1) for k in 1:n)
            t = n - j[1]
            for m in j
                push!(a, t)
end end end; a end
A = a_list(10) # Peter Luschny, Feb 19 2020

from math import isqrt, comb
from sympy import integer_nthroot
def A056559(n): return (m:=integer_nthroot(6*(n+1),3)[0])-(a:=nChai Wah Wu, Dec 11 2024

a(n) = A056556(n) - A056557(n).

A127325 Hypertetrahedron with T(W,X,Y,Z) = Y - Z.

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 2, 1, 0, 0, 0, 1, 0, 0, 1, 0, 2, 1, 0, 0, 1, 0, 2, 1, 0, 3, 2, 1, 0, 0, 0, 1, 0, 0, 1, 0, 2, 1, 0, 0, 1, 0, 2, 1, 0, 3, 2, 1, 0, 0, 1, 0, 2, 1, 0, 3, 2, 1, 0, 4, 3, 2, 1, 0, 0, 0, 1, 0, 0, 1, 0, 2, 1, 0, 0, 1, 0, 2, 1, 0, 3, 2, 1, 0, 0, 1, 0, 2, 1, 0, 3, 2, 1, 0, 4, 3, 2, 1, 0

Offset: 0

Graeme McRae, Jan 10 2007

nonn

Together with A127324, A127326 and A127327 might enable reading "by antidiagonals" of hypercube arrays as 4-dimensional analog of A056558, A056560 and A056559 with cubical arrays.

			a(23)=1 because A127323(23) - A127324(23) = 1.
See A127327 for a table of A127324, A127325, A127326, A127327.

Cf. A127321, A127322, A127323, A127324, A127326, A127327.

Cf. A056558, A056560, A056559.

a(n) = A127323(n) - A127324(n).

A127326 Hypertetrahedron with T(W,X,Y,Z) = X - Y.

Original entry on oeis.org

0, 0, 1, 0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 3, 2, 2, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 3, 2, 2, 1, 1, 1, 0, 0, 0, 0, 4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 3, 2, 2, 1, 1, 1, 0, 0, 0, 0, 4, 3, 3, 2, 2, 2, 1, 1, 1, 1, 0, 0, 0, 0, 0

Offset: 0

Graeme McRae, Jan 10 2007

nonn

Together with A127324, A127325 and A127327 might enable reading "by antidiagonals" of hypercube arrays as 4-dimensional analog of A056558, A056560 and A056559 with cubical arrays.

			a(23)=0 because A127322(23) - A127323(23) = 0.
See A127327 for a table of A127324, A127325, A127326, A127327.

Cf. A127322, A127323, A127324, A127325, A127327.

Cf. A056558, A056560, A056559.

a(n) = A127322(n) - A127323(n).

A127327 Hypertetrahedron with T(W,X,Y,Z) = W - X.

Original entry on oeis.org

0, 1, 0, 0, 0, 2, 1, 1, 1, 0, 0, 0, 0, 0, 0, 3, 2, 2, 2, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 3, 3, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 4, 4, 4, 3, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 0

Graeme McRae, Jan 10 2007

nonn

Together with A127324, A127325 and A127326 might enable reading "by antidiagonals" of hypercube arrays as 4-dimensional analog of A056558, A056560 and A056559 with cubical arrays.

			a(23)=1 because A127321(23) - A127322(23) = 1.
Table of A127324, A127325, A127326, A127327:
   n w,x,y,z
   0 0,0,0,0
   1 0,0,0,1
   2 0,0,1,0
   3 0,1,0,0
   4 1,0,0,0
   5 0,0,0,2
   6 0,0,1,1
   7 0,1,0,1
   8 1,0,0,1
   9 0,0,2,0
  10 0,1,1,0
  11 1,0,1,0
  12 0,2,0,0
  13 1,1,0,0
  14 2,0,0,0
  15 0,0,0,3
  16 0,0,1,2
  17 0,1,0,2
  18 1,0,0,2
  19 0,0,2,1
  20 0,1,1,1
  21 1,0,1,1
  22 0,2,0,1
  23 1,1,0,1

Cf. A127321, A127322, A127323, A127324, A127325, A127326.

Cf. A056558, A056560, A056559.

a(n) = A127321(n) - A127322(n).

A309362 Positions of 0's in A326764 (interpreted as a flat sequence).

Original entry on oeis.org

0, 11, 15, 17, 37, 45, 54, 59, 70, 79, 124, 129, 135, 161, 171, 192, 195, 202, 213, 252, 272, 299, 306, 307, 358, 372, 410, 422, 477, 486, 498, 506, 530, 571, 586, 644, 655, 736, 749, 760, 794, 828, 845, 890, 905, 939, 985, 994, 1087, 1101, 1113, 1168, 1189

Offset: 0

Rémy Sigrist, Jul 25 2019

nonn

Rémy Sigrist, Table of n, a(n) for n = 0..9964
Rémy Sigrist, PARI program for A309362

Cf. A056558, A056559, A056560, A326757, A326758, A326759, A326764.

PARI
```
See Links section.
```

A326757(n) = A056558(a(n)).
A326758(n) = A056560(a(n)).
A326759(n) = A056559(a(n)).

cp's OEIS Frontend

A127560 Number of fixed r-celled polyominoes with smallest containing rectangle measuring k by m, read in order r=A056556(n)+1, k=A056560(n)+1, m=A056558(n)+1.

Views

Author

Keywords

Comments

Examples

Crossrefs

A056558 Third tetrahedral coordinate, i.e., tetrahedron with T(t,n,k)=k; succession of growing finite triangles with increasing values towards bottom right.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

A056556 First tetrahedral coordinate; repeat m (m+1)*(m+2)/2 times.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

PARI

Python

Formula

Extensions

A056557 Second tetrahedral coordinate.

Views

Author

Keywords

Comments

Crossrefs

Programs

Python

Formula

A056559 Tetrahedron with T(t,n,k) = t - n; succession of growing finite triangles with declining values per row.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Julia

Python

Formula

A127325 Hypertetrahedron with T(W,X,Y,Z) = Y - Z.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A127326 Hypertetrahedron with T(W,X,Y,Z) = X - Y.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A127327 Hypertetrahedron with T(W,X,Y,Z) = W - X.

Views

Author

Keywords

Comments

Examples

Crossrefs