#line 1 "..\\Main.cpp" #include #include #include #include #include #line 3 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\graph\\graph.hpp" #include #include #line 5 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\array\\csr-array.hpp" namespace nachia{ template class CsrArray{ public: struct ListRange{ using iterator = typename std::vector::iterator; iterator begi, endi; iterator begin() const { return begi; } iterator end() const { return endi; } int size() const { return (int)std::distance(begi, endi); } Elem& operator[](int i) const { return begi[i]; } }; struct ConstListRange{ using iterator = typename std::vector::const_iterator; iterator begi, endi; iterator begin() const { return begi; } iterator end() const { return endi; } int size() const { return (int)std::distance(begi, endi); } const Elem& operator[](int i) const { return begi[i]; } }; private: int m_n; std::vector m_list; std::vector m_pos; public: CsrArray() : m_n(0), m_list(), m_pos() {} static CsrArray Construct(int n, std::vector> items){ CsrArray res; res.m_n = n; std::vector buf(n+1, 0); for(auto& [u,v] : items){ ++buf[u]; } for(int i=1; i<=n; i++) buf[i] += buf[i-1]; res.m_list.resize(buf[n]); for(int i=(int)items.size()-1; i>=0; i--){ res.m_list[--buf[items[i].first]] = std::move(items[i].second); } res.m_pos = std::move(buf); return res; } static CsrArray FromRaw(std::vector list, std::vector pos){ CsrArray res; res.m_n = pos.size() - 1; res.m_list = std::move(list); res.m_pos = std::move(pos); return res; } ListRange operator[](int u) { return ListRange{ m_list.begin() + m_pos[u], m_list.begin() + m_pos[u+1] }; } ConstListRange operator[](int u) const { return ConstListRange{ m_list.begin() + m_pos[u], m_list.begin() + m_pos[u+1] }; } int size() const { return m_n; } int fullSize() const { return (int)m_list.size(); } }; } // namespace nachia #line 6 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\graph\\graph.hpp" namespace nachia{ struct Graph { public: struct Edge{ int from, to; void reverse(){ std::swap(from, to); } }; using Base = std::vector>; Graph(int n = 0, bool undirected = false, int m = 0) : m_n(n), m_e(m), m_isUndir(undirected) {} Graph(int n, const std::vector>& edges, bool undirected = false) : m_n(n), m_isUndir(undirected){ m_e.resize(edges.size()); for(std::size_t i=0; i static Graph Input(Cin& cin, int n, bool undirected, int m, bool offset = 0){ Graph res(n, undirected, m); for(int i=0; i> u >> v; res[i].from = u - offset; res[i].to = v - offset; } return res; } int numVertices() const noexcept { return m_n; } int numEdges() const noexcept { return int(m_e.size()); } int addNode() noexcept { return m_n++; } int addEdge(int from, int to){ m_e.push_back({ from, to }); return numEdges() - 1; } Edge& operator[](int ei) noexcept { return m_e[ei]; } const Edge& operator[](int ei) const noexcept { return m_e[ei]; } Edge& at(int ei) { return m_e.at(ei); } const Edge& at(int ei) const { return m_e.at(ei); } auto begin(){ return m_e.begin(); } auto end(){ return m_e.end(); } auto begin() const { return m_e.begin(); } auto end() const { return m_e.end(); } bool isUndirected() const noexcept { return m_isUndir; } void reverseEdges() noexcept { for(auto& e : m_e) e.reverse(); } void contract(int newV, const std::vector& mapping){ assert(numVertices() == int(mapping.size())); for(int i=0; i induce(int num, const std::vector& mapping) const { int n = numVertices(); assert(n == int(mapping.size())); for(int i=0; i indexV(n), newV(num); for(int i=0; i= 0) indexV[i] = newV[mapping[i]]++; std::vector res; res.reserve(num); for(int i=0; i= 0) res[mapping[e.to]].addEdge(indexV[e.from], indexV[e.to]); return res; } CsrArray getEdgeIndexArray(bool undirected) const { std::vector> src; src.reserve(numEdges() * (undirected ? 2 : 1)); for(int i=0; i::Construct(numVertices(), src); } CsrArray getEdgeIndexArray() const { return getEdgeIndexArray(isUndirected()); } CsrArray getAdjacencyArray(bool undirected) const { std::vector> src; src.reserve(numEdges() * (undirected ? 2 : 1)); for(auto e : m_e){ src.emplace_back(e.from, e.to); if(undirected) src.emplace_back(e.to, e.from); } return CsrArray::Construct(numVertices(), src); } CsrArray getAdjacencyArray() const { return getAdjacencyArray(isUndirected()); } private: int m_n; std::vector m_e; bool m_isUndir; }; } // namespace nachia #line 4 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\graph\\strongly-connected-components.hpp" namespace nachia{ struct StronglyConnectedComponents{ private: int m_n; CsrArray induce; int componentNum; public: StronglyConnectedComponents() : m_n(0), induce(), componentNum(0) {} StronglyConnectedComponents(Graph E) { int n = E.numVertices(); m_n = n; std::vector O(n); { auto adj = E.getAdjacencyArray(); int Oi = n; std::vector P(n, -1), EI(n, 0); for(int s=0; s= 0){ if(EI[p] == adj[p].size()){ O[--Oi] = p; p = P[p]; continue; } int q = adj[p][EI[p]++]; if(P[q] == -1){ P[q] = p; p = q; } } } } E.reverseEdges(); auto adj = E.getAdjacencyArray(); std::vector sep = {0}, csr(n), vis(n,0); int p1 = 0, p2 = 0; for(int s : O) if(!vis[s]){ csr[p2++] = s; vis[s] = 1; for(; p1::FromRaw(std::move(csr), std::move(sep)); componentNum = induce.size(); } int numComponents() const noexcept { return componentNum; } const CsrArray& getCsr() const noexcept { return induce; } std::vector getMapping() const { std::vector res(m_n); for(int i=0; i #line 5 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\vec.hpp" template struct vec; struct iotai; template struct seq_view{ using Ref = typename std::iterator_traits::reference; using Elem = typename std::iterator_traits::value_type; Iter a, b; Iter begin() const { return a; } Iter end() const { return b; } int size() const { return (int)(b-a); } seq_view(Iter first, Iter last) : a(first), b(last) {} seq_view sort() const { std::sort(a, b); return *this; } Ref& operator[](int x){ return *(a+x); } template> ret sorti(F f) const { ret x(iotai(0), iotai(size())); x().sort([&](int l, int r){ return f(a[l],a[r]); }); return x; } template> ret col() const { return ret(begin(), end()); } template seq_view sort(F f) const { std::sort(a, b, f); return *this; } Iter uni() const { return std::unique(a, b); } Iter lb(const Elem& x) const { return std::lower_bound(a, b, x); } Iter ub(const Elem& x) const { return std::upper_bound(a, b, x); } template Iter lb(const Elem& x, F f) const { return std::lower_bound(a, b, x, f); } template Iter ub(const Elem& x, F f) const { return std::upper_bound(a, b, x, f); } template Iter when_true_to_false(F f) const { if(a == b) return a; return std::lower_bound(a, b, *a, [&](const Elem& x, const Elem& y){ return f(x); }); } seq_view same(Elem x) const { return { lb(x), ub(x) }; } template auto map(F f) const { vec r; for(auto& x : *this) r.emp(f(x)); return r; } Iter max() const { return std::max_element(a, b); } Iter min() const { return std::min_element(a, b); } seq_view rev() const { std::reverse(a, b); return *this; } }; struct iotai { using i64 = long long; using Me = iotai; using value_type = i64; using iterator_category = std::random_access_iterator_tag; using difference_type = ptrdiff_t; using pointer = i64*; using reference = i64&; i64 x; iotai(i64 y) : x(y) {} i64 operator*() const { return x; } std::size_t operator-(Me a) const { return x - a.x; } Me operator++(){ return { (i64)(++x) }; } Me operator--(){ return { (i64)(--x) }; } Me operator++(int){ return { (i64)(x++) }; } Me operator--(int){ return { (i64)(x--) }; } Me operator+(std::size_t a) const { return { (i64)(x+a) }; } Me operator-(std::size_t a) const { return { (i64)(x-a) }; } static seq_view range(i64 l, i64 r){ return { Me{l}, Me{r} }; } }; template struct vec { using Base = typename std::vector; using Iter = typename Base::iterator; using CIter = typename Base::const_iterator; using View = seq_view; using CView = seq_view; vec(){} explicit vec(int n, const Elem& value = Elem()) : a(0 vec(I2 first, I2 last) : a(first, last) {} vec(std::initializer_list il) : a(std::move(il)) {} operator Base() const { return a; } Iter begin(){ return a.begin(); } CIter begin() const { return a.begin(); } Iter end(){ return a.end(); } CIter end() const { return a.end(); } int size() const { return a.size(); } vec sortunied(){ vec x = *this; x().sort(); x.a.erase(x().uni(), x.end()); return x; } Iter operator()(int x){ return (x < 0 ? a.end() : a.begin()) + x; } CIter operator()(int x) const { return (x < 0 ? a.end() : a.begin()) + x; } View operator()(int l, int r){ return { (*this)(l), (*this)(r) }; } CView operator()(int l, int r) const { return { (*this)(l), (*this)(r) }; } View operator()(){ return (*this)(0,size()); } CView operator()() const { return (*this)(0,size()); } Elem& operator[](int x){ return *((*this)(x)); } const Elem& operator[](int x) const { return *((*this)(x)); } Base& operator*(){ return a; } const Base& operator*() const { return a; } template vec& emp(Args &&... args){ a.emplace_back(std::forward(args) ...); return *this; } template vec& app(Range& x){ for(auto& v : a) emp(v); } Elem pop(){ Elem x = std::move(a.back()); a.pop_back(); return x; } Base a; }; #line 8 "..\\Main.cpp" using namespace std; using i32 = int; using u32 = unsigned int; using i64 = long long; using u64 = unsigned long long; #define rep(i,n) for(int i=0; i<(int)(n); i++) const i64 INF = 1001001001001001001; using Modint = atcoder::static_modint<998244353>; int main(){ int N; cin >> N; vector L(N, INF); L[0] = 0; nachia::Graph graph(N, false); for(int i=1; i> l >> a; a--; graph.addEdge(a, i); L[i] = l; } auto adj = graph.getAdjacencyArray(); auto scc = nachia::StronglyConnectedComponents(graph).getCsr(); vec dp(N, INF); dp[0] = 0; rep(i,scc.size()) for(int v : scc[i]){ dp[v] = max(dp[v], L[v]); for(int w : adj[v]) dp[w] = min(dp[v], dp[w]); } auto q = dp; q().sort(); int Q; cin >> Q; rep(i,Q){ int t; cin >> t; if(t == 1){ i64 x; cin >> x; cout << (q().ub(x) - q(0)) << '\n'; } if(t == 2){ i64 y; cin >> y; y--; i64 ans = dp[y]; if(ans == INF) ans = -1; cout << ans << '\n'; } } return 0; } struct ios_do_not_sync{ ios_do_not_sync(){ ios::sync_with_stdio(false); cin.tie(nullptr); } } ios_do_not_sync_instance;