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. PTA——c++面向对象基础

    1.结构不是面向对象的主要特征 2.每个 C++程序中都必须包含有这样一个函数,该函数的函数名为main 3.C++对C语言作了很多改进,下列描述中()使得C语言发生了质变,从面向过程变成了面向对象. ...

  2. 3.15学习总结(Python爬取网站数据并存入数据库)

    在官网上下载了Python和PyCharm,并在网上简单的学习了爬虫的相关知识. 结对开发的第一阶段要求: 网上爬取最新疫情数据,并存入到MySql数据库中 在可视化显示数据详细信息 项目代码: im ...

  3. RestFul的认识与详解

    RestFul :是一种软件架构风格,设计风格,而不是标准.提供了一组设计原则和约束条件. 简单概述: REST -- REpresentational State Transfer 直接翻译:表现层 ...

  4. Java基础系列(36)- 数组三种初始化及内存分析

    内存分析 数组三种初始化 静态初始化 int[] a = {1,2,3}; Man[] mans = {new Man(1,1),new Man(2,2)} 动态初始化 int[] a = new i ...

  5. Jmeter系列(12)- 上传接口压测

    step-1上传接口分析 上传接口源码分析:分析上传文件类型.有无大小限制.存放上传文件服务器 没有源码通过抓包工具,或者Chrome查看框架源代码 接口路径/uploadfile,接口请求POST, ...

  6. npm卸载appium,重新安装桌面版appium

    大家好,appium环境搭建的时候,我选的是使用npm安装appium,但我在使用过程中,发现这样安装的appium没有界面,都是需要通过命令行操作,对于我来说,有点吃力.最后,还是觉得初学就先用桌面 ...

  7. PolarDB PostgreSQL 快速入门

    什么是PolarDB PostgreSQL PolarDB PostgreSQL(下文简称为PolarDB)是一款阿里云自主研发的云原生数据库产品,100%兼容PostgreSQL,采用基于Share ...

  8. P5110-块速递推【特征方程,分块】

    正题 题目链接:https://www.luogu.com.cn/problem/P5110 题目大意 数列\(a\)满足 \[a_n=233a_{n-1}+666a_{n-2},a_0=0,a_1= ...

  9. IdentityServer4[5]简化模式

    Implicit简化模式(直接通过浏览器的链接跳转申请令牌) 简化模式是相对于授权码模式而言的.其不再需要[Client]的参与,所有的认证和授权都是通过浏览器来完成的. 创建项目 IdentityS ...

  10. Python日常Bug集

    1.TypeError: 'int' object is not iterable: 场景示例: data = 7 for i in data: print(i) # 原因:直接对int数据进行迭代造 ...