Problem:
問題文

世の中の少女たちはキュゥべえと契約し願いを叶えてもらい，それとひきかえに魔法少女となる．使う魔法の形・効果は願いに強く影響を受ける．魔法少女さやかちゃんは最近キュゥべえと契約した新米魔法少女である．さやかの願いは「事故のため指が動かなくなり，音楽を演奏するのを諦めていた男の子を助けること」であったので，作る魔方陣は音符が輪の上に並んだ形をしている．

さやかは N 個の音符を持っており，それらを輪の上に並べることによって魔方陣を作る．音符をどのような順番で並べるかは彼女の自由である．魔方陣を作るために精神力が消費され，その量は音符の配置によって以下のように決まる．

まず， M 個の正の整数からなる音楽的美しさ S_1,\ ...,\ S_M が定められている，

各音符は音程を持っており，音程は 1 から M の整数 K_1,\ ...,\ K_N で表される．

音程が a,\ b\ (a≤b) であるような 2 つの音符の間の反発力とは， [(S_a\ +\ ...\ +\ S_b) / L] で定められる量である．ここで，L は入力で与えられる定数であり，実数 x に対して [x] は x を越えない最大の整数を表すものとする．

さやかの消費する精神力は，各2つの隣り合う音符 (N 組存在する) の間の反発力の合計値である．

例えば音楽的美しさがそれぞれ \{100,\ 200,\ 300,\ 400,\ 500\} で，音程が \{1,\ 3,\ 5,\ 4\} である音符をこの順番で並べて魔方陣を作った時，消費される精神力は 37\ (=[(100+200+300)/99]+[(300+400+500)/99]+[(500+400)/99]+[(400+300+200+100)/99]) となる．

使うべき音符の音程の組み合わせと各音程の音楽的美しさが与えられるので，消費される精神力の最小値を求めよ．

入力形式

入力は以下の形式で与えられる．

N\ M\ L\\
K_1\ K_2\ …\ K_N\\
S_1\ S_2\ …\ S_M

N はさやかの持っている音符の数，M は音楽的美しさの値の個数，L は反発力を定めるのに使われる定数である．

K_i は音符の音程を表し，S_j は音楽的美しさを表す．

出力形式

消費される精神力の最小値を 1 行に出力せよ．

制約

3 ≤ N ≤ 2,000

1 ≤ M ≤ 105

1 ≤ L ≤ 105

1 ≤ K_i ≤ M

1 ≤ S_j ≤ 105

入力値は全て整数である．

入出力例

入力例 1

4 5 99
1 4 5 3
100 200 300 400 500

出力例1

37

入力例 2

3 1 99
1 1 1
100

出力例 2

3

Problem Setter: Flat35

Solution in C++14 (judge verdict: Accepted)

#include<iostream>
#include<string>
#include<cstdio>
#include<vector>
#include<cmath>
#include<algorithm>
#include<functional>
#include<iomanip>
#include<queue>
#include<ciso646>
#include<random>
#include<map>
#include<set>
#include<bitset>
#include<stack>
#include<unordered_map>
#include<utility>
#include<cassert>
using namespace std;

typedef long long ll;

typedef unsigned long long ul;
typedef unsigned int ui;
const ll mod = 1000000007;
const ll INF = mod * mod;
typedef pair<int, int> P;
#define stop char nyaa;cin>>nyaa;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define Rep(i,sta,n) for(int i=sta;i<n;i++)
#define rep1(i,n) for(int i=1;i<=n;i++)
#define per1(i,n) for(int i=n;i>=1;i--)
#define Rep1(i,sta,n) for(int i=sta;i<=n;i++)
typedef pair<ll, ll> LP;
typedef vector<int> vec;
typedef vector<string> svec;
typedef long double ld;
typedef pair<ld, ld> LDP;
const ld eps = 1e-8;

int n, m, l;
void solve() {
	vector<int> b(n);
	rep(i, n) {
		cin >> b[i]; b[i]--;
	}
	vector<ll> a(m);
	vector<ll> ra(m+1,0);
	rep(i, m)cin >> a[i];
	rep(i, m) {
		ra[i + 1] = ra[i] + a[i];
	}
	sort(b.begin(), b.end());
	vector<vector<ll>> dp(n);
	rep(i, n) {
		dp[i].resize(n, INF);
	}
	dp[0][0] = 0;
	rep1(i, n - 2) {
		rep(j, i) {
			ll cost = dp[i - 1][j] + (ra[b[i] + 1] - ra[b[j]]) / l;
			dp[i][i - 1] = min(dp[i][i - 1], cost);
			cost = dp[i - 1][j] + (ra[b[i]+1] - ra[b[i - 1]]) / l;
			dp[i][j] = min(dp[i][j], cost);
		}
	}
	ll ans = INF;
	rep(j, n - 1) {
		ll cost = dp[n - 2][j];
		cost += (ra[b[n - 1]+1] - ra[b[n - 2]]) / l;
		cost += (ra[b[n - 1] + 1] - ra[b[j]]) / l;
		ans = min(ans, cost);
	}
	cout << ans << endl;
}

signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	//cout << fixed << setprecision(10);
	//init();
	while (cin >> n>>m>>l, n) {
		solve();
		break;
	}
	//solve();
	//stop
	return 0;
}