Language: C++

#include <bits/stdc++.h>
using namespace std;

//BEGIN CUT HERE
template <typename T>
struct SegmentTree{
  using F = function<T(T,T)>;
  int n;  //セグ木の幅
  F f;  //モノイドの作用
  T ti;  //初期値
  vector<T> dat;  //セグ木で使う配列 一番上に使われるのがdat[1] 一番下の段の左端がdat[n]
  SegmentTree(){};
  SegmentTree(F f,T ti):f(f),ti(ti){}  //fがモノイドとしての作用、tiが単位元
  SegmentTree(F f,T ti,int n_):f(f),ti(ti){
    n=1;
    while(n<n_) n<<=1;
    dat.assign(n<<1,ti);
  }
  SegmentTree(F f,T ti,const vector<T> &v):f(f),ti(ti){
    int n_=v.size();
    n=1;
    while(n<n_) n<<=1;
    dat.assign(n<<1,ti);
    for(int i=0;i<n_;i++)dat[n+i]=v[i];
    for(int i=n-1;i;i--)
      dat[i]=f(dat[(i<<1)|0],dat[(i<<1)|1]);
  }

  T get(int x){
    return dat[x+n];
  }

  void init(int n_){  //ただの初期化
    n=1;
    while(n<n_) n<<=1;  //nが実際にとる２べきの幅
    dat.assign(n<<1,ti);  //dat配列は幅の２倍あってその全てにtiを代入
  }

  void build(const vector<T> &v){  //vector vに合わせた初期化
    int n_=v.size();
    init(n_);
    for(int i=0;i<n_;i++) dat[n+i]=v[i];  //v[i]を一番子の所に代入
    for(int i=n-1;i;i--)
      dat[i]=f(dat[(i<<1)|0],dat[(i<<1)|1]);  //iの子供は2*i、2*i+1
  }

  void set_val(int k,T x){  //（0-indexedで）kにxを代入
    dat[k+=n]=x;
    while(k>>=1)  //kがどんどん自分の親になっていく、0になったらおしまい
      dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]);
  }

  T query(int a,int b){  //[a,b)の範囲のモノイドの作用を返す
    T vl=ti,vr=ti;
    for(int l=a+n,r=b+n;l<r;l>>=1,r>>=1) {
      if(l&1) vl=f(vl,dat[l++]);  //左端を使いたくなるのはブロックが奇数の時
      if(r&1) vr=f(dat[--r],vr);  //右端〃偶数の時（開区間なのでr:奇数で反応）
    }
    return f(vl,vr);
  }

  template<typename C>
  int find(int st,C &check,T &acc,int k,int l,int r){  //dat[k]:[l,r)の間にいるenを返す
    //下のfind用なので先にそっち読むべき
    //accはst~lとかで確定している値
    if(l+1==r){  //答えがちゃんと存在するならこのlが答え
      acc=f(acc,dat[k]);
      return check(acc)?k-n:-1; //入るならk-n(==l)を、入らないなら-1を返す
    }
    int m=(l+r)>>1;  //にぶたんのそれ
    if(m<=st) return find(st,check,acc,(k<<1)|1,m,r);  //mがstより後ろなら明らかにl=m;
    if(st<=l&&!check(f(acc,dat[k]))){  //今見てるk全部でもダメ(mだと足りないのでl=mにする）
      acc=f(acc,dat[k]);  //kは全部accに加えた上で-1を返す
      return -1;
    }
    int vl=find(st,check,acc,(k<<1)|0,l,m);  //まず[l,m)の中にenがいるか探す
    if(~vl) return vl;  //いたならそれを返す(if(~vl)は-1以外にのみ反応する)
    return find(st,check,acc,(k<<1)|1,m,r);  //いなかったら[m,r)の中にenがいるのでそれを返す
    //acc=f(acc,dat[k]);がここで効いてる
  }

  template<typename C>
  int find(int st,C &check){
    //check(f(dat[st]~dat[en-1]))=false,check(f(dat[st]~dat[en]))＝trueとなるenを返す
    T acc=ti;
    return find(st,check,acc,1,0,n);
  }
};
//END CUT HERE

signed main(){
  int n,k;cin>>n>>k;
  SegmentTree<int> seg(300000,[](int a,int b){return max(a,b);},0);
  while(n--){
    int a;cin>>a;
    seg.set_val(a,seg.query(a-k,a+k+1)+1);
  }
  cout<<seg.query(0,300001)<<endl;
}


Compiler output:
a.cc: In function 'int main()':
a.cc:93:66: error: no matching function for call to 'SegmentTree<int>::SegmentTree(int, main()::<lambda(int, int)>, int)'
   93 |   SegmentTree<int> seg(300000,[](int a,int b){return max(a,b);},0);
      |                                                                  ^
a.cc:19:3: note: candidate: 'SegmentTree<T>::SegmentTree(F, T, const std::vector<_Tp>&) [with T = int; F = std::function<int(int, int)>]'
   19 |   SegmentTree(F f,T ti,const vector<T> &v):f(f),ti(ti){
      |   ^~~~~~~~~~~
a.cc:19:17: note:   no known conversion for argument 1 from 'int' to 'SegmentTree<int>::F' {aka 'std::function<int(int, int)>'}
   19 |   SegmentTree(F f,T ti,const vector<T> &v):f(f),ti(ti){
      |               ~~^
a.cc:14:3: note: candidate: 'SegmentTree<T>::SegmentTree(F, T, int) [with T = int; F = std::function<int(int, int)>]'
   14 |   SegmentTree(F f,T ti,int n_):f(f),ti(ti){
      |   ^~~~~~~~~~~
a.cc:14:17: note:   no known conversion for argument 1 from 'int' to 'SegmentTree<int>::F' {aka 'std::function<int(int, int)>'}
   14 |   SegmentTree(F f,T ti,int n_):f(f),ti(ti){
      |               ~~^
a.cc:13:3: note: candidate: 'SegmentTree<T>::SegmentTree(F, T) [with T = int; F = std::function<int(int, int)>]'
   13 |   SegmentTree(F f,T ti):f(f),ti(ti){}  //fがモノイドとしての作用、tiが単位元
      |   ^~~~~~~~~~~
a.cc:13:3: note:   candidate expects 2 arguments, 3 provided
a.cc:12:3: note: candidate: 'SegmentTree<T>::SegmentTree() [with T = int]'
   12 |   SegmentTree(){};
      |   ^~~~~~~~~~~
a.cc:12:3: note:   candidate expects 0 arguments, 3 provided
a.cc:6:8: note: candidate: 'SegmentTree<int>::SegmentTree(const SegmentTree<int>&)'
    6 | struct SegmentTree{
      |        ^~~~~~~~~~~
a.cc:6:8: note:   candidate expects 1 argument, 3 provided
a.cc:6:8: note: candidate: 'SegmentTree<int>::SegmentTree(SegmentTree<int>&&)'
a.cc:6:8: note:   candidate expects 1 argument, 3 provided