login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A067667 a(n) = (2^n)!/2^(2^n-1). 7
1, 1, 3, 315, 638512875, 122529844256906551386796875, 13757108753595648665519665029568345104465749222289382342659100341796875 (list; graph; refs; listen; history; text; internal format)
OFFSET
0,3
COMMENTS
a(n) is also the number of knockout tournament seedings with 2^n teams. - Alexander Karpov, Aug 09 2015
From Zhujun Zhang, Jun 17 2019: (Start)
a(n) is also the number of heap-ordered binomial trees of order n (i.e., binomial heaps with 2^n nodes), see the Mark R. Brown reference.
a(n) is also the largest odd divisor of (2^n)!. (End)
LINKS
Mark R. Brown, Implementation and analysis of binomial queue algorithms, SIAM Journal on Computing, 1978, 7(3):298-319.
Alexander Karpov, A theory of knockout tournament seedings, Heidelberg University, AWI Discussion Paper Series, No. 600.
Zhujun Zhang, A Note on Counting Binomial Heaps, ResearchGate, June 2019.
FORMULA
From Alexander Karpov, Aug 09 2015: (Start)
a(n) = (2^n)!/2^(2^n-1).
a(n) = (2^n-1)!!*a(n-1).
a(n) = binomial(2^n-1, 2^(n-1)-1)*(a(n-1))^2 = A069954(n-1) * (a(n-1))^2.
(End)
a(n) = A049606(2^n). - Zhujun Zhang, Jun 16 2019
a(n) = Product_{odd k < 2^n} k^(n - floor(log_2(k))). - Harry Richman, May 18 2023
MATHEMATICA
Table[(2^n)! / 2^(2^n - 1), {n, 6}] (* Vincenzo Librandi, Aug 10 2015 *)
PROG
(Magma) [Factorial(2^n)/2^(2^n-1): n in [1..6]]; // Vincenzo Librandi, Aug 10 2015
(PARI) a(n) = (2^n)!/2^(2^n-1) \\ Jianing Song, Jul 15 2021
CROSSREFS
Sequence in context: A034994 A139541 A168440 * A080976 A228192 A272318
KEYWORD
nonn
AUTHOR
Benoit Cloitre, Feb 04 2002
EXTENSIONS
a(0) prepended by Jianing Song, Jul 15 2021
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 12 16:52 EDT 2024. Contains 372492 sequences. (Running on oeis4.)