MYOJ_1349:(洛谷P3951)[NOIP 2017 提高组] 小凯的疑惑(数学公式套用,两步搞定代码)

提示

本题代码纯属数学的结晶,因此肥肠简单,但需要一定理解。

题目描述

小凯手中有两种面值的金币,两种面值均为正整数且彼此互素。每种金币小凯都有无数个。在不找零的情况下,仅凭这两种金币,有些物品他是无法准确支付的。现在小凯想知道在无法准确支付的物品中,最贵的价值是多少金币?

注意:输入数据保证存在小凯无法准确支付的商品。

输入

两个正整数 a 和 b,它们之间用一个空格隔开,表示小凯中金币的面值。

输出

一个正整数 N,表示不找零的情况下,小凯用手中的金币不能准确支付的最贵的物品的价值。

样例输入输出

输入 3 7

输出 11

思路

很好,现在到了展示公式的时间了。

有请 Frobenius数

有请 g(a,b)=ab−a−b

验证:

当a=3,b=7

g(3,7)=3×7−3−7=21−10=11g(3,7)=3×7−3−7=21−10=11**(✔)**

1.证明(反证法):

假设ab - a - b = ax + by,那么:

ab−a−b=ax+byab−a−b=ax+bya(b−1−x)=b(y+1)a(b−1−x)=b(y+1)

因为a和b互素,所以a必须整除y + 1。设y + 1 = ka,则:

a(b−1−x)=bkaa(b−1−x)=bkab−1−x=bkb−1−x=bkx=b−1−bkx=b−1−bk

因为x ≥ 0,所以:

b−1−bk≥0b−1−bk≥0b−1≥bkb−1≥bkk≤(b−1)/bk≤(b−1)/b

由于b ≥ 2(因为a和b互素且为正整数),(b - 1)/b < 1,而k是非负整数,所以k=0。

如果k=0,那么y + 1 = 0 ⇒ y = -1,这与y ≥ 0矛盾。因此,假设不成立,ab - a - b无法表示为ax + by。

2.证明任何大于ab - a - b的数都可以表示

考虑n > ab - a - b,即n ≥ ab - a - b + 1 = (a - 1)(b - 1)。

由于a和b互素,根据Schur's theorem或Coin Problem的理论,任何足够大的整数都可以表示为ax + by。具体来说,最大的不能表示的数是ab - a - b。

重磅代码
cpp 复制代码
#include<stdio.h>
long long a,b;
int main()
{
	scanf("%lld%lld",&a,&b);
	printf("%lld",a*b-a-b);
}
运行结果(这代码竟然被我过了一道洛谷黄题)
相关推荐
山登绝顶我为峰 3(^v^)333 分钟前
如何录制带备注的演示文稿(LaTex Beamer + Pympress)
c++·线性代数·算法·计算机·密码学·音视频·latex
Two_brushes.2 小时前
【算法】宽度优先遍历BFS
算法·leetcode·哈希算法·宽度优先
十五年专注C++开发3 小时前
CMake基础:条件判断详解
c++·跨平台·cmake·自动化编译
森焱森4 小时前
水下航行器外形分类详解
c语言·单片机·算法·架构·无人机
QuantumStack6 小时前
【C++ 真题】P1104 生日
开发语言·c++·算法
天若有情6736 小时前
01_软件卓越之道:功能性与需求满足
c++·软件工程·软件
whoarethenext6 小时前
使用 C++/OpenCV 和 MFCC 构建双重认证智能门禁系统
开发语言·c++·opencv·mfcc
写个博客6 小时前
暑假算法日记第一天
算法
绿皮的猪猪侠6 小时前
算法笔记上机训练实战指南刷题
笔记·算法·pta·上机·浙大
hie988947 小时前
MATLAB锂离子电池伪二维(P2D)模型实现
人工智能·算法·matlab