제출 #319117

#	제출 시각	아이디	문제	언어	결과	실행 시간	메모리
319117		VROOM_VARUN	도시들 (IOI15_towns)	C++14	25 / 100	31 ms	448 KiB

towns

/*
ID: varunra2
LANG: C++
TASK: towns
*/

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

#ifdef DEBUG
#include "lib/debug.h"
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#define debug_arr(...) \
  cerr << "[" << #__VA_ARGS__ << "]:", debug_arr(__VA_ARGS__)
#pragma GCC diagnostic ignored "-Wsign-compare"
//#pragma GCC diagnostic ignored "-Wunused-parameter"
//#pragma GCC diagnostic ignored "-Wunused-variable"
#else
#define debug(...) 42
#endif

#define EPS 1e-9
#define IN(A, B, C) assert(B <= A && A <= C)
#define INF (int)1e9
#define MEM(a, b) memset(a, (b), sizeof(a))
#define MOD 1000000007
#define MP make_pair
#define PB push_back
#define all(cont) cont.begin(), cont.end()
#define rall(cont) cont.end(), cont.begin()
#define x first
#define y second

const double PI = acos(-1.0);
typedef long long ll;
typedef long double ld;
typedef pair<int, int> PII;
typedef map<int, int> MPII;
typedef multiset<int> MSETI;
typedef set<int> SETI;
typedef set<string> SETS;
typedef vector<int> VI;
typedef vector<PII> VII;
typedef vector<VI> VVI;
typedef vector<string> VS;

#define rep(i, a, b) for (int i = a; i < (b); ++i)
#define trav(a, x) for (auto& a : x)
#define sz(x) (int)(x).size()
typedef pair<int, int> pii;
typedef vector<int> vi;
#pragma GCC diagnostic ignored "-Wsign-compare"
// util functions

// we are rooting the tree at leaf 0

int n;
const int mx = 150;
int vals[mx][mx];
map<PII, int> mp;

// int getDistance(int i, int j) { return vals[i][j]; }

int gt(int i, int j) {
  if (i > j) swap(i, j);
  if (i == j) return 0;
  if (mp[MP(i, j)]) return mp[MP(i, j)];
  mp[MP(i, j)] = getDistance(i, j);
  return mp[MP(i, j)];
}

int rootdist(int d1, int d2, int dtot) {
  // d1 + d2 - 2 * dlca = dtot
  // (d1 + d2 - dtot)/2 = dlca
  return (d1 + d2 - dtot) / 2;
}

int leafdist(int d1, int d2, int dtot) {
  // what is the dist(d1, dlca)
  // dist(d1, dlca) = d1 - rootdist(dlca)
  return d1 - rootdist(d1, d2, dtot);
}

void calc(int from, VI& d) {
  for (int i = 0; i < n; i++) {
    if (i == from) continue;
    d[i] = gt(from, i);
  }
}

int ind1;
int ind2;

VI d0;
VI d1;
VI d2;  // we won't be using this
VI lcadists;

void init() {
  mp.clear();
  d0.clear();
  d1.clear();
  d2.clear();
  lcadists.clear();
  d0.assign(n, 0);
  d1.assign(n, 0);
  d2.assign(n, 0);
  lcadists.assign(n, 0);
}

int find(int lcdist) {
  int val1 = d0[ind1] - lcdist;
  int val2 = d1[ind2] - val1;
  int cur = max(val1, val2);
  return cur;
}

VI cop;

VI findHubs() {
  // we will use 2n - 3 queries to find the hubs/radius/center
  calc(0, d0);
  ind1 = max_element(all(d0)) - d0.begin();
  calc(ind1, d1);
  ind2 = max_element(all(d1)) - d1.begin();
  // diameter is from ind1 -> ind2
  // hub lies on the path from 0 -> ind1 && ind1 -> ind2
  // so since we rooted the tree at 0
  // the hub lies on the path from ind1 -> lca(ind1, ind2)
  for (int i = 0; i < n; i++) {
    lcadists[i] = rootdist(d0[ind1], d0[i], d1[i]);
  }
  int mx = lcadists[ind2];
  VI ret;
  int mn = 2 * INF;
  MPII mp;
  sort(all(lcadists));
  cop = lcadists;
  lcadists.resize(unique(all(lcadists)) - lcadists.begin());

  for (int i = 0; i < sz(lcadists); i++) {
    if (lcadists[i] < mx) continue;
    int cur = find(lcadists[i]);
    if (cur < mn) {
      ret.clear();
      ret.PB(lcadists[i]);
      mn = cur;
    } else if (cur == mn)
      ret.PB(lcadists[i]);
  }
  return ret;
}

int ccnt(int dep) {
  int ret = 0;
  for (auto& x : cop) {
    if (x >= dep) ret++;
  }
  return ret;
}

int chk;

bool same(int i, int j) {
  if(lcadists[i] < chk and lcadists[j] < chk) return true; // same children subtree
  if(lcadists[i] > chk and lcadists[j] > chk) return true; // outside hub subtree
  if(lcadists[i] == chk and lcadists[j] == chk) { // same subtree
    if(d1[i] + d1[j] - gt(i, j) > 2 * chk) return true;
  }
  return false;
}

bool balanced(int depth) {
  debug(depth);
  chk = depth;
  // we need to check if an array contains a majority using (3n/2 - 2) checks
  // http://www.cs.yale.edu/publications/techreports/tr252.pdf
  // ^ paper describes how to do it

  VI bucket;
  VI list;

  // phase 1

  for (int i = 0; i < n; i++) {
    if (list.empty())
      list.PB(i);
    else if (same(list.back(), i))
      bucket.PB(i);
    else {
      list.PB(i);
      if (!bucket.empty()) {
        list.PB(bucket.back());
        bucket.pop_back();
      }
    }
  }

  debug(bucket);
  debug(list);

  // phase 2

  int T = list.back();

  while (!list.empty()) {
    int last = list.back();
    list.pop_back();
    if (same(last, T)) {
      if (list.empty()) {
        bucket.PB(last);
      } else
        list.pop_back();
    } else {
      if (bucket.empty()) return true;
      bucket.pop_back();
    }
  }

  debug(bucket);
  return bucket.empty();
}

int hubDistance(int n, int sub) {
  ::n = n;
  init();
  auto use = findHubs();
  // now we need to check if its balanced or not
  int radius = find(use[0]);
  debug(use);
  if (sz(use) == 1) {
    return (balanced(use[0]) ? radius : -radius);
  }
  if (sz(use) == 2) {
    // if hub[0] has < n/2 leaves
    int cnt = ccnt(use[0]);
    if (cnt > n / 2)
      return (balanced(use[1]) ? radius : -radius);
    else
      return (balanced(use[0]) ? radius : -radius);
  }
}

// int main() {
// #ifndef ONLINE_JUDGE
//   freopen("towns.in", "r", stdin);
//   freopen("towns.out", "w", stdout);
// #endif
//   cin.sync_with_stdio(0);
//   cin.tie(0);
//   int subbb;
//   cin >> subbb;
//   int t;
//   cin >> t;
//   while (t--) {
//     int n;
//     cin >> n;
//     for (int i = 0; i < n; i++) {
//       for (int j = 0; j < n; j++) {
//         cin >> vals[i][j];
//       }
//     }

//     cout << hubDistance(n, 2) << '\n';
//   }
//   return 0;
// }

컴파일 시 표준 에러 (stderr) 메시지

towns.cpp: In function 'VI findHubs()':
towns.cpp:124:31: warning: conversion from '__gnu_cxx::__normal_iterator<int*, std::vector<int> >::difference_type' {aka 'long int'} to 'int' may change value [-Wconversion]
  124 |   ind1 = max_element(all(d0)) - d0.begin();
      |          ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
towns.cpp:126:31: warning: conversion from '__gnu_cxx::__normal_iterator<int*, std::vector<int> >::difference_type' {aka 'long int'} to 'int' may change value [-Wconversion]
  126 |   ind2 = max_element(all(d1)) - d1.begin();
      |          ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
towns.cpp:134:7: warning: declaration of 'mx' shadows a global declaration [-Wshadow]
  134 |   int mx = lcadists[ind2];
      |       ^~
towns.cpp:59:11: note: shadowed declaration is here
   59 | const int mx = 150;
      |           ^~
towns.cpp:137:8: warning: declaration of 'mp' shadows a global declaration [-Wshadow]
  137 |   MPII mp;
      |        ^~
towns.cpp:61:15: note: shadowed declaration is here
   61 | map<PII, int> mp;
      |               ^~
towns.cpp: In function 'bool balanced(int)':
towns.cpp:20:20: warning: statement has no effect [-Wunused-value]
   20 | #define debug(...) 42
      |                    ^~
towns.cpp:175:3: note: in expansion of macro 'debug'
  175 |   debug(depth);
      |   ^~~~~
towns.cpp:20:20: warning: statement has no effect [-Wunused-value]
   20 | #define debug(...) 42
      |                    ^~
towns.cpp:200:3: note: in expansion of macro 'debug'
  200 |   debug(bucket);
      |   ^~~~~
towns.cpp:20:20: warning: statement has no effect [-Wunused-value]
   20 | #define debug(...) 42
      |                    ^~
towns.cpp:201:3: note: in expansion of macro 'debug'
  201 |   debug(list);
      |   ^~~~~
towns.cpp:20:20: warning: statement has no effect [-Wunused-value]
   20 | #define debug(...) 42
      |                    ^~
towns.cpp:221:3: note: in expansion of macro 'debug'
  221 |   debug(bucket);
      |   ^~~~~
towns.cpp: In function 'int hubDistance(int, int)':
towns.cpp:225:31: warning: declaration of 'n' shadows a global declaration [-Wshadow]
  225 | int hubDistance(int n, int sub) {
      |                               ^
towns.cpp:58:5: note: shadowed declaration is here
   58 | int n;
      |     ^
towns.cpp:20:20: warning: statement has no effect [-Wunused-value]
   20 | #define debug(...) 42
      |                    ^~
towns.cpp:231:3: note: in expansion of macro 'debug'
  231 |   debug(use);
      |   ^~~~~
towns.cpp:225:28: warning: unused parameter 'sub' [-Wunused-parameter]
  225 | int hubDistance(int n, int sub) {
      |                        ~~~~^~~
towns.cpp:228:23: warning: control reaches end of non-void function [-Wreturn-type]
  228 |   auto use = findHubs();
      |                       ^

• Subtask 1: 13 / 13
• Subtask 2: 12 / 12
• Subtask 3: 0 / 13
• Subtask 4: 0 / 10
• Subtask 5: 0 / 13
• Subtask 6: 0 / 39