数学
文章平均质量分 83
Le_ballon_rouge
我是最讨厌、最粗鲁、最无知的人、彻头彻尾的讨厌鬼,任何人遇到我都是一种不幸。我轻视美德、无视美、不了解幸福。
展开
-
BZOJ1053
传送门:BZOJ1053我喜欢数学题,我讨厌结论题…… 约数个数定理: 记Φ(p)为p不平凡的约数的个数,对∀q∈N∗,q>1,作Lagrange分解q=∏pa,则Φ(a)=∏(a+1)记\Phi (p)为p不平凡的约数的个数,对\forall q \in \mathbb N^{*} ,q>1,作Lagrange分解q=\prod p^{a},则\Phi (a)=\prod (a+1)对原创 2015-08-23 19:53:42 · 1437 阅读 · 0 评论 -
BZOJ1019
传送门:BZOJ1019没有写二维的Dp,理由是不优美。 然后我硬掰出来的递推更不优美。直接说结论吧,以下讨论均设操作序列给定且恒定。 记f(n)f(n)为完成初始盘数为n的游戏所需步数,则f(n)f(n)满足线性递推式f(n)=k×f(n−1)+bf(n)=k\times f(n-1) +b这个结论的证明是比较复杂的。首先注意n≤2n \le 2的情况是平凡的,我们讨论n≥3n \ge 3引理原创 2015-08-11 21:12:24 · 868 阅读 · 0 评论 -
BZOJ1059
传送门:BZOJ1059有趣的题目。做法是二分图完美匹配,其实看到题就可以隐约猜到是把行和列连边。建图方法是把黑点(i,j)的行i向列j连一条边,这显然是一个二分图模型,判断有无完美匹配即可。看上去很符合直觉,下面我来展示它的严谨证明。在证明这个算法的正确性前,首先证明一个引理[1]:设n阶方阵中有n个点,它们互不在同一列也互不在同一列,则可用这n个点构造出n阶的目标矩阵。首先断言:任意两个同一列的原创 2015-08-27 19:40:46 · 1178 阅读 · 0 评论 -
BZOJ1002
传送门:BZOJ1002似乎做法挺多,不过我并不懂得基于连通性的动态规划,于是只能做纯数学解法。我们需要以下知识: Kirchhoff Matrix Tree定理: 设GG为无向图,取EE为图GG的度数矩阵,FF为图GG的邻接矩阵 称矩阵E−FE-F为图G的Kirchhoff矩阵RR,任取与RR同构的行列式R′R'的任意一个n−1n-1阶主子式QQ,其值为图G的生成树个数。这个定理原创 2015-08-13 11:11:13 · 2245 阅读 · 1 评论 -
BZOJ1045
传送门:BZOJ1045结论题。设i顺时针传给下一个人的数量为xi,目标平均值值为ave设i顺时针传给下一个人的数量为x_{i},目标平均值值为ave 则目标就是让ai−xi+xi−1=ave的前提下最小化则目标就是让ai-x_{i}+x_{i-1}=ave的前提下最小化∑i=1n|xi|\sum_{i=1}^{n} \left| x_i \right| 可以构造出 a1−x1+x2=avea原创 2015-08-19 16:58:13 · 1286 阅读 · 0 评论 -
线性基导论
Definition以非负整数集SS中元素为向量,异或为加法,{0,1}\{0,1\} 为数域生成的线性空间V的一组基QQ,满足QQ中二进制下最高非零位为k的向量不存在或唯一,称为SS的线性基。algorithm我们只需要使用Gauss消元求出SS的一个极大线性无关部分组,而这过程中就可以承诺 QQ中二进制下最高非零位为k的向量不存在或唯一 。Application最基础的应用是判断某个非负整数AA原创 2016-04-07 19:22:55 · 988 阅读 · 0 评论 -
常系数线性递推式的快速求单项值方法
常系数线性递推式的快速求单项值方法前导知识常系数线性递推式 形如f(n)=∑ki=1aif(n−i)f(n)=\sum_{i=1}^{k} a_if(n-i),其中kk、aia_i为常数的递推式,称为常系数线性递推式。Cayley-Hamilton定理 对于矩阵AA,det(λE−A)\det(\lambda E-A)是一个|A||A|次多项式,称为A的特征多项式(characteristi原创 2016-05-14 20:31:18 · 2382 阅读 · 0 评论