#F. 单调不下降的菜园

    Type: RemoteJudge 1000ms 256MiB

单调不下降的菜园

You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

单调不下降的菜园

题目描述

WFYZ有一块长条形的菜园,可以看作是1×n1 \times n个方格,从左往右第 ii 个可以种植品种 aia_i,菜地不能更换种菜的品种。

小容是菜园兼职管理员,没空种太多的菜。他只想种恰好 kk 种菜,而且要菜的品种编号从左到右是单调不下降的,而且选择了一个品种后,每块这个品种的菜地都要种上。

小容种第 ii 种菜,会有 bib_i价值的收获,他种菜能获得的最大价值总和是多少?

输入格式

第一行两个整数 n,kn,k,表示菜园的大小和小容种菜的种类。 第二行 nn 个整数 aia_i,表示菜地从左往右第 ii 个格子可以种菜的品种。 第三行 nn 个整数 bib_i,表示第 ii 种菜可以获得的价值。

输出格式

一行一个整数,表示小容能够获得的最大价值;当然,如果没有符合要求的种菜方案,输出 1-1

样例 #1

样例输入 #1

5 2
1 2 1 3 2
5 3 1 100 100

样例输出 #1

6

样例 #2

样例输入 #2

10 3
1 3 4 2 9 3 4 2 5 1
1 5 2 3 9 8 1 2 3 10

样例输出 #2

-1

提示

【样例解释 #1】

对于第一组样例,我们可以选择 11 号和 33 号品种的菜地,种的菜为 [1,1,3][1,1,3],满足单调不下降这一个限制,获得的价值即为 b1+b3=5+1=6b_1+b_3=5+1=6,这是最优的办法。

【数据范围】

对于所有测试数据,满足 1n5001 \le n \le 5001k5001 \le k \le 5001ain1 \le a_i \le n1bi1091 \le b_i \le 10^9

本题捆绑测试,所有数据范围均相同的测试点捆绑为一个 Subtask\text{Subtask}

各测试点的附加限制如下表所示。

测试点 n,kn,k \le 特殊性质
131 \sim 3 1010
454 \sim 5 100100
6106 \sim 10 500500 不同的颜色不超过 1010
111511 \sim 15 每种颜色出现的次数不超过 22
162016 \sim 20