Submission #776692

# Submission time Handle Problem Language Result Execution time Memory
776692 2023-07-08T07:23:11 Z GrindMachine Uzastopni (COCI15_uzastopni) C++17
80 / 160
16 ms 4660 KB
// Om Namah Shivaya

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>

using namespace std;
using namespace __gnu_pbds;

template<typename T> using Tree = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
typedef long long int ll;
typedef long double ld;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

#define fastio ios_base::sync_with_stdio(false); cin.tie(NULL)
#define pb push_back
#define endl '\n'
#define sz(a) a.size()
#define setbits(x) __builtin_popcountll(x)
#define ff first
#define ss second
#define conts continue
#define ceil2(x, y) ((x + y - 1) / (y))
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()
#define yes cout << "Yes" << endl
#define no cout << "No" << endl

#define rep(i, n) for(int i = 0; i < n; ++i)
#define rep1(i, n) for(int i = 1; i <= n; ++i)
#define rev(i, s, e) for(int i = s; i >= e; --i)
#define trav(i, a) for(auto &i : a)

template<typename T>
void amin(T &a, T b) {
    a = min(a, b);
}

template<typename T>
void amax(T &a, T b) {
    a = max(a, b);
}

#ifdef LOCAL
#include "debug.h"
#else
#define debug(x) 42
#endif

/*

refs:
https://github.com/MetalBall887/Competitive-Programming/blob/master/Olympiad/COCI/COCI%2015-uzastopni.cpp
edi

*/

const int MOD = 1e9 + 7;
const int N = 100 + 5;
const int inf1 = int(1e9) + 5;
const ll inf2 = ll(1e18) + 5;

int dp[N][N][N];
vector<int> adj[N];
vector<int> a(N);
bool avail[N][N];

void dfs(int u){
    trav(v,adj[u]){
        dfs(v);
    }
        
    memset(avail,0,sizeof avail);

    trav(v,adj[u]){
        rep1(l,N-1){
            for(int r = l; r < N; ++r){
                if(dp[v][l][r]){
                    if(l > a[u] or r < a[u]){
                        avail[l][r] = 1;
                    }
                }
            }
        }
    }

    avail[a[u]][a[u]] = 1;

    rev(l,N-1,1){
        dp[u][l][l] = avail[l][l];
        for(int r = l+1; r < N; ++r){
            if(avail[l][r]){
                dp[u][l][r] = 1;
            }
            else{
                for(int k = l; k < r; ++k){
                    dp[u][l][r] |= (dp[u][l][k] & dp[u][k+1][r]);
                }
            }
        }
    }

    rep1(l,N-1){
        for(int r = l; r < N; ++r){
            if(r < a[u] or l > a[u]){
                dp[u][l][r] = 0;
            }
        }
    }
}

void solve(int test_case)
{
    int n; cin >> n;
    rep1(i,n) cin >> a[i];
    rep1(i,n-1){
        int u,v; cin >> u >> v;
        adj[u].pb(v);
    }

    dfs(1);

    int ans = 0;
    rep1(l,N-1){
        for(int r = l; r < N; ++r){
            ans += dp[1][l][r];
        }
    }

    cout << ans << endl;
}

int main()
{
    fastio;

    int t = 1;
    // cin >> t;

    rep1(i, t) {
        solve(i);
    }

    return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 8 ms 2388 KB Output is correct
2 Correct 12 ms 3308 KB Output is correct
3 Correct 13 ms 3716 KB Output is correct
4 Correct 13 ms 3668 KB Output is correct
5 Correct 16 ms 4644 KB Output is correct
6 Correct 16 ms 4564 KB Output is correct
7 Correct 16 ms 4660 KB Output is correct
8 Correct 16 ms 4648 KB Output is correct
9 Correct 16 ms 4564 KB Output is correct
10 Correct 16 ms 4536 KB Output is correct
11 Runtime error 3 ms 1364 KB Execution killed with signal 11
12 Runtime error 3 ms 1364 KB Execution killed with signal 11
13 Runtime error 3 ms 1364 KB Execution killed with signal 11
14 Runtime error 4 ms 3032 KB Execution killed with signal 11
15 Runtime error 4 ms 3028 KB Execution killed with signal 11
16 Runtime error 4 ms 3028 KB Execution killed with signal 11
17 Runtime error 3 ms 1364 KB Execution killed with signal 11
18 Runtime error 3 ms 1364 KB Execution killed with signal 11
19 Runtime error 3 ms 980 KB Execution killed with signal 11
20 Runtime error 3 ms 980 KB Execution killed with signal 11