当前位置: 首页 > news >正文

第三章 鸽巢原理

简单形式

在这里插入图片描述
简单的来说就是两个几何的映射无法做到一一对应就可能导致鸽巢原理。

应用

在这里插入图片描述
这里的要点为序列的联系子集可以看成两个从a1开始的序列的差:
在这里插入图片描述
由题目条件得知:我们需要求两个从a1开始的连续序列除以m有相同的余数
然后在这个新的问题中也是假设不能有余数为0的,因此,余数的个数少于总情况数,可以使用鸽巢原理。

在这里插入图片描述
由上题得知,还是要转化为两个连续序列的差。而这两个连续序列满足的条件为ai=aj+21a_i =a_j + 21ai=aj+21,由此构造一个新的序列(包含aai+21a_i + 21ai+21的序列),在这个序列中用鸽巢原理。

在这里插入图片描述
此题关键是要知道整数的表达形式,这样应该可以解决所有的两数整除问题。

在这里插入图片描述
这里首先列出了余a所有情况,然后证明了其除以n的余数各不相同。、

加强版

在这里插入图片描述
加强版是在简单形式的基础上对每个鸽巢的鸽子数提出了要求。
在这里插入图片描述
由此我们得出了结论:鸽巢原理本质是求最高的下限,因此我们总是要平均情况(最不极端的分配情况)

在这里插入图片描述
在这里插入图片描述
题干解析:这里说的意思其实是,任意一种小盘子,总能找到一种摆放方式,使得相同颜色的扇形至少为100.
关键点:这题其实可以算出无论是什么小盘子,其所有摆放的重合颜色总数是一样的,都是20000种,而一共有200种摆放方式,则可有平均值定理证明。

在这里插入图片描述
思路说明:假设不存在n +1递增子序列的情况,证明递减。
将整体分为每组n个的递增数列,结果会出现n + 1.
然后再证明这n + 1的情况必然是递减即可。

Ramsey定理

在这里插入图片描述
在这里插入图片描述
证明方法如上图所示,K6中,每个结点都有5条边,对于二着色来说,必定会有三条边着同一颜色。如上图设定是着红色。如果三条红边两两相邻均是黄边,则有一个单色三角形;若有一条红遍,也会和过x的红边组成三角形。

更一般的Ramsey定理

在这里插入图片描述
在这里插入图片描述
对于这一步进行说明:
|Rx|+|Bx|=p-1=r(m-1, n)+r(m, n-1)-1⇒|Rx|≥r(m-1, n)或者|Bx|≥ r(m, n-1)假设|Rx|≥r(m-1, n)成立。
其实和简单,假设这两个条件同时不成立就能明白了。
最后证明的这个不等式实际就证明了存在上界,然后这种数本来就存在下界,这样就证明了其存在。

http://www.dtcms.com/a/422547.html

相关文章:

  • 智慧政务——解读57页清华大学:DeepSeek政务场景应用与解决方案【附全文阅读】
  • Transformer模型:深度解析自然语言处理的革命性架构
  • 声网AI逐字拆解问题,30天重塑口语清晰表达
  • Java异常简介
  • VSCode Web版本安装
  • 实用软件 | 实时监控andriod设备硬件状态-devcheck
  • 非关系型数据库(NoSQL):特性、类型与应用指南​
  • 性能革命的底层逻辑:深入理解 Spring Cloud Gateway 的 Reactor 核心
  • 2025 年 AI+BI 趋势下,Wyn 商业智能软件如何重构企业决策效率?
  • 网站开发合同印花税公司网站建设重点内容
  • CMake cmake_parse_arguments
  • 4、存储系统架构 - 从机械到闪存的速度革命
  • 淘宝店铺全量商品接口深度开发:从分页优化到数据完整性保障
  • 视频MixformerV2 onnx导出
  • winfrom 的 BindingSource ,ist<T> + LINQ,DataTable + DataView 自动刷新机制 优势劣势
  • Spring Statemachine 架构详解
  • 做网站大概费用给漫画网站做推广
  • Hadoop RPC深度解析:分布式通信的核心机制
  • 提升开发效率的RPC系统!
  • 微信小程序入门学习教程,从入门到精通,微信小程序页面交互 —— 知识点详解与案例实现(3)
  • 高端品牌网站建设电商网站设计常州的平台公司
  • 物联网存储选型避坑指南:SQLite/MySQL/InfluxDB深度对比(C#场景+性能测试+选型工具)
  • Sublime Text 4 下载 + 安装 + 汉化全流程教程(图文保姆级指南)
  • Print Conductor打印软件安装教程!一款非常好用的批量打印软件!支持PDF、Word、Excel、图片等
  • 华为HCIP认证条件及考试技巧
  • 【数值分析】08-非线性方程的求根方法-简单迭代法求根(1)
  • Django 视图与路由基础:从URL映射到视图函数
  • 华为 HCIA-Datacom 备考:VRP 通用路由平台原理-实操
  • 网站开发需要哪些知识展台
  • 高端网站建设服务器网站首页做一点开有动画