F - Valid payments

简化题意:有\(n\)种面值的货币,保证\(a[1]=1,且a[i+1]是a[i]的倍数\)。

有一个价格为\(x\)元的商品,付款\(y\)元,找零\(y-x\)元。

问满足以下条件的情况下的应支付金额\(y\)有多少种?

条件一:付款和找零都使用最少的硬币数量。

条件二:在满足条件一的情况下,付款是用过的硬币面值,找零时无法使用。

考虑这个题对于条件一而言,可以归结为第\(i\)个硬币食用的个数不能超过\(a[i+1]/a[i]\),否则的话我们直接使用\(a[i+1]\)会更优。这样的话在条件一的情况下,每个金额\(x\)都有唯一的表示方法:\(x=k_{x1}*a_1+k_{x2}*a_2+k_{x3}*a_3+...+k_{xn}*a_n\),这样的话我们令\(b=y-x\),则对于条件二而言限制条件就变成了\(k_{yi}和k_{bi}\)不能同时非零,即不能同时使用。

这样的话我们可以列出以下等式:

\(x=k_{x1}*a_1+k_{x2}*a_2+...+k_{xn}*a_n\)

\(+b=k_{b1}*a_1+k_{b2}*a_2+...+k_{bn}*a_n\)

\(y=k_{y1}*a_1+k_{y2}*a_2+...+k_{yn}*a_n\)

限制条件如下:\(k_i不能超过a[i+1]/a[i]\),且\(k_{yi}\)和\(k_{bi}\)不能同时非零。问不同的\(y\),或\(b\)的方案数?(可以发现\(y\)和\(b\)是一一对应的。)

由于\(k_{yi}\)和\(k_{bi}\)不能同时非零,则至少一个为\(0\),所以我们直接分类讨论就行:

1.若\(k_{yi}\)为0,则说明我们这里\(k_{xi}\)和\(k_{bi}\)相加的和必须也为0,但这怎么可能呢?考虑会不会是进位的问题呢?什么意思就是我的\(k_{xi}\)和\(k_{bi}\)都不超过\(a[i+1]/a[i]\)但我的和却超过它了,这样的话就可以用前面的替代了。那么这样的话也就是必须满足\(k_{xi}+k_{bi}+上一位的进位=a[i+1]/a[i]\).这样的话才能满足当前位为\(0\).

2.若\(k_{bi}\)为0,说明\(x_{ki}+上一位的进位=y_{ki}\)。

也就是说只要我们知道上一位是否进位,我们就可以根据当前\(x_{ki}\)来确定当前不同情况下的y和b了。具体的就是我们设\(dp[i][0/1]\)表示前\(i\)位,并且第\(i\)位进位/不进位的方案数。

则根据情况二有:\(dp[i][0]+=dp[i-1][0],dp[i][0]+=dp[i-1][1](k_{xi}!=a[i+1]/a[i]-1)\)

根据情况一有:\(dp[i][1]+=dp[i-1][1],dp[i][1]+=dp[i-1][0](k_{xi}!=0)\)。

由于金额最大的没有限定的使用数量,但我们发现\(k_{bn}\)只能为0.

//不等,不问,不犹豫,不回头.
#include<bits/stdc++.h>
#define _ 0
#define ls p<<1
#define db double
#define rs p<<1|1
#define P 1000000007
#define ll long long
#define INF 1000000000
#define get(x) x=read()
#define PLI pair<ll,int>
#define PII pair<int,int>
#define ull unsigned long long
#define put(x) printf("%d\n",x)
#define putl(x) printf("%lld\n",x)
#define rep(x,y,z) for(int x=y;x<=z;++x)
#define fep(x,y,z) for(int x=y;x>=z;--x)
#define go(x) for(int i=link[x],y=a[i].y;i;y=a[i=a[i].next].y)
using namespace std;
const int N=110;
ll n,x,a[N],mx[N],kx[N],dp[N][2]; inline ll read()
{
ll x=0,ff=1;
char ch=getchar();
while(!isdigit(ch)) {if(ch=='-') ff=-1;ch=getchar();}
while(isdigit(ch)) {x=(x<<1)+(x<<3)+(ch^48);ch=getchar();}
return x*ff;
} int main()
{
//freopen("1.in","r",stdin);
get(n);get(x);
rep(i,1,n) get(a[i]);
rep(i,1,n-1) mx[i]=a[i+1]/a[i];
fep(i,n,1)
{
if(x>=a[i])
{
kx[i]=x/a[i];
x-=kx[i]*a[i];
}
}
dp[0][0]=1;
rep(i,1,n)
{
dp[i][0]+=dp[i-1][0];
dp[i][1]+=dp[i-1][1];
if(kx[i]!=mx[i]-1) dp[i][0]+=dp[i-1][1];
if(kx[i]!=0) dp[i][1]+=dp[i-1][0];
}
putl(dp[n][0]);
return (0^_^0);
}
//以吾之血,铸吾最后的亡魂.

AtCoder Beginner Contest 182 F的更多相关文章

  1. AtCoder Beginner Contest 137 F

    AtCoder Beginner Contest 137 F 数论鬼题(虽然不算特别数论) 希望你在浏览这篇题解前已经知道了费马小定理 利用用费马小定理构造函数\(g(x)=(x-i)^{P-1}\) ...

  2. AtCoder Beginner Contest 261 F // 树状数组

    题目链接:F - Sorting Color Balls (atcoder.jp) 题意: 有n个球,球有颜色和数字.对相邻的两球进行交换时,若颜色不同,需要花费1的代价.求将球排成数字不降的顺序,所 ...

  3. AtCoder Beginner Contest 260 F - Find 4-cycle

    题目传送门:F - Find 4-cycle (atcoder.jp) 题意: 给定一个无向图,其包含了S.T两个独立点集(即S.T内部间的任意两点之间不存在边),再给出图中的M条边(S中的点与T中的 ...

  4. AtCoder Beginner Contest 253 F - Operations on a Matrix // 树状数组

    题目传送门:F - Operations on a Matrix (atcoder.jp) 题意: 给一个N*M大小的零矩阵,以及Q次操作.操作1(l,r,x):对于 [l,r] 区间内的每列都加上x ...

  5. AtCoder Beginner Contest 249 F - Ignore Operations // 贪心 + 大根堆

    传送门:F - Keep Connect (atcoder.jp) 题意: 给定长度为N的操作(ti,yi). 给定初值为0的x,对其进行操作:当t为1时,将x替换为y:当t为2时,将x加上y. 最多 ...

  6. AtCoder Beginner Contest 247 F - Cards // dp + 并查集

    原题链接:F - Cards (atcoder.jp) 题意: 给定N张牌,每张牌正反面各有一个数,所有牌的正面.反面分别构成大小为N的排列P,Q. 求有多少种摆放方式,使得N张牌朝上的数字构成一个1 ...

  7. AtCoder Beginner Contest 133 F Colorful Tree

    Colorful Tree 思路: 如果强制在线的化可以用树链剖分. 但这道题不强制在线,那么就可以将询问进行差分,最后dfs时再计算每个答案的修改值, 只要维护两个数组就可以了,分别表示根节点到当前 ...

  8. AtCoder Beginner Contest 171-175 F

    171 F - Strivore 直接把初始字符当成隔板,统计的方案数会有重复 为了避免重复情况,规定隔板字母尽可能最后出现,即在隔板字母后面不能插入含隔板字母的字符串 所以在隔板字母后插入的字符只有 ...

  9. AtCoder Beginner Contest 215 F题题解

    F - Dist Max 2 什么时候我才能突破\(F\)题的大关... 算了,不说了,看题. 简化题意:给定\(n\)个点的坐标,定义没两个点的距离为\(min(|x_i-x_j|,|y_i-y_j ...

随机推荐

  1. Docker 容器间的单向连接

    Docker 容器间的单向连接 前言 a. 本文主要为 Docker的视频教程 笔记. b. 环境为 CentOS 7.0 云服务器 c. 上一篇:Dockerfile 自动制作 Docker 镜像( ...

  2. 343 day08File类、递归

    day08[File类.递归] 主要内容 File类 递归 教学目标 [ ] 能够说出File对象的创建方式 [ ] 能够说出File类获取名称的方法名称 [ ] 能够说出File类获取绝对路径的方法 ...

  3. C#委托与事件实用场景

    首先,我们需要知道,到底在什么情况下必须使用委托和事件呢? 请看下面的场景:首领A要搞一场鸿门宴,吩咐部下B和C各自带队埋伏在屏风两侧,约定以杯为令:若左手举杯,则B带队杀出:若右手举杯,则C带队杀出 ...

  4. Docker入门系列之二:Docker术语

    原文作者:Jeff Hale 原文地址:https://towardsdatascience.com/learn-enough-docker-to-be-useful-1c40ea269fa8 翻译: ...

  5. PHP怎么遍历对象?

    对于php来说,foreach是非常方便好用的一个语法,几乎对于每一个PHPer它都是日常接触最多的请求之一.那么对象是否能通过foreach来遍历呢? 答案是肯定的,但是有个条件,那就是对象的遍历只 ...

  6. Java基础系列(31)- 可变参数

    可变参数 JDK1.5开始,Java支持传递同类型的可变参数给一个方法 在方法声明中,在指定参数类型后加一个省略号(...) 一个方法中只能指定一个可变参数,它必须是方法的最后一个参数.任何普通的参数 ...

  7. jmeter调度器的使用

    前言 使用jmeter 做压测的时候,希望对一个接口持续压测 10 分钟或者半小时,可以使用调度器设置持续压测时间. https://www.cnblogs.com/yoyoketang/p/1415 ...

  8. php--laravel --debug--mac

    1>安装debug 一.下载xdebug文件 1.将phpinfo();的信息全部输入网址中的框,得到适配的xdebug版本: 网址:http://xdebug.org/wizard.php 2 ...

  9. requests入门大全

    02 requests接口测试-requests的安装 安装常见问题 提示连接不上,443问题 一般是因为浏览器设置了代理,关闭代理. 网络加载慢,设置国内镜像地址 1.pip安装 2.pycharm ...

  10. P4755-Beautiful Pair【笛卡尔树,线段树】

    正题 题目链接:https://www.luogu.com.cn/problem/P4755 题目大意 \(n\)个数字的一个序列,求有多少个点对\(i,j\)满足\(a_i\times a_j\le ...