結果
問題 | No.603 hel__world (2) |
ユーザー |
![]() |
提出日時 | 2017-12-24 12:24:08 |
言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
結果 |
TLE
(最新)
AC
(最初)
|
実行時間 | - |
コード長 | 4,124 bytes |
コンパイル時間 | 1,893 ms |
コンパイル使用メモリ | 173,856 KB |
実行使用メモリ | 53,716 KB |
最終ジャッジ日時 | 2024-12-17 18:31:34 |
合計ジャッジ時間 | 20,818 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 26 TLE * 4 |
ソースコード
#include <bits/stdc++.h>using namespace std;typedef long long ll;typedef vector<int> vi;typedef vector<ll> vl;typedef pair<int,int> pii;typedef pair<ll,ll> pll;typedef int _loop_int;#define REP(i,n) for(_loop_int i=0;i<(_loop_int)(n);++i)#define FOR(i,a,b) for(_loop_int i=(_loop_int)(a);i<(_loop_int)(b);++i)#define FORR(i,a,b) for(_loop_int i=(_loop_int)(b)-1;i>=(_loop_int)(a);--i)#define DEBUG(x) cout<<#x<<": "<<x<<endl#define DEBUG_VEC(v) cout<<#v<<":";REP(i,v.size())cout<<" "<<v[i];cout<<endl#define ALL(a) (a).begin(),(a).end()#define CHMIN(a,b) a=min((a),(b))#define CHMAX(a,b) a=max((a),(b))// mod#define MOD 1000003#define FIX(a) ((a)%MOD+MOD)%MODtypedef long double Real;// typedef __float128 Real;ll mita[MOD+1];ll comb(ll n, ll k){if(k>n)return 0;if(k==n || k==0)return 1;ll ret = 1;REP(i,k)ret=ret*((n-i)%MOD)%MOD;FOR(i,1,k+1)ret=ret*mita[i]%MOD;return ret;}/*sum_i floor(((t[i]-1)*x+t[i]) / x)+1 <= sfloor(y) >= y-1{sum_i ((t[i]-1)*x+t[i]) / x} <= ssum_i (t[i]-1)*x + t[i] <= s * x((sum_i t[i])-n)*x + (sum_i t[i]) <= s * x(sum_i t[i])*(1+x) <= (s+n) * xsum_i t[i] <= (s + n - sum_i t[i]) * xx >= (sum_i t[i]) / (s + n - sum_i t[i])sum_i floor(((t[i]-1)*x+t[i]) / x)+1 <= ssum_i floor(((t[i]-1)*x+t[i]) / x) <= s-nsum_i floor(((t[i]-1)*x+t[i]) / x) + n >= s-nfloor(y) <= y+1sum_i ((t[i]-1)*x+t[i]) / x + 2n >= s-nsum_i (1+x)*t[i] - nx >= (s-3n)*xsum_i t[i] >= (s - 2n - sum_i t[i]) * xx <= (sum_i t[i]) / (s - 2n - sum_i t[i])*/struct frac{ll u, d;frac(ll u,ll d):u(u),d(d){ll g = __gcd(u,d);u /= g;d /= g;}bool operator<(const frac &that) const{ll au = u, ad = d;ll nu = that.u, nd = that.d;if(au==nu && ad==nd)return false;while(true){if(ad==0)return false;if(nd==0)return true;ll av = au/ad;ll nv = nu/nd;if(av != nv){return av < nv;}ll v = au / ad;au -= v*ad;nu -= v*nd;swap(au, ad);swap(nu, nd);swap(au, nu);swap(ad, nd);}}};ll solve(ll n, ll s, vl t){if(n==0)return 1ll;ll tsum = accumulate(ALL(t),0ll);if(tsum > s)return 0ll;if(tsum == s)return 1ll;// binary searchReal low = tsum / ((Real)s + (Real)n - tsum);Real high = tsum / ((Real)s - (Real)(n*2) - tsum);// Real low = 0.0, high = 1048575.0;REP(_,50){Real th = (low+high)/2.0;ll xsum = 0;bool over = false;REP(i,n){// Real ri = (1.0 - th + t[i]*th) / (th-1.0);Real ri = ((t[i]-1.0)*th+t[i]) / th;if(ri + xsum >= (Real)s){over = true;break;}ll x = (ll)floorl(ri)+1ll;CHMAX(x, t[i]);xsum += x;}if(!over && xsum <= s){high = th;}else{low = th;}}Real th = high;// restll xsum = 0;// priority_queue<pair<Real,int>> Q;priority_queue<pair<frac,int>> Q;vl xs(n);REP(i,n){// Real ri = (1.0 - th + t[i]*th) / (th-1.0);Real ri = ((t[i]-1.0)*th+t[i]) / th;ll x = (ll)floorl(ri)+1ll;CHMAX(x, t[i]);xsum += x;xs[i] = x;// Q.push(make_pair((Real)(x+1)/(x+1-t[i]),i));Q.push(make_pair(frac(x+1,x+1-t[i]), i));}while(xsum < s){auto P = Q.top(); Q.pop();int id = P.second;xs[id]++;ll x = xs[id];// Q.push(make_pair((Real)(x+1)/(x+1-t[id]),id));Q.push(make_pair(frac(x+1,x+1-t[id]), id));xsum++;}// calc ansll ans = 1ll;REP(i,n){ans = ans * comb(xs[i], t[i]) % MOD;}return ans;}int main(){// mod inverse tablemita[0] = 0;mita[1] = 1;FOR(i,2,MOD+1){mita[i] = MOD - (ll)(MOD/i) * mita[MOD%i] % MOD;}// inputvl s(26,0);REP(i,26)cin>>s[i];string t;cin>>t;t = "$" + t + "$";// calcll ans = 1ll;REP(i,26){char c = 'a'+i;vl ts;int cnt = 0;REP(j,t.size()){if(t[j]!=c){if(cnt > 0){ts.push_back(cnt);}cnt = 0;}else{cnt++;}}ll x = solve(ts.size(), s[i], ts);ans = ans * x % MOD;}cout<<ans<<endl;return 0;}