The poset consists of four distinct sets such that , , and where is not necessarily a subset of . A family as a subposet of the -dimensional Boolean lattice, , is -free if it does not contain as a subposet. Let be the size of a largest -free family in . Katona and Tarj'{a}n proved that , where and is the size of a single-error-correcting code with constant weight . In this note, we prove for even and , $(n, ) \geq {n\choose k}+A(n, 4, k)(n, )$ in the second order term for some values of and should be an improvement for an infinite family of values of , depending on the behavior of the function .

生成讲解博客的中文版本

生成AI智能校验的中文版本