A009998 -id:A009998 - cp's OEIS frontend

A046688 Antidiagonals of square array in which k-th row (k>0) is an arithmetic progression of difference 2^(k-1).

1, 1, 1, 1, 2, 1, 1, 3, 3, 1, 1, 4, 5, 5, 1, 1, 5, 7, 9, 9, 1, 1, 6, 9, 13, 17, 17, 1, 1, 7, 11, 17, 25, 33, 33, 1, 1, 8, 13, 21, 33, 49, 65, 65, 1, 1, 9, 15, 25, 41, 65, 97, 129, 129, 1, 1, 10, 17, 29, 49, 81, 129, 193, 257, 257, 1, 1, 11, 19, 33, 57, 97, 161, 257, 385, 513, 513, 1

Offset: 0

N. J. A. Sloane

			From _Gus Wiseman_, May 08 2021: (Start):
Array A(m,n) = 1 + n*2^(m-1) begins:
       n=0: n=1: n=2: n=3: n=4: n=5: n=6: n=7: n=8: n=9:
  m=0:   1    1    1    1    1    1    1    1    1    1
  m=1:   1    2    3    5    9   17   33   65  129  257
  m=2:   1    3    5    9   17   33   65  129  257  513
  m=3:   1    4    7   13   25   49   97  193  385  769
  m=4:   1    5    9   17   33   65  129  257  513 1025
  m=5:   1    6   11   21   41   81  161  321  641 1281
  m=6:   1    7   13   25   49   97  193  385  769 1537
  m=7:   1    8   15   29   57  113  225  449  897 1793
  m=8:   1    9   17   33   65  129  257  513 1025 2049
  m=9:   1   10   19   37   73  145  289  577 1153 2305
Triangle T(n,k) = 1 + (n-k)*2^(k-1) begins:
   1
   1   1
   1   2   1
   1   3   3   1
   1   4   5   5   1
   1   5   7   9   9   1
   1   6   9  13  17  17   1
   1   7  11  17  25  33  33   1
   1   8  13  21  33  49  65  65   1
   1   9  15  25  41  65  97 129 129   1
   1  10  17  29  49  81 129 193 257 257   1
   1  11  19  33  57  97 161 257 385 513 513   1
(End)

G. H. Hardy, A Theorem Concerning the Infinite Cardinal Numbers, Quart. J. Math., 35 (1904), p. 90 = Collected Papers, Vol. VII, p. 430.

Andrew Howroyd, Table of n, a(n) for n = 0..1325

Row sums are A000079.
Diagonal n = m + 1 of the array is A002064.
Diagonal n = m of the array is A005183.
Column m = 1 of the array is A094373.
Diagonal n = m - 1 of the array is A131056.
A002109 gives hyperfactorials (sigma: A260146, omega: A303281).
A009998(k,n) = n^k.
A009999(n,k) = n^k.
A057156 = (2^n)^(2^n).
A062319 counts divisors of n^n.
Cf. A000169, A000272, A000312, A036289, A343656, A343658.

Table[If[k==0,1,n*2^(k-1)+1],{n,0,9},{k,0,9}] (* ARRAY, Gus Wiseman, May 08 2021 *)
Table[If[k==0,1,1+(n-k)*2^(k-1)],{n,0,10},{k,0,n}] (* TRIANGLE, Gus Wiseman, May 08 2021 *)

A(m,n)={if(m>0, 1+n*2^(m-1), 1)}
{ for(m=0, 10, for(n=0, 10, print1(A(m,n), ", ")); print) } \\ Andrew Howroyd, Mar 07 2020

A(m,n) = 1 + n*2^(m-1) for m > 1. - Andrew Howroyd, Mar 07 2020

As a triangle, T(n,k) = A(k,n-k) = 1 + (n-k)*2^(k-1). - Gus Wiseman, May 08 2021

More terms from Larry Reeves (larryr(AT)acm.org), Apr 06 2000

A076014 Triangle in which m-th entry of n-th row is m^(n-1).

Original entry on oeis.org

1, 1, 2, 1, 4, 9, 1, 8, 27, 64, 1, 16, 81, 256, 625, 1, 32, 243, 1024, 3125, 7776, 1, 64, 729, 4096, 15625, 46656, 117649, 1, 128, 2187, 16384, 78125, 279936, 823543, 2097152, 1, 256, 6561, 65536, 390625, 1679616, 5764801, 16777216, 43046721

Offset: 1

Wolfdieter Lang, Oct 02 2002

This becomes triangle A009998(n-1, m-1), n >= m >= 1, if the m-th column entries are divided by m^(m-1).
Row sums give A076015. The m-th column (without leading zeros) gives (m^(m-1)) powers of m, m >= 1.
T(n,m) is the number of functions f:[n-1]->[(n-1)m] such that f(x)=k*x for some positive integer k <= m. Since there exactly m choices for each of the (n-1) images under f, we obtain T(n,m) = m^(n-1). - Dennis P. Walsh, Feb 27 2013
T(n+1,m+1) = (m+1)^n is the number of partial functions from an n-element set to an m-element set, n >= m >= 0. - Mohammad K. Azarian, Jun 28 2021

			For example, T(3,2)=4 since there are exactly 4 functions f from {1,2} to {1,2,3,4} that satisfy f(x)=x or f(x)=2x. If we specify each function by the ordered pair (f(1),f(2)), the four functions are (1,2), (1,4), (2,2), and (2,4). - _Dennis P. Walsh_, Feb 27 2013
Triangle begins:
  1;
  1,   2;
  1,   4,    9;
  1,   8,   27,    64;
  1,  16,   81,   256,   625;
  1,  32,  243,  1024,  3125,   7776;
  1,  64,  729,  4096, 15625,  46656, 117649;
  1, 128, 2187, 16384, 78125, 279936, 823543, 2097152;
  ...

Mohammad K. Azarian, Remarks and Conjectures Regarding Combinatorics of Discrete Partial Functions, Int'l Math. Forum (2022) Vol. 17, No. 3, 129-141. See Theorem 2.5, p. 132.

Cf. A009998, A008279, A008277 (Stirling2).

Cf. A089072.

seq(seq(m^(n-1),m=1..n),n=1..20); # Dennis P. Walsh, Feb 27 2013

Table[m^(n-1),{n,10},{m,n}]//Flatten (* Harvey P. Dale, May 27 2017 *)

T(n, m) = m^(n-1), n >= m >= 1, otherwise 0.
G.f. for m-th column: (m^(m-1))(x^m)/(1-m*x), m >= 1.
a(n,m) = Sum_{p=1..m} Stirling2(n,p)*A008279(m-1, p-1), n >= m >= 1, otherwise 0.

A329940 Square array read by antidiagonals upwards: T(n,k) is the number of right unique relations between set A with n elements and set B with k elements.

Original entry on oeis.org

1, 3, 2, 7, 8, 3, 15, 26, 15, 4, 31, 80, 63, 24, 5, 63, 242, 255, 124, 35, 6, 127, 728, 1023, 624, 215, 48, 7, 255, 2186, 4095, 3124, 1295, 342, 63, 8, 511, 6560, 16383, 15624, 7775, 2400, 511, 80, 9, 1023, 19682, 65535, 78124, 46655, 16806, 4095, 728, 99, 10

Offset: 1

Roy S. Freedman, Nov 24 2019

A relation R between set A with n elements and set B with k elements is a subset of the Cartesian product A x B. A relation R is right unique if (a, b1) in R and (a,b2) in R implies b1=b2. T(n,k) is the number of right unique relations and T(k,n) is the number of left unique relations: relation R is left unique if (a1,b) in R and (a2,b) in R implies a1=a2.

			T(n,k) begins:
    1,    2,     3,      4,       5,       6,        7,        8, ...
    3,    8,    15,     24,      35,      48,       63,       80, ...
    7,   26,    63,    124,     215,     342,      511,      728, ...
   15,   80,   255,    624,    1295,    2400,     4095,     6560, ...
   31,  242,  1023,   3124,    7775,   16806,    32767,    59048, ...
   63,  728,  4095,  15624,   46655,  117648,   262143,   531440, ...
  127, 2186, 16383,  78124,  279935,  823542,  2097151,  4782968, ...
  255, 6560, 65535, 390624, 1679615, 5764800, 16777215, 43046720, ...

Roy S. Freedman, Some New Results on Binary Relations, arXiv:1501.01914 [cs.DM], 2015.

Cf. A037205 (main diagonal).

Cf. A003992, A004248, A009998, A009999, A051128, A051129, A095884.

T:= (n, k)-> (k+1)^n-1:
seq(seq(T(1+d-k, k), k=1..d), d=1..12);

T[n_, k_] := (k + 1)^n - 1; Table[T[n - k + 1, k], {n, 1, 10}, {k, 1, n}] // Flatten (* Amiram Eldar, Nov 25 2019 *)

MuPAD
```
T:=(n,k)->(k+1)^n-1:
```

T(n,k) = (k+1)^n - 1.

A343936 Number of ways to choose a multiset of n divisors of n - 1.

Original entry on oeis.org

1, 2, 3, 10, 5, 56, 7, 120, 45, 220, 11, 4368, 13, 560, 680, 3876, 17, 26334, 19, 42504, 1771, 2024, 23, 2035800, 325, 3276, 3654, 201376, 29, 8347680, 31, 376992, 6545, 7140, 7770, 145008513, 37, 9880, 10660, 53524680, 41, 73629072, 43, 1712304, 1906884

Offset: 1

Gus Wiseman, May 05 2021

nonn

			The a(1) = 1 through a(5) = 5 multisets:
  {}  {1}  {1,1}  {1,1,1}  {1,1,1,1}
      {2}  {1,3}  {1,1,2}  {1,1,1,5}
           {3,3}  {1,1,4}  {1,1,5,5}
                  {1,2,2}  {1,5,5,5}
                  {1,2,4}  {5,5,5,5}
                  {1,4,4}
                  {2,2,2}
                  {2,2,4}
                  {2,4,4}
                  {4,4,4}
The a(6) = 56 multisets:
  11111  11136  11333  12236  13366  22266  23666
  11112  11166  11336  12266  13666  22333  26666
  11113  11222  11366  12333  16666  22336  33333
  11116  11223  11666  12336  22222  22366  33336
  11122  11226  12222  12366  22223  22666  33366
  11123  11233  12223  12666  22226  23333  33666
  11126  11236  12226  13333  22233  23336  36666
  11133  11266  12233  13336  22236  23366  66666

The version for chains of divisors is A163767.
Diagonal n = k + 1 of A343658.
Choosing n divisors of n gives A343935.
A000005 counts divisors.
A000312 = n^n.
A007318 counts k-sets of elements of {1..n}.
A009998 = n^k (as an array, offset 1).
A059481 counts k-multisets of elements of {1..n}.
A146291 counts divisors of n with k prime factors (with multiplicity).
A253249 counts nonempty chains of divisors of n.
Strict chains of divisors:
- A067824 counts strict chains of divisors starting with n.
- A074206 counts strict chains of divisors from n to 1.
- A251683 counts strict length k + 1 chains of divisors from n to 1.
- A334996 counts strict length-k chains of divisors from n to 1.
- A337255 counts strict length-k chains of divisors starting with n.
- A337256 counts strict chains of divisors of n.
- A343662 counts strict length-k chains of divisors.
Cf. A062319, A143773, A163767, A176029, A327527, A334997, A343656, A343661.

multchoo[n_,k_]:=Binomial[n+k-1,k];
Table[multchoo[DivisorSigma[0,n],n-1],{n,50}]

a(n) = ((sigma(n - 1), n)) = binomial(sigma(n - 1) + n - 1, n) where sigma = A000005 and binomial = A007318.

cp's OEIS Frontend

A046688 Antidiagonals of square array in which k-th row (k>0) is an arithmetic progression of difference 2^(k-1).

Views

Author

Keywords

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A076014 Triangle in which m-th entry of n-th row is m^(n-1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A329940 Square array read by antidiagonals upwards: T(n,k) is the number of right unique relations between set A with n elements and set B with k elements.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

MuPAD

Formula

A343936 Number of ways to choose a multiset of n divisors of n - 1.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Formula