#ifndef ONLINE_JUDGE #define _GLIBCXX_DEBUG #endif #include using namespace std; #define pass (void)0 #define INF (1<<30)-1 #define INFLL (1LL<<60)-1 #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repr(i, n) for (int i = (int)(n) - 1; i >= 0; i--) #define rep2(i, a, b) for (int i = (int)(a); i < (int)(b); i++) #define repr2(i, a, b) for (int i = (int)(b) - 1; i >= (int)(a); i--) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() #define sz(x) ((int)(x).size()) #define YesNo(cond) cout << ((cond) ? "Yes\n" : "No\n") #define YESNO(cond) cout << ((cond) ? "YES\n" : "NO\n") using ll = long long; using pii = pair; using pll = pair; using vi = vector; using vl = vector; using vvi = vector; using vvl = vector; template void print(const T& value) { cout << value << "\n"; } template void print(const vector& vec) { for (auto& v : vec) cout << v << " "; cout << "\n"; } template void input(vector& vec) { for (auto& v : vec) cin >> v; }; template bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; } return false; } template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } return false; } #include using namespace atcoder; using mint = modint998244353; using vm = vector; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(10); ll N, M; cin >> N >> M; vl P(N); input(P); vector> G(N, vector ()); scc_graph SG(N); rep (_, M) { ll u, v, t; cin >> u >> v >> t; u --; v --; G[u].push_back({v, t}); SG.add_edge(u, v); } vvi B = SG.scc(); vl potential(N, INFLL); vector visited(N, false); for (auto b : B) { auto n = b[0]; if (visited[n]) continue; potential[n] = 0; visited[n] = true; deque que; que.push_back(n); while (!que.empty()) { auto n = que.front(); que.pop_front(); for (auto [v, _] : G[n]) { if (!visited[v]) { visited[v] = true; que.push_back(v); } } } } rep (_, N-1) { rep (n, N) { for (auto [v, c] : G[n]) { chmin(potential[v], potential[n]+c); } } } vvl dist(N, vl(N, INFLL)); rep (n, N) { for (auto [v, c] : G[n]) { dist[n][v] = c+potential[n]-potential[v]; } } vvl result(N, vl(N, INFLL)); rep (s, N) { result[s][s] = 0; vector visited(N, false); priority_queue, greater> que; que.push({0, s}); while (!que.empty()) { auto [d, n] = que.top(); que.pop(); if (visited[n]) continue; visited[n] = true; for (auto [v, _] : G[n]) { if (result[s][n]+dist[n][v] < result[s][v]) { result[s][v] = result[s][n]+dist[n][v]; que.push({result[s][v], v}); } } } rep (i, N) { if (result[s][i] != INFLL) { result[s][i] += potential[i]-potential[s]; } } } rep (i, N) { rep (j, N) { if (i == j) continue; if (result[i][j] != INFLL) { result[i][j] += P[i]+P[j]; } } } ll MIN = INFLL; ll cnt = 0; rep (i, N) { rep (j, N) { if (i == j) continue; if (result[i][j] < MIN) { MIN = result[i][j]; cnt = 1; } else if (result[i][j] == MIN) { cnt ++; } } } print(format("{} {}", MIN, cnt)); }