Mouse_liang的博客

原创 某问题证明

我们记三星质量分别为 m1,m2,m3m_1,m_2,m_3m1​,m2​,m3​假设它们围绕 OOO 旋转，即证明 OOO 与它们质点 MMM 重合记 F⃗a,F⃗b,F⃗c\vec F_a,\vec F_b,\vec F_cFa​,Fb​,Fc​ 分别为 A,B,CA,B,CA,B,C 所受的合力先证明 F⃗a+F⃗b+F⃗c=0\vec F_a+\vec F_b+\vec F_c=0...

原创 二次剩余板子

#include<set>#include<map>#include<stack>#include<queue>#include<deque>#include<cmath>#include<ctime>#include<cstdio>#include<vector>#inc...

原创 数论函数相关

文章目录相关知识相关证明相关知识当一个函数 f(x)f(x)f(x) 满足 f(1)=1f(1)=1f(1)=1 且 (p,q)=1(p,q)=1(p,q)=1 时满足 f(p)⋅f(q)=f(pq)f(p)\cdot f(q)=f(pq)f(p)⋅f(q)=f(pq) 则称这个函数为积性函数莫比乌斯函数 μ(n)\mu(n)μ(n) 欧拉函数 ϕ(n)=n(1−1p1)(1−1p2)....

原创 关于数论分块的证明

文章目录数论分块莫比乌斯函数数论分块证明借鉴：1.借鉴12.训练指南数论公因数部分当 i∈[1,n]i\in[1,n]i∈[1,n] 时，⌊ni⌋=⌊n⌊n⌊ni⌋⌋⌋\lfloor\frac{n}{i}\rfloor=\lfloor\frac{n}{\lfloor\frac{n}{\lfloor\frac{n}{i}\rfloor}\rfloor}\rfloor⌊in​⌋=⌊⌊⌊in...

原创 拉格朗日反演

文章目录拉格朗日反演假证明拉格朗日反演若两个多项式 F(x),G(x)F(x),G(x)F(x),G(x) 满足常数项为 000 且一次项不会为 000 ，且 G(F(x))=xG(F(x))=xG(F(x))=x ，则称 F(x),G(x)F(x),G(x)F(x),G(x) 为复合逆，同样 F(G(x))=xF(G(x))=xF(G(x))=x，在模 xnx^nxn 也成立，但是需要群论的...

原创 线段树分治总结

毕竟学了1天…纪念一下吧首先一定要对“时间”很清晰，这里的"时间"可能并不是实际的时间，输入中一个删除操作可能不是真的删除，可以理解为操作持续时间而避免删除和 CDQCDQCDQ 分治的区别在于 CDQCDQCDQ 经典问题是偏序问题，问题信息一般是计数类或者有可减性，而线段树分治处理其他类型的询问的类型有两种，一种是带参数询问，即给你个 xxx 问对它进行某些操作后取得最值，还有一种是跟...

原创 Painting Edges[CF576E][线段树分治][并查集]

文章目录题目思路代码思考题目Luogu思路你会发现和这道没什么区别Bipartite Checking相关题解：Bipartite Checking题解发现颜色数量很少，我们就每次建立 kkk 个 DSUDSUDSU 一起跑即可记每个操作影响范围为现在到下一次这条边修改之前问题是每个操作影响范围 [L,R][L,R][L,R] 只有当合法才会进行怎么办？接下来跟这道题思路...

原创 火星商店问题[FJOI2015][线段树分治][01Trie]

线段树分治好题

原创 时空旅行[线段树分治][维护凸壳]

文章目录前言题目思路代码前言肝了一上午…这是我才学线段树分治的例题…真舒服题目温馨提示：首先在UOJ做，LOJ挖数据，BZOJ终极评测。。。UOJ198二手剽…思路为什么不能用 CDQCDQCDQ 分治做？因为无法减去一个操作的影响(一些计数类型的就可以)，或者说信息没有可减性，无法进行转化考虑线段树合并，如何转化为一个星球的作用时间?这里的’时间’并不是一个具体的时间，而是...

原创 Extending Set of Points[CF1140F][并查集]

文章目录题目思路代码题目Luogu思路没什么可说的，线段树分治，观察是单点查询和区间修改就能统一处理询问将点视为行和列的连接，那么就能和题目中扩展操作符合注意这里方案数是并查集内的 cntx∗cntycntx*cntycntx∗cnty ，并查集带撤回以前打Atcoder最后一道题就是这个套路…没见过，然后就把它记着了代码#include<map>#include...

原创 Bipartite Checking[CF813F][线段树分治][带权并查集]

文章目录题目思路代码题目Luogu2≤n,q≤1052\le n,q\le 10^52≤n,q≤105思路通过带权并查集判断二分图真是妙(以前没见过)首先我们能找到每条边的出现时间 [li,ri][l_i,r_i][li​,ri​] ，那么线段树分治后发现是一个区间修改，单点查询的样子，修改标记永久化即可然后就只剩下如何处理加边和删边的问题了然后发现好像网上都把判断二分图当作...

原创 Water Balance(CF618E/C)(单调栈)

凸包题

原创 事件概率期望方差基础知识

文章目录事件概率期望方差事件1.集合的运算法则一般都可以2.事件的互斥：A∩B=ϕA\cap B=\phiA∩B=ϕ3.事件的对立：Aˉ=B\bar A=BAˉ=B4.事件的和（并）：A+BA+BA+B 或 A∪BA\cup BA∪B5.事件的积（交）：ABABAB 或 A∩BA\cap BA∩B6.事件的差（AAA 发生 BBB 不发生）：A−B=ABˉA-B=A\bar BA−B...

原创 没头脑和不高兴[CTSC2013][期望+线段树]

文章目录前言题目思路前言我是照着老师讲的+这篇博客思路打的…某大佬的blog题目给出 n,mn,mn,m ，一个随机的 1∼n1\sim n1∼n 的排列，现在所有奇数位上有记号，有记号的格子数一开始会自动排序，现在你能从相邻的逆序对随机选择一对交换Q1:Q1:Q1:问排好序的步数的期望和方差？Q2:Q2:Q2:增加区间修改操作(修改格子上的记号)，每次修改后询问步数的期望？1≤n...

原创 带状矩阵[BandMatrix]解网格图一类问题

文章目录方法适用范围思考方法顾名思义解这样一个方程组：其中 ddd 称为带宽对于传统的高斯消元(不管是回代型还是高斯-约旦型)都是 O(n3)O(n^3)O(n3)但是如果求某些特殊问题(如概率dp，期望dp)可以做到 O(nd2)O(nd^2)O(nd2)我们每次沿对角线对一个 d∗dd*dd∗d 的矩阵进行消元：注意每次 d∗dd*dd∗d 的矩形只消第一列，即：最后得到...

原创 有关期望顺推还是逆推的对话

原创 游走[HNOI2013][期望Dp+高斯消元]

文章目录题目思路代码题目Vjudge一个无向连通图，顶点从1编号到N，边从1编号到M。小Z在该图上进行随机游走，初始时小Z在1号顶点，每一步小Z以相等的概率随机选 择当前顶点的某条边，沿着这条边走到下一个顶点，获得等于这条边的编号的分数。当小Z 到达N号顶点时游走结束，总分为所有获得的分数之和。现在，请你对这M条边进行编号，使得小Z获得的总分的期望值最小。无向图思路考虑ans=∑...

原创 AGC029F[网络流][二分图]

文章目录前言题目思路做法证明Besides代码感悟前言难的不是网络流，难的是想到这么做，难的是证明题目Atcoder大意给你一个数 nnn 和 n−1n-1n−1 个集合 EiE_iEi​ ，其中 Ei∈{1,2,...,n}E_i\in\{1,2,...,n\}Ei​∈{1,2,...,n}现在从每个集合 EiE_iEi​ 中选出一对数 (ui,vi)(u_i,v_i)(ui​,v...

原创 餐巾计划问题[费用流]

文章目录题目思路代码思考题目洛谷思路神题，思路巧妙想不到想一想电池的正负极对应网络流里面的S，TS，TS，T通过外部形成’电池’，对应着使用毛巾将每天收到的黑毛巾(晚)和使用的白毛巾(早)分开建图：(S,i,ri,0)(S,i,r_i,0)(S,i,ri​,0) ：表示每晚上获得 rir_iri​ 条黑毛巾(i+n,T,ri,0)(i+n,T,r_i,0)(i+n,T,ri​,0...

原创 网络流24题做题心得

文章目录前言链接心得操作一览杂谈前言近两天差不多肝完了,熟悉了各种套路，让我对网络流理解加深链接网络流24题-洛谷心得操作一览1.最大流,费用流写法2.对点的流量有限制就拆点3.最大流跑带各种奇怪限制的匹配4.网络流 −>->−> 二分图相关将网络流转化成二分图相关的匹配问题(最大匹配,最大权匹配,最小点覆盖,最小边覆盖…),准备单独开一个blog5.利...

原创 我解决了NP问题,个屁

#include<map>#include<set>#include<stack>#include<queue>#include<cmath>#include<cstring>#include<climits>#include<cstdio>#include<iostream&gt...