login
T(n,e) is the number of unlabeled posets of n>=0 points with e>=0 arcs in the Hasse diagram, irregular triangle read by rows.
7

%I #36 Oct 19 2024 21:26:47

%S 1,1,1,1,1,1,3,1,1,4,8,2,1,1,4,11,29,12,5,1,1,4,12,43,105,92,45,12,3,

%T 1,1,4,12,46,156,460,582,487,204,71,14,7,1,1,4,12,47,170,670,2097,

%U 3822,4514,3271,1579,561,186,44,16,4,1,1,4,12,47,173,731,2954,10513,24584,40182

%N T(n,e) is the number of unlabeled posets of n>=0 points with e>=0 arcs in the Hasse diagram, irregular triangle read by rows.

%C Maximal e for a given n (i.e., the length of the n-th row minus 1) is A002620(n), see Mathematics StackExchange. - _Andrey Zabolotskiy_, Mar 12 2021

%H R. J. Mathar, <a href="/A342447/b342447.txt">Table of T(n,e) for n<=10</a>

%H Brendan McKay, <a href="http://users.cecs.anu.edu.au/~bdm/data/digraphs.html">Digraphs</a>, posets tables at the bottom of the page.

%H R. J. Mathar, <a href="/A342447/a342447.pdf">Poset Illustrations</a>

%H Mathematics StackExchange, <a href="https://math.stackexchange.com/questions/4190312">Maximum number of comparisons required to define a partial ordering</a>, 2021.

%F T(n,0) = T(n,1) = 1.

%F T(n,e) = A022016(e) for n >= 2e.

%e The table starts

%e 1 ;

%e 1 ;

%e 1 1 ;

%e 1 1 3 ;

%e 1 1 4 8 2 ;

%e 1 1 4 11 29 12 5 ;

%e 1 1 4 12 43 105 92 45 12 3 ;

%e 1 1 4 12 46 156 460 582 487 204 71 14 7 ;

%e 1 1 4 12 47 170 670 2097 3822 4514 3271 1579 561 186 44 16 4 ;

%e ...

%e T(4,0) = 1: the 4-point poset with no relations, 4 isolated points in the Hasse diagram.

%e T(4,1) = 1: the 4-point poset with one relation, the Hasse diagram has one vertical line and 2 isolated points.

%e T(4,2) = 4: the 4 posets contributing to A022016(4) = 4, extended by additional isolated point when the number of points is less than 4.

%e T(4,3) = 8: the 8 posets contributing to A022017(3).

%e T(4,4) = 2: the "dagaz rune" poset {1<3, 2<3, 1<4, 2<4}

%e o o

%e |X|

%e o o

%e and the "diamond" poset {1<2, 1<3, 2<4, 3<4}

%e o

%e / \

%e o o

%e \ /

%e o

%Y Cf. A000112 (row sums), A263864, A022016 (convergents down rows), A002620, A342472 (lower bound row length), A342590 (connected), A342589 (labeled), A376633 (self-dual).

%K nonn,tabf,hard

%O 0,7

%A _R. J. Mathar_, Mar 12 2021

%E T(0,0) = 1 prepended and "conjecture" removed from A022016 formula. _Andrey Zabolotskiy_, Mar 12 2021