A306524 -id:A306524 - cp's OEIS frontend

A306506 Number T(n,k) of permutations p of [n] having at least one index i with |p(i)-i| = k; triangle T(n,k), n>=1, 0<=k<=n-1, read by rows.

1, 1, 1, 4, 4, 3, 15, 19, 15, 10, 76, 99, 86, 67, 42, 455, 603, 544, 455, 358, 216, 3186, 4248, 3934, 3486, 2921, 2250, 1320, 25487, 34115, 32079, 29296, 25487, 21514, 16296, 9360, 229384, 307875, 292509, 272064, 245806, 214551, 179058, 133800, 75600

Offset: 1

Alois P. Heinz, Feb 20 2019

T(n,k) is defined for n,k>=0. The triangle contains only the terms with k=n.

			The 6 permutations p of [3]: 123, 132, 213, 231, 312, 321 have absolute displacement sets {|p(i)-i|, i=1..3}: {0}, {0,1}, {0,1}, {1,2}, {1,2}, {0,2}, respectively. Number 0 occurs four times, 1 occurs four times, and 2 occurs thrice. So row n=3 is [4, 4, 3].
Triangle T(n,k) begins:
      1;
      1,     1;
      4,     4,     3;
     15,    19,    15,    10;
     76,    99,    86,    67,    42;
    455,   603,   544,   455,   358,   216;
   3186,  4248,  3934,  3486,  2921,  2250,  1320;
  25487, 34115, 32079, 29296, 25487, 21514, 16296, 9360;
  ...

Alois P. Heinz, Rows n = 1..35, flattened
Wikipedia, Permutation

Columns k=0-3 give: A002467, A306511, A306524, A324366.
T(n+2,n+1) gives A007680 (for n>=0).
T(2n,n) gives A306675.
Cf. A000142, A010050, A306461, A306512, A306535.

b:= proc(s, d) option remember; (n-> `if`(n=0, add(x^j, j=d),
      add(b(s minus {i}, d union {abs(n-i)}), i=s)))(nops(s))
    end:
T:= n-> (p-> seq(coeff(p, x, i), i=0..n-1))(b({$1..n}, {})):
seq(T(n), n=1..9);
# second Maple program:
T:= proc(n, k) option remember; n!-LinearAlgebra[Permanent](
      Matrix(n, (i, j)-> `if`(abs(i-j)=k, 0, 1)))
    end:
seq(seq(T(n, k), k=0..n-1), n=1..9);

T[n_, k_] := n!-Permanent[Table[If[Abs[i-j]==k, 0, 1], {i, 1, n}, {j, 1, n} ]];
Table[T[n, k], {n, 1, 9}, {k, 0, n-1}] // Flatten (* Jean-François Alcover, May 01 2019, from 2nd Maple program *)

T(n,k) = n! - A306512(n,k).

T(2n,n) = T(2n,0) = A002467(2n) = (2n)! - A306535(n).

A306523 Number of permutations p of [n] having no index i with |p(i)-i| = 2.

Original entry on oeis.org

1, 1, 2, 3, 9, 34, 176, 1106, 8241, 70371, 676098, 7204713, 84252233, 1072010712, 14738107136, 217656602456, 3435793029849, 57721548509705, 1028183730411650, 19354550056977555, 383876766917923073, 8001053425278668706, 174828593537337033648, 3996207024319062050994

Offset: 0

Alois P. Heinz, Feb 21 2019

nonn

			a(3) = 3: 123, 132, 213.
a(4) = 9: 1234, 1243, 1324, 2134, 2143, 2341, 4123, 4231, 4321.
a(5) = 34: 12345, 12354, 12435, 13245, 13254, 13452, 15234, 15342, 15432, 21345, 21354, 21435, 23415, 23451, 25314, 25341, 25431, 41235, 41352, 42315, 42351, 43215, 43251, 45231, 45312, 51234, 51342, 51432, 52314, 52341, 52431, 53214, 53241, 53412.

Alois P. Heinz, Table of n, a(n) for n = 0..450
Wikipedia, Permutation

Column k=2 of A306512.

Cf. A000142, A306524.

b[s_, k_] := b[s, k] = With[{n = Length[s]}, If[n == 0, 1, Sum[If[Abs[i-n] == k, 0, b[s~Complement~{i}, k]], {i, s}]]];
A[n_, k_] := If[k >= n, n!, b[Range[n], k]];
a[n_] := A[n, 2];
Table[Print[n, " ", a[n]]; a[n], {n, 0, 23}] (* Jean-François Alcover, Oct 31 2021, after Alois P. Heinz in A306512 *)

a(n) = n! - A306524(n).

cp's OEIS Frontend

A306506 Number T(n,k) of permutations p of [n] having at least one index i with |p(i)-i| = k; triangle T(n,k), n>=1, 0<=k<=n-1, read by rows.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula