#include using namespace std; int main() { int N, H, X; cin >> N >> H >> X; int G, B; cin >> G; set g; set b; for(int i = 1; i <= G; i++) { int a; cin >> a; g.insert(a); } cin >> B; for(int i = 1; i <= B; i++) { int a; cin >> a; b.insert(a); } H = min(H, B); //リープする回数はせいぜいB回 set remains;//圧縮する際、残るマスの座標を入れる //簡単のため0マス目は圧縮に含めない for(int a : b) { int l = max(1, a - X); int r = min(N, a + X); for(int j = l; j <= r; j++) { remains.insert(j); } } int ans_base = 0; //確実に取れる単位を記録する変数 for(int a : g) { if(!remains.count(a)) { ans_base++; //周辺に落単マスがないのならば確実に取れる } } int N1 = remains.size();//圧縮後に残ったマスの数 (0マス目は数に含めていない事に注意) vector nw(N1 + 1, 0);//変換後のマスの情報 int idx = 1; for(int a : remains) { if(b.count(a)) { nw[idx]--; } if(g.count(a)) { nw[idx]++; } idx++; } vector> dp(N1+1, vector(H+1, -100100100)); dp.at(0).at(H) = 0; for(int i = 1; i <= N1; i++) { for(int j = 0; j <= H; j++) { if(j != H && i >= X) { dp[i][j] = max(dp[i][j], dp[i-X][j+1] + nw[i]); } dp[i][j] = max(dp[i][j], dp[i-1][j] + nw[i]); } } int ans = -100100100;//単位の数はマイナスを取りうることに注意してください。 for (int j = 0; j <= H; j++) { ans = max(ans, dp[N1][j]); } cout << ans + ans_base << endl; }