Language: C++

#pragma GCC diagnostic ignored "-Wunused-variable"
#pragma GCC diagnostic ignored "-Wunused-parameter" 
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;

//#define BOOST
#ifdef BOOST
#include <boost/multiprecision/cpp_int.hpp>
#include <boost/multiprecision/cpp_dec_float.hpp>
using ml = boost::multiprecision::cpp_int;
using md = boost::multiprecision::cpp_dec_float_100;
#endif

/***** type *****/
using ll = long long;
using ld = long double;
using pll = pair<long long, long long>;
template <class T> using vt = vector<T>;
template <class T> using vvt = vector<vector<T>>;
template <class T> using vvvt = vector<vector<vector<T>>>;
/***** define *****/
#define all(c) (c).begin(), (c).end()            // begin to end
#define coutld cout << fixed << setprecision(10) // cout double
#define output(x) do { cout << x << endl; exit(0); } while(0)
#define rep(i, b, e) for (ll i = b; i < e; i++)  // repeat
#define repr(i, b, e) for (ll i = b; e < i; i--) // repeat reverse
#define fori(i, ...) if (ll i = -1) for(__VA_ARGS__) if (i++, 1)
#define each(i, e, c) fori (i, auto&& e: c)      // for each
/***** const value *****/
#define llong_max 9223372036854775807            // 9 * 10^18
#define ldbl_max 1.79769e+308                    // 1.7 * 10^308
#define pi 3.1415926535897932                    // 3.14 ...
/***** lambda *****/
auto Ceil = [] // if (a % b != 0) return a / b + 1;
(auto x) { return (ll)ceil(x); };
auto Count = [] // long long count value
(auto b, auto e, auto x) { return (ll)count(b, e, x); };
auto CtoL = [] // char to number
(auto c) { return (ll)c - (ll)'0'; };
auto LtoC = [] // number to char
(auto n) { return (char)('0' + n); };
auto Pow = [] // long long pow
(auto a, auto b) { return (ll)pow(a, b); };
auto Pow2 = [] // long long pow2
(auto n) { return (1LL << n); };
auto Pow10 = [] // long long pow10
(auto n) { return (ll)pow(10, n); };
auto Size = []  // long long collection size
(auto& c) { return (ll)(c).size(); };
auto Sum = [] // long long accumulate
(auto b, auto e) { return accumulate(b, e, 0LL); };

/***** operator *****/
template <class T, class S> pair<T, S> operator + (pair<T, S> l, pair<T, S> r)
{	// pair<T, S> + pair<T, S>
    return { l.first + r.first, l.second + r.second };
}
template <class T, class S> pair<T, S> operator - (pair<T, S> l, pair<T, S> r)
{	// pair<T, S> - pair<T, S>
    return { l.first - r.first, l.second - r.second };
}
/***** template *****/
template <class A, class B, class C> struct triple
{	// tuple<A, B, C>
    A a = A(); B b = B(); C c = C();
};
template <class T> void MakeVVT
(ll ys, ll xs, vvt<T>& v, T fill = T())
{	// vector<vector<T>> resize + fill
    v.resize(ys); rep(y, 0, ys) v[y].resize(xs, fill);
}
template <class T> void MakeVVVT
(ll zs, ll ys, ll xs, vvvt<T>& v, T fill = T())
{	// vector<vector<vector<T>>> resize + fill
    v.resize(zs); rep(z, 0, zs) MakeVVT(ys, xs, v[z], fill);
}
template <class T> void InputVVT
(ll ys, ll xs, vvt<T>& v, T fix = T())
{	// input vector<vector<T>> (T != struct) + fix
    MakeVVT(ys, xs, v, fix);
    rep(y, 0, ys) rep(x, 0, xs) { cin >> v[y][x]; v[y][x] += fix; }
}
template <class T> void InputVVVT
(ll zs, ll ys, ll xs, vvvt<T>& v, T fix = T())
{	// input vector<vector<vector<T>>> (T != struct) + fix
    v.resize(zs); rep(z, 0, zs) InputVVT(ys, xs, v[z], fix);
}

/**************************************/
/********** BEGIN OF NYA LIB **********/
/**************************************/

namespace NyaGadget {}

namespace NyaGadget
{
	/***** MOD 関数ライブラリ *****/

	struct NT_Mod
	{
		static long long Add(long long x, long long y, long long mod)
		{
			x = (x + y) % mod;
			if (x >= mod) x -= mod;
			return x;
		}

		static long long Sub(long long x, long long y, long long mod)
		{
			x = (x - y) % mod;
			if (x < 0) x += mod;
			return x;
		}

		static long long Mul(long long x, long long y, long long mod)
		{
			x = (unsigned long long) x * y % mod;
			return x;
		}

		static long long Div(long long x, long long y, long long mod)
		{
			x = x * Inv(y, mod) % mod;
			return x;
		}

		static long long Pow(long long x, long long n, long long mod)
		{
			long long res = 1;
			if (0 < n)
			{
				res = Pow(x, n / 2, mod);
				res = Mul(res, res, mod);
				if (n % 2 != 0) res = Mul(res, x, mod);
			}
			return res;
		}

		static long long Inv(long long a, long long mod)
		{
			long long b = mod, u = 1, v = 0;
			while (b)
			{
				long long t = a / b;
				a -= t * b; std::swap(a, b);
				u -= t * v; std::swap(u, v);
			}
			u %= mod;
			return (u < 0) ? u + mod : u;
		}
	};

	/***** MOD 型ライブラリ *****/

	template<long long mod> struct NT_ModLL
	{	// 非型テンプレートパラメータ
		long long x;

		// コンストラクタ
		NT_ModLL() { x = 0; }
		NT_ModLL(long long x_)
		{
			x = x_ % mod + mod;
			if (x >= mod) x -= mod;
		}

		// 符号
		NT_ModLL operator + () const { return x; }
		NT_ModLL operator - () const { return (-x < 0) ? mod - x : -x; }

		// 加減乗除
		NT_ModLL operator + (NT_ModLL r) const { return NT_ModLL(*this) += r; }
		NT_ModLL operator - (NT_ModLL r) const { return NT_ModLL(*this) -= r; }
		NT_ModLL operator * (NT_ModLL r) const { return NT_ModLL(*this) *= r; }
		NT_ModLL operator / (NT_ModLL r) const { return NT_ModLL(*this) /= r; }
		NT_ModLL& operator += (NT_ModLL r)
		{	// 加算代入
			if ((x += r.x) >= mod) x -= mod;
			return *this;
		}
		NT_ModLL& operator -= (NT_ModLL r)
		{	// 減算代入
			if ((x -= r.x) < 0) x += mod;
			return *this;
		}
		NT_ModLL& operator *= (NT_ModLL r)
		{	//乗算代入
			x = (unsigned long long) x * r.x % mod;
			return *this;
		}
		NT_ModLL& operator /= (NT_ModLL r)
		{	// 除算代入
			x = x * Inv(r.x, mod) % mod;
			return *this;
		}

		long long Inv(long long a, long long m)
		{	// 逆元 x^{-1} (主に除算演算子で使用)
			long long b = m, u = 1, v = 0;
			while (b)
			{
				long long t = a / b;
				a -= t * b; swap(a, b);
				u -= t * v; swap(u, v);
			}
			u %= m;
			return (u < 0) ? u + m : u;
		}

		// 比較
		bool operator == (NT_ModLL& r) const { return x == r.x; }
		bool operator != (NT_ModLL& r) const { return x != r.x; }
		bool operator <  (NT_ModLL& r) const { return x < r.x; }
		bool operator <= (NT_ModLL& r) const { return x <= r.x; }
		bool operator >  (NT_ModLL& r) const { return x > r.x; }
		bool operator >= (NT_ModLL& r) const { return x >= r.x; }

		// 入出力
		friend ostream& operator << (ostream& s, NT_ModLL<mod> a)
		{
			s << a.x, a.x %= mod;
			return s;
		}
		friend istream& operator >> (istream& s, NT_ModLL<mod>& a)
		{
			s >> a.x, a.x %= mod;
			return s;
		}

		NT_ModLL Pow(long long x, long long n)
		{	// 累乗(繰り返し二乗法)、計算量O(logN)
			NT_ModLL res = 1;
			if (0 < n)
			{
				res = Pow(x, n / 2);
				res = res * res;
				if (n % 2 != 0) res *= x;
			}
			return res;
		}
	};
}

namespace NyaGadget
{
	/***** 累積和ライブラリ *****/

	template <class T> struct DS_NyaaCumulativeSum
	{
		std::vector<T> sum;
		DS_NyaaCumulativeSum() {}
		DS_NyaaCumulativeSum(std::vector<T>& v)
		{
			if (v.empty()) sum.push_back(0);
			else sum.push_back(v.front());
			for (long long i = 1; i < (long long)v.size(); ++i) sum.push_back(sum.back() + v[i]);
		}
		/**
		@brief 範囲の合計値を取得する
		@note
		 閉区間[s, t)の合計値を返す。
		 範囲外のsやtに対しては0を返す。
		**/
		T Range(long long s, long long t)
		{
			if (s < 0) s = 0;
			if ((long long)sum.size() < t) t = (long long)sum.size();
			// 戻り値の計算
			if (t <= 0 || (long long)sum.size() <= s) return 0;
			return (s == 0) ? sum[t - 1] : sum[t - 1] - sum[s - 1];
		}
	};
}

namespace NyaGadget
{
	/***** UnionFindライブラリ *****/

	struct UnionFindVertex
	{	// 頂点を表現する構造体
		long long self = 0; // 自分自身のインデックス
		long long root = 0; // 根のインデックス
		long long size = 0; // 自分が属している木のサイズ
	};

	struct DS_UnionFind
	{	// 木構造で粗集合データを実現させる
		std::vector<UnionFindVertex> v;

		/**
		@brief コンストラクタ
		@param max 最大値
		@note
		 [0-max]の素集合データ構造を作成する
		**/
		DS_UnionFind(long long max)
		{	// [0-max]のデータ構造にするため、max+1でリサイズ
			v.resize(max + 1);
			for (long long i = 0; i < max + 1; i++)
			{	// 各頂点の根を自分自身で初期化、木サイズは1
				v[i].self = i;
				v[i].root = i;
				v[i].size = 1;
			}
		}

		/**
		@brief 要素xの根を検索する関数
		**/
		long long Find(long long x)
		{
			if (x == v[x].root) return x;
			// 根の探索をすると同時に次からO(1)で根を参照できるようにする(経路圧縮)
			v[x].root = Find(v[x].root);
			return v[x].root;
		}

		long long Size(long long x)
		{	// 要素xが属する集合のサイズを取得する
			return v[Find(x)].size;
		}

		bool Same(long long x, long long y)
		{	// 要素xと要素yが同じ集合かどうか調べる
			return Find(x) == Find(y);
		}

		/**
		@brief 要素を併合する関数
		@param x 併合する要素x
		@param y 併合する要素y
		@note
		 要素xを含む木と要素yを含む木を「サイズ優先で」併合する。
		 ただし、xとyが既に同じ木に属しているときは何もしない。
		 併合したときtrue、何もしなかったときfalseを返す。
		 サイズによる工夫により、計算量はアッカーマンの逆関数になる。
		**/
		bool Union(long long x, long long y)
		{
			long long root1 = Find(x);
			long long root2 = Find(y);

			// 既に同じ木に属しているときは何もしない
			if (root1 == root2) return false;

			// サイズの小さい木の根をサイズの大きい木の根に繋いで併合する
			if (v[root1].size < v[root2].size)
			{
				v[root1].root = root2;
				v[root2].size += v[root1].size;
			}
			else
			{
				v[root2].root = root1;
				v[root1].size += v[root2].size;
			}
			return true;
		}

		/**
		@brief 要素を併合する関数
		@param x 併合する要素1
		@param y 併合する要素2
		@param p  親指定
		@note
		 要素xを含む木と要素yを含む木を「pを含む木を親として」併合する。
		 ただし、xとyが既に同じ木に属しているときは何もしない。
		 併合したときtrue、何もしなかったときfalseを返す。
		 計算量はO(logN)になり、アッカーマンの逆関数に比べて若干遅くなる。
		**/
		bool Union(long long x, long long y, long long p)
		{
			long long root1 = Find(x);
			long long root2 = Find(y);
			long long rootp = Find(p);

			// 既に同じ木に属しているときは何もしない
			if (root1 == rootp && root2 == rootp) return false;

			// 子の木を親の木へ併合する
			if (rootp == root1)
			{
				v[root2].root = rootp;
				v[rootp].size += v[root2].size;
			}
			else if (rootp == root2)
			{
				v[root1].root = rootp;
				v[rootp].size += v[root1].size;
			}
			else
			{
				v[root1].root = rootp;
				v[rootp].size += v[root1].size;
				v[root2].root = rootp;
				v[rootp].size += v[root2].size;
			}
			return true;
		}
	};
}

/**************************************/
/*********** END OF NYA LIB ***********/
/**************************************/

using namespace NyaGadget;
//using mll = NT_ModLL< 1000000007 >;
//using mll = NT_ModLL< 998244353 >;

using S = long long;
using F = long long;

const S INF = 8e18;
const F ID = 8e18;

S op(S a, S b) { return std::max(a, b); }
S e() { return -INF; }
S mapping(F f, S x) { return (f == ID ? x : f); }
F composition(F f, F g) { return (f == ID ? g : f); }
F id() { return ID; }

int main()
{
	ll N, K; cin >> N >> K;
	vt<ll> A(N); each(i, e, A) cin >> e;
	reverse(all(A));
	std::vector<S> v(Pow10(5)+1);
	atcoder::lazy_segtree<S, op, e, F, mapping, composition, id> seg(v);

	seg.apply(A[0], A[0]+1, 1);
	rep(i, 1, Size(A))
	{

		seg.apply(A[i], A[i]+1,
			max(
				seg.prod(A[i], min(Pow10(5), A[i] + K + 1)) + 1,
				seg.prod(max(0LL, A[i] - K), A[i] + 1) + 1
			)
		);
	}
	cout << seg.prod(A.back(), A.back()+1);
	return 0;
}


Compiler output:
a.cc:4:10: fatal error: atcoder/all: No such file or directory
    4 | #include <atcoder/all>
      |          ^~~~~~~~~~~~~
compilation terminated.