#137845 (C++14) No.461 三角形はいくつ？

提出ソース

結果

問題	No.461 三角形はいくつ？
ユーザー	しらっ亭
提出日時	2016-12-12 05:15:41
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	TLE
実行時間	-
コード長	5,282 bytes
コンパイル時間	1,878 ms
コンパイル使用メモリ	177,708 KB
実行使用メモリ	10,020 KB
最終ジャッジ日時	2024-11-29 14:52:59
合計ジャッジ時間	83,386 ms
ジャッジサーバーID （参考情報）	judge2 / judge4

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 10,020 KB
testcase_01	AC	2 ms 10,016 KB
testcase_02	AC	2 ms 10,016 KB
testcase_03	AC	2 ms 10,016 KB
testcase_04	AC	11 ms 10,016 KB
testcase_05	AC	2,265 ms 6,816 KB
testcase_06	AC	1,222 ms 6,820 KB
testcase_07	AC	1,507 ms 6,820 KB
testcase_08	AC	1,112 ms 6,816 KB
testcase_09	AC	5 ms 6,816 KB
testcase_10	AC	321 ms 6,816 KB
testcase_11	AC	1,702 ms 6,820 KB
testcase_12	AC	776 ms 6,820 KB
testcase_13	AC	2,502 ms 6,820 KB
testcase_14	AC	2,361 ms 6,816 KB
testcase_15	AC	2,506 ms 6,816 KB
testcase_16	AC	612 ms 6,816 KB
testcase_17	AC	643 ms 6,816 KB
testcase_18	AC	3,834 ms 6,820 KB
testcase_19	AC	3,924 ms 6,816 KB
testcase_20	AC	2,636 ms 6,820 KB
testcase_21	AC	2,500 ms 6,820 KB
testcase_22	AC	2,480 ms 6,816 KB
testcase_23	AC	622 ms 6,816 KB
testcase_24	AC	617 ms 6,816 KB
testcase_25	TLE	-
testcase_26	TLE	-
testcase_27	AC	12 ms 6,820 KB
testcase_28	AC	13 ms 6,816 KB
testcase_29	TLE	-
testcase_30	TLE	-
testcase_31	TLE	-
testcase_32	TLE	-
testcase_33	AC	4 ms 6,820 KB
testcase_34	AC	5 ms 6,816 KB
testcase_35	AC	4 ms 6,816 KB
testcase_36	AC	813 ms 6,816 KB
testcase_37	AC	756 ms 6,820 KB
testcase_38	AC	778 ms 6,820 KB
testcase_39	AC	727 ms 6,816 KB
testcase_40	AC	808 ms 6,816 KB
testcase_41	AC	791 ms 6,816 KB
testcase_42	AC	1,667 ms 6,820 KB
testcase_43	AC	1,651 ms 6,820 KB
testcase_44	AC	1,716 ms 10,016 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

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

#define _p(...) (void)printf(__VA_ARGS__)
#define forr(x,arr) for(auto&& x:arr)
#define _overload3(_1,_2,_3,name,...) name
#define _rep2(i,n) _rep3(i,0,n)
#define _rep3(i,a,b) for(int i=int(a);i<int(b);++i)
#define rep(...) _overload3(__VA_ARGS__,_rep3,_rep2,)(__VA_ARGS__)
#define _rrep2(i,n) _rrep3(i,0,n)
#define _rrep3(i,a,b) for(int i=int(b)-1;i>=int(a);i--)
#define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define bit(n) (1LL<<(n))
#define sz(x) ((int)(x).size())
#define fst first
#define snd second
using ll=long long;using pii=pair<int,int>;
using vb=vector<bool>;using vs=vector<string>;
using vi=vector<int>;using vvi=vector<vi>;using vvvi=vector<vvi>;
using vl=vector<ll>;using vvl=vector<vl>;using vvvl=vector<vvl>;
using vd=vector<double>;using vvd=vector<vd>;using vvvd=vector<vvd>;
using vpii=vector<pii>;using vvpii=vector<vpii>;using vvvpii=vector<vvpii>;
template<typename T>T read(){T t;cin>>t;return t;}
template<class T,class U>ostream&operator<<(ostream&o,const pair<T,U>&p){o<<'('<<p.fst<<", "<<p.snd<<')';return o;}

#define A first
#define B second

typedef long long Integer;
Integer gcd(Integer a, Integer b) { return a > 0 ? gcd(b % a, a) : b; }
struct rational {
  Integer p, q;
  void normalize() { // keep q positive
    if (q < 0) p *= -1, q *= -1;
    Integer d = gcd(p < 0 ? -p : p, q);
    if (d == 0) p = 0,  q = 1;
    else        p /= d, q /= d;
  }
  rational(Integer p, Integer q = 1) : p(p), q(q) {
    normalize();
  }
  rational &operator += (const rational &a) {
    p = a.q * p + a.p * q; q = a.q * q; normalize();
    return *this;
  }
  rational &operator -= (const rational &a) {
    p = a.q * p - a.p * q; q = a.q * q; normalize();
    return *this;
  }
  rational &operator *= (const rational &a) {
    p *= a.p; q *= a.q; normalize();
    return *this;
  }
  rational &operator /= (const rational &a) {
    p *= a.q; q *= a.p; normalize();
    return *this;
  }
  rational &operator - () {
    p *= -1;
    return *this;
  }
};
rational operator + (const rational &a, const rational &b) {
  return rational(a) += b;
}
rational operator * (const rational &a, const rational &b) {
  return rational(a) *= b;
}
rational operator - (const rational &a, const rational &b) {
  return rational(a) -= b;
}
rational operator / (const rational &a, const rational &b) {
  return rational(a) /= b;
}
bool operator < (const rational &a, const rational &b) { // avoid overflow
  return (long double) a.p * b.q < (long double) a.q * b.p;
}
bool operator <= (const rational &a, const rational &b) {
  return !(b < a);
}
bool operator > (const rational &a, const rational &b) {
  return b < a;
}
bool operator >= (const rational &a, const rational &b) {
  return !(a < b);
}
bool operator == (const rational &a, const rational &b) {
  return !(a < b) && !(b < a);
}
bool operator != (const rational &a, const rational &b) {
  return (a < b) || (b < a);
}
ostream&operator<<(ostream&o,const rational&r){o<<r.p<<'/'<<r.q;return o;}

// a/(a+b) と足したら1を越えるのが何本あるか
// O(log |S|)
int bs(const rational &ab, const vector<rational> &S) {
  int ok = sz(S);
  int ng = -1;

  while (abs(ok - ng) > 1) {
    int mid = (ok + ng) / 2;
    bool c = ab + S[mid] > 1;
    // cout << "ok: " << ok << ", ng: " << ng << ", ";
    // cout << "check(" << mid << ") -> " << c << endl;
    if (c) ok = mid;
    else ng = mid;
  }
  return sz(S) - ok;
}

void Main() {
  int n = read<int>();

  vector<rational> R[3];

  rep(i, n) {
    int t = read<int>();
    int a = read<int>();
    int b = read<int>();

    R[t].emplace_back(a, a + b);
  }

  rep(i, 3) sort(all(R[i]));
  //rep(ii,3) { cout << "R["<<ii<<"]:"; rep(jj, sz(R[ii])) cout << ' ' << R[ii][jj]; cout << endl; }

  ll ans = 1 + n;

  forr(ab, R[1]) {
    int c0 = bs(ab, R[0]);
    //_p("R1: a:%d, b:%d, c0: %d\n", a, b, c0);
    ans += c0;
  }

  forr(ab, R[2]) {
    int c0 = bs(ab, R[0]);
    int c1 = bs(ab, R[1]);
    //_p("R2: a:%lld, b:%lld, c0: %d, c1: %d\n", a, b, c0, c1);
    ans += c0;
    ans += c1;
  }

  // R[0] と R[1]
  //vector<rational> X, Y;
  forr(ab, R[0]) {
    forr(cd, R[1]) {
      if (ab + cd >= 1) {
        {
          rational z = 1 - (ab < cd ? ab : cd);
          ans += R[2].end() - lower_bound(all(R[2]), z);
        }
        /*
        if (ab < cd) {
          X.emplace_back(ab);
        }
        else {
          X.emplace_back(cd);
        }
        */
        {
          auto e = (1-cd) + (1-ab);
          auto f = cd - (1-ab);
          if (f > 0) {
            rational ef(e / (e+f));
            ans -= upper_bound(all(R[2]), ef) - lower_bound(all(R[2]), ef);
          }
        }
      }
    }
  }

  // O(N^2 log N^2) TLE?
  //sort(all(X));
  //sort(all(Y));
  //cout << "X:"; rep(ii,sz(X)) cout << ' ' << X[ii]; cout << endl;

  // 3本
  // O(n * log(N^2))
  /*
  forr(ab, R[2]) {
    // b/(a+b) 以上の X を数える
    rational bab(1 - ab);
    ans += X.end() - lower_bound(all(X), bab);

    // 交点に重なる場合を除く
    ans -= upper_bound(all(Y), ab) - lower_bound(all(Y), ab);
  }
  */

  cout << ans << endl;

}
int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }

yukicoder

結果

テストケース

ソースコード