评:舒尔的想法是美妙的,当然他本身也有很多意义,在机械化证明的理念里,它也占据了一方田地.…

舒尔( Schur \texttt{Schur} Schur)不等式1 具体内容 Schur \texttt{Schur} Schur 不等式: x , y , z x,y,z x,y,z 为非负实数, r r r 为实数时,下列不等式成立 x r ( x − y ) ( x − z ) + y r ( y − x ) ( y − z ) + z r ( z − x ) ( z − y ) ≥ 0 x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0 xr…

这种构造二次函数的方法最早接触的应该是在证明柯西不等式时: 再举一例: 最后再举个反向不等式的例子: 评:此类题目的证明是如何想到的呢?他们都有一个明显的特征$AB\ge(\le)C^2$,此时构造二次函数利用$\Delta$证明,效果非常理想.…

(2018武汉大学自招)设$x,y,z\ge0,xy+yz+zx=1$证明:$\dfrac{1}{x+y}+\dfrac{1}{y+z}+\dfrac{1}{z+x}\ge \dfrac{5}{2}$ 证明:\begin{align*}\textbf{原式} & \iff 2\sum{(y+z)(z+x)}-5\prod(x+y)\ge0\\ & \iff 2\sum{z^2+(x+y)z+xy}-5\left((x+y+z)(xy+yz+zx)-xyz\right)\ge0\\ &…

该来的总是要来的———————— 经典问题,石子合并. 对于 f[i][j]= min{f[i][k]+f[k+1][j]+w[i][j]} From 黑书 凸四边形不等式:w[a][c]+w[b][d]<=w[b][c]+w[a][d](a<b<c<d) 区间包含关系单调: w[b][c]<=w[a][d](a<b<c<d) 定理1:  如果w同时满足四边形不等式和决策单调性 ,则f也满足四边形不等式 定理2:  若f满足四边形不等式,则决策s满足 s[i…

VC定理的证明 本文讨论VC理论的证明,其主要内容就是证明VC理论的两个定理,所以内容非常的枯燥,但对于充实一下自己的理论知识也是有帮助的.另外,VC理论属于比较难也比较抽象的知识,所以我总结的这些证明难免会有一些错误,希望各位能够帮我指出. (一)简单版本的VC理论. 给定一个集合系统$(U,\mathcal{S})$,VC理论可以解决以下问题.对于一个在$U$上的分布$P$,那么至少需要选择多少个样本(根据分布$P$选择),才能使对每个$S\in\mathcal{S}$,用样本估计出来的值以…

基于对概率问题的抽象化,通过期望.方差.随机变量X及其概率,我们想要通过几个量推出另外几个量的特征,笼统的来说,极限定理起到的作用便在于此 切比雪夫不等式: 在证明切比雪夫不等式之前,我们先要完成对马尔可夫不等式的证明. 马尔可夫不等式: 证明: 这里可能有人会问,为什么X和a必须取非负值呢?这里只要是为了满足第一个∵那里的不等式. 切比雪夫不等式: 证明: 可以看到,切比雪夫带给我们最直观的意义就是,在知道随机变量X的期望和方差的同时,利用它可以导出概率的上界.…

入门区间DP,第一个问题就是线性的规模小的石子合并问题 dp数组的含义是第i堆到第j堆进行合并的最优值 就是说dp[i][j]可以由dp[i][k]和dp[k+1][j]转移过来 状态转移方程 dp[i][j] = min(dp[i][j],dp[i][k] + dp[k+1][j] + sum[i][j]) 对于第i堆到第j堆合并的花费 他的子问题是第i个的合并顺序 op1:k实际上控制的是第i堆也就是起始堆的合并顺序 因为必须是相邻合并dp[i][i] 先合并dp[i+1][j]最后再来合并…

题面: 传送门 思路: 因为集合可以无序选择,所以我们先把输入数据排个序 然后发先可以动归一波 设$dp\left[i\right]\left[j\right]$表示前j个数中分了i个集合,$w\left(i\right)\left(j\right)$表示$i$到$j$的闭区间分到一个集合里的花费 然后就有方程式: $dp\left[i\right]\left[j\right]=min\left(dp\left[i-1\right]\left[k-1\right]+w\left(k\right)…

(PS:本文会不断更新) $\newcommand\R{\operatorname{Res}}$ 如何计算$\zeta(2)=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\cdots$? 这个问题是在1644年由意大利数学家蒙哥利(Pietro Mengoli)提出的,而大数学家欧拉于1735年第一次解决了这个问题.他得出著名的结果:\[\sum_{k=1}^{\infty}\frac{1}{k^2}=\frac{\pi^2}{6}\] 解决这个问题的方法…