Artifact 75565be9d11ad28a61bd4d51c821fea91aeede1a:
0000: 23 69 6e 63 6c 75 64 65 20 3c 69 6f 73 74 72 65 #include <iostre
0010: 61 6d 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 73 am>..#include <s
0020: 73 74 72 65 61 6d 3e 0d 0a 23 69 6e 63 6c 75 64 stream>..#includ
0030: 65 20 3c 69 6f 6d 61 6e 69 70 3e 0d 0a 23 69 6e e <iomanip>..#in
0040: 63 6c 75 64 65 20 3c 76 65 63 74 6f 72 3e 0d 0a clude <vector>..
0050: 23 69 6e 63 6c 75 64 65 20 3c 73 74 72 69 6e 67 #include <string
0060: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 6d 61 70 >..#include <map
0070: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 73 65 74 >..#include <set
0080: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 61 6c 67 >..#include <alg
0090: 6f 72 69 74 68 6d 3e 0d 0a 23 69 6e 63 6c 75 64 orithm>..#includ
00a0: 65 20 3c 6e 75 6d 65 72 69 63 3e 0d 0a 23 69 6e e <numeric>..#in
00b0: 63 6c 75 64 65 20 3c 69 74 65 72 61 74 6f 72 3e clude <iterator>
00c0: 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 66 75 6e 63 ..#include <func
00d0: 74 69 6f 6e 61 6c 3e 0d 0a 23 69 6e 63 6c 75 64 tional>..#includ
00e0: 65 20 3c 63 6f 6d 70 6c 65 78 3e 0d 0a 23 69 6e e <complex>..#in
00f0: 63 6c 75 64 65 20 3c 71 75 65 75 65 3e 0d 0a 23 clude <queue>..#
0100: 69 6e 63 6c 75 64 65 20 3c 73 74 61 63 6b 3e 0d include <stack>.
0110: 0a 23 69 6e 63 6c 75 64 65 20 3c 63 6d 61 74 68 .#include <cmath
0120: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63 61 73 >..#include <cas
0130: 73 65 72 74 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 sert>..#include
0140: 3c 74 75 70 6c 65 3e 0d 0a 75 73 69 6e 67 20 6e <tuple>..using n
0150: 61 6d 65 73 70 61 63 65 20 73 74 64 3b 0d 0a 74 amespace std;..t
0160: 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c 6f 6e 67 ypedef long long
0170: 20 4c 4c 3b 0d 0a 74 79 70 65 64 65 66 20 63 6f LL;..typedef co
0180: 6d 70 6c 65 78 3c 64 6f 75 62 6c 65 3e 20 43 4d mplex<double> CM
0190: 50 3b 0d 0a 0d 0a 63 6c 61 73 73 20 46 69 78 65 P;....class Fixe
01a0: 64 44 69 63 65 47 61 6d 65 44 69 76 31 20 7b 20 dDiceGameDiv1 {
01b0: 70 75 62 6c 69 63 3a 0d 0a 09 64 6f 75 62 6c 65 public:...double
01c0: 20 67 65 74 45 78 70 65 63 74 61 74 69 6f 6e 28 getExpectation(
01d0: 69 6e 74 20 61 2c 20 69 6e 74 20 62 2c 20 69 6e int a, int b, in
01e0: 74 20 63 2c 20 69 6e 74 20 64 29 0d 0a 09 7b 0d t c, int d)...{.
01f0: 0a 09 09 69 66 28 61 2a 62 3c 3d 63 2a 31 29 0d ...if(a*b<=c*1).
0200: 0a 09 09 09 72 65 74 75 72 6e 20 2d 31 2e 30 3b ....return -1.0;
0210: 0d 0a 09 09 61 75 74 6f 20 64 31 20 3d 20 64 69 ....auto d1 = di
0220: 73 74 72 28 61 2c 20 62 29 3b 0d 0a 09 09 61 75 str(a, b);....au
0230: 74 6f 20 64 32 20 3d 20 64 69 73 74 72 28 63 2c to d2 = distr(c,
0240: 20 64 29 3b 0d 0a 0d 0a 09 09 64 6f 75 62 6c 65 d);......double
0250: 20 74 6f 74 61 6c 5f 70 72 6f 62 20 3d 20 30 2e total_prob = 0.
0260: 30 3b 0d 0a 09 09 66 6f 72 28 61 75 74 6f 26 20 0;....for(auto&
0270: 76 70 3a 20 64 31 29 0d 0a 09 09 66 6f 72 28 61 vp: d1)....for(a
0280: 75 74 6f 26 20 7a 71 3a 20 64 32 29 0d 0a 09 09 uto& zq: d2)....
0290: 7b 0d 0a 09 09 09 69 6e 74 20 76 20 3d 20 76 70 {.....int v = vp
02a0: 2e 66 69 72 73 74 3b 0d 0a 09 09 09 64 6f 75 62 .first;.....doub
02b0: 6c 65 20 70 20 3d 20 76 70 2e 73 65 63 6f 6e 64 le p = vp.second
02c0: 3b 0d 0a 09 09 09 69 6e 74 20 7a 20 3d 20 7a 71 ;.....int z = zq
02d0: 2e 66 69 72 73 74 3b 0d 0a 09 09 09 64 6f 75 62 .first;.....doub
02e0: 6c 65 20 71 20 3d 20 7a 71 2e 73 65 63 6f 6e 64 le q = zq.second
02f0: 3b 0d 0a 09 09 09 69 66 28 76 20 3e 20 7a 29 20 ;.....if(v > z)
0300: 0d 0a 09 09 09 09 74 6f 74 61 6c 5f 70 72 6f 62 ......total_prob
0310: 20 2b 3d 20 70 2a 71 3b 0d 0a 09 09 7d 0d 0a 0d += p*q;....}...
0320: 0a 09 09 64 6f 75 62 6c 65 20 65 20 3d 20 30 2e ...double e = 0.
0330: 30 3b 0d 0a 09 09 66 6f 72 28 61 75 74 6f 26 20 0;....for(auto&
0340: 76 70 3a 20 64 31 29 0d 0a 09 09 66 6f 72 28 61 vp: d1)....for(a
0350: 75 74 6f 26 20 7a 71 3a 20 64 32 29 0d 0a 09 09 uto& zq: d2)....
0360: 7b 0d 0a 09 09 09 69 6e 74 20 76 20 3d 20 76 70 {.....int v = vp
0370: 2e 66 69 72 73 74 3b 0d 0a 09 09 09 64 6f 75 62 .first;.....doub
0380: 6c 65 20 70 20 3d 20 76 70 2e 73 65 63 6f 6e 64 le p = vp.second
0390: 3b 0d 0a 09 09 09 69 6e 74 20 7a 20 3d 20 7a 71 ;.....int z = zq
03a0: 2e 66 69 72 73 74 3b 0d 0a 09 09 09 64 6f 75 62 .first;.....doub
03b0: 6c 65 20 71 20 3d 20 7a 71 2e 73 65 63 6f 6e 64 le q = zq.second
03c0: 3b 0d 0a 09 09 09 69 66 28 76 20 3e 20 7a 29 20 ;.....if(v > z)
03d0: 0d 0a 09 09 09 09 65 20 2b 3d 20 76 20 2a 20 70 ......e += v * p
03e0: 2a 71 2f 74 6f 74 61 6c 5f 70 72 6f 62 3b 0d 0a *q/total_prob;..
03f0: 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b ..}....return e;
0400: 0d 0a 09 7d 0d 0a 0d 0a 09 6d 61 70 3c 69 6e 74 ...}.....map<int
0410: 2c 20 64 6f 75 62 6c 65 3e 20 64 69 73 74 72 28 , double> distr(
0420: 69 6e 74 20 6e 2c 20 69 6e 74 20 66 29 0d 0a 09 int n, int f)...
0430: 7b 0d 0a 09 09 69 66 28 6e 20 3d 3d 20 30 29 20 {....if(n == 0)
0440: 7b 0d 0a 09 09 09 6d 61 70 3c 69 6e 74 2c 20 64 {.....map<int, d
0450: 6f 75 62 6c 65 3e 20 6d 3b 0d 0a 09 09 09 6d 5b ouble> m;.....m[
0460: 30 5d 20 3d 20 31 2c 30 3b 0d 0a 09 09 09 72 65 0] = 1,0;.....re
0470: 74 75 72 6e 20 6d 3b 0d 0a 09 09 7d 0d 0a 09 09 turn m;....}....
0480: 6d 61 70 3c 69 6e 74 2c 20 64 6f 75 62 6c 65 3e map<int, double>
0490: 20 6d 20 3d 20 64 69 73 74 72 28 6e 2d 31 2c 20 m = distr(n-1,
04a0: 66 29 2c 20 6d 32 3b 0d 0a 09 09 66 6f 72 28 61 f), m2;....for(a
04b0: 75 74 6f 26 20 75 70 3a 20 6d 29 20 7b 0d 0a 09 uto& up: m) {...
04c0: 09 09 69 6e 74 20 75 20 3d 20 75 70 2e 66 69 72 ..int u = up.fir
04d0: 73 74 3b 0d 0a 09 09 09 64 6f 75 62 6c 65 20 70 st;.....double p
04e0: 20 3d 20 75 70 2e 73 65 63 6f 6e 64 3b 0d 0a 09 = up.second;...
04f0: 09 09 66 6f 72 28 69 6e 74 20 76 3d 31 3b 20 76 ..for(int v=1; v
0500: 3c 3d 66 3b 20 2b 2b 76 29 0d 0a 09 09 09 09 6d <=f; ++v)......m
0510: 32 5b 75 2b 76 5d 20 2b 3d 20 70 2f 66 3b 0d 0a 2[u+v] += p/f;..
0520: 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6d 32 ..}....return m2
0530: 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 ;...}..};....//
0540: 42 45 47 49 4e 20 43 55 54 20 48 45 52 45 0d 0a BEGIN CUT HERE..
0550: 23 69 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e #include <ctime>
0560: 0d 0a 64 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 ..double start_t
0570: 69 6d 65 3b 20 73 74 72 69 6e 67 20 74 69 6d 65 ime; string time
0580: 72 28 29 0d 0a 20 7b 20 6f 73 74 72 69 6e 67 73 r().. { ostrings
0590: 74 72 65 61 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 tream os; os <<
05a0: 22 20 28 22 20 3c 3c 20 69 6e 74 28 28 63 6c 6f " (" << int((clo
05b0: 63 6b 28 29 2d 73 74 61 72 74 5f 74 69 6d 65 29 ck()-start_time)
05c0: 2f 43 4c 4f 43 4b 53 5f 50 45 52 5f 53 45 43 2a /CLOCKS_PER_SEC*
05d0: 31 30 30 30 29 20 3c 3c 20 22 20 6d 73 65 63 29 1000) << " msec)
05e0: 22 3b 20 72 65 74 75 72 6e 20 6f 73 2e 73 74 72 "; return os.str
05f0: 28 29 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c (); }..template<
0600: 74 79 70 65 6e 61 6d 65 20 54 3e 20 6f 73 74 72 typename T> ostr
0610: 65 61 6d 26 20 6f 70 65 72 61 74 6f 72 3c 3c 28 eam& operator<<(
0620: 6f 73 74 72 65 61 6d 26 20 6f 73 2c 20 63 6f 6e ostream& os, con
0630: 73 74 20 76 65 63 74 6f 72 3c 54 3e 26 20 76 29 st vector<T>& v)
0640: 0d 0a 20 7b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b .. { os << "{ ";
0650: 0d 0a 20 20 20 66 6f 72 28 74 79 70 65 6e 61 6d .. for(typenam
0660: 65 20 76 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e e vector<T>::con
0670: 73 74 5f 69 74 65 72 61 74 6f 72 20 69 74 3d 76 st_iterator it=v
0680: 2e 62 65 67 69 6e 28 29 3b 20 69 74 21 3d 76 2e .begin(); it!=v.
0690: 65 6e 64 28 29 3b 20 2b 2b 69 74 29 0d 0a 20 20 end(); ++it)..
06a0: 20 6f 73 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a os << '\"' << *
06b0: 69 74 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 28 69 it << '\"' << (i
06c0: 74 2b 31 3d 3d 76 2e 65 6e 64 28 29 20 3f 20 22 t+1==v.end() ? "
06d0: 22 20 3a 20 22 2c 20 22 29 3b 20 6f 73 20 3c 3c " : ", "); os <<
06e0: 20 22 20 7d 22 3b 20 72 65 74 75 72 6e 20 6f 73 " }"; return os
06f0: 3b 20 7d 0d 0a 76 6f 69 64 20 76 65 72 69 66 79 ; }..void verify
0700: 5f 63 61 73 65 28 63 6f 6e 73 74 20 64 6f 75 62 _case(const doub
0710: 6c 65 26 20 45 78 70 65 63 74 65 64 2c 20 63 6f le& Expected, co
0720: 6e 73 74 20 64 6f 75 62 6c 65 26 20 52 65 63 65 nst double& Rece
0730: 69 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f ived) {.. bool o
0740: 6b 20 3d 20 28 61 62 73 28 45 78 70 65 63 74 65 k = (abs(Expecte
0750: 64 20 2d 20 52 65 63 65 69 76 65 64 29 20 3c 20 d - Received) <
0760: 31 65 2d 39 29 3b 0d 0a 20 69 66 28 6f 6b 29 20 1e-9);.. if(ok)
0770: 63 65 72 72 20 3c 3c 20 22 50 41 53 53 45 44 22 cerr << "PASSED"
0780: 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 << timer() << e
0790: 6e 64 6c 3b 20 20 65 6c 73 65 20 7b 20 63 65 72 ndl; else { cer
07a0: 72 20 3c 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c r << "FAILED" <<
07b0: 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c timer() << endl
07c0: 3b 0d 0a 20 63 65 72 72 20 3c 3c 20 22 5c 74 6f ;.. cerr << "\to
07d0: 3a 20 5c 22 22 20 3c 3c 20 45 78 70 65 63 74 65 : \"" << Expecte
07e0: 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 d << '\"' << end
07f0: 6c 20 3c 3c 20 22 5c 74 78 3a 20 5c 22 22 20 3c l << "\tx: \"" <
0800: 3c 20 52 65 63 65 69 76 65 64 20 3c 3c 20 27 5c < Received << '\
0810: 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d "' << endl; } }.
0820: 0a 23 64 65 66 69 6e 65 20 43 41 53 45 28 4e 29 .#define CASE(N)
0830: 20 7b 63 65 72 72 20 3c 3c 20 22 54 65 73 74 20 {cerr << "Test
0840: 43 61 73 65 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 Case #" << N <<
0850: 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 3b 20 "..." << flush;
0860: 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b start_time=clock
0870: 28 29 3b 0d 0a 23 64 65 66 69 6e 65 20 45 4e 44 ();..#define END
0880: 09 20 76 65 72 69 66 79 5f 63 61 73 65 28 5f 2c . verify_case(_,
0890: 20 46 69 78 65 64 44 69 63 65 47 61 6d 65 44 69 FixedDiceGameDi
08a0: 76 31 28 29 2e 67 65 74 45 78 70 65 63 74 61 74 v1().getExpectat
08b0: 69 6f 6e 28 61 2c 20 62 2c 20 63 2c 20 64 29 29 ion(a, b, c, d))
08c0: 3b 7d 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 7b 0d ;}..int main(){.
08d0: 0a 0d 0a 43 41 53 45 28 30 29 0d 0a 09 69 6e 74 ...CASE(0)...int
08e0: 20 61 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 62 a = 1; ...int b
08f0: 20 3d 20 32 3b 20 0d 0a 09 69 6e 74 20 63 20 3d = 2; ...int c =
0900: 20 31 3b 20 0d 0a 09 69 6e 74 20 64 20 3d 20 35 1; ...int d = 5
0910: 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 3d 20 ; ...double _ =
0920: 32 2e 30 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 2.0; ..END..CASE
0930: 28 31 29 0d 0a 09 69 6e 74 20 61 20 3d 20 33 3b (1)...int a = 3;
0940: 20 0d 0a 09 69 6e 74 20 62 20 3d 20 31 3b 20 0d ...int b = 1; .
0950: 0a 09 69 6e 74 20 63 20 3d 20 31 3b 20 0d 0a 09 ..int c = 1; ...
0960: 69 6e 74 20 64 20 3d 20 33 3b 20 0d 0a 09 64 6f int d = 3; ...do
0970: 75 62 6c 65 20 5f 20 3d 20 33 2e 30 3b 20 0d 0a uble _ = 3.0; ..
0980: 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a 09 69 END..CASE(2)...i
0990: 6e 74 20 61 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 nt a = 1; ...int
09a0: 20 62 20 3d 20 35 3b 20 0d 0a 09 69 6e 74 20 63 b = 5; ...int c
09b0: 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 64 20 3d = 1; ...int d =
09c0: 20 31 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 1; ...double _
09d0: 3d 20 33 2e 34 39 39 39 39 39 39 39 39 39 39 39 = 3.499999999999
09e0: 39 39 39 36 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 9996; ..END..CAS
09f0: 45 28 33 29 0d 0a 09 69 6e 74 20 61 20 3d 20 32 E(3)...int a = 2
0a00: 3b 20 0d 0a 09 69 6e 74 20 62 20 3d 20 36 3b 20 ; ...int b = 6;
0a10: 0d 0a 09 69 6e 74 20 63 20 3d 20 35 30 3b 20 0d ...int c = 50; .
0a20: 0a 09 69 6e 74 20 64 20 3d 20 33 30 3b 20 0d 0a ..int d = 30; ..
0a30: 09 64 6f 75 62 6c 65 20 5f 20 3d 20 2d 31 2e 30 .double _ = -1.0
0a40: 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 34 29 ; ..END..CASE(4)
0a50: 0d 0a 09 69 6e 74 20 61 20 3d 20 35 30 3b 20 0d ...int a = 50; .
0a60: 0a 09 69 6e 74 20 62 20 3d 20 31 31 3b 20 0d 0a ..int b = 11; ..
0a70: 09 69 6e 74 20 63 20 3d 20 35 30 3b 20 0d 0a 09 .int c = 50; ...
0a80: 69 6e 74 20 64 20 3d 20 35 30 3b 20 0d 0a 09 64 int d = 50; ...d
0a90: 6f 75 62 6c 65 20 5f 20 3d 20 33 36 39 2e 38 38 ouble _ = 369.88
0aa0: 36 35 39 39 39 31 38 32 30 32 32 3b 20 0d 0a 45 65999182022; ..E
0ab0: 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 35 29 0d ND../*..CASE(5).
0ac0: 0a 09 69 6e 74 20 61 20 3d 20 3b 20 0d 0a 09 69 ..int a = ; ...i
0ad0: 6e 74 20 62 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 nt b = ; ...int
0ae0: 63 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 64 20 3d c = ; ...int d =
0af0: 20 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 3d ; ...double _ =
0b00: 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 36 ; ..END..CASE(6
0b10: 29 0d 0a 09 69 6e 74 20 61 20 3d 20 3b 20 0d 0a )...int a = ; ..
0b20: 09 69 6e 74 20 62 20 3d 20 3b 20 0d 0a 09 69 6e .int b = ; ...in
0b30: 74 20 63 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 64 t c = ; ...int d
0b40: 20 3d 20 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f = ; ...double _
0b50: 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 2a 2f 0d 0a = ; ..END..*/..
0b60: 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 }..// END CUT HE
0b70: 52 45 0d 0a RE..