Submission #626765

# Submission time Handle Problem Language Result Execution time Memory
626765 2022-08-11T18:24:08 Z MilosMilutinovic Burza (COCI16_burza) C++14
0 / 160
1000 ms 3540 KB
/**
 *    author:  wxhtzdy
 *    created: 11.08.2022 19:27:55
**/
#include <bits/stdc++.h>

using namespace std;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);  
  int n, k;
  cin >> n >> k;
  vector<vector<int>> g(n);
  for (int i = 0; i < n - 1; i++) {
    int u, v;
    cin >> u >> v;
    --u; --v;
    g[u].push_back(v);
    g[v].push_back(u);
  }
  if (k >= 20) {
    cout << "DA" << '\n';
    return 0;
  }                          
  vector<int> dep(n);
  vector<int> dfn(n);
  vector<int> dfo(n);
  int T = 0;
  vector<vector<int>> par(n);
  function<void(int, int)> Dfs = [&](int v, int pr) {
    dfn[v] = ++T;
    for (int p : par[pr]) {
      par[v].push_back(p);
    }
    par[v].push_back(v);
    for (int u : g[v]) {
      if(u == pr) {
        continue;
      }
      dep[u] = dep[v] + 1;
      Dfs(u, v);
    }
    dfo[v] = T;
  };
  Dfs(0, 0);
  vector<vector<int>> at(n);
  for (int i = 0; i < n; i++) {
    at[dep[i]].push_back(i);
  }
  for (int i = 0; i < n; i++) {
    sort(at[i].begin(), at[i].end(), [&](int x, int y) {
      return dfn[x] < dfn[y];
    });
  }
  auto isPar = [&](int v, int u) {
    return dfn[v] <= dfn[u] && dfo[u] <= dfo[v];
  };
  vector<int> ptr(n);
  int sz = (int) at[k].size();
  for (int i = 1; i < n; i++) {
    if (dep[i] > k) {
      continue;      
    }
    for (int j = 0; j < (int) at[k].size(); j++) {
      if (isPar(i, at[k][j])) {
        ptr[i] = j;
      }
    }
  }                           
  vector<vector<bool>> dp(sz + 1, vector<bool>(1 << (k + 1)));
  dp[0][0] = true;
  for (int i = 0; i < sz; i++) {
    int v = at[k][i];
    for (int s = 0; s < (1 << (k + 1)); s++) {
      for (int idx : par[v]) {
        if (idx == 0 || idx == i) {
          continue;
        }
        if (s >> dep[idx] & 1) {
          continue;
        } 
        if (dp[i][s]) {
          dp[ptr[idx] + 1][s | (1 << dep[idx])] = true;
        }
      }
    }
  }                 
  bool ans = false;
  for (int i = 0; i < (1 << (k + 1)); i++) {
    ans = (ans | dp[sz][i]);
  }
  cout << (ans ? "DA" : "NE") << '\n'; 
  return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 147 ms 724 KB Output is correct
2 Execution timed out 1097 ms 3412 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1092 ms 3028 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1063 ms 3028 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 393 ms 1364 KB Output is correct
2 Execution timed out 1092 ms 3540 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 904 ms 2644 KB Output is correct
2 Execution timed out 1046 ms 2900 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1088 ms 3156 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1083 ms 3156 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 290 ms 1228 KB Output is correct
2 Execution timed out 1096 ms 3284 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 109 ms 716 KB Output is correct
2 Execution timed out 1095 ms 3284 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 413 ms 1400 KB Output is correct
2 Execution timed out 1091 ms 3284 KB Time limit exceeded
3 Halted 0 ms 0 KB -