A245633 Number of quenchable labeled spanning trees with n vertices.

1, 1, 2, 6, 28, 164, 1137, 8928, 76875, 710152

Offset

1,3

Comments

a(n) is the number of prime implicants in the monotone Boolean function on n(n-1)/2 variables that characterizes quenchable graphs of order n.

References

Quenchability will defined in an exercise of section 7.2.2.2 in The Art of Computer Programming, Volume 4B

Links

Table of n, a(n) for n=1..10.

Crossrefs

Sequence in context: A356633 A109570 A262002 * A345367 A156626 A207386

Adjacent sequences: A245630 A245631 A245632 * A245634 A245635 A245636

Keyword

nonn

Author

Don Knuth, Jul 27 2014

Status

approved