Problem:
A: Attack the Moles

ICPC で良い成績を収めるには修行が欠かせない．うさぎは ICPC で勝ちたいので，今日も修行をすることにした．

今日の修行は，もぐらたたきを何回も行って，反射神経と記憶力を高めようというものである．出てくるもぐらを次々に叩き，出来るだけ多くのポイントを獲得したい．

もぐらが出てくる可能性のある場所は直線状に並んでいて，基準点からの距離によって座標が定まっている．うさぎはしばらく修行を続けるうちに，もぐらの出現する場所と時間が常に一緒であることに気が付いた．うさぎは，その情報をすべて記録し，コンピュータで解析を行うことにした．

もぐらを叩くには，もぐらの出現位置に手を動かした後，もぐらの出てくるタイミングにぴったり合わせてもぐらを叩かなければならない．もぐらをうまく叩けると，そのもぐらに応じてポイントを得ることが出来る．もぐらを叩く動作は一瞬で行うことが出来るが，手を移動させる速さには限界がある．うさぎはもぐらを叩くにあたって左右両方の手を用いることができる．左手と右手は独立に動かすことが可能であるが，左手は常に右手より座標が小さい位置に存在しなければならない．このような条件下で，最大でどれだけのポイントが得られるかを調べたい．

Input

N V XLeft XRight
X1 T1 P1
...
XN TN PN

N は出てくるもぐらの数，V は手を移動させられる最大の速さ，XLeft, XRight はそれぞれ，左手，右手の初期位置の座標である．Xi, Ti, Pi はそれぞれ，i 番目のもぐらの，出現する位置の座標，ゲーム開始から出現までの時間，叩けた際に得られるポイントである．

1 ≤ N ≤ 3,000，1 ≤ V ≤ 10,000，1 ≤ XLeft < XRight ≤ 100,000，1 ≤ X1 ≤ X2 ≤ ... ≤ XN ≤ 100,000，1 ≤ Ti ≤ 100,000，1 ≤ Pi ≤ 100,000 を満たす．(Xi, Ti) として同一の組は複数回現れない．

Output

うさぎが得られる最大のポイントを 1 行に出力せよ．

Sample Input 1

3 10 150 250
100 20 123
201 10 67
202 10 45

Sample Output 1

190

Sample Input 2

1 7 20 90
55 5 73

Sample Output 2

73

Sample Input 3

10 2 1000 2000
400 300 1
600 200 1
700 800 1
700 500 1
900 600 1
1000 700 1
1300 900 1
1400 400 1
1500 1000 1
2000 100 1

Sample Output 3

10

Solution in C++ (judge verdict: Time Limit Exceeded)

#include<bits/stdc++.h>

#define REP(i,s,n) for(int i=s;i<n;i++)
#define rep(i,n) REP(i,0,n)

using namespace std;

typedef pair<int,int> ii;

struct Edge{
  int to,cap,cost,rev;
  Edge(int to=0,int cap=0,int cost=0,int rev=0):to(to),cap(cap),cost(cost),rev(rev){}
};

const int MAX_V = 8100, IINF = INT_MAX;
int V;
vector<Edge> G[MAX_V];
int h[MAX_V],dist[MAX_V],prevv[MAX_V],preve[MAX_V];

inline void add_edge(int from,int to,int cap,int cost){
  G[from].push_back(Edge(to,cap,cost,G[to].size()));
  G[to].push_back(Edge(from,0,-cost,G[from].size()-1));
}

int min_cost_flow(int s,int t,int f){
  int res = 0;
  while( f > 0 ){
    fill(dist,dist+V,IINF);
    dist[s] = 0;
    bool update = true;
    while(update){
      update = false;
      for(int v=0;v<V;v++){
        if( dist[v] == IINF ) continue;
        for(int i=0;i<G[v].size();i++){
          Edge &e = G[v][i];
          if( e.cap > 0 && dist[e.to] > dist[v] + e.cost ) {
            dist[e.to] = dist[v] + e.cost;
            prevv[e.to] = v;
            preve[e.to] = i;
            update = true;
          }
        }
      }
    }
    //if( dist[t] == IINF ) return -1;
    if( dist[t] == IINF ) break;
    int d = f;
    for(int v=t;v!=s;v=prevv[v]) d = min(d,G[prevv[v]][preve[v]].cap);
    f -= d;
    res += d * dist[t];
    for(int v=t;v!=s;v=prevv[v]){
      Edge &e = G[prevv[v]][preve[v]];
      e.cap -= d;
      G[v][e.rev].cap += d;
    }
  }
  return res;
}

typedef long long ll;
const int MAX_N = 3100;

struct Data {
  int X,T;
  ll P;
  bool operator < ( const Data &data ) const {
    if( T != data.T ) return T < data.T;
    return ( X == data.X ) ? P < data.P : X < data.X;
  }
};

vector<Data> buf;
int N,v,xL,xR;

int main(){

  cin >> N >> v >> xL >> xR;
  buf.resize(N);
  rep(i,N) cin >> buf[i].X >> buf[i].T >> buf[i].P;
  buf.push_back((Data){xL,0,0});
  buf.push_back((Data){xR,0,0});
  sort(buf.begin(),buf.end());
  V = 0;
  int source = (int)buf.size()*2, sink = source+1;
  V = sink+1;
  add_edge(source,0,1,0);
  add_edge(source,1,1,0);

  rep(i,(int)buf.size()){
    add_edge(i,(int)buf.size()+i,1,-buf[i].P);
    add_edge((int)buf.size()+i,sink,1,0);
    rep(j,(int)buf.size())if( i != j ){
      if( buf[i].T > buf[j].T ) continue;
      if( abs(buf[i].X-buf[j].X) <= v * (buf[j].T-buf[i].T) ) {
        //cout << i << " to " << j << " " << abs(buf[i].X-buf[j].X) << " <= " << v * (buf[j].T-buf[i].T) << endl;
        add_edge((int)buf.size()+i,j,1,0);
      }
    }
  }
  cout << -min_cost_flow(source,sink,IINF) << endl;

  return 0;
}