12 2022 档案
摘要:逻辑与证明 命题逻辑 proposition 命题 negation 否定 Conjunction 合取 Disjunction 析取(inclusive or) Implication 蕴涵,条件 Biconditional 等价 contrapositive 逆否 inverse 反 conve
阅读全文
摘要:Types of Graph Adjacency List Isomorphism path 平面图
阅读全文
摘要:原本觉得搞OI的时候组合计数还不算太弱,但现在已经完全不会了,,稍微补救一下 卡特兰数 组合意义 n个节点二叉树的形态个数(还有很多其他的形式) (今天数据结构课上老师问了这个问题,然后我解了个生成函数发现不会化开根号,也忘记这是卡特兰数了) 计算 通过递推式可以列出生成函数,然后解一个二次方程,用
阅读全文
摘要:题目链接 设f[i]表示还有i个数不在集合内的期望步数,尝试列一下转移式,会发现式子由转移到下一轮的期望步数和之后的DP值组成,考虑DP的转移过程,就会发现答案为转移到下一轮的期望步数期望的轮数(即把前者设为1之后的DP值)。 前者是易求的,考虑后者,如果直接考虑一轮第一次遇到0时
阅读全文