关于四川2019ACM省赛热身赛B题的一个证明

简单题意：给两个正整数\(a,b\),问\(ax+by\)中第\(k\)小的是什么
题解：大家基本都知道了。。\(lcm+d*gcd\)(\(d\)是某系数)
今天突然想起这个题，之前热身赛后没来得及证明，今天中午想了会儿就记下来（也不知道对不对）
首先，我们可以假设\(gcd(a,b)=1\)，（如果不为\(1\)可以提出一个系数\(r\)，处理过程一致）
对于\(ax+by=1\),我们可以求出\(x',y'\)满足\(ax'+by'=1\),现在我们的目标就是求出一个最小的\(c\),存在 \(x''\ge0,y''\ge0\)，使得 \(ax''+by''=c\)
我们可以得到一个 \(x''=cx',y''=cy'\),使得 \(ax''+by''=c\), 又所有解的形式为:\(x=x''+kb,y=y''-ka\)
于是,\(\begin{array}{lcl} x''+kb\ge0 \\ y''-ka\ge0\\ \end{array}\) \(\rightarrow\)\(\begin{array}{lcl} cx'+kb\ge0 \\ cy'-ka\ge0\\ \end{array}\)\(\rightarrow\)\(\begin{array}{lcl} k\ge-\frac{cx'}{b} \\ k\le\frac{cy'}{a}\\ \end{array}\) \(\rightarrow\) \(k\in\) \(\left[\frac{-cx'}{b},\frac{cy'}{a} \right]\)
于是\(k\)有解，当且仅当\(\frac{-cx'}{b} \le\frac{cy'}{a}\) \(\rightarrow\) \(\frac{cy'}{a}\) + \(\frac{cx'}{b}\) \(\ge\ 0\)
现在问题清晰了，我们需要最小的\(c\),满足\(a|c,b|c\)
于是\(c=lcm\left(a,b\right)\) \(\rightarrow\ by'+ax'=1\ge0\)

转载于:https://www.cnblogs.com/sienna/p/11004551.html

关于四川2019ACM省赛热身赛B题的一个证明相关推荐

青科大编程赛热身赛C题：火柴棒等式
题目概述: 给你n根火柴棒,你可以拼出多少个形如"A+B=C"的等式?等式中的A.B.C是用火柴棒拼出的整数(若该数非零,则最高位不能是0).用火柴棒拼数字0--9的拼法如图所示: ...
HNUCM信息科学与工程学院第二届新生赛——热身赛
HNUCM信息科学与工程学院第二届新生赛--热身赛题目比较坑点较多,注意避坑,特别是数据范围和题意,因为是新生赛,所以还是选择使用了c语言书写,基本没有调用内置函数库,排序统一使用了冒泡排序,没有使 ...
蓝桥杯单片机十一届省赛_“第十届蓝桥杯青少组C++省赛”前三题解题思路及参考答案！...
关注及时了解信息学竞赛相关资讯第十一届蓝桥杯青少组C++省赛即将到来,待考的各位小同学有没有刷完去年的真题呢?以下是为大家复习准备的"第十届蓝桥杯青少组C++省赛"前三题解题思 ...
第十届蓝桥杯大赛青少年创意编程C++组省赛第1题水下探测器
/* 第十届蓝桥杯大赛青少年创意编程C++组省赛第1题水下探测器(刘昕源)水下探测器可以潜入湖中在任意水深进行科学探索.湖水的最大深度为 h 米,即它在湖底时到水面的距离,0<=h<= ...
小乐乐与二段数（2019哈理工新生赛第20题）
链接:2019哈理工新生赛题解 2019哈理工新生赛第20题 T题: 链接:https://ac.nowcoder.com/acm/contest/1877/T 来源:牛客网题目描述小乐乐从老师口 ...
2022年4月蓝桥杯软件类省赛：真题+解析
文章目录试题 A 试题 B 试题 C 试题 D 试题 E 试题 F 试题 G 试题 H 试题 I 试题 J 相关文章: 2021年4月蓝桥杯(软件类)省赛:真题+解析 2020年10月蓝桥杯(软件类 ...
6.26CF模拟赛D:黑白条题题解
6.26CF模拟赛D:黑白条题题解题目描述链接文字描述题目分析代码实现题目描述链接 6.26CF模拟赛D题文字描述 D. 黑白条 time limit per test2 s. mem ...
2019广工ACM校赛决赛A题：思维题 HDU 6461 zsl 和hzy的生存挑战
2019广工校赛决赛A题.HDU 6461 http://acm.hdu.edu.cn/showproblem.php?pid=6461 题目描述 zsl 和hzy 来到了臭臭城堡,打算挑战臭臭城堡的 ...
电灯开关-第12届蓝桥杯Scratch省赛2真题第1题
[导读]:超平老师计划推出Scratch蓝桥杯真题解析100讲,这是超平老师解读Scratch蓝桥真题系列的第50讲. 第12届蓝桥杯青少年组省赛分两次进行,这是2020年10月19日举行的第一次省赛 ...
电赛综合测评题练习（二）-（与2015年电赛综合测评要求类似）
2015年电赛综合测评(部分要求有区别) 系列文章 T1:电赛综合测评题练习(一)-(与2013年电赛综合测评要求类似) 点击下载仿真文件1(请使用Multisim 14及以上版本打开) T2:电赛综 ...

关于四川2019ACM省赛热身赛B题的一个证明

关于四川2019ACM省赛热身赛B题的一个证明相关推荐

最新文章

热门文章