Score : $400$ points

问题描述

在 AtCoder 食堂提供了 $N$ 种主菜和 $M$ 种配菜。第 $i$ 种主菜的价格为 $A_i$，而第 $j$ 种配菜的价格为 $B_j$。食堂正在考虑推出新的套餐菜单。一份套餐包含一份主菜和一份配菜。令 $s$ 为主菜与配菜价格之和，则套餐的价格为 $\min(s,P)$。这里的 $P$ 是输入中给定的一个常数。

共有 $NM$ 种选择主菜和配菜组成套餐的方式。请计算所有这些套餐的总价。

以上为通义千问 qwen-max 翻译，仅供参考。

Problem Statement

AtCoder cafeteria offers $N$ main dishes and $M$ side dishes. The price of the $i$-th main dish is $A_i$, and that of the $j$-th side dish is $B_j$. The cafeteria is considering introducing a new set meal menu. A set meal consists of one main dish and one side dish. Let $s$ be the sum of the prices of the main dish and the side dish, then the price of the set meal is $\min(s,P)$. Here, $P$ is a constant given in the input.

There are $NM$ ways to choose a main dish and a side dish for a set meal. Find the total price of all these set meals.

Constraints

• $1\leq N,M \leq 2\times 10^5$
• $1\leq A_i,B_j \leq 10^8$
• $1\leq P \leq 2\times 10^8$
• All input values are integers.

Input

The input is given from Standard Input in the following format:

$N$ $M$ $P$

$A_1$ $A_2$ $\dots$ $A_N$

$B_1$ $B_2$ $\dots$ $B_M$

Output

Print the answer as an integer. Under the constraints of this problem, it can be proved that the answer fits into a $64$-bit signed integer.

Sample Input 1

2 2 7
3 5
6 1

Sample Output 1

24

• If you choose the first main dish and the first side dish, the price of the set meal is $\min(3+6,7)=7$.
• If you choose the first main dish and the second side dish, the price of the set meal is $\min(3+1,7)=4$.
• If you choose the second main dish and the first side dish, the price of the set meal is $\min(5+6,7)=7$.
• If you choose the second main dish and the second side dish, the price of the set meal is $\min(5+1,7)=6$.

Thus, the answer is $7+4+7+6=24$.

Sample Input 2

1 3 2
1
1 1 1

Sample Output 2

6

Sample Input 3

7 12 25514963
2436426 24979445 61648772 23690081 33933447 76190629 62703497
11047202 71407775 28894325 31963982 22804784 50968417 30302156 82631932 61735902 80895728 23078537 7723857

Sample Output 3

2115597124

update @ 2024/3/10 01:40:39