Submission #1019566

#	Submission time	Handle	Problem	Language	Result	Execution time	Memory
1019566	2024-07-11T03:53:16 Z	vjudge1	Zagrade (COI17_zagrade)	C++17	Compilation error	0 ms	0 KB

zagrade

#include <bits/stdc++.h>
using namespace std;

#define ll long long
#define ld long double
#define ull unsigned long long
#define pii pair<int,int>
#define pll pair<long long, long long>
#define fi first
#define se second
#define all(a) (a).begin(), (a).end()
#define pb push_back
#define lwb lower_bound
#define upb upper_bound

#define TASKNAME "NAME"

void init()
{
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    ///freopen(TASKNAME".INP","r",stdin); freopen(TASKNAME".OUT","w",stdout);
}

const int SZ = 3e5+5;
const ll INF = INT_MAX / 2, MOD = 1e9+7, INFLL = 2e18;
const double epsilon = 1e-3;

int n, a[SZ];
string s;
vector<int> adj[SZ];
ll res = 0;
bool del[SZ];

void dfsSize(int u, int pre)
{
    s[u] = 1;
    for(int v : adj[u])
    {
        if(v == pre || del[v]) continue;
        dfsSize(v,u);
        s[u] += s[v];
    }
}

int findCentroid(int u, int pre, int treeSize)
{
    for(int v : adj[u])
    {
        if(v == pre || del[v]) continue;
        if(s[v] > treeSize / 2) return findCentroid(v, u, treeSize);
    }
    return u;
}

map<int, int> cnt[SZ];

void dfs(int u, int pre, int sum, int mn1, int mn2, int type)
{
    if(type == 1)
    {
        if(mn2 >= 0) cnt[sum]++;
    }
    if(type == 2)
    {
        if(mn1 == sum && sum <= 0)
        {
            res += 1LL * cnt[-sum];
        }
        if(sum == 0)
        {
            if(mn1 >= 0) res++;
            //if(mn1 >= 0 && root == 2) cout << "a\n";
        }
    }
    if(type == 3)
    {
        if(mn2 >= 0) cnt[sum]--;
    }
    for(int v : adj[u])
    {
        if(del[v] || v == pre) continue;
        dfs(v, u, sum + a[v], min(mn1, sum + a[v]), min(a[v], a[v] + mn2), type);
    }
}

void updateRes(int root)
{
    for(int u : adj[root])
    {
        if(del[u]) continue;
        dfs(u, root, a[root] + a[u], min(a[root], a[root] + a[u]), min(a[u], a[u] + a[root]) , 2);
        dfs(u, root, a[u], min(a[root], a[root] + a[u]), min(a[u], a[u] + a[root]) , 1);
    }
    for(int u : adj[root])
    {
        if(del[u]) continue;
        dfs(u, root, a[u], min(a[root], a[root] + a[u]), min(a[u], a[u] + a[root]) , 3);
    }
}

void solve(int u)
{
    dfsSize(u,0);
    int root = findCentroid(u, 0, s[u]);
    del[root] = true;
    ll preres = res;
    updateRes(root);
    //cout << root << " - " << res - preres << '\n';
    for(int v : adj[root])
    {
        if(del[v]) continue;
        solve(v);
    }
}

int main()
{
    init();
    cin >> n;
    cin >> s;
    s = " " + s;
    for(int i = 1; i <= n; i++)
    {
        if(s[i] == '(') a[i] = 1;
        else a[i] = -1;
    }
    for(int i = 1; i < n; i++)
    {
        int u,v;
        cin >> u >> v;
        adj[u].pb(v);
        adj[v].pb(u);
    }
    solve(1);
    for(int i = 1; i <= n; i++)
    {
        if(a[i] == 1) a[i] = -1;
        else a[i] = 1;
    }
    memset(del, false, sizeof(del));
    solve(1);
    cout << res;
}

Compilation message

zagrade.cpp: In function 'void dfs(int, int, int, int, int, int)':
zagrade.cpp:61:30: error: no 'operator++(int)' declared for postfix '++' [-fpermissive]
   61 |         if(mn2 >= 0) cnt[sum]++;
      |                      ~~~~~~~~^~
zagrade.cpp:67:24: error: no match for 'operator*' (operand types are 'long long int' and 'std::map<int, int>')
   67 |             res += 1LL * cnt[-sum];
      |                    ~~~ ^ ~~~~~~~~~
      |                    |             |
      |                    long long int std::map<int, int>
In file included from /usr/include/c++/10/ccomplex:39,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
                 from zagrade.cpp:1:
/usr/include/c++/10/complex:391:5: note: candidate: 'template<class _Tp> std::complex<_Tp> std::operator*(const std::complex<_Tp>&, const std::complex<_Tp>&)'
  391 |     operator*(const complex<_Tp>& __x, const complex<_Tp>& __y)
      |     ^~~~~~~~
/usr/include/c++/10/complex:391:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::complex<_Tp>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/ccomplex:39,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
                 from zagrade.cpp:1:
/usr/include/c++/10/complex:400:5: note: candidate: 'template<class _Tp> std::complex<_Tp> std::operator*(const std::complex<_Tp>&, const _Tp&)'
  400 |     operator*(const complex<_Tp>& __x, const _Tp& __y)
      |     ^~~~~~~~
/usr/include/c++/10/complex:400:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::complex<_Tp>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/ccomplex:39,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:54,
                 from zagrade.cpp:1:
/usr/include/c++/10/complex:409:5: note: candidate: 'template<class _Tp> std::complex<_Tp> std::operator*(const _Tp&, const std::complex<_Tp>&)'
  409 |     operator*(const _Tp& __x, const complex<_Tp>& __y)
      |     ^~~~~~~~
/usr/include/c++/10/complex:409:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   'std::map<int, int>' is not derived from 'const std::complex<_Tp>'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/valarray:603,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/bits/valarray_after.h:407:5: note: candidate: 'template<class _Dom1, class _Dom2> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_Expr, std::_Expr, _Dom1, _Dom2>, typename std::__fun<std::__multiplies, typename _Dom1::value_type>::result_type> std::operator*(const std::_Expr<_Dom1, typename _Dom1::value_type>&, const std::_Expr<_Dom2, typename _Dom2::value_type>&)'
  407 |     _DEFINE_EXPR_BINARY_OPERATOR(*, __multiplies)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/valarray_after.h:407:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::_Expr<_Dom1, typename _Dom1::value_type>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/valarray:603,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/bits/valarray_after.h:407:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_Expr, std::_Constant, _Dom, typename _Dom::value_type>, typename std::__fun<std::__multiplies, typename _Dom1::value_type>::result_type> std::operator*(const std::_Expr<_Dom1, typename _Dom1::value_type>&, const typename _Dom::value_type&)'
  407 |     _DEFINE_EXPR_BINARY_OPERATOR(*, __multiplies)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/valarray_after.h:407:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::_Expr<_Dom1, typename _Dom1::value_type>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/valarray:603,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/bits/valarray_after.h:407:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_Constant, std::_Expr, typename _Dom::value_type, _Dom>, typename std::__fun<std::__multiplies, typename _Dom1::value_type>::result_type> std::operator*(const typename _Dom::value_type&, const std::_Expr<_Dom1, typename _Dom1::value_type>&)'
  407 |     _DEFINE_EXPR_BINARY_OPERATOR(*, __multiplies)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/valarray_after.h:407:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   'std::map<int, int>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/valarray:603,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/bits/valarray_after.h:407:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_Expr, std::_ValArray, _Dom, typename _Dom::value_type>, typename std::__fun<std::__multiplies, typename _Dom1::value_type>::result_type> std::operator*(const std::_Expr<_Dom1, typename _Dom1::value_type>&, const std::valarray<typename _Dom::value_type>&)'
  407 |     _DEFINE_EXPR_BINARY_OPERATOR(*, __multiplies)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/valarray_after.h:407:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::_Expr<_Dom1, typename _Dom1::value_type>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/c++/10/valarray:603,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/bits/valarray_after.h:407:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_ValArray, std::_Expr, typename _Dom::value_type, _Dom>, typename std::__fun<std::__multiplies, typename _Dom1::value_type>::result_type> std::operator*(const std::valarray<typename _Dom::value_type>&, const std::_Expr<_Dom1, typename _Dom1::value_type>&)'
  407 |     _DEFINE_EXPR_BINARY_OPERATOR(*, __multiplies)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/valarray_after.h:407:5: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   'std::map<int, int>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/valarray:1187:1: note: candidate: 'template<class _Tp> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_ValArray, std::_ValArray, _Tp, _Tp>, typename std::__fun<std::__multiplies, _Tp>::result_type> std::operator*(const std::valarray<_Tp>&, const std::valarray<_Tp>&)'
 1187 | _DEFINE_BINARY_OPERATOR(*, __multiplies)
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/valarray:1187:1: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::valarray<_Tp>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/valarray:1187:1: note: candidate: 'template<class _Tp> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_ValArray, std::_Constant, _Tp, _Tp>, typename std::__fun<std::__multiplies, _Tp>::result_type> std::operator*(const std::valarray<_Tp>&, const typename std::valarray<_Tp>::value_type&)'
 1187 | _DEFINE_BINARY_OPERATOR(*, __multiplies)
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/valarray:1187:1: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   mismatched types 'const std::valarray<_Tp>' and 'long long int'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
In file included from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:95,
                 from zagrade.cpp:1:
/usr/include/c++/10/valarray:1187:1: note: candidate: 'template<class _Tp> std::_Expr<std::__detail::_BinClos<std::__multiplies, std::_Constant, std::_ValArray, _Tp, _Tp>, typename std::__fun<std::__multiplies, _Tp>::result_type> std::operator*(const typename std::valarray<_Tp>::value_type&, const std::valarray<_Tp>&)'
 1187 | _DEFINE_BINARY_OPERATOR(*, __multiplies)
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/valarray:1187:1: note:   template argument deduction/substitution failed:
zagrade.cpp:67:34: note:   'std::map<int, int>' is not derived from 'const std::valarray<_Tp>'
   67 |             res += 1LL * cnt[-sum];
      |                                  ^
zagrade.cpp:77:30: error: no 'operator--(int)' declared for postfix '--' [-fpermissive]
   77 |         if(mn2 >= 0) cnt[sum]--;
      |                      ~~~~~~~~^~
zagrade.cpp: In function 'void solve(int)':
zagrade.cpp:106:8: warning: unused variable 'preres' [-Wunused-variable]
  106 |     ll preres = res;
      |        ^~~~~~