cp's OEIS Frontend

A182162 Triangle read by rows: number of extensional acyclic digraphs on n labeled nodes with k sources.

%I A182162 #25 Apr 12 2023 09:00:16
%S A182162 1,2,12,192,24,8160,2400,898560,384480,14400,245145600,126040320,
%T A182162 9777600,50400,159035627520,90043269120,9660672000,179222400,80640,
%U A182162 237882053283840,141969202744320,17961178152960,547498828800,2586608640,802369403419852800
%N A182162 Triangle read by rows: number of extensional acyclic digraphs on n labeled nodes with k sources.
%H A182162 S. Wagner, <a href="http://math.sun.ac.za/swagner/DigraphsFull.pdf">Asymptotic enumeration of extensional acyclic digraphs</a>, in Proceedings of the SIAM Meeting on Analytic Algorithmics and Combinatorics (ANALCO12).
%e A182162 Triangle begins:
%e A182162           1;
%e A182162           2;
%e A182162          12;
%e A182162         192,        24;
%e A182162        8160,      2400;
%e A182162      898560,    384480,   14400;
%e A182162   245145600, 126040320, 9777600, 50400;
%e A182162   ...
%p A182162 A001192 := proc(n) option remember: if(n=0)then return 1: fi: return add((-1)^(n-k-1)*binomial(2^k-k,n-k)*procname(k), k=0..n-1); end: A182162 := proc(n,l) local vl: vl := add((-1)^(k-l)*binomial(n,k)*binomial(k,l)*binomial(2^(n-k)-n+k,k)*k!*(n-k)!*A001192(n-k), k=l..n): if(vl = 0)then return NULL: fi: return vl: end: for n from 1 to 10 do seq(A182162(n,l), l=1..n); od; # _Nathaniel Johnston_, Apr 18 2012
%t A182162 A001192[n_] := A001192[n] = If[n == 0, 1, Sum[(-1)^(n - k - 1)*Binomial[2^k - k, n - k]*A001192[k], {k, 0, n - 1}]];
%t A182162 A182162[n_, l_] := Module[{vl}, vl = Sum[(-1)^(k - l)* Binomial[n, k]*Binomial[k, l]*Binomial[2^(n - k) - n + k, k]*k!*(n - k)!*A001192[n - k], {k, l, n}]; If[vl == 0, Nothing, vl]];
%t A182162 Table[A182162[n, l], {n, 1, 10}, {l, 1, n}] // Flatten (* _Jean-François Alcover_, Mar 09 2023, after _Nathaniel Johnston_ *)
%Y A182162 Row sums give A182161. First column is A182163. Row lengths are A182220.
%K A182162 nonn,tabf
%O A182162 1,2
%A A182162 _N. J. A. Sloane_, Apr 15 2012
%E A182162 a(15)-a(25) from _Nathaniel Johnston_, Apr 18 2012