主要公开日志

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

• 2024年2月29日 (四) 14:45 Gsxab 留言 贡献创建了页面Erdős–Szekeres 定理 （创建页面，内容为“分类:序理论 分类:极值集合论 {{InfoBox |name=Erdős–Szekeres 定理 |eng_name=Erdős–Szekeres theorem }} '''Erdős–Szekeres 定理'''('''Erdős–Szekeres theorem''')是关于偏序集中给定长度链或反链至少存在一个，或者全序集给定长度的单调上升或下降链至少存在一个的定理。 == 定理 == 对偏序集 <math>(S,\preceq)</math> ，若有 <math>\operatorname{card} S = mn + 1</ma…”）