主要公开日志

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

• 2024年3月2日 (六) 12:26 Gsxab 留言 贡献创建了页面相交 Sperner 系 （创建页面，内容为“分类:序理论 分类:极值集合论 {{InfoBox |name=相交Sperner系 |eng_name=intercescting Sperner family }} '''相交 Sperner 系'''('''intersecting Sperner family''')指集合的两两相交且互不包含的子集。 == 定理 == 对集合的子集族，若集族内每个集合大小都为 <math>k</math> ，且每两个集合都互不包含且相交，称为一个'''相交 Sperner 系'''。 对一个大小为 <math>n</math> 的集合，…”）