#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #ifdef LOCAL # include "debug_print.hpp" # define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define debug(...) (static_cast(0)) #endif using namespace std; #define rep(i,n) for(int i=0; i<(n); i++) #define rrep(i,n) for(int i=(n)-1; i>=0; i--) #define FOR(i,a,b) for(int i=(a); i<(b); i++) #define RFOR(i,a,b) for(int i=(b-1); i>=(a); i--) #define ALL(v) v.begin(), v.end() #define RALL(v) v.rbegin(), v.rend() #define UNIQUE(v) v.erase( unique(v.begin(), v.end()), v.end() ); #define pb push_back using ll = long long; using D = double; using LD = long double; using P = pair; template using PQ = priority_queue>; template using minPQ = priority_queue, greater>; templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b ostream &operator<<(ostream &os, const pair &p) { os << p.first << " " << p.second; return os; } template istream &operator>>(istream &is, pair &p) { is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const vector &v) { int s = (int)v.size(); for (int i = 0; i < s; i++) os << (i ? " " : "") << v[i]; return os; } template istream &operator>>(istream &is, vector &v) { for (auto &x : v) is >> x; return is; } void in() {} template void in(T &t, U &...u) { cin >> t; in(u...); } void out() { cout << "\n"; } template void out(const T &t, const U &...u) { cout << t; if (sizeof...(u)) cout << sep; out(u...); } void outr() {} template void outr(const T &t, const U &...u) { cout << t; outr(u...); } constexpr ll inf = 1e18; #include "atcoder/mincostflow.hpp" int main(){ ios_base::sync_with_stdio(false); cin.tie(nullptr); int k,n,m; in(k,n,m); vector a(k),b(n); in(a,b); rep(i,k) a[i]--; vector>> g(n); vector u(m),v(m); vector d(m); rep(i,m){ in(u[i],v[i],d[i]); u[i]--; v[i]--; g[u[i]].pb({v[i],d[i]}); g[v[i]].pb({u[i],d[i]}); } ll dist[n][n]; rep(i,n)rep(j,n) dist[i][j] = inf; rep(st,n){ minPQ> pq; pq.push({0,st}); dist[st][st] = 0; while(pq.size()){ auto [dt, fr] = pq.top(); pq.pop(); if(dist[st][fr] < dt) continue; for(auto [to, wt] : g[fr]){ if(dist[st][to] > dt + wt){ dist[st][to] = dt+wt; pq.push({dist[st][to],to}); } } } } atcoder::mcf_graph fg(n+2); int source = n, sink = n+1; rep(i,k) fg.add_edge(source, a[i], 1, 0); rep(i,n) fg.add_edge(i, sink, b[i], 0); rep(i,m){ fg.add_edge(u[i],v[i],k, d[i]); fg.add_edge(v[i],u[i],k, d[i]); } auto [mf, mc] = fg.flow(source, sink, k); out(mc); }