結果

問題 No.1688 Veterinarian
ユーザー noya2noya2
提出日時 2021-09-24 21:41:11
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 640 ms / 3,000 ms
コード長 4,729 bytes
コンパイル時間 5,305 ms
コンパイル使用メモリ 284,488 KB
実行使用メモリ 58,568 KB
最終ジャッジ日時 2023-09-18 20:59:24
合計ジャッジ時間 8,001 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge14
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 3 ms
4,376 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 640 ms
58,568 KB
testcase_09 AC 590 ms
54,324 KB
testcase_10 AC 102 ms
13,320 KB
testcase_11 AC 26 ms
6,344 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 23 ms
5,880 KB
testcase_14 AC 2 ms
4,376 KB
testcase_15 AC 183 ms
20,376 KB
testcase_16 AC 1 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
/*
#include <boost/multiprecision/cpp_dec_float.hpp>
#include <boost/multiprecision/cpp_int.hpp>
namespace mp = boost::multiprecision;
using bint = mp::cpp_int;
*/
#include <atcoder/all>
#include <iostream>
#include <queue>
#include <stack>
#include <vector>
#include <string>
#include <set>
#include <map>
#include <random>
#include <bitset>
#define rep(i,n) for (int i = 0; i < int(n); ++i)
#define repp(i,n,m) for (int i = m; i < int(n); ++i)
#define repb(i,n) for (int i = int(n)-1; i >= 0; --i)
#define fi first
#define se second
#define endl "\n"
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
using P = pair<int, int>;
using PL = pair<long long, long long>;
using Pxy = pair<long double, long double>;
using pil = pair<int,ll>;
using pli = pair<ll,int>;
const int INF = 1001001007;
const long long mod1 = 1000000007LL;
const long long mod2 = 998244353LL;
const ll inf = 2e18;
const ld pi = 3.14159265358979323;
const ld eps = 1e-7;
template<class T>istream &operator>>(istream &is,vector<T> &v){for(auto &e:v)is>>e;return is;}
template<class T>ostream &operator<<(ostream &os,const vector<T> &v){if(v.size()==0){os<<endl;}else{rep(i,v.size())os<<v[i]<<(i+1==v.size()?"\n":" ");}return os;}
template<class T>istream &operator>>(istream &is,vector<vector<T>> &v){for(auto &e:v)is>>e;return is;}
template<class T>ostream &operator<<(ostream &os,const vector<vector<T>> &v){if(v.size()==0){os<<endl;}else{for(auto &e:v)os<<e;}return os;}
template<typename T>bool range(T a,T b,T x){return (a<=x&&x<b);}
template<typename T>bool rrange(T a,T b,T c,T d,T x,T y){return (range(a,c,x)&&range(b,d,y));}
template<typename T>void rev(vector<T> &v){reverse(v.begin(),v.end());}
template<typename T>void sor(vector<T> &v, int f=0){sort(v.begin(),v.end());if(f!=0) rev(v);}
template<typename T>bool chmin(T &a,const T &b){if(a>b){a=b;return true;}return false;}
template<typename T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template<typename T>void eru(vector<T> &v){sor(v);v.erase(unique(v.begin(),v.end()),v.end());}
template<typename T>T cel(T a,T b){if(a%b==0)return a/b;return a/b +1;}
template<typename T,typename U>void out2(T a,U b){cout<<a<<" "<<b<<endl;}
template<typename T>void mout(T a){cout<<a.val()<<endl;}
void yes(){cout << "Yes" << endl;}
void no (){cout << "No" << endl;}
void yn (bool t){if(t)yes();else no();}
void dame(bool t){if(t){cout << -1 << endl;exit(0);}}
void dout(ld h=-1.23456789){cout<<setprecision(20);if(abs(h+1.23456789)>eps)cout<<h<<endl;}
void deb(ll h = INF-1) {cout << (h == INF-1 ? "!?" : to_string(h)) << endl;}
void revs(string &s) {reverse(s.begin(),s.end());}
vector<int> dx = {0,1,0,-1};
vector<int> dy = {1,0,-1,0};
const string ALP = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
const string alp = "abcdefghijklmnopqrstuvwxyz";
const string num = "0123456789";

ll gcds(ll a, ll b){
    a = abs(a); b = abs(b);
    if (b == 0) return a;
    ll c = a % b;
    while (c != 0){
        a = b;
        b = c;
        c = a % b;
    }
    return b;
}

ll tentou(vector<ll> ar){
    int n = ar.size();
    set<ll> st;
    rep(i,n) st.insert(ar[i]);
    map<ll,int> mp;
    int ind = 0;
    for (ll x : st){
        mp[x] = ind;
        ind++;
    }
    fenwick_tree<ll> fw(ind);
    ll ans = 0;
    rep(i,n){
        int a = mp[ar[i]];
        ans += i - fw.sum(0,a+1);
        fw.add(a,1);
    }
    return ans;
}

/*
alias g++='g++ -I/mnt/c/Users/Owner/Desktop/ac-library'
*/

struct vs{
    vector<int> to;
};

map<vector<int>,vector<ld>> mp;

vector<ld> saiki(int a, int b, int c, int n){
    if (mp.find(vector<int>{a,b,c,n}) != mp.end()) return mp[vector<int>{a,b,c,n}];
    if (a < 0 || b < 0 || c < 0 || n == 0){
        return vector<ld>{0.0,0.0,0.0};
    }
    ld x = a * (a - 1) / 2;
    ld y = b * (b - 1) / 2;
    ld z = c * (c - 1) / 2;
    ld w = (a + b + c) * (a + b + c - 1) / 2;
    vector<ld> ans(3,0.0);
    vector<ld> aa = {0.0,0.0,0.0};
    if (a >= 2) aa = saiki(a-1,b,c,n-1);
    vector<ld> bb = {0.0,0.0,0.0};
    if (b >= 2) bb = saiki(a,b-1,c,n-1);
    vector<ld> cc = {0.0,0.0,0.0};
    if (c >= 2) cc = saiki(a,b,c-1,n-1);
    auto dd = saiki(a,b,c,n-1);
    aa[0] += 1.0;
    bb[1] += 1.0;
    cc[2] += 1.0;
    rep(i,3) aa[i] *= x / w;
    rep(i,3) bb[i] *= y / w;
    rep(i,3) cc[i] *= z / w;
    rep(i,3) dd[i] *= (w - x - y - z) / w;
    rep(i,3){
        ans[i] += aa[i];
    }
    rep(i,3){
        ans[i] += bb[i];
    }
    rep(i,3){
        ans[i] += cc[i];
    }
    rep(i,3){
        ans[i] += dd[i];
    }
    return mp[vector<int>{a,b,c,n}] = ans;
}

int main(){
    int a, b, c, n; cin >> a >> b >> c >> n;
    auto ans = saiki(a,b,c,n);
    dout();
    cout << ans;
}
0