Submission #674685

# Submission time Handle Problem Language Result Execution time Memory
674685 2022-12-25T19:13:57 Z Nicolas125841 Burza (COCI16_burza) C++14
144 / 160
259 ms 31748 KB
#include <bits/stdc++.h>
 
using namespace std;
 
#define YES "DA"
#define NO "NE"
 
vector<vector<int>> layers;
vector<int> ways;
unordered_map<int, bitset<400>> coverage;
 
bitset<400> dfs(vector<vector<int>> &mp, int n, int p, int d, int k){
    if(layers.size() == d){
        layers.push_back(vector<int>());
        ways.push_back(0);
    }
 
    if(d == k){
        coverage[n] |= 1;
        coverage[n] <<= layers[d].size();
    }
 
    layers[d].push_back(n);
 
    for(int v : mp[n]){        
        if(v != p){
            bitset<400> res = dfs(mp, v, n, d+1, k);
 
            if(layers.size() > k && d < k)
                coverage[n] |= res;           
        }
    }
 
    if(coverage[n] != 0)
        ways[d]++;

    return coverage[n];
}
 
int main(){
    cin.tie(NULL)->sync_with_stdio(false);
 
    int n, k;
    cin >> n >> k;
 
    vector<vector<int>> mp(n, vector<int>());    
 
    for(int i = 0; i < n-1; i++){
 
        int u, v;
        cin >> u >> v;
 
        mp[--u].push_back(--v);
        mp[v].push_back(u);
 
    }
    
    dfs(mp, 0, -1, 0, k);
    
    if(layers.size() <= k)
        cout << YES << "\n";
    else{
        unordered_set<bitset<400>> cur, prev = {bitset<400>()};
        bool g = false;
 
        for(int i = 1; i <= k; i++){
            for(bitset<400> bs : prev){
                int cnt = bs.count();                
                for(int v : layers[i]){
                    int ccnt = coverage[v].count();
                    if(coverage[v] == 0 || (ccnt == 1 && layers[k].size()-cnt > (k-i)+1))
                        continue;

                    if((coverage[v] & bs) == 0){
                        cur.insert(coverage[v] | bs);

                        if(ccnt + cnt == layers[k].size()){
                            g = true;
                            break;
                        }
                    }                
                }
                if(g)
                    break;
            }
 
            assert(cur.size() <= 150000);

            swap(cur, prev);
            cur.clear();

            if(g)
                break;
        }
 
        cout << (g ? YES : NO) << "\n";
    }
 
    
}

Compilation message

burza.cpp: In function 'std::bitset<400> dfs(std::vector<std::vector<int> >&, int, int, int, int)':
burza.cpp:13:22: warning: comparison of integer expressions of different signedness: 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   13 |     if(layers.size() == d){
      |        ~~~~~~~~~~~~~~^~~~
burza.cpp:29:30: warning: comparison of integer expressions of different signedness: 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   29 |             if(layers.size() > k && d < k)
      |                ~~~~~~~~~~~~~~^~~
burza.cpp: In function 'int main()':
burza.cpp:60:22: warning: comparison of integer expressions of different signedness: 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   60 |     if(layers.size() <= k)
      |        ~~~~~~~~~~~~~~^~~~
burza.cpp:71:79: warning: comparison of integer expressions of different signedness: 'std::vector<int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   71 |                     if(coverage[v] == 0 || (ccnt == 1 && layers[k].size()-cnt > (k-i)+1))
      |                                                          ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
burza.cpp:77:39: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   77 |                         if(ccnt + cnt == layers[k].size()){
      |                            ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 25 ms 932 KB Output is correct
2 Correct 241 ms 4772 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Correct 0 ms 340 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 0 ms 340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 234 ms 4684 KB Output is correct
2 Correct 233 ms 4780 KB Output is correct
3 Correct 0 ms 340 KB Output is correct
4 Correct 0 ms 340 KB Output is correct
5 Correct 108 ms 2528 KB Output is correct
6 Correct 5 ms 980 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 233 ms 4768 KB Output is correct
2 Correct 242 ms 4656 KB Output is correct
3 Correct 0 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Correct 19 ms 4360 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 52 ms 1524 KB Output is correct
2 Correct 231 ms 4760 KB Output is correct
3 Correct 0 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Correct 11 ms 564 KB Output is correct
6 Correct 0 ms 224 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 226 ms 4640 KB Output is correct
2 Correct 234 ms 4776 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Runtime error 96 ms 31748 KB Execution killed with signal 6
6 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 226 ms 4644 KB Output is correct
2 Correct 237 ms 4812 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Correct 1 ms 340 KB Output is correct
6 Correct 2 ms 596 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 229 ms 4736 KB Output is correct
2 Correct 226 ms 4844 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Correct 107 ms 2508 KB Output is correct
6 Correct 1 ms 340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 52 ms 1492 KB Output is correct
2 Correct 232 ms 4760 KB Output is correct
3 Correct 0 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Correct 1 ms 340 KB Output is correct
6 Correct 0 ms 340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 24 ms 940 KB Output is correct
2 Correct 259 ms 4704 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Correct 1 ms 340 KB Output is correct
5 Correct 3 ms 724 KB Output is correct
6 Correct 2 ms 596 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 103 ms 2560 KB Output is correct
2 Correct 236 ms 4652 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Correct 0 ms 340 KB Output is correct
5 Correct 49 ms 1492 KB Output is correct
6 Correct 1 ms 340 KB Output is correct