logo AlgoBeat OnlineJudge
登录 注册

#215155. [UOI 2020 II Stage] 日历

内存限制:512 MiB 时间限制:1000 ms 标准输入输出
题目类型:VJudge(洛谷) 评测方式:VJudge
上传者: 匿名

题目描述

哥萨克胡子来到了一个奇妙的世界。他发现,这个世界将恰好存在 个日历年。而且,每年由 个月组成,编号为 的月份恰好持续 天。

哥萨克立刻明白,这个世界使用以下六种日历日期格式之一:日.月.年日.年.月月.日.年月.年.日年.月.日年.日.月(其中 表示年份编号, 表示月份编号, 表示月份中的日期)。胡子感兴趣的是,有多少个有序三元组 () 满足:对于 任何 一种格式,日历日期 x.y.z 都是有效的(即该日期描述了一个真实存在的日期)。

例如,当 时,日期 2.3.1 对于格式 日.月.年 是无效的(该日期描述的是第三个月的第二天,但第三个月只持续一天)。另一方面,日期 1.1.1 对于所有格式都是有效的。

输入格式

第一行包含一个整数 () —— 日历年的月份数,同时也等于日历年数。

第二行包含 个整数 () —— 第 个月份的天数。

输出格式

输出一个数字 —— 满足条件的三元组数量。

样例

样例输入 1

3
2 1 2

样例输出 1

4

样例输入 2

5
4 3 4 2 1

样例输出 2

30

数据范围与提示

第一个样例的解释:

考虑所有三元组:

—— 符合所有格式。

—— 符合所有格式。

—— 符合所有格式。

—— 不符合格式 年.日.月年.月.日

—— 符合所有格式。

—— 不符合格式 日.年.月月.年.日

—— 不符合格式 月.日.年日.月.年

—— 不符合格式 日.年.月月.日.年月.年.日年.日.月年.月.日日.月.年

三元组 不符合,因为每个月的天数都小于 (在格式 日.年.月年.日.月年.月.日 中,至少有一个格式会使该三元组无效)。

翻译由 DeepSeek V3 完成