- 博客(4)
- 收藏
- 关注
原创 矩阵树定理的式子
对于无向简单图GGG定义其度数矩阵DDD,邻接矩阵AAA则其基尔霍夫矩阵C=D−AC=D-AC=D−A矩阵树定理:图GGG的生成树个数为∣C∗∣|C^*|∣C∗∣其中∣Q∣|Q|∣Q∣代表QQQ的行列式Q∗Q^*Q∗代表QQQ的伴随矩阵,即任选i,ji,ji,j,将Q(i,j)Q(i,j)Q(i,j)的值改为∣Q去掉第i行和第j列∣|Q_{去掉第i行和第j列}|∣Q去掉第i行和第j列∣...
2019-04-01 17:39:28 205
原创 __builtin函数总结
__builtin_clz(unsigned x); // count leading zeros__builtin_ctz(unsigned x); // count trailing zeros__builtin_popcount(unsigned x); // 1的个数// ffs, parity 感觉没啥用。前者返回ctz+1,后者返回popcount&1// 另...
2018-12-24 22:16:39 4089
原创 24种NOIp常用的算法
列的比较宽泛。但相信对不太知道该干啥的萌新有一定指导作用(想啥呢,教委这么搞下去学OI的人会少吧QAQ-------以下正文--------注意:推荐的题目不是模板题,模板题可以去luogu找。列出的是一些NOIp较难题,属于高级应用。1、模拟略。2、预处理很重要的技巧,但常被忽视。e.g.: 大部分题目。3、搜索暴搜是一种信仰。e.g.: ...
2018-07-23 13:24:41 7669
原创 2-SAT问题的一种解法(简明易懂)
2-sat即2元约束问题下面不加证明地描述一种较优的解法: 为每个需要被判定的量建立true、false两个节点,方便起见称它们为互斥节点。将约束条件抽象为代表推导关系的有向边。tarjan缩点,若有一对互斥节点在同一强连通分量中则无解将缩点后的森林中每条边反向,按照dfs序进行如下操作: (初始时所有节点为无色) 若当前节点未被染色,染成红色,然后将所...
2018-07-02 16:36:27 1893
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人