首页 > 其他分享 >2023年全国高中数学联合竞赛A卷加试P3:组合极值、染色

2023年全国高中数学联合竞赛A卷加试P3:组合极值、染色

时间:2024-09-14 21:47:29浏览次数:9  
标签:P3 17 10 dfrac align 加试 leq cdots 2023

题目 求具有下述性质的最小正整数$k$:若将$1,2,\cdots,k$中的每个数任意染为红色或者蓝色, 则或者存在$9$个不同的红色的数$x_1,x_2,\cdots,x_9$满足$x_1+x_2+\cdots+x_8 < x_9,$ 或者存在$10$个互不相同的蓝色的数$y_1,y_2,\cdots,y_{10}$满足$y_1+y_2+\cdots+y_9 < y_{10}.$

解析 先想个容易想到的构造, 将$1,2,\cdots,45$染为蓝色, $46,47,\cdots,396$染为红色, 不符合题目要求, 因此$k_{\min}\geq397.$
因此我们待定$k_{\min}=a\geq397.$ 尝试证明$k=a$时, 对于任何染色都能找到满足题意的$\{x_i\}$或$\{y_i\}.$ 用反证法, 假设不成立, 则存在染色, $S$是$1,2,\cdots,k$中所有蓝色数, $T$为所有红色数, 依照反证假设, 则$S$中最小$9$元大于等于$S$的最大元, $T$中最小$8$元大于等于$T$的最大元, 若$|S|\leq 10,$ 则$T$中最大元$\geq a-10,$ $T$中最小$8$元均$\leq 18,$ 则有$18\times 8\geq a-10,$ 显然矛盾, 同理$|T|\leq 9$时可推出矛盾. 因此我们可以要求$|S|\geq 11,$ $|T|\geq10.$ 设$S$中最小$9$元为$z_1,z_2,\cdots,z_9,$ $T$中最小$8$元为$w_1,w_2,\cdots,w_8.$ 显然有$z_9\geq9,$ $w_8\geq8.$ 分两种情形讨论.
$1^{\circ}$ $a\in T,$ 若$z_9\geq17,$ 则$|\{1,2,\cdots,17\}\cap S|\leq 9,$ 则$|\{1,2,\cdots,17\}\cap T|\geq8,$ 则$w_1,w_2,\cdots,w_8$均小于$17.$ 这显然与$w_1+w_2+\cdots+w_8\geq a$矛盾. 故$z_9\leq 16,$ 此时, \begin{align*} \{1,2,\cdots,z_9\}=\{z_1,z_2,\cdots,z_9\}\cup\{w_1,w_2,\cdots,w_{z_9-9}\} \end{align*} 而对于$i\in[z_9-8,8],$ 有$ w_i\leq \max S+(i-z_9+9) $ 因此 \begin{align*} a+\max S\leq& z_1+z_2+\cdots+z_9+w_1+w_2+\cdots+w_8\\= &1+2+\cdots+z_9+w_{z_9-8}+w_{z_9-7}+\cdots+w_{8}\\\leq&\dfrac{z_9(z_9+1)}{2}+(17-z_9)\max S+\dfrac{(17-z_9)(18-z_9)}{2}. \end{align*} 因此 \begin{align*} a\leq&\dfrac{z_9(z_9+1)}{2}+(16-z_9)\max S+\dfrac{(17-z_9)(18-z_9)}{2}\\\leq&\dfrac{z_9(z_9+1)}{2}+(16-z_9)(z_1+z_2+\cdots+z_9)+\dfrac{(17-z_9)(18-z_9)}{2}\\\leq&\dfrac{z_9(z_9+1)}{2}+(16-z_9)(9z_9-36)+\dfrac{(17-z_9)(18-z_9)}{2}=-8z_9^2+163z_9-423. \end{align*} 对于最后的二次函数, $z_9=10$是距离对称轴最近的整数, 故此时取最大值$407.$ 希望这里能推出矛盾, 故$a\geq408.$
$2^{\circ}$ $a\in S,$ 若$w_8\geq17,$ 则$|\{1,2,\cdots,17\}\cap T|\leq 8,$ 则$|\{1,2,\cdots,17\}\cap S|\geq9,$ 则$z_1,z_2,\cdots,z_9$均小于$17.$ 这显然与$z_1+z_2+\cdots+z_9\geq a$矛盾. 故$w_8\leq 16,$ 此时, \begin{align*} \{1,2,\cdots,w_8\}=\{w_1,w_2,\cdots,w_8\}\cup\{z_1,z_2,\cdots,z_{w_8-8}\} \end{align*} 而对于$i\in[w_8-7,9],$ 有$ z_i\leq \max T+(i-w_8+8) $ 因此 \begin{align*} a+\max T\leq& z_1+z_2+\cdots+z_9+w_1+w_2+\cdots+w_8\\= &1+2+\cdots+w_8+z_{w_8-7}+z_{w_8-6}+\cdots+z_{9}\\\leq&\dfrac{w_8(w_8+1)}{2}+(17-w_8)\max T+\dfrac{(17-w_8)(18-w_8)}{2}. \end{align*} 因此 \begin{align*} a\leq&\dfrac{w_8(w_8+1)}{2}+(16-w_8)\max S+\dfrac{(17-w_8)(18-w_8)}{2}\\\leq&\dfrac{w_8(w_8+1)}{2}+(16-w_8)(w_1+w_2+\cdots+w_8)+\dfrac{(17-w_8)(18-w_8)}{2}\\\leq&\dfrac{w_8(w_8+1)}{2}+(16-w_8)(8w_8-28)+\dfrac{(17-w_8)(18-w_8)}{2}=-7w_8^2+139w_8-295. \end{align*} 对于最后的二次函数, $w_8=10$是距离对称轴最近的整数, 故此时取最大值$395,$ 此时矛盾.
因此取$a=408$可以使得上面的证明成立. 因此我们希望给出$k=407$时不合题意的构造. 在证明中我们 得到此时应有$a\in T,$ $z_9=10,$ $\max S=9z_9-36=54,$ $w_2=55,$ $w_3=56,$ $\cdots,$ $w_8=61.$ 进而可以容易地得到构造.
即将$1,55,56,57,\cdots,407$染为红色, $2,3,4,\cdots,54$染为蓝色, 则蓝色数中最小的$9$个$2+3+\cdots+10=54,$ 红色数中最小的$8$个$1+55+56+\cdots+61=407.$ 故$k=407$不符合题意. $k\leq 407$依然按照此法染色, 知亦不符合题意.
因此可以容易地完成本题的解答. $k$的最小值为$408.$

标签:P3,17,10,dfrac,align,加试,leq,cdots,2023
From: https://www.cnblogs.com/HenryYang24/p/18414731

相关文章

  • Arduino IDE离线配置第三方库文件-ESP32开发板
    简洁版可以使用uget等,将文件下载到对应文件夹下,然后安装。esp32之arduino配置下载提速录屏ArduinoIDE离线配置第三方库文件ESP32资源 Linuxhttps://download.csdn.net/download/ZhangRelay/89749063第三方开发板非默认支持的开发板linux系统下,下载存放文件目......
  • 基于django+vue电脑DIY微信小程序演示录像22023【开题报告+程序+论文】-计算机毕设
    本系统(程序+源码+数据库+调试部署+开发环境)带论文文档1万字以上,文末可获取,系统界面在最后面。系统程序文件列表开题报告内容研究背景随着科技的飞速发展,个人电脑(PC)已成为人们日常生活与工作中不可或缺的一部分。然而,在市场上琳琅满目的电脑配件和复杂多变的配置选项中,许多......
  • 信息学奥赛初赛天天练-89-CSP-S2023基础题1-linux常用命令、完全平方数、稀疏图、队列
    PDF文档公众号回复关键字:202409142023CSP-S选择题单项选择题(共15题,每题2分,共计30分:每题有且仅有一个正确选项)1在Linux系统终端中,以下哪个命令用于创建一个新的目录?()AnewdirBmkdirCcreateDmkfold2从0,1,2,3,4中选取4个数字,能组成(......
  • springboot+vue在线考试系统的设计与演示录像220239【程序+论文+开题】计算机毕业设计
    系统程序文件列表开题报告内容研究背景随着互联网技术的飞速发展,教育领域正经历着前所未有的变革。传统的考试方式,如纸质试卷考试,不仅效率低下、成本高昂,而且在组织、阅卷及反馈等环节上存在诸多不便。尤其是在大规模考试或远程教育中,这些问题尤为突出。因此,开发一种高效、......
  • 【IPV6从入门到起飞】5-2 IPV6+Home Assistant(ESP32+MQTT+DHT11+BH1750)传感器采集上
    IPV6+HomeAssistant[ESP32+MQTT+DHT11+BH1750]传感器采集上传监测1背景2实现效果3HomeAssistant配置3-1MQTT配置3-2yaml配置3-3加载配置4ESP32搭建4-1开发环境4-2工程代码5实现效果1背景在上一小节【IPV6从入门到起飞】5-1IPV6+HomeAssistant(搭建......
  • 物联网毕设 -- 图传种植监测控制(STM32+ESP32+APP)
    目录一连线图1原理图2PCB效果(面包版不适用)3实物效果4APP效果5功能概括(1)硬件端(2)APP端(4)云平台使用(需要可以找我获取)(5)演示视频二底层代码使用方式1.使用说明2.下载程序三APP使用方式1下载APP四程序架构及修改(通用) 前言该智能环境监测与控制系统......
  • 多目标优化算法求解36个多目标测试函数(ZDT1、ZDT2、ZDT3、ZDT4、ZDT6、DTLZ1-DTLZ9、W
    36个多目标测试函数(ZDT1、ZDT2、ZDT3、ZDT4、ZDT6、DTLZ1-DTLZ9、WFG1-WFG9、UF1-UF10、LSMOP1-LSMOP3)是专门为了测试和比较不同多目标优化算法的性能而设计的。下面是每个函数集的简要介绍:ZDT(Zitzler-Deb-Thiele)函数集:ZDT系列是一组经典的多目标优化测试函数,由EckartZit......
  • 《ESP32从0到1》之MQTT与阿里iot通信(中)
    文章目录文章内容硬件增加定时器,实现定时发布MQTT主题移植smart_config程序最终程序逻辑运行测试保存ssid和password上电自动配网最终运行测试补充说明欢迎关注并留言文章内容基于MQTT->tcp结合wifi->smart_config示例工程,读懂程序,最终实现MQTT与阿里iot平台通信。......
  • COMP3760/6760: Enterprise Systems Integration
    COMP3760/6760:EnterpriseSystemsIntegrationAssignment 1(10%of thesemester)Semester 2,2024TheAggregatorModelof eBusinessConsiderthebusinessmodelofShippit(appendix1).Explainhowactingasanaggregator,thecompanymakesstrategicuseo......
  • 时序必读论文05|PatchTST : 时序数据Patch已成趋势【ICLR 2023】
    书接上回,我们在之前的文章已经分析了直接把transformer应用到时间序列预测问题的不足,其中我们总结了4个不足:分别是:注意力机制的计算复杂度高,为O(N^2),并且计算得出的权重仅有少部分有用;注意力机制仅建立单时间点位之间的关系,实际能提取到的信息非常有限;对时序或者说位......