|
|
A083667
|
|
Number of antisymmetric binary relations on a set of n labeled points.
|
|
9
|
|
|
1, 2, 12, 216, 11664, 1889568, 918330048, 1338925209984, 5856458868470016, 76848453272063549952, 3025216211508053707410432, 357271984146678126737757198336, 126579320351263180234426948827254784
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
Hankel transform of aeration of A110520. - Paul Barry, Sep 15 2009
The number of infinite sets per level n in the Collatz Tree partitioning the inverse iterates of the number m, where the value n is given by the number of odds in sequences which converge to m in the 3x+1 Problem, and m is a positive odd integer, not divisible by 3, for which the 3x+1 Problem holds. We get the entire Collatz (3x+1) Tree for the case m = 1. Otherwise, we get a portion of the tree. We can think of the infinite sets as residue classes modulo powers of 3. In this way Wirsching gets an abstract description of the Collatz Tree along with its underlying combinatorial structure. See Corollary 3.2 in Wirsching's paper. - Jeffrey R. Goodwin, Jul 26 2011
Let T_n denote the n X n matrix with T_n(i,j) = 3^(min(i,j)-1); then a(n) = det(T_(n+1)). - Lechoslaw Ratajczak, May 11 2021
|
|
LINKS
|
Vincenzo Librandi, Table of n, a(n) for n = 0..50
Paul Barry and Aoife Hennessy, Generalized Narayana Polynomials, Riordan Arrays, and Lattice Paths, Journal of Integer Sequences, Vol. 15, 2012, #12.4.8.
Jeffrey R. Goodwin, The 3x+1 Problem and Integer Representations, arXiv:1504.03040 [math.NT], 2015.
G. Pfeiffer, Counting Transitive Relations, Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.2.
G. Wirsching, On the combinatorial structure of 3N+1 predecessor sets, Discrete Mathematics, Vol. 148 (1996), 265-286.
|
|
FORMULA
|
a(n) = 3*a(n-1)^2/a(n-2). - Michael Somos, Sep 16 2005
a(n) = 2^n * 3^((n*(n-1))/2).
2*Sum_{n>=2) 1/a(n) = 2*Sum_{n>=2} 2^(-n)*3^(-((n*(n-1))/2)) = Sum_{n>=1} 1/Product_{k=1..n} A008776(k) = Sum_{n>=1} 1/Product_{k=1..n} 2*3^k = 0.1760984543123346169209966002213.... - Alexander R. Povolotsky, Aug 08 2011
|
|
MAPLE
|
A083667:=n->2^n*3^((n^2-n)/2); seq(A083667(n), n=0..15); # Wesley Ivan Hurt, Nov 30 2013
|
|
MATHEMATICA
|
Table[2^n*3^((n^2-n)/2), {n, 0, 15}] (* Wesley Ivan Hurt, Nov 30 2013 *)
|
|
PROG
|
(GAP) a := n -> 2^n * 3^Binomial(n, 2);
(PARI) a(n)=2^n*3^((n^2-n)/2)
|
|
CROSSREFS
|
Cf. A083670.
Sequence in context: A182161 A165950 A208651 * A092124 A009525 A009683
Adjacent sequences: A083664 A083665 A083666 * A083668 A083669 A083670
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
Goetz Pfeiffer (Goetz.Pfeiffer(AT)nuigalway.ie), May 02 2003
|
|
EXTENSIONS
|
Name simplified by Franklin T. Adams-Watters, Aug 07 2011
|
|
STATUS
|
approved
|
|
|
|