Language: C++

#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
#include <set>
#include <cassert>

using namespace std;
std::vector<int64_t> numbers;
vector<vector<int>> graph;
std::vector<bool> used;

std::pair<bool, int64_t> Dfs(int v) {
    used[v] = true;

    std::vector<int64_t> elements;
    int64_t mx = 0;
    int64_t sum = 0;
    for (const auto& el : graph[v]) {
        if (used[el]) continue;
        auto pr = Dfs(el);
        if (!pr.first) {
            return {false, 0};
        }
        elements.push_back(pr.second);
        mx = max(mx, pr.second);
        sum += pr.second;
    }
    if (elements.empty()) {
        return {true, numbers[v]};
    }
    int64_t mn_can = min(mx, sum / 2);
    if (mn_can > numbers[v]) {
        return {false, 0};
    }
    if (sum < numbers[v]) {
        return {false, 0};
    }
    auto sm = sum - numbers[v];
    if (sm > mn_can) {
        return {false, 0};
    }
    sum -= 2 * sm;
    return {true, sum};
}

int main() {
    std::ios_base::sync_with_stdio(0);
    cin.tie(0);
    int n;
    cin >> n;
    graph.resize(n);
    used.resize(n);
    used.assign(n, 0);
    numbers.resize(n);
    for (auto& el : numbers) {
        cin >> el;
    }
    for (int i = 0; i < n - 1; i++) {
        int x;
        int y;
        cin >> x >> y;
        x--;
        y--;
        graph[x].push_back(y);
        graph[y].push_back(x);
    }
    int v = 0;
    for (int i = 0; i < n; i++) {
        if (graph[i].size() > 1) {
            v = i;
        }
    }
    if (Dfs(v) == make_pair(true, 0ll)) {
        cout << "YES" << endl;
    } else {
        cout << "NO" << endl;
    }

    return 0;
}



Compiler output:
a.cc: In function 'int main()':
a.cc:74:16: error: no match for 'operator==' (operand types are 'std::pair<bool, long int>' and 'std::pair<bool, long long int>')
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |         ~~~~~~ ^~ ~~~~~~~~~~~~~~~~~~~~
      |            |               |
      |            |               pair<[...],long long int>
      |            pair<[...],long int>
In file included from /usr/include/c++/14/iosfwd:42,
                 from /usr/include/c++/14/ios:40,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from a.cc:1:
/usr/include/c++/14/bits/postypes.h:192:5: note: candidate: 'template<class _StateT> bool std::operator==(const fpos<_StateT>&, const fpos<_StateT>&)'
  192 |     operator==(const fpos<_StateT>& __lhs, const fpos<_StateT>& __rhs)
      |     ^~~~~~~~
/usr/include/c++/14/bits/postypes.h:192:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::fpos<_StateT>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
In file included from /usr/include/c++/14/string:43,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44:
/usr/include/c++/14/bits/allocator.h:235:5: note: candidate: 'template<class _T1, class _T2> bool std::operator==(const allocator<_CharT>&, const allocator<_T2>&)'
  235 |     operator==(const allocator<_T1>&, const allocator<_T2>&)
      |     ^~~~~~~~
/usr/include/c++/14/bits/allocator.h:235:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::allocator<_CharT>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
In file included from /usr/include/c++/14/string:48:
/usr/include/c++/14/bits/stl_iterator.h:441:5: note: candidate: 'template<class _Iterator> constexpr bool std::operator==(const reverse_iterator<_Iterator>&, const reverse_iterator<_Iterator>&)'
  441 |     operator==(const reverse_iterator<_Iterator>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:441:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::reverse_iterator<_Iterator>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/bits/stl_iterator.h:486:5: note: candidate: 'template<class _IteratorL, class _IteratorR> constexpr bool std::operator==(const reverse_iterator<_Iterator>&, const reverse_iterator<_IteratorR>&)'
  486 |     operator==(const reverse_iterator<_IteratorL>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:486:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::reverse_iterator<_Iterator>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/bits/stl_iterator.h:1667:5: note: candidate: 'template<class _IteratorL, class _IteratorR> constexpr bool std::operator==(const move_iterator<_IteratorL>&, const move_iterator<_IteratorR>&)'
 1667 |     operator==(const move_iterator<_IteratorL>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:1667:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::move_iterator<_IteratorL>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/bits/stl_iterator.h:1737:5: note: candidate: 'template<class _Iterator> constexpr bool std::operator==(const move_iterator<_IteratorL>&, const move_iterator<_IteratorL>&)'
 1737 |     operator==(const move_iterator<_Iterator>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:1737:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::move_iterator<_IteratorL>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
In file included from /usr/include/c++/14/bits/stl_algobase.h:64,
                 from /usr/include/c++/14/string:51:
/usr/include/c++/14/bits/stl_pair.h:1033:5: note: candidate: 'template<class _T1, class _T2> constexpr bool std::operator==(const pair<_T1, _T2>&, const pair<_T1, _T2>&)'
 1033 |     operator==(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_pair.h:1033:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   deduced conflicting types for parameter '_T2' ('long int' and 'long long int')
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
In file included from /usr/include/c++/14/bits/basic_string.h:47,
                 from /usr/include/c++/14/string:54:
/usr/include/c++/14/string_view:629:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator==(basic_string_view<_CharT, _Traits>, __type_identity_t<basic_string_view<_CharT, _Traits> >)'
  629 |     operator==(basic_string_view<_CharT, _Traits> __x,
      |     ^~~~~~~~
/usr/include/c++/14/string_view:629:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'std::basic_string_view<_CharT, _Traits>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/string_view:637:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator==(basic_string_view<_CharT, _Traits>, basic_string_view<_CharT, _Traits>)'
  637 |     operator==(basic_string_view<_CharT, _Traits> __x,
      |     ^~~~~~~~
/usr/include/c++/14/string_view:637:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'std::basic_string_view<_CharT, _Traits>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/string_view:644:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator==(__type_identity_t<basic_string_view<_CharT, _Traits> >, basic_string_view<_CharT, _Traits>)'
  644 |     operator==(__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
      |     ^~~~~~~~
/usr/include/c++/14/string_view:644:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long long int>' is not derived from 'std::basic_string_view<_CharT, _Traits>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/bits/basic_string.h:3755:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator==(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3755 |     operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3755:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/bits/basic_string.h:3772:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator==(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, const _CharT*)'
 3772 |     operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3772:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
/usr/include/c++/14/bits/basic_string.h:3819:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator==(const _CharT*, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3819 |     operator==(const _CharT* __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3819:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   mismatched types 'const _CharT*' and 'std::pair<bool, long int>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
In file included from /usr/include/c++/14/bits/memory_resource.h:47,
                 from /usr/include/c++/14/string:68:
/usr/include/c++/14/tuple:2558:5: note: candidate: 'template<class ... _TElements, class ... _UElements> constexpr bool std::operator==(const tuple<_UTypes ...>&, const tuple<_Elements ...>&)'
 2558 |     operator==(const tuple<_TElements...>& __t,
      |     ^~~~~~~~
/usr/include/c++/14/tuple:2558:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<bool, long int>' is not derived from 'const std::tuple<_UTypes ...>'
   74 |     if (Dfs(v) == make_pair(true, 0ll)) {
      |                                      ^
In file included from /usr/include/c++/14/bits/locale_facets.h:48,
                 from /usr/include/c++/14/bits/basic_ios.h:37,
                 from /usr/include/c++/14/ios:46:
/usr/include/c++/14/bits/streambuf_iterator.h:234:5: note: candidate: 'template<class _CharT, class _Traits> bool std::operator==(const istreambuf_iterator<_CharT, _Traits>&, const istreambuf_iterator<_CharT, _Traits>&)'
  234 |     operator==(const istreambuf_iterator<_CharT, _Traits>& __a,
      |     ^~~~~~~~
/usr/include/c++/14/bits/streambuf_iterator.h:234:5: note:   template argument deduction/substitution failed:
a.cc:74:38: note:   'std::pair<