证明
After__rain
这个作者很懒,什么都没留下…
展开
-
四边形不等式及其优化决策单调性
四边形不等式为w(a,d)+w(b,c)>=w(a,c)+w(b,d)(a<=b<=c<=d)w(a , d) + w(b ,c ) >= w(a , c) + w(b , d) (a<=b<=c<=d)w(a,d)+w(b,c)>=w(a,c)+w(b,d)(a<=b<=c<=d)当满足w(a,b+1)+w(a+1,b)>=w(a,b)+w(a+1,b+1)w(a , b + 1) + w(a + 1 , b) >原创 2020-06-18 16:51:23 · 197 阅读 · 0 评论 -
斜率优化dp
比较妙,巧妙运用了方程以及题目的性质1:最简单通过推式子,得到一个单调递增的横坐标,然后一直维护一个下凸包,然后每次贪心取队首就好了(感性证明,你每次任意画几个点,发现下凸包与该点的连线的截距是最短的)2:稍有思考此时这个每次决策的横坐标并不递增了于是乎就会出现该点在下凸包上的尴尬情况,于是乎因为这个是下凸包每次只要找到第一个不满足后者比前者跟优的情况就好了每次就要二分一个决策 使其满足截距最小。。。3:更深入此时凸包也不递增了。。。但横坐标又递增了好像倒序dp就好了咕咕%%原创 2020-06-15 17:50:18 · 168 阅读 · 0 评论 -
卢卡斯定理
。。。。这个其实也没什么定理不定理的。。就是你把二项式定理拆成任意素数p进制的形式然后你一化式子,对比一下系数就可以得到了C(n,m)=连乘C(ni,mi)其中ni,mi是n,m分解为p进制数的第i位,并且p是质数C(n,m) = 连乘C(ni,mi)其中ni,mi是n,m分解为p进制数的第i位,并且p是质数C(n,m)=连乘C(ni,mi)其中ni,mi是n,m分解为p进制数的第i位...原创 2020-04-27 15:01:44 · 130 阅读 · 0 评论 -
高斯消元求解行列式 + Matrix - Tree 矩阵树定理
行列式这个我初一学过。。。每一行同加乘同一个数,大小不变然后就可以通过高斯消元消成对角线形式然后就没有了嘛。。。。这里就扩展一下行列式的的换算法则。。就好像对于一个行列式的计算,是/sigam(对于所有全排列)∗(−1)(该排列的逆序对个数)本来对于的值/sigam(对于所有全排列)*(-1)^{(该排列的逆序对个数)}本来对于的值/sigam(对于所有全排列)∗(−1)(该排列的...原创 2020-04-25 23:36:57 · 223 阅读 · 0 评论 -
这一周学的数学。。。。。。。
我呃呃。。。。这周学了杜教筛,莫比乌斯反演,(微微看了一下欧拉降幂),以及(在线转离线),以及拉格朗日插值(连续处理的方法没看)先讲拉格朗日插值吧。。。。这个东西比较假。。。。(光速逃)本质思想就是用简单的方法构造一个在对应点有相应值的多项式。。。那么有个很显然的想法可以构造多个特殊的多项式使得在对于点为1else 为 0那么就很显然啦令每一个多项式为((x−x1)(x−x2)...原创 2020-04-11 09:51:09 · 116 阅读 · 0 评论 -
luoguP1092 虫食算
嘛,这个东西比较妙。。。为什么这么说呢。。。这个题过程有点难懂。。。。不过还行。。。。嘛,就是在高斯消元时候,把原举证的增广矩阵进行同步消元。。但由于方程数量不足,所以增广矩阵不唯一于是,要枚举增广矩阵的每个解的情况,然后判断合法与否然后这个题就可以解决了代码等下贴。。...原创 2020-03-17 09:36:06 · 166 阅读 · 0 评论 -
Codeforces 1325D - Ehab the Xorcist
这个题很好啊。。。(算是我很久没活跃思维的复健题了,,,,,)首先很显然当 u == v 直接输出 1 u当 u> v 直接输出-1u ==v == 0时候,直接输出0u与v奇偶性不同,直接输出-1这里要联系后面操作你容易想起来 :XxorX=0X xor X = 0XxorX=0对吧。。。。然后只要这么来就好了UxorXxorX=uU xor X xo...原创 2020-03-15 13:50:34 · 117 阅读 · 0 评论 -
期望dp初探。。。。
其实这个东西,就是根据 对于能从那个状态转移过来,及其转移代价之和除以概率的和。。。因为期望的线性性质。。。就可以算出来。。。。。我这篇东西写的太垃圾了,推荐把题做了,不会做去别的地方看题解,不要看我的题解,,写的贼垃圾,,,,,(我文学造诣真的低。。。。)例题A. [LightOJ-1038]一句话题意:让你求一个数n,每次除他的一个因子,问你变成1的期望步数。。。。其实你可以把...原创 2020-03-13 18:56:17 · 182 阅读 · 0 评论 -
高斯消元初探。。。。
嘛,这个东西是拿来做一些恶心的题的。。。。本质思想是按层次处理。。。第一层,把所有第一个未知元给消去。。依次往后。。。。然后对于无解情况的判定。。。。当一列全是0,就是已经被消完了。。。。那此时这个元可以为任意数。。。就无解?我是这么理解的。。。#include<bits/stdc++.h>#define MAXN 105using namespace std;...原创 2020-03-10 19:09:47 · 178 阅读 · 0 评论 -
luogu P2279 [HNOI2003]消防局的设立
借助题解 完成的代码编写。。。。考虑一个消防局的影响。。。可以使他儿子及孙子,爷爷,父亲以及父亲的所有儿子范围是很广的。。。。意味着状态也很多。。。设f(u,0...4)分别表示为f(u,0...4)分别表示为f(u,0...4)分别表示为0.以i为根的子树,且能把i的爷爷和父亲节点给覆盖到的最小花费1.以i为根的子树,且能把i的父亲节点给覆盖到的最小花费2.以i为根的子树,且...原创 2020-02-28 23:47:10 · 115 阅读 · 0 评论 -
luoguP1306 斐波那契公约数
嘛,这个题,,有个性质。。。。(推导/打表)可以得知gcd(f(x),f(y))=f(gcd(x,y))gcd(f(x),f(y))=f(gcd(x,y))gcd(f(x),f(y))=f(gcd(x,y))然后这题就没有了。。。#include<bits/stdc++.h>using namespace std;long long n,m,f[4][4],tu[4][...原创 2020-02-28 08:32:49 · 186 阅读 · 0 评论 -
LightOJ - 1236 数论好题
跑来csdn写一下题解 不然老师又说不更新。。。。。。。。。。。∑i=1n∑j=1n[lcm(i,j)=n]\sum_{i=1}^n \sum_{j=1}^n [lcm(i,j)=n] \quad \quad i=1∑nj=1∑n[lcm(i,j)=n]嘛,让你求这个式子。。。。看了题解后才发现直接分解质因数就好了。。。。。。。。。嘛,不过我也推导了一个类似分解质因数的做法∑...原创 2020-02-25 22:28:43 · 155 阅读 · 0 评论 -
最大权闭合子图
定义有一个有向图,每一个点都有一个权值(可以为正或负或0),选择一个权值和最大的子图,使得每个点的后继都在子图里面,这个子图就叫最大权闭合子图。如下图:考虑网络流,选择一个点,相当于网络流流过去自然原图可以等价于看到这个图,先想一下,假设每次我们能选与源点相连的多条边,割掉一条边代表什么??对于与s链接的边来说,割边相当与不选这个点对于与t链接的边来说,割边相当于...原创 2020-01-18 15:26:23 · 194 阅读 · 0 评论