crasysky

摘要： 《computational complexity》作为理论计算的基础，对我这种初学者来说，值得精读并做一些笔记。笔记主要用于整理和记录自己的理解。 #the computational model 最初的目标是构造一个计算的模型。这个模型可以看作一个集合，这个集合中的每个元素相当于某一个具体问题的 阅读全文

摘要： CF1713F 利用lucas定理，$b_S$表示下标$T$与$S$无交的$a_T$的异或，由于部分$b_S$未知，不能直接iFWT。回顾容斥：$[S=\emptyset]=\sum_{T\subseteq S}(-1)^|T|$，$[n=0]=\sum_{i=0}^{n}C(n,i)(-1)^i$ 阅读全文

摘要： 这次读《算法导论》的重点主要在算法的理论分析上，这一点是原先信息学竞赛部分缺失的。 习题答案：https://walkccc.me/CLRS/ #函数的增长 $\Theta$记号 $f(n)=\Theta(g(n))$当且仅当存在$c_1>0$，$c_2>0$和$n_0$满足对任意$n\ge n_0 阅读全文

摘要： 对于我，阅读这本书的重点不在于某些定理的实用或证明的巧妙，而在于构建一个严谨的体系，来定义概念、证明结论 #数理逻辑基础 ###命题 命题通过关系、性质描述，可以利用表达式和词汇。 利用逻辑连接词构造复合命题：合取，析取，否定，当且仅当 ###蕴含关系 若$X$则$Y$。 称为$X$到$Y$的蕴含关 阅读全文