login
Number of permutations of (1,...,n) having n-7 inversions (n>=7).
(Formerly M4414)
5

%I M4414 #28 Jun 29 2017 19:28:46

%S 1,7,35,155,649,2640,10569,41926,165425,650658,2554607,10020277,

%T 39287173,154022930,603919164,2368601685,9293159292,36476745510,

%U 143239635450,562744102479,2211876507387,8697839966552,34218338900591

%N Number of permutations of (1,...,n) having n-7 inversions (n>=7).

%C Sequence is a diagonal of the triangle A008302 (number of permutations of (1,...,n) with k inversions; see Table 1 of the Margolius reference). - _Emeric Deutsch_, Aug 02 2014

%D S. R. Finch, Mathematical Constants, Cambridge, 2003, Section 5.14., p.356.

%D R. K. Guy, personal communication.

%D E. Netto, Lehrbuch der Combinatorik. 2nd ed., Teubner, Leipzig, 1927, p. 96.

%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

%H G. C. Greubel, <a href="/A005285/b005285.txt">Table of n, a(n) for n = 7..1000</a>

%H R. K. Guy, <a href="/A000707/a000707_2.pdf">Letter to N. J. A. Sloane with attachment, Mar 1988</a>

%H B. H. Margolius, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL4/MARGOLIUS/inversions.html">Permutations with inversions</a>, J. Integ. Seqs. Vol. 4 (2001), #01.2.4.

%H R. H. Moritz and R. C. Williams, <a href="http://www.jstor.org/stable/2690326">A coin-tossing problem and some related combinatorics</a>, Math. Mag., 61 (1988), 24-29.

%F a(n) = 2^(2*n-8)/sqrt(Pi*n)*Q*(1+O(n^{-1})), where Q is a digital search tree constant, Q = 0.2887880951... (see A048651). - corrected by _Vaclav Kotesovec_, Mar 16 2014

%e a(8)=7 because we have 21345678, 13245678, 12435678, 12354678, 12346578, 12345768, and 12345687.

%p g := proc(n,k) option remember; if k=0 then return(1) else if (n=1 and k=1) then return(0) else if (k<0 or k>binomial(n,2)) then return(0) else g(n-1,k)+g(n,k-1)-g(n-1,k-n) end if end if end if end proc; seq(g(j+7,j),j=0..30); # Barbara Haas Margolius, May 31 2001

%t Table[SeriesCoefficient[Product[(1-x^j)/(1-x),{j,1,n}],{x,0,n-7}],{n,7,25}] (* _Vaclav Kotesovec_, Mar 16 2014 *)

%Y Cf. A008302, A000707, A001892, A001893, A001894, A005283, A005284, A048651.

%K nonn

%O 7,2

%A _N. J. A. Sloane_

%E More terms, asymptotic formula from Barbara Haas Margolius (margolius(AT)math.csuohio.edu), May 31 2001

%E Definition clarified by _Emeric Deutsch_, Aug 02 2014