stO

摘要： 应该算是我做的正儿八经的容斥的第一道题吧。 直接做时间复杂度是$O(4nS)$的，显然不能接受。注意到这题只有$4$个物品，考虑容斥。 容斥模型： 元素：每一种方案 全集：所有组合总和为$n$的方案 属性：对每个物品购买的数量限制 这道题显然是对每个属性求交集，于是转化成了全集-补集的并集模型，由于 阅读全文

摘要： 通常套路是设$f[x][]$表示$x$节点怎么怎么样（编不下去了）。 例题： luogu P3047 [USACO12FEB]Nearby Cows G 题解 计蒜客 T3225 Darko 的生成树 题解 阅读全文

摘要： 这道题直接设状态不太好做。 我们先设$g[x][i]$表示$x$子树内跟它相距不超过$i$的点的点权之和。这个一遍$dfs$就可以搞定。 现在的问题是怎么计算非$x$子树内的贡献（我当时想了好久楞是没想出来呜呜呜）。其实很简单，有了$g$数组的辅助，我们现在可以直接设$f[x][i]$表示与$x$相 阅读全文

摘要： 前置知识：常用公式 干货来啦，这里记录了一些推柿子是使用频率很高的公式（貌似可能也不知道有没有证明），善用这些公式可以带来极大的简洁。 \[ d(ij)=\sum\limits_{x\vert i} \sum\limits_{y\vert j}[gcd(x,y)=1] \] Siyuan 博客中的证 阅读全文

摘要： BK算法使用搜索+剪枝来寻找无向图最大团。 一些定义 团：完全子图。 最大团：点数最大的团。 最大独立集 ：最大的点集使得点集中任意两点都没有边直接相连。 （以上摘自OI wiki） 算法流程 先定义一些数组和变量（有的是$dfs$里的变量）： $cnt[i]$表示从$i-n$这些点的最大团点数 $ 阅读全文

摘要： 这道题要求的就是一个图的最大独立集，而我们知道一个图的最大独立集等于这个图的补图的最大团。使用BK算法求解即可。 代码： #include<cstdio> #include<cstring> #include<iostream> #include<algorithm> using namespace 阅读全文

摘要： 树上随机游走 给定一棵树，边有边权，有一个动点在树上等概率向相邻点移动，求： 一个点到父亲的期望距离 设 \(f[x]\) 表示 \(x\) 到父亲的期望距离，那么 \[ f[x]=\frac{w(x,fa)+\sum\limits_{\text{v is son of x}}f[x]+f[v]+w 阅读全文

摘要： 有没有跟我一样翻完题解对着状态转移方程一脸懵 * 的蒟蒻。/kk 设$f[i]$表示搭好$i$个连续的骨牌的期望次数，由于两段不连续的区间肯定互不影响，所以我们可以考虑枚举最后一个放的位置，根据期望的线性性质进行累加。 例如：$1 \ 2 \ ? \ 4 \ 5$ 假设$?$位置是我们最后一个放骨牌 阅读全文

摘要： 代码： #include<cstdio> #include<iostream> #include<cstring> #include<algorithm> #include<stack> #include<queue> using namespace std; const int N=500009; 阅读全文

摘要： 强连通分量多用于缩点和2 SAT。 例题： 1. "P2272 [ZJOI2007]最大半连通子图" "题解" 1. "luogu P3627 [APIO2009]抢掠计划" "题解" 阅读全文