题目描述题目链接太长了 不会描述。接下来假定 $m$ 和 $n$ 同阶。题解我们设 $f_n$ 表示恰好有 $n$ 个人被碾压的方案数，显然 $f_k$ 即为所求。发现这个恰好不是很好限定 如果直接组合数选我们不太好强制规定哪些人不被碾压 于是我们考虑设 $g_n$ 表示至少有 $n$ 个人被碾压的方案数，一种计算方法就是枚举真实被碾压的方案数，然后选出来我们认为的被碾压的人是谁即可。二项式...
题目链接Atcoder 的题目就是好 思维难度高到我都不会题目描述在网格图上，给 $X_1 \leq X_2 < X_3 \leq X_4 < X_5 \leq X_6$和$Y_1 \leq Y_2 < Y_3 \leq Y_4 < Y_5 \leq Y_6$，需要选择 $(p,q) \in [X_1,X_2]\times[Y_1,Y_2],(s,t) \in [X_...
然而我只会抄课件定义及基本运算集合幂级数和生成函数一样，也是形式幂级数的一种。设 $F$ 是一个域，则称函数 $f:2^U \to F$ 为 $F$ 上的一个集合幂级数。对于每个 $S \in 2^U$ 记 $f_S$ 表示把 $S$ 代入函数 $f$ 后的函数值，并称 $f_S$ 为该集合幂级数第 $S$ 项的系数。注意这里的下标都是集合。加减法比较好定义。容易得到集合幂级数形成了一个加法...
链接题目大意一个欧拉图，从 $1$ 出发的欧拉路径个数。 $n \leq 100$题解这种结论题可能只有知道结论才能做。首先我们求出一个 $1$ 点为根的内向生成树：我们考虑从两个方向来证明：生成树 $\to$ 欧拉回路我们对于每个点 如果存在未走过的非树边就走过去 否则走树边 这样构造显然是一个欧拉回路 且满足引理 1。欧拉回路 $\to$ 生成树把每一个点最后走的边作为树边 这样构造显然...
先记个模板，以后再写。 题目链接#include <algorithm> #include <iostream> #include <cstring> #include <climits> #include <cstdlib> #include <cstdio> #include <vector> #incl...