
project euler/知识/证明
文章平均质量分 90
红鲤鱼遇绿鲤鱼
只要思想不滑坡,办法总比困难多~
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
线性规划(4)
我们来看下原始问题和对偶问题之间的关系,假设我们有向量x满足原始问题,向量y满足对偶问题,这里我们要结合一下原始问题和对偶问题的条件。答案是可以的,不过要假设原始问题有一个最优解,即如果原始问题有一个最优解,那么对偶问题也有一个最优解,并且二者最优解的值是相同的。上面的不等式结论我们可以得到,如果你的原始问题有一个可行解,那么它的目标函数值不能小于任何对偶形式目标值,这个关系叫做。等于γ,就是我们原始问题的最优解,因此得证。中消去,最后,我们要得到这样的一个公式,即。,我们要对参数α设置合适的值,使得。原创 2025-07-03 13:42:39 · 604 阅读 · 0 评论 -
线性规划(其它)
一个集合S⊆RnS⊆Rn是凸的(convex) 当∀xy∈Sλx1−λy∈S∀λ∈01∀xy∈Sλx1−λy∈S∀λ∈01。很基础的一个定义关于凸集有一些性质两个凸集相加的结果也是凸集(凸集相加指的是集合中对应的向量相加)凸集乘以一个系数α∈Rα∈R的结果也是凸集。原创 2024-11-12 11:38:50 · 496 阅读 · 0 评论 -
线性规划(3)
设A∈Rm×nb∈Rnxx1...xnTAxb是不相容的(inconsistent),当且仅当∃y∈Rm,有yTA0并且yTb0证明:构造增广矩阵Ab,并把该增广矩阵变成行阶梯形式Rd如果Axb是不相容的,那么在存在矩阵R中的第i行全为0,而对应第i行的d不为0.存在一个矩阵M有MAR并且Mbd,取R的第i行和M的第i行,取d的第i行,那么如果Axb是不相容的,我们假设yT。原创 2024-11-08 07:59:21 · 757 阅读 · 0 评论 -
线性规划(2)
Minimizez3x2ysubjectto⎩⎨⎧x2y2x−yxy≥4≤2≥0≥0花括号中的不等式组我们一般称之为system of linear inequalities。原创 2024-11-05 11:35:37 · 845 阅读 · 0 评论 -
线性规划(1)
Minimizez3x2ysubjecttox2y2x−yxy≥4≤2≥0≥0上面的minimize部分叫做使用上面不等式约束的范围中的值进行,叫做例如上面的x, y, z取1,1,4就是一个feasible solution所有feasible solution的集合叫做如果一个feasible solution得到了一个目标函数的最优值,那么叫做optimal solution。原创 2024-11-05 10:32:12 · 447 阅读 · 0 评论 -
Educational Codeforces Round 33 E. Counting Arrays
原题: E. Counting Arrays time limit per test3 seconds memory limit per test256 megabytes inputstandard input outputstandard output You are given two positive integer numbers x and y. An array F is原创 2017-12-25 20:51:50 · 364 阅读 · 0 评论 -
最大似然估计(MLE)和最大后验概率(MAP)
最大似然估计:最大似然估计提供了一种给定观察数据来评估模型参数的方法,即:“模型已定,参数未知”。简单而言,假设我们要统计全国人口的身高,首先假设这个身高服从服从正态分布,但是该分布的均值与方差未知。我们没有人力与物力去统计全国每个人的身高,但是可以通过采样,获取部分人的身高,然后通过最大似然估计来获取上述假设中的正态分布的均值与方差。最大似然估计中采样需满足一个很重要的假设,就是所有的采样都是独立转载 2016-09-25 18:13:40 · 512 阅读 · 0 评论 -
ProjectEuler 11,12,13
Project Euler 11 12 13原创 2016-09-15 13:32:13 · 1100 阅读 · 0 评论 -
project euler Largest prime factor&Largest palindrome product
project eula Largest prime factor原创 2016-04-28 15:10:33 · 359 阅读 · 0 评论