12 2022 档案
摘要:多步容斥是“至少或至多选若干个”到“恰好选若干个”的变换。而二项式反演是“钦定选若干个”到“恰好选若干个”的变换。二项式反演虽然形式上和多步容斥极为相似,但它们并不等价,只是习惯上很多人把他们都称之为多步容斥。
阅读全文
摘要:请证明,平面上不存在 个点,使得任意两个点之间的距离均为奇整数。
阅读全文
摘要:在集合理论和有理数理论的基础上,我们可以开始构建实数理论。下面将要介绍的是实数系 的一种(通过有理数系 出发的)构造方法,是由戴德金于 1872 年提出。这种方法以戴德金分割而著称。除此之外,实数系还可以使用柯西序列的形式极限或者十进制下的小数表示来构造。
阅读全文