結果
| 問題 |
No.162 8020運動
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2016-09-06 01:14:58 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 1,922 bytes |
| コンパイル時間 | 1,809 ms |
| コンパイル使用メモリ | 172,000 KB |
| 実行使用メモリ | 63,688 KB |
| 最終ジャッジ日時 | 2024-11-15 20:32:48 |
| 合計ジャッジ時間 | 36,211 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | RE * 3 |
| other | RE * 26 |
ソースコード
#include "bits/stdc++.h"
using namespace std;
#define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i))
#define rep(i,j) FOR(i,0,j)
#define each(x,y) for(auto &(x):(y))
#define mp make_pair
#define all(x) (x).begin(),(x).end()
#define debug(x) cout<<#x<<": "<<(x)<<endl
#define smax(x,y) (x)=max((x),(y))
#define smin(x,y) (x)=min((x),(y))
#define MEM(x,y) memset((x),(y),sizeof (x))
#define sz(x) (int)(x).size()
typedef long long ll;
typedef pair<int, int> pii;
typedef vector<int> vi;
typedef vector<ll> vll;
int bitcnt(unsigned int x){
#ifdef _MSC_VER
return __popcnt(x);
#elif _GNUC_
return __builtin_popcount(x);
#else
assert(0);
#endif
}
const int N = 14;
vi to[1 << N];
vector<double> pr[1 << N];
double dp[21][1 << N];
int main(){
int A;
cin >> A;
int Y = 80 - A;
double P0, P1, P2;
cin >> P0 >> P1 >> P2;
P0 *= 0.01;
P1 *= 0.01;
P2 *= 0.01;
rep(S, 1 << N){
bitset<N> b(S);
FOR(nS, S, 1 << N)if((S&nS)==S){
bitset<N> nb(nS);
double p = 1;
rep(i, N){
if(b[i])continue;
if((i == 0||b[i-1]) && (i==N-1 || b[i+1])){
if(nb[i])p *= P0;
else p *= 1.00 - P0;
} else if((i == 0 || b[i - 1]) || (i == N - 1 || b[i + 1])){
if(nb[i])p *= P1;
else p *= 1.00 - P1;
} else{
if(nb[i])p *= P2;
else p *= 1.00 - P2;
}
}
to[S].push_back(nS);
pr[S].push_back(p);
}
}
dp[0][0] = 1;
rep(y, Y)rep(S, 1 << N){
rep(i, sz(to[S])){
int nS = to[S][i];
double p = pr[S][i];
dp[y + 1][nS] += dp[y][S] * p;
}
}
double ans = 0;
rep(S, 1 << N)ans += (N-bitcnt(S))*dp[Y][S];
cout << setprecision(20) << ans*2 << endl;
}