A Note On The Cross-Sperner Families

Abstract: Let

(m a t h c a l F, m a t h c a l G)

be a pair of families of

[n]

, where

[n] = 1, 2, ..., n

. If

A o t s u b s e t B

and

B o t s u b s e t A

hold for all

A i n m a t h c a l F

and

B i n m a t h c a l G

, then

(m a t h c a l F, m a t h c a l G)

is called a Cross-Sperner pair. P. Frankl and Jian Wang introduced the extremal problem that

-

, where

m a t h c a l I (m a t h c a l F, m a t h c a l G) = A c a p B : A i n m a t h c a l F, B i n m a t h c a l G

. In this note, we prove that

m (n) = 2^{n} - 2^{l f l o o r f r a c n 2 f l o o r} - 2^{l c e i l f r a c n 2 c e i l} + 1

for all

n > 1

. This solves an open problem proposed by P. Frankl and Jian Wang.

This page was built for publication: A Note On The Cross-Sperner Families