#include using namespace std; using ll = long long; #define rep(i, srt, end) for (long long i = (srt); i < (long long)(end); i++) // Ref: https://qiita.com/ysuzuki19/items/d89057d65284ba1a16ac #define dump(var) do{std::cerr << #var << " : ";view(var);}while(0) template void view(T e){std::cerr << e << "\n";} template void view(const std::vector& v){for(const auto& e : v){ std::cerr << e << " "; } std::cerr << "\n";} template void view(const std::vector >& vv){ std::cerr << "\n"; for(const auto& v : vv){ view(v); } } template void dump_cout(const T& v) { for(long long i = 0; i < v.size(); i++) std::cout << v[i] << (i == v.size()-1 ? "\n" : " "); } namespace wf { // There is no edge with negative cost template void warshallFloyed(std::vector> &d) { int n = d.size(); for(int i = 0; i < n; i++) d[i][i] = 0; for(int i = 0; i < n; i++) { for(int j = 0; j < n; j++) { for(int k = 0; k < n; k++) { d[j][k] = min(d[j][k], d[j][i] + d[i][k]); } } } } // There are edges with negative cost. // If graph has negative cycle, return false template bool warshallFloyedNeg(std::vector> &d, T inf) { bool res = true; int n = d.size(); auto chmin = [&](T &a, T b) { if(a == inf) a = b; else if(b == inf) ; else a = std::min(a, b); }; auto addinf = [&](T a, T b) -> T { if(a == inf || b == inf) return inf; else return a + b; }; for(int i = 0; i < n; i++) chmin(d[i][i], 0); for(int i = 0; i < n; i++) { for(int j = 0; j < n; j++) { for(int k = 0; k < n; k++) { chmin(d[j][k], addinf(d[j][i], d[i][k])); } } } for(int i = 0; i < n; i++) if(d[i][i] < 0) res = false; return res; } }; void solve() { ll n, m, k; cin >> n >> m >> k; vector a(n); rep(i, 0, n) cin >> a[i]; const ll inf = 1e18; vector>> G(n); vector dist(n, vector(n, inf)); rep(i, 0, m) { ll x, y, z; cin >> x >> y >> z; x--; y--; G[x].push_back({y, z}); G[y].push_back({x, z}); dist[x][y] = z; dist[y][x] = z; } wf::warshallFloyed(dist); vector dp(n+1, vector(1< ll { if(dp[cur][mask] != -1) return dp[cur][mask]; if(cur == k) return 0; ll res = inf; rep(i, 0, n) { if(mask & (1<