主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2024年2月29日 (四) 15:37 Gsxab 留言 贡献创建了页面Sperner 定理 （创建页面，内容为“分类:序理论 分类:极值集合论 {{InfoBox |name=Sperner定理 |eng_name=Sperner's theorem |aliases=Sperner引理,Sperner's lemma }} {{InfoBox |name=Sperner系 |eng_name=Sperner family |aliases=antichain,clutter }} '''Sperner 定理'''('''Sperner's theorem''')指关于集合中互不包含子集的最大个数的定理。 == 定理 == 对集合的子集族，若集族内不存在真包含关系，称为一个'''Sperner 系'''('''Sperner fam…”）