Submission #961421

#TimeUsernameProblemLanguageResultExecution timeMemory
961421kilkuwuSwapping Cities (APIO20_swap)C++17
Compilation error
0 ms0 KiB
#include "swap.h" #include <bits/stdc++.h> template <typename T> inline bool ckmin(T& a, const T& b) { return b < a ? a = b, 1 : 0; } template <typename T> inline bool ckmax(T& a, const T& b) { return a < b ? a = b, 1 : 0; } constexpr int mxM = 200'000; constexpr int mxN = 100'000; constexpr int LOG = 20; constexpr int inf = 1e9 + 7; struct Edge { int u, v, w; bool operator<(const Edge& rhs) const { return w < rhs.w; } inline int other(int x) { return u ^ v ^ x; } }; Edge edges[mxM]; std::vector<std::pair<int, int>> adj[mxN]; int up[LOG][mxN]; int vv[LOG][mxN]; int dep[mxN]; int num_nodes; std::pair<int, int> par[mxN + mxM]; // we need to find first cycle and first three; std::pair<int, int> find(int u) { if (par[u].first == -1) { return {u, par[u].second}; } auto pu = find(par[u].first); pu.second = std::min(pu.second, par[u].second); return par[u] = pu; } void merge(int u, int v, int w) { adj[u].emplace_back(w, v); adj[v].emplace_back(w, u); auto pu = find(u), pv = find(v); if (adj[u].size() > 2 || adj[v].size() > 2) { ckmin(par[num_nodes].second, w); } if (pu == pv) { ckmin(par[num_nodes].second, w); } par[pu.first] = par[pv.first] = num_nodes; num_nodes++; } void dfs(int u) { for (auto [w, v] : adj[u]) { if (v == up[0][u]) continue; dep[v] = dep[u] + 1; up[0][v] = u; vv[0][v] = w; dfs(v); } } void init(int N, int M, std::vector<int> U, std::vector<int> V, std::vector<int> W) { for (int i = 0; i < N + M; i++) { par[i] = {-1, inf}; } num_nodes = N; for (int i = 0; i < M; i++) { edges[i] = {U[i], V[i], W[i]}; } std::sort(edges, edges + M); for (int i = 0; i < M; i++) { auto [u, v, w] = edges[i]; merge(u, v, w); } dfs(0); for (int k = 0; k + 1 < LOG; k++) { for (int i = 0; i < N; i++) { up[k + 1][i] = up[k][up[k][i]]; vv[k + 1][i] = std::max(vv[k][i], vv[k][up[k][i]]); } } } int max_path(int u, int v) { if (dep[u] > dep[v]) std::swap(u, v); int d = dep[v] - dep[u]; int ans = 0; for (int k = 0; k < LOG; k++) { if (d >> k & 1) { ckmax(ans, vv[k][v]); v = up[k][v]; } } if (u == v) return ans; for (int k = LOG - 1; k >= 0; k--) { if (up[k][u] != up[k][v]) { ckmax(ans, vv[k][u]); ckmax(ans, vv[k][v]); u = up[k][u]; v = up[k][v]; } } ckmax(ans, vv[0][u]); ckmax(ans, vv[0][v]); return ans; } int getMinimumFuelCapacity(int X, int Y) { int ans = std::min(find(X).second, find(Y).second); ans = std::max(ans, max_path(X, Y)); return ans <= 1e9 ? ans : -1; } #ifdef LOCAL #endif

Compilation message (stderr)

swap.cpp: In function 'void merge(int, int, int)':
swap.cpp:67:35: error: no match for 'operator=' (operand types are 'std::pair<int, int>' and 'int')
   67 |   par[pu.first] = par[pv.first] = num_nodes;
      |                                   ^~~~~~~~~
In file included from /usr/include/c++/10/bits/stl_algobase.h:64,
                 from /usr/include/c++/10/vector:60,
                 from swap.h:1,
                 from swap.cpp:1:
/usr/include/c++/10/bits/stl_pair.h:390:7: note: candidate: 'std::pair<_T1, _T2>& std::pair<_T1, _T2>::operator=(typename std::conditional<std::__and_<std::is_copy_assignable<_T1>, std::is_copy_assignable<_T2> >::value, const std::pair<_T1, _T2>&, const std::__nonesuch&>::type) [with _T1 = int; _T2 = int; typename std::conditional<std::__and_<std::is_copy_assignable<_T1>, std::is_copy_assignable<_T2> >::value, const std::pair<_T1, _T2>&, const std::__nonesuch&>::type = const std::pair<int, int>&]'
  390 |       operator=(typename conditional<
      |       ^~~~~~~~
/usr/include/c++/10/bits/stl_pair.h:393:41: note:   no known conversion for argument 1 from 'int' to 'std::conditional<true, const std::pair<int, int>&, const std::__nonesuch&>::type' {aka 'const std::pair<int, int>&'}
  390 |       operator=(typename conditional<
      |                 ~~~~~~~~~~~~~~~~~~~~~    
  391 |   __and_<is_copy_assignable<_T1>,
      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~        
  392 |          is_copy_assignable<_T2>>::value,
      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  393 |   const pair&, const __nonesuch&>::type __p)
      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
/usr/include/c++/10/bits/stl_pair.h:401:7: note: candidate: 'std::pair<_T1, _T2>& std::pair<_T1, _T2>::operator=(typename std::conditional<std::__and_<std::is_move_assignable<_Tp>, std::is_move_assignable<_T2> >::value, std::pair<_T1, _T2>&&, std::__nonesuch&&>::type) [with _T1 = int; _T2 = int; typename std::conditional<std::__and_<std::is_move_assignable<_Tp>, std::is_move_assignable<_T2> >::value, std::pair<_T1, _T2>&&, std::__nonesuch&&>::type = std::pair<int, int>&&]'
  401 |       operator=(typename conditional<
      |       ^~~~~~~~
/usr/include/c++/10/bits/stl_pair.h:404:31: note:   no known conversion for argument 1 from 'int' to 'std::conditional<true, std::pair<int, int>&&, std::__nonesuch&&>::type' {aka 'std::pair<int, int>&&'}
  401 |       operator=(typename conditional<
      |                 ~~~~~~~~~~~~~~~~~~~~~
  402 |   __and_<is_move_assignable<_T1>,
      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  403 |          is_move_assignable<_T2>>::value,
      |          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  404 |   pair&&, __nonesuch&&>::type __p)
      |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
/usr/include/c++/10/bits/stl_pair.h:418:2: note: candidate: 'template<class _U1, class _U2> typename std::enable_if<std::__and_<std::is_assignable<_T1&, const _U1&>, std::is_assignable<_T2&, const _U2&> >::value, std::pair<_T1, _T2>&>::type std::pair<_T1, _T2>::operator=(const std::pair<_U1, _U2>&) [with _U1 = _U1; _U2 = _U2; _T1 = int; _T2 = int]'
  418 |  operator=(const pair<_U1, _U2>& __p)
      |  ^~~~~~~~
/usr/include/c++/10/bits/stl_pair.h:418:2: note:   template argument deduction/substitution failed:
swap.cpp:67:35: note:   mismatched types 'const std::pair<_T1, _T2>' and 'int'
   67 |   par[pu.first] = par[pv.first] = num_nodes;
      |                                   ^~~~~~~~~
In file included from /usr/include/c++/10/bits/stl_algobase.h:64,
                 from /usr/include/c++/10/vector:60,
                 from swap.h:1,
                 from swap.cpp:1:
/usr/include/c++/10/bits/stl_pair.h:430:2: note: candidate: 'template<class _U1, class _U2> typename std::enable_if<std::__and_<std::is_assignable<_T1&, _U1&&>, std::is_assignable<_T2&, _U2&&> >::value, std::pair<_T1, _T2>&>::type std::pair<_T1, _T2>::operator=(std::pair<_U1, _U2>&&) [with _U1 = _U1; _U2 = _U2; _T1 = int; _T2 = int]'
  430 |  operator=(pair<_U1, _U2>&& __p)
      |  ^~~~~~~~
/usr/include/c++/10/bits/stl_pair.h:430:2: note:   template argument deduction/substitution failed:
swap.cpp:67:35: note:   mismatched types 'std::pair<_T1, _T2>' and 'int'
   67 |   par[pu.first] = par[pv.first] = num_nodes;
      |                                   ^~~~~~~~~