#include <bits/stdc++.h>
#define int long long
using namespace std;
#define all(v) (v).begin(), (v).end()
#define rall(v) (v).rbegin(), (v).rend()
#define rep(i, a, b) for(int i = (a); i < (b); i++)
#define sz(v) ((int)((v).size()))
template<typename T>
void chmax(T &x, const T &v) { if (x < v) x = v; }
template<typename T>
void chmin(T &x, const T &v) { if (x > v) x = v; }
using pii = pair<int, int>;
using vi = vector<int>;
string to_string(string s) { return s; }
template <typename T> string to_string(T v) {
bool first = true;
string res = "[";
for (const auto &x : v) {
if (!first)
res += ", ";
first = false;
res += to_string(x);
}
res += "]";
return res;
}
template <typename A, typename B>
string to_string(pair<A, B> p) {
return "(" + to_string(p.first) + ", " + to_string(p.second) + ")";
}
void dbg_out() { cout << endl; }
template <typename Head, typename... Tail> void dbg_out(Head H, Tail... T) {
cout << ' ' << to_string(H);
dbg_out(T...);
}
#ifdef DEBUG
#define dbg(...) cout << "(" << #__VA_ARGS__ << "):", dbg_out(__VA_ARGS__)
#else
#define dbg(...)
#endif
const int MAX_N = 2005, MAX_ARRET = 1e5+5;
int nbNode, nbEdge, nbReq, nbArret;
vector<int> adj[MAX_N];
int xorNode[MAX_N];
int poids[MAX_N];
int arrets[MAX_ARRET];
int vus[MAX_N][MAX_N];
int VuTime = 0;
struct Chemin {
int len, fst, lst;
bool operator<(const Chemin &oth) const {
return tie(len, fst, lst) < tie(oth.len, oth.fst, oth.lst);
}
bool operator==(const Chemin &oth) const {
return tie(len, fst, lst) == tie(oth.len, oth.fst, oth.lst);
}
};
template<typename T>
using minpq = priority_queue<T, vector<T>, greater<T>>;
string to_string(const Chemin c) {
return "(len=" + to_string(c.len) + ", fst=" + to_string(c.fst) + ", lst=" + to_string(c.lst) + ")";
}
int repondre() {
vector<vector<vector<Chemin>>> matrice(nbNode);
vector<int> cntFirst(nbEdge+1), cntLast(nbEdge+1);
auto compressTab = [&](vector<Chemin> &chemins) {
sort(all(chemins));
VuTime++;
vector<Chemin> ret;
for (Chemin chem : chemins) {
if (ret.size() > 8)
break;
dbg(chem);
if (cntFirst[1+chem.fst] == 3 or cntLast[1+chem.lst] == 3 or vus[1+chem.fst][1+chem.lst] == VuTime)
continue;
ret.push_back(chem);
cntFirst[1+chem.fst]++;
cntLast[1+chem.lst]++;
vus[1+chem.fst][1+chem.lst] = VuTime;
}
for (Chemin chem : ret) {
cntFirst[1+chem.fst]--;
cntLast[1+chem.lst]--;
}
return ret;
};
auto interesting = [&] (const Chemin &add, vector<Chemin> &V) {
V.push_back(add);
V = compressTab(V);
return (find(all(V), add) != end(V));
};
rep(depart, 0, nbNode) {
auto& cand = matrice[depart];
cand.resize(nbNode);
cand[depart].push_back({0, -1, -1});
minpq<pair<Chemin, int>> pq;
pq.push({cand[depart].back(), depart});
vector<int> nbVus(nbNode);
while (!pq.empty()) {
auto [oldChemin, node] = pq.top();
pq.pop();
nbVus[node]++;
// oldChemin.len == dist[node]
dbg(depart, node);
if (nbVus[node] > 2) {
continue;
}
for (int iEdge : adj[node]) {
if (iEdge == oldChemin.lst) continue;
int voisin = xorNode[iEdge]^node;
Chemin nouvChemin {
oldChemin.len + poids[iEdge],
(oldChemin.fst == -1 ? iEdge : oldChemin.fst),
iEdge
};
if (interesting(nouvChemin, cand[voisin])) {
dbg(voisin, cand[voisin], nouvChemin);
pq.push({nouvChemin, voisin});
}
}
}
rep(node, 0, nbNode) {
cand[node] = compressTab(cand[node]);
assert(sz(cand[node]) <= 9);
}
}
vector<Chemin> candidats;
candidats.push_back({0, -1, -1});
rep(iRawArret, 1, nbArret) {
int prev = arrets[iRawArret-1];
int cur = arrets[iRawArret];
dbg(prev+1, cur+1);
dbg(matrice[prev][cur]);
vector<Chemin> nv;
for (Chemin c1 : candidats) for (Chemin c2 : matrice[prev][cur]) {
if (c1.lst != c2.fst) {
int newFst = (c1.fst == -1 ? c2.fst : c1.fst);
nv.push_back({c1.len + c2.len, newFst, c2.lst});
}
}
candidats = compressTab(nv);
assert(sz(candidats) <= 9);
dbg(candidats);
}
if (candidats.empty()) return -1;
return min_element(all(candidats))->len;
}
signed main() {
ios::sync_with_stdio(false);
cin.tie(0);
cin >> nbNode >> nbEdge >> nbReq >> nbArret;
rep(iEdge, 0, nbEdge) {
int u, v; cin >> u >> v;
--u, --v;
cin >> poids[iEdge];
xorNode[iEdge] = u^v;
adj[u].push_back(iEdge);
adj[v].push_back(iEdge);
}
rep(iArret, 0, nbArret) {
cin >> arrets[iArret];
--arrets[iArret];
}
rep(iReq, 0, nbReq) {
int indice, val;
cin >> indice >> val;
--indice, --val;
arrets[indice] = val;
cout << repondre() << '\n';
}
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
340 KB |
Output is correct |
4 |
Correct |
1 ms |
340 KB |
Output is correct |
5 |
Correct |
1 ms |
340 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
340 KB |
Output is correct |
8 |
Correct |
1 ms |
340 KB |
Output is correct |
9 |
Correct |
1 ms |
340 KB |
Output is correct |
10 |
Correct |
1 ms |
340 KB |
Output is correct |
11 |
Correct |
1 ms |
340 KB |
Output is correct |
12 |
Correct |
1 ms |
340 KB |
Output is correct |
13 |
Correct |
1 ms |
340 KB |
Output is correct |
14 |
Correct |
1 ms |
376 KB |
Output is correct |
15 |
Incorrect |
1 ms |
340 KB |
Output isn't correct |
16 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
340 KB |
Output is correct |
4 |
Correct |
1 ms |
340 KB |
Output is correct |
5 |
Correct |
1 ms |
340 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
340 KB |
Output is correct |
8 |
Correct |
1 ms |
340 KB |
Output is correct |
9 |
Correct |
1 ms |
340 KB |
Output is correct |
10 |
Correct |
1 ms |
340 KB |
Output is correct |
11 |
Correct |
1 ms |
340 KB |
Output is correct |
12 |
Correct |
1 ms |
340 KB |
Output is correct |
13 |
Correct |
1 ms |
340 KB |
Output is correct |
14 |
Correct |
1 ms |
376 KB |
Output is correct |
15 |
Incorrect |
1 ms |
340 KB |
Output isn't correct |
16 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
340 KB |
Output is correct |
4 |
Correct |
1 ms |
340 KB |
Output is correct |
5 |
Correct |
1 ms |
340 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
340 KB |
Output is correct |
8 |
Correct |
1 ms |
340 KB |
Output is correct |
9 |
Correct |
1 ms |
340 KB |
Output is correct |
10 |
Correct |
1 ms |
340 KB |
Output is correct |
11 |
Correct |
1 ms |
340 KB |
Output is correct |
12 |
Correct |
1 ms |
340 KB |
Output is correct |
13 |
Correct |
1 ms |
340 KB |
Output is correct |
14 |
Correct |
1 ms |
376 KB |
Output is correct |
15 |
Incorrect |
1 ms |
340 KB |
Output isn't correct |
16 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
340 KB |
Output is correct |
2 |
Correct |
1 ms |
340 KB |
Output is correct |
3 |
Correct |
1 ms |
340 KB |
Output is correct |
4 |
Correct |
1 ms |
340 KB |
Output is correct |
5 |
Correct |
1 ms |
340 KB |
Output is correct |
6 |
Correct |
1 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
340 KB |
Output is correct |
8 |
Correct |
1 ms |
340 KB |
Output is correct |
9 |
Correct |
1 ms |
340 KB |
Output is correct |
10 |
Correct |
1 ms |
340 KB |
Output is correct |
11 |
Correct |
1 ms |
340 KB |
Output is correct |
12 |
Correct |
1 ms |
340 KB |
Output is correct |
13 |
Correct |
1 ms |
340 KB |
Output is correct |
14 |
Correct |
1 ms |
376 KB |
Output is correct |
15 |
Incorrect |
1 ms |
340 KB |
Output isn't correct |
16 |
Halted |
0 ms |
0 KB |
- |