結果

問題 No.461 三角形はいくつ？
ユーザー しらっ亭しらっ亭
提出日時 2016-12-12 04:59:34
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 5,580 bytes
コンパイル時間 2,005 ms
コンパイル使用メモリ 186,772 KB
実行使用メモリ 214,864 KB
最終ジャッジ日時 2024-11-29 14:45:20
合計ジャッジ時間 89,841 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
158,328 KB
testcase_01 AC 2 ms
13,640 KB
testcase_02 AC 2 ms
160,972 KB
testcase_03 AC 2 ms
150,892 KB
testcase_04 AC 11 ms
13,636 KB
testcase_05 AC 2,572 ms
214,864 KB
testcase_06 AC 1,269 ms
37,796 KB
testcase_07 AC 1,632 ms
53,104 KB
testcase_08 AC 1,069 ms
33,644 KB
testcase_09 AC 5 ms
6,820 KB
testcase_10 AC 314 ms
12,292 KB
testcase_11 AC 1,910 ms
53,348 KB
testcase_12 AC 819 ms
28,524 KB
testcase_13 AC 2,867 ms
75,708 KB
testcase_14 AC 2,685 ms
70,340 KB
testcase_15 AC 2,859 ms
73,992 KB
testcase_16 AC 557 ms
6,820 KB
testcase_17 AC 575 ms
6,820 KB
testcase_18 AC 4,918 ms
141,816 KB
testcase_19 TLE -
testcase_20 AC 2,987 ms
77,512 KB
testcase_21 AC 2,832 ms
72,360 KB
testcase_22 AC 2,834 ms
72,252 KB
testcase_23 AC 626 ms
16,456 KB
testcase_24 AC 603 ms
16,192 KB
testcase_25 TLE -
testcase_26 TLE -
testcase_27 AC 11 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,816 KB
testcase_34 AC 3 ms
6,816 KB
testcase_35 AC 5 ms
6,816 KB
testcase_36 AC 997 ms
28,768 KB
testcase_37 AC 828 ms
28,652 KB
testcase_38 AC 879 ms
28,416 KB
testcase_39 AC 748 ms
22,120 KB
testcase_40 AC 876 ms
28,864 KB
testcase_41 AC 886 ms
28,980 KB
testcase_42 AC 2,065 ms
47,640 KB
testcase_43 AC 2,051 ms
50,356 KB
testcase_44 AC 1,960 ms
198,936 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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);
}

struct Hash {
    typedef std::size_t result_type;
    std::size_t operator()(const rational& key) const;
};

inline std::size_t Hash::operator()(const rational& key) const {
  return (key.p << 32) + key.q;
}

inline int cmp(int a, int b, int c, int d) {
  ll ad = a * d;
  ll cb = c * b;
  ll ret = ad - cb;
  if (ret > 0) return 1;
  if (ret < 0) return -1;
  return 0;
}

inline bool cmp_b(const pii &lhs, decltype(lhs) rhs) {
  return cmp(lhs.A, lhs.B, rhs.A, rhs.B) <= 0;
}

// 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] O(N^2)
  vector<rational> X;
  map<rational, int> Y;
  {
    forr(ab, R[0]) {
      forr(cd, R[1]) {
        if (ab + cd >= 1) {
          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) {
              //Y.emplace_back(e / (e+f));
              Y[e / (e+f)]++;
            }
          }
        }
      }
    }
  }

  // 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);
    ans -= Y[ab];
  }

  cout << ans << endl;

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