摘要： 额，最近看到了一个十分有趣的定理——Sperner定理。其实这个定理在OI中没什么用处，因此我都没把这篇文章放到我的OI标签里(不知道在MO中是否有用？)但是觉得它很有趣于是就过来写一下。 由于博主太弱不会用LaTeX写取整符号，本文中用$[x]$表示$x$下取整。 问题 : 有一个$n$元集合$S 阅读全文