Language: C++

#include <bits/stdc++.h>
#include <boost/multiprecision/cpp_int.hpp>
#include <boost/multiprecision/cpp_dec_float.hpp>
using namespace std;

/***** type *****/
using ll = long long;
using ld = long double;
using ml = boost::multiprecision::cpp_int;
using md = boost::multiprecision::cpp_dec_float_100;
template <class T> using vt = vector<T>;
template <class T> using vvt = vector<vector<T>>;
template <class T> using vvvt = vector<vector<vector<T>>>;
template <class T> using uset = unordered_set<T>;
template <class T1, class T2> using umap = unordered_map<T1, T2>;

/***** define *****/
#define all(c) (c).begin(), (c).end()            // begin to end
#define coutld cout << fixed << setprecision(10) // cout long double
#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 pair NyaaPair                            // nyaa pair
#define first f                                  // pair::first
#define second s                                 // pair::second
/***** 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 ...
#define loop_end 9223372036854775806             // LLONG_MAX-1
/***** for each macro *****/
#define fori(i, ...) if(ll i = -1) for(__VA_ARGS__) if(i++, true)
#define each(i, e, c) fori(i, auto& e: c)
#define forir(i, v, ...) if(ll i=(ll)v.size())for(__VA_ARGS__)if(i--,true)
#define eachr(i, e, c) forir(i, auto e = c.rbegin(); e != c.rend(); ++e)

/***** lambda *****/
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 - '0'); };
auto CeilD = [] // long double ceiling div
(auto a, auto b) { return ceil((ld)a / (ld)b); };
auto Fix = [] // fix value
(auto b, auto e, auto fix)
{ for (auto it = b; it != e; ++it) *it += fix; };
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); };

/***** template *****/
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 InputVT
(ll xs, vt<T>& v, T fix = T())
{	// input vector<T> (T != struct) + fix
	v.resize(xs); rep(i, 0, xs) { cin >> v[i]; v[i] += fix; }
}
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);
}
template <class T1, class T2> struct NyaaPair
{	// nyaa pair template
	T1 f; T2 s;
};
template <class T1, class T2> bool
operator < (const NyaaPair<T1, T2>& l, const NyaaPair<T1, T2>& r)
{	// nyaa pair template operator <
	return (l.f != r.f) ? l.f < r.f : l.s < r.s;
}
template <class T1, class T2> bool
operator > (const NyaaPair<T1, T2>& l, const NyaaPair<T1, T2>& r)
{	// nyaa pair template operator >
	return (l.f != r.f) ? l.f > r.f : l.s > r.s;
}

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

namespace NyaGadget {}

namespace NyaGadget
{
	/***** ベルマンフォード法ライブラリ *****/

	struct BellmanFordEdge
	{
		long long from = 0;
		long long to = 0;
		long long cost = 0;
	};

	struct GT_BellmanFord
	{
		vt<bool> ignore; // 到達不可能な頂点

		/**
		@brief 実行関数
		@param s 処理開始頂点
		@param wlg 重み付き隣接リスト
		@param res 結果を格納する構造体
		@param inf 存在しない辺を表現する値
		@return 正常に処理できればtrue, 負の閉路が存在するときはfalse
		@note
		 計算量O(EV)
		**/
		bool Run
		(long long s, const vector<vector<pair<long long, long long>>>& wlg, vector<long long>& res, long long inf = LLONG_MAX)
		{
			vector<BellmanFordEdge> edge;
			for (long long from = 0; from < (long long)wlg.size(); from++)
			{
				for (auto& e : wlg[from]) edge.push_back({ from, e.f, e.s });
			}
			res.resize((long long)wlg.size(), LLONG_MAX);
			res[s] = 0;
			for (long long i = 0; i < (long long)wlg.size(); i++)
			{
				bool update = false;
				for (auto& e : edge)
				{	// 更新処理
					if (ignore[e.to]) continue;
					if (res[e.from] != inf && res[e.from] + e.cost < res[e.to])
					{
						res[e.to] = res[e.from] + e.cost;
						update = true;
					}
				}
				if (!update) break;
				if (i == (long long)wlg.size() - 1 && update) return false;
			}

			return true;
		}
	};
}

namespace NyaGadget
{
	/*** グラフ到達可能性ライブラリ ***/

	struct GT_NyaaReachable
	{
		/**
		@brief 頂点sからtへの到達可能性を調べる関数
		@param s 開始の頂点
		@param t 目標の頂点
		@param lg 隣接リスト
		@return 到達できるときはtrue, できないときfalseを返す。
		@note
		 内部的にはNyaaReachable::Run(s,g,res)と同じ。
		 計算量はO(max(V, E))程度だと思われる(未証明)。
		**/
		bool Run(long long s, long long t, const vector<vector<long long>>& lg)
		{
			vector<bool>res(g.size(), false);
			NyaaDFS dfs;
			dfs.Run(-1, s, g, res);
			return res[t];
		}

		/**
		@brief 全頂点に対してsからの到達可能性を調べる関数
		@param s 開始の頂点
		@param lg 隣接リスト
		@param res 結果を格納する構造体
		@note
		 計算量はO(max(V, E))程度だと思われる(未証明)。
		 s=0,res[N]=trueなら頂点0からNへ到達可能ということを表す。
		**/
		void Run(long long s, const vector<vector<long long>>& lg, vector<bool>& res)
		{
			res.resize(g.size(), false);
			NyaaDFS dfs;
			dfs.Run(-1, s, g, res);
		}

		struct NyaaDFS
		{
			/**
			@brief DFS処理関数
			@param r 頂点vの根
			@param v 現在の頂点
			@param g 処理するグラフ
			@param res 結果を格納する構造体
			**/
			void Run(long long r, long long v, const vector<vector<long long>>& lg, vector<bool>& res)
			{	// 頂点の更新処理
				res[v] = true;
				for (auto e : g[v])
				{
					if (e == r) continue; // 後戻りを防ぐ
					if (res[e]) continue; // 訪問済み頂点
					Run(v, e, g, res);
				}
			}
		};
	};
}

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

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

int main(void)
{
	ll N, M, P; cin >> N >> M >> P;

	vector<vector<pair<long long, long long>>> wlg(N);
	rep(i, 0, M)
	{
		ll A, B, C; cin >> A >> B >> C;
		A--, B--, C = P - C;
		wlg[A].push_back({ B, C });
	}

	// 任意の頂点vからゴールN-1への到達不可能性を調べる
	GT_BellmanFord bf;
	bf.ignore.resize(N);
	GT_NyaaReachable nr;
	vvt<ll> lg(N); rep(i, 0, N) each(j, e, wlg[i]) lg[i].push_back(e.f);
	rep(v, 1, N-1) bf.ignore[v] = !nr.Run(v, N-1, lg);

	vt<ll> res;
	if (!bf.Run(0, wlg, res))
	{
		cout << -1 << endl;
		return 0;
	}
	if (-res.back() < 0) cout << 0;
	else cout << -res.back();
	return 0;
}


Compiler output:
a.cc:2:10: fatal error: boost/multiprecision/cpp_int.hpp: No such file or directory
    2 | #include <boost/multiprecision/cpp_int.hpp>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.