1. 定义及证明

设有两个有序数组:a1≤a2⋯≤ana_1\leq a_2\cdots \leq a_n 及 b1≤b2⋯≤bnb_1\leq b_2\cdots \leq b_n,求证: ∑i=1naibi≥∑i=1naibji≥∑i=1naibn−i+1\sum\limits_{i=1}^na_ib_i\geq \sum\limits_{i=1}^na_ib_{ji}\geq \sum\limits_{i=1}^na_ib_{n-i+1} (顺序和≥乱序和≥逆序和),其中 j1,j2,…,jij_1,j_2,\ldots,j_i 是自然数的任一个排列。

证明:

令 sk=∑i=1kbis_k=\sum\limits_{i=1}^kb_i(部分和),s′k=∑i=1kbjis_k'=\sum\limits_{i=1}^kb_{ji}(i=1,2,…,ni=1,2,\ldots,n)

显然,sk≤s′ks_k\leq s_k',sn=s′ns_n=s_n',又因为,ai−ai+1≤0a_i-a_{i+1}\leq 0,所以有 si(ai−ai+1)≥s′i(ai−ai+1)s_i\left(a_i-a_{i+1}\right)\geq s_i'\left(a_i-a_{i+1}\right),

所以:

∑i=1naibi=∑i=1n−1si(ai−ai+1)+ansn≥∑i=1n−1s′i(ai−ai+1)+ans′n=∑i=1naibji

\sum\limits_{i=1}^na_ib_i=\sum\limits_{i=1}^{n-1}s_i\left(a_i-a_{i+1}\right)+a_ns_n\geq \sum\limits_{i=1}^{n-1}s_i'\left(a_i-a_{i+1}\right)+a_ns_n'=\sum\limits_{i=1}^na_ib_{ji}

排序不等式、证明及其应用相关推荐

  1. 排序不等式的两种证明方法

    排序不等式:(Discrete mathematics and its applications第6版习题) (图片取自百度百科) 证明 数学归纳法: 当n=1时显然成立假设当n=k(k≥2,k∈N+ ...

  2. 倒序排序_排序不等式,切比雪夫不等式及伯努利不等式

    我们比较熟悉的不等式可能就是下面的这个不等式链以及柯西不等式了: 对于不等式链的证明我们可以看下面这张图,非常直观形象: 不太懂得也可以看这个视频讲解: 知乎视频​www.zhihu.com 对于柯西 ...

  3. math_排序不等式的推导

    文章目录 排序不等式 等式的另一半 总结 排序不等式 设有两个有序数列(可以理解为单调不减的(离散)函数),即 { a n } 和 { b n } , 分别满足 : a i < a i + 1 ...

  4. 第四十一章 贪心算法——排序不等式

    第四十一章 贪心算法--排序不等式 一.题目信息 二.排序不等式 1.算法内容 2.算法证明 3.思路分析 三.代码实现 一.题目信息 二.排序不等式 1.算法内容 2.算法证明 3.思路分析 这道题 ...

  5. 重新排序(差分,贪心,排序不等式)

    解题思路 Part 1:贪心 我们可以累计每个 AiAi 的被求和次数 cici.容易贪心得到,被求和次数越多的肯定得放越大的数(可用邻项交换证明)(排序不等式). 我们可以先统计原来的求和的总和 s ...

  6. 切比雪夫不等式例题讲解_排序不等式,切比雪夫不等式及伯努利不等式

    我们比较熟悉的不等式可能就是下面的这个不等式链以及柯西不等式了: 对于不等式链的证明我们可以看下面这张图,非常直观形象: 不太懂得也可以看这个视频讲解: 知乎视频​www.zhihu.com 对于柯西 ...

  7. ACM - 贪心 - 基础(区间问题 + Huffman树 + 排序不等式 + 绝对值不等式 + 推公式)

    贪心 经典母题 1.区间问题 AcWing 905. 区间选点 AcWing 908. 最大不相交区间数量 AcWing 906. 区间分组 AcWing 907. 区间覆盖 2.Huffman树 A ...

  8. 每日四题打卡-4.15:耍杂技的牛/贪心绝对值不等式-货仓选址/贪心排序不等式-排队打水/huffman哈夫曼树-合并果子

    耍杂技的牛 具体:https://blog.csdn.net/qq_27262727/article/details/105515507 农民约翰的N头奶牛(编号为1..N)计划逃跑并加入马戏团,为此 ...

  9. 关于排序不等式的三种证法

    排序不等式的原理很容易理解,即"大乘大与小乘小之和,大于大小搭配乘". 其证明过程也较为简单,下面给出三种证法.前两种为初等证法,第三种使用了阿贝尔变换的结论,证明起来更简洁明了.

  10. [排序不等式] 排队打水(排序不等式+贪心)

    文章目录 0. 前言 1. 排序不等式+贪心 0. 前言 经典的排序不等式问题,也是一个简单的小学数奥问题. 1. 排序不等式+贪心 913. 排队打水 贪心思路: 让最墨迹的人最后打水,即从小到大排 ...

最新文章

  1. linux上使用strace查看C语言级别的php源码【一种方法】
  2. ACM-ICPC如何起步
  3. solaris10找安装包的地方
  4. mac打开class文件
  5. 禁用Intel ME
  6. 【Ubuntu】ubuntu物理机安装方法:U盘安装
  7. 输入字符串统计字符串中每个字符出现的次数
  8. ARKit:增强现实技术在美团到餐业务的实践
  9. java中nodelist的用法_我可以在Java中使用for-each遍历一个NodeList吗?
  10. 混淆矩阵与精确度、召回率、F1 Score
  11. Google 要在游戏世界里训练 AI 了!
  12. 如何在C ++中使用String compare()?
  13. MATLAB画qpsk的矢量图,matlab仿真QPSK.doc
  14. dedecms{dede:sql}{dede:php}标签的用法
  15. 页面优化之懒加载与预加载
  16. [python学习记录]python初步操作mysql
  17. 华为OD机试 - 消消乐游戏(Java JS Python)
  18. Android_10开发京东商城手机客户端的几点非技术性总结
  19. 华为 ensp 部分查询方法
  20. 解决this._data.$$state...“Error: [vuex] do not mutate vuex store state outside mutation handlers.“ 报错

热门文章

  1. error 系统错误 错误码10007_工业界纠错系统
  2. java共享内存_Java共享内存
  3. Win7 Tortoise SVN安装异常--please install the universal crt first.You can .. windows-update(Kb2999226)
  4. SQL基础笔试题--(一)
  5. doris同步作业配置参数修改和注意事项
  6. Maven的性质与部署整理
  7. 计算机系统的工作方式,计算机的操作系统与工作方式
  8. TensorFlow基础篇(二)——tf.get_variable()和tf.get_variable_scope()
  9. 带你玩转Visual Studio(八)——带你跳出坑爹的Runtime Library坑
  10. TCP如何保障可靠性