|
%I #17 Apr 16 2018 18:44:23
%S 1,1,1,1,6,5,41,36,365,329,3984,3655,51499,47844,769159,721315,
%T 13031514,12310199,246925295,234615096,5173842311,4939227215,
%U 118776068256,113836841041,2964697094281,2850860253240,79937923931761,77087063678521,2315462770608870,2238375706930349
%N Number of maximum matchings in the n-path complement graph.
%C Except for n=2, the number of edges in a maximum matching is floor(n/2). - _Andrew Howroyd_, Apr 15 2018
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/MaximalIndependentEdgeSet.html">Maximal Independent Edge Set</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PathComplementGraph.html">Path Complement Graph</a>
%F a(n) = Sum_{k=0..floor(n/2)} (-1)^k*binomial(n-k,k)*(2*(ceiling(n/2)-k)-1)!! for n > 2. - _Andrew Howroyd_, Apr 15 2018
%F a(n) = 2^-floor(n/2)*n!*hypergeometric1f1(-floor(n/2), -n, -2)/(floor(n/2))! for n > 2. - _Eric W. Weisstein_, Apr 16 2018
%t Join[{1, 1}, Table[(2^-Floor[n/2] n! Hypergeometric1F1[-Floor[n/2], -n, -2])/Floor[n/2]!, {n, 3, 30}]]
%o (PARI)
%o b(n)=(2*n)!/(2^n*n!);
%o a(n)=if(n==2, 1, sum(k=0, n\2, (-1)^k*binomial(n-k,k)*b((n+1)\2-k))); \\ _Andrew Howroyd_, Apr 15 2018
%Y Cf. A170941 (matchings), A302749 (maximal matchings).
%K nonn
%O 1,5
%A _Eric W. Weisstein_, Apr 12 2018
%E a(17)-a(30) from _Andrew Howroyd_, Apr 15 2018
|
