2017年2月14日

[TC SRM 697 div1 lev1] DivisibleSetDiv1

摘要: Tutorial:https://apps.topcoder.com/wiki/display/tc/SRM+697#DivisibleSetDiv1 Note:证明过程值得一看。 主要内容:寻找[x1,x2,...,xn]使得满足bi * xi >= S - xi,其中S = x1 + x2 + 阅读全文

posted @ 2017-02-14 21:13 ivancjw 阅读(162) 评论(0) 推荐(0) 编辑

n个labeled顶点k棵树森林计数

摘要: n个labeled顶点构成包含k棵rooted树的森林,不同森林的个数为: C(n - 1, k - 1) * n ^ (n - k) 若指定了k个不同的root,则森林计数为: k * n ^ (n - k - 1) 证明: http://www.stat.berkeley.edu/~pitman 阅读全文

posted @ 2017-02-14 17:12 ivancjw 阅读(445) 评论(0) 推荐(1) 编辑

逻辑等价式

摘要: 转载: http://star.aust.edu.cn/~xjfang/AiPrinciple/logical.html 逻辑等价式 常用逻辑蕴含式 阅读全文

posted @ 2017-02-14 12:43 ivancjw 阅读(4360) 评论(0) 推荐(0) 编辑

[LeetCode 493] Reverse Pairs

摘要: 这道题可以用D&C或者BST做。在contest上看到一种bit manip解法,记录一下。 基本思想: 将a按lowbit减,b按lowbit加。 1. 若a >= b,则必在某点相遇(包括自身),且仅相遇一次; 2. 若a < b,永不相遇。 复杂度: 1. 期望时间复杂度是O(n),但是由于常 阅读全文

posted @ 2017-02-14 12:34 ivancjw 阅读(960) 评论(0) 推荐(0) 编辑

导航