do_while_true

2022年8月

摘要：例题：对于所有 $i,j\leq n$，求出 $f_{i,j}$ 表示有多少长度为 $i$ 的排列 $a$，前 $j$ 个位置要满足 $a_j\neq j$．回顾一下错排数的递推式是如何求得的？单独拎出最后一个位置 $n$ 及其代表的数 $n$，先考虑长度 $(n-1)$ 的错排，讨论将位置 $n 阅读全文

posted @ 2022-08-31 22:00 do_while_true 阅读(70) 评论(0) 推荐(2) 编辑

8.6 有感

摘要：确定目标，不要左顾右盼。以此保持学习的热情。 dirty work 是有意义的，打 OI 要让思路落地。睡大觉，状态差需要及时调整。阅读全文

posted @ 2022-08-06 23:17 do_while_true 阅读(63) 评论(0) 推荐(0) 编辑

「题解」AGC038C LCMs

摘要： $i$ 和 $j$ 不对称很烦，求 $\sum_i\sum_j\mathrm{lcm}(A_i,A_j)$ 再减去 $\sum_i A_i$ 再除 $2$ 即可得到答案。现在来考虑 $i$ 和 $j$ 取值均为 $0\sim N-1$ 的式子： $$ \begin{aligned} &\sum_i\ 阅读全文

posted @ 2022-08-04 23:48 do_while_true 阅读(40) 评论(0) 推荐(0) 编辑

2022年7月

树上背包复杂度证明

摘要： [参考](https://blog.csdn.net/lyd_7_29/article/details/79854245) 树上背包上下界优化。考虑 $v$ 是 $u$ 的儿子，现在 $f_{u}$ 已经合并了若干个 $v$ 前面的子树，（不包含 $v$ 及以后的子树）其大小为 $s_x$，$v$ 阅读全文

posted @ 2022-07-29 11:33 do_while_true 阅读(413) 评论(1) 推荐(2) 编辑

行列式求值

摘要：当模数不为质数的时候，可以用辗转相减来消元。每个数的大小在消元的过程都会变小，以这个作为势能，不难分析出复杂度为 $\mathcal{O}(n^2(\log p+n))$．代码实现参考 qyc 的板子，常数小而且好写，qyc nb！ #include<cstdio> #include<vecto 阅读全文

posted @ 2022-07-28 09:28 do_while_true 阅读(84) 评论(0) 推荐(0) 编辑

「题解」洛谷 P3275 [SCOI2011]糖果

摘要：首先它是个差分约束系统，要求变量总和最小就跑最长路。但是它边权只有 $0$ 或 $1$，考虑这个图有什么特殊性质。先缩点，每个 SCC 内部如果出现了一条 $u$ 到 $v$ 的边权为 $1$，根据 SCC 的定义，一定还存在一条 $v$ 到 $u$ 的路径，由于边权 $\geq 0$，所以一定阅读全文

posted @ 2022-07-28 08:14 do_while_true 阅读(28) 评论(0) 推荐(0) 编辑

Matrix-Tree

摘要： ~~太难了，证明都略去了。~~ ynynb!!! 来点组合意义的证明！！ #### 无向图生成树个数定义一个无向图 $G=(V,E)$ 的度数矩阵为 $D$ 为 $D_{i,i}=\deg(i),D_{i,j}=0,i\neq j$．记 $G$ 的邻接矩阵为 $A$，也就是 $A_{i,j}=[ 阅读全文

posted @ 2022-07-27 20:07 do_while_true 阅读(59) 评论(0) 推荐(0) 编辑

Tutte 矩阵求解一般图最大匹配

摘要：证明之类的还是直接看 2017 年 IOI 国家集训队论文《基于线性代数的一般图匹配》（杨家齐）。一般图完美匹配定义（Tutte 矩阵）：对于一个无向图 $G=(V,E)$，定义 $G$ 的 Tutte 矩阵为一个 $n\times n$ 的矩阵 $\tilde{A}(G)$，其中 $$ \t 阅读全文

posted @ 2022-07-27 16:14 do_while_true 阅读(166) 评论(0) 推荐(0) 编辑

动态 dp

摘要：没写代码，暂且不知道有多少处笔误，还需要好好理解。。动态 dp 矩阵乘法大家都会！dp 大家都会！线段树大家都会！一些线性 dp 可以写成矩阵乘法的形式，这里矩阵乘法可能是 $(+,\times)$，也可能是 $(\max,+)$，也可能是 $(\min,+)$ 等等，但是只要有结合律就可以。阅读全文

posted @ 2022-07-27 11:28 do_while_true 阅读(269) 评论(0) 推荐(0) 编辑

wqs 二分

摘要： wqs 二分强制必须选恰好 $i$ 个物品的价值是 $ans_i$，要求出恰好选 $m$ 的答案也就是 $ans_m$．如果 $ans$ 是凸的（差分单调，这里仅讨论上凸即差分不增），那么可以二分一个直线的斜率，让这条直线尝试切这个凸包，如果切点横坐标在 $m$ 左侧，就减小斜率，否则增大斜率。阅读全文

posted @ 2022-07-26 11:27 do_while_true 阅读(107) 评论(0) 推荐(0) 编辑

一言（ヒトコト）

友链

公告