Problem p02774 (C++)

Buggy submission (status: Runtime Error):
#include <bits/stdc++.h>
using namespace std;

#define REP(i, m, n) for (int i = (m); i < (int)(n); i++)
#define RREP(i, m, n) for (int i = (int)(n - 1); i >= m; i--)
#define rep(i, n) REP(i, 0, n)
#define rrep(i, n) RREP(i, 0, n)
#define all(a) (a).begin(), (a).end()
#define rall(a) (a).rbegin(), (a).rend()
#define aut(r, v) __typeof(v) r = (v)
#define each(it, o) for (aut(it, (o).begin()); it != (o).end(); ++it)
#define reach(it, o) for (aut(it, (o).rbegin()); it != (o).rend(); ++it)
#define fi first
#define se second
#define debug(...)                                                             \
  {                                                                            \
    cerr << "[L" << __LINE__ << "] ";                                          \
    _debug(__VA_ARGS__);                                                       \
  }

template <typename T1, typename T2>
ostream &operator<<(ostream &o, const pair<T1, T2> &p) {
  return o << "(" << p.first << ", " << p.second << ")";
}
template <typename T> string join(const vector<T> &v, string del = ", ") {
  stringstream s;
  rep(i, v.size()) s << del << v[i];
  return s.str().substr(del.size());
}
template <typename T> ostream &operator<<(ostream &o, const vector<T> &v) {
  if (v.size())
    o << "[" << join(v) << "]";
  return o;
}
template <typename T>
ostream &operator<<(ostream &o, const vector<vector<T>> &vv) {
  int l = vv.size();
  if (l) {
    o << endl;
    rep(i, l) {
      o << (i == 0 ? "[ " : ",\n  ") << vv[i] << (i == l - 1 ? " ]" : "");
    }
  }
  return o;
}
template <typename T> ostream &operator<<(ostream &o, const set<T> &st) {
  vector<T> v(st.begin(), st.end());
  o << "{ " << join(v) << " }";
  return o;
}
template <typename T1, typename T2>
ostream &operator<<(ostream &o, const map<T1, T2> &m) {
  each(p, m) {
    o << (p == m.begin() ? "{ " : ",\n  ") << *p
      << (p == --m.end() ? " }" : "");
  }
  return o;
}
inline void _debug() { cerr << endl; }
template <class First, class... Rest>
void _debug(const First &first, const Rest &...rest) {
  cerr << first << " ";
  _debug(rest...);
}

typedef long long ll;
typedef pair<int, int> pii;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<ll> vl;
typedef vector<vl> vvl;

const double PI = (1 * acos(0.0));
const double EPS = 1e-9;
const ll INF = 0x3f3f3f3f;
const ll INFL = 0x3f3f3f3f3f3f3f3fLL;
const ll mod = 1e9 + 7;

inline void finput(string filename) { freopen(filename.c_str(), "r", stdin); }

int main() {
  ios_base::sync_with_stdio(0);
  finput("./input");

  ll n, k;
  cin >> n >> k;
  vl A(n);
  rep(i, n) cin >> A[i];
  sort(all(A));

  auto check = [&](ll x) {
    ll cnt = 0ll;
    rep(i, n) {
      if (A[i] < 0) {
        int l = -1, r = n;
        while (r - l > 1) {
          int m = (l + r) / 2;
          if (A[m] * A[i] < x)
            r = m;
          else
            l = m;
        }
        cnt += n - r;
      } else {
        int l = -1, r = n;
        while (r - l > 1) {
          int m = (l + r) / 2;
          if (A[m] * A[i] < x)
            l = m;
          else
            r = m;
        }
        cnt += r;
      }
      if (A[i] * A[i] < x)
        cnt--;
    }
    return cnt < 2 * k;
  };

  ll MX = ll(1e18) + 1;
  ll l = -MX, r = MX;
  while (r - l > 1) {
    ll m = (l + r) / 2;
    if (check(m))
      l = m;
    else
      r = m;
  }
  cout << l << endl;
  return 0;
}

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

#define REP(i, m, n) for (int i = (m); i < (int)(n); i++)
#define RREP(i, m, n) for (int i = (int)(n - 1); i >= m; i--)
#define rep(i, n) REP(i, 0, n)
#define rrep(i, n) RREP(i, 0, n)
#define all(a) (a).begin(), (a).end()
#define rall(a) (a).rbegin(), (a).rend()
#define aut(r, v) __typeof(v) r = (v)
#define each(it, o) for (aut(it, (o).begin()); it != (o).end(); ++it)
#define reach(it, o) for (aut(it, (o).rbegin()); it != (o).rend(); ++it)
#define fi first
#define se second
#define debug(...)                                                             \
  {                                                                            \
    cerr << "[L" << __LINE__ << "] ";                                          \
    _debug(__VA_ARGS__);                                                       \
  }

template <typename T1, typename T2>
ostream &operator<<(ostream &o, const pair<T1, T2> &p) {
  return o << "(" << p.first << ", " << p.second << ")";
}
template <typename T> string join(const vector<T> &v, string del = ", ") {
  stringstream s;
  rep(i, v.size()) s << del << v[i];
  return s.str().substr(del.size());
}
template <typename T> ostream &operator<<(ostream &o, const vector<T> &v) {
  if (v.size())
    o << "[" << join(v) << "]";
  return o;
}
template <typename T>
ostream &operator<<(ostream &o, const vector<vector<T>> &vv) {
  int l = vv.size();
  if (l) {
    o << endl;
    rep(i, l) {
      o << (i == 0 ? "[ " : ",\n  ") << vv[i] << (i == l - 1 ? " ]" : "");
    }
  }
  return o;
}
template <typename T> ostream &operator<<(ostream &o, const set<T> &st) {
  vector<T> v(st.begin(), st.end());
  o << "{ " << join(v) << " }";
  return o;
}
template <typename T1, typename T2>
ostream &operator<<(ostream &o, const map<T1, T2> &m) {
  each(p, m) {
    o << (p == m.begin() ? "{ " : ",\n  ") << *p
      << (p == --m.end() ? " }" : "");
  }
  return o;
}
inline void _debug() { cerr << endl; }
template <class First, class... Rest>
void _debug(const First &first, const Rest &...rest) {
  cerr << first << " ";
  _debug(rest...);
}

typedef long long ll;
typedef pair<int, int> pii;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<ll> vl;
typedef vector<vl> vvl;

const double PI = (1 * acos(0.0));
const double EPS = 1e-9;
const ll INF = 0x3f3f3f3f;
const ll INFL = 0x3f3f3f3f3f3f3f3fLL;
const ll mod = 1e9 + 7;

inline void finput(string filename) { freopen(filename.c_str(), "r", stdin); }

int main() {
  ios_base::sync_with_stdio(0);
  // finput("./input");

  ll n, k;
  cin >> n >> k;
  vl A(n);
  rep(i, n) cin >> A[i];
  sort(all(A));

  auto check = [&](ll x) {
    ll cnt = 0ll;
    rep(i, n) {
      if (A[i] < 0) {
        int l = -1, r = n;
        while (r - l > 1) {
          int m = (l + r) / 2;
          if (A[m] * A[i] < x)
            r = m;
          else
            l = m;
        }
        cnt += n - r;
      } else {
        int l = -1, r = n;
        while (r - l > 1) {
          int m = (l + r) / 2;
          if (A[m] * A[i] < x)
            l = m;
          else
            r = m;
        }
        cnt += r;
      }
      if (A[i] * A[i] < x)
        cnt--;
    }
    return cnt < 2 * k;
  };

  ll MX = ll(1e18) + 1;
  ll l = -MX, r = MX;
  while (r - l > 1) {
    ll m = (l + r) / 2;
    if (check(m))
      l = m;
    else
      r = m;
  }
  cout << l << endl;
  return 0;
}