409541017600
domain: N
Appears in sequences
- Maximum number of pairwise incomparable subcubes of the discrete n-cube. Largest antichain in partial ordering {0,1,*}^n where 0 and 1 are less than *. Maximum number of implicants in an irredundant disjunctive normal form for n Boolean variables.at n=26A109388
- a(n) = binomial(n+8,8) * 2^n.at n=18A140325
- a(n) = binomial(n+9,9)*2^n.at n=17A140354