Artifact 4ab9d94a2abea13a2c7703a4bbc4ba9430731547:
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 63 73 74 72 69 6e 67 3e 0d 0a 75 73 69 6e 67 <cstring>..using
0150: 20 6e 61 6d 65 73 70 61 63 65 20 73 74 64 3b 0d namespace std;.
0160: 0a 74 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c 6f .typedef long lo
0170: 6e 67 20 4c 4c 3b 0d 0a 74 79 70 65 64 65 66 20 ng LL;..typedef
0180: 63 6f 6d 70 6c 65 78 3c 64 6f 75 62 6c 65 3e 20 complex<double>
0190: 43 4d 50 3b 0d 0a 0d 0a 63 6c 61 73 73 20 42 6f CMP;....class Bo
01a0: 75 6e 63 69 6e 67 44 69 63 65 47 61 6d 65 20 7b uncingDiceGame {
01b0: 20 70 75 62 6c 69 63 3a 0d 0a 09 64 6f 75 62 6c public:...doubl
01c0: 65 20 77 69 6e 50 72 6f 62 61 62 69 6c 69 74 79 e winProbability
01d0: 28 69 6e 74 20 6e 2c 20 69 6e 74 20 64 2c 20 69 (int n, int d, i
01e0: 6e 74 20 78 2c 20 69 6e 74 20 79 29 20 0d 0a 09 nt x, int y) ...
01f0: 7b 0d 0a 09 09 69 6e 74 20 42 20 3d 20 6e 2d 64 {....int B = n-d
0200: 3b 0d 0a 09 09 78 20 3d 20 6d 69 6e 28 42 2c 78 ;....x = min(B,x
0210: 29 3b 0d 0a 09 09 79 20 3d 20 6d 69 6e 28 42 2c );....y = min(B,
0220: 79 29 3b 0d 0a 09 09 69 6e 74 20 5a 20 3d 20 6d y);....int Z = m
0230: 69 6e 28 78 2c 79 29 3b 0d 0a 09 09 76 65 63 74 in(x,y);....vect
0240: 6f 72 3c 20 76 65 63 74 6f 72 3c 64 6f 75 62 6c or< vector<doubl
0250: 65 3e 20 3e 20 70 28 42 2b 31 2c 20 76 65 63 74 e> > p(B+1, vect
0260: 6f 72 3c 64 6f 75 62 6c 65 3e 28 42 2b 31 2c 20 or<double>(B+1,
0270: 30 29 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 73 6f 6c 0));......// sol
0280: 76 65 3a 0d 0a 09 09 2f 2f 20 20 20 70 5b 42 5d ve:....// p[B]
0290: 5b 6b 5d 20 3d 20 31 20 2d 20 70 5b 6b 5d 5b 42 [k] = 1 - p[k][B
02a0: 5d 0d 0a 09 09 2f 2f 20 20 20 70 5b 69 5d 5b 6b ]....// p[i][k
02b0: 5d 20 3d 20 31 2f 64 20 5c 53 69 67 6d 61 5f 7b ] = 1/d \Sigma_{
02c0: 62 3d 31 2e 2e 64 7d 20 28 31 20 2d 20 70 5b 6b b=1..d} (1 - p[k
02d0: 5d 5b 6d 69 6e 28 42 2c 69 2b 62 29 5d 29 0d 0a ][min(B,i+b)])..
02e0: 09 09 2f 2f 20 72 65 74 75 72 6e 20 70 5b 78 5d ..// return p[x]
02f0: 5b 79 5d 3b 0d 0a 0d 0a 09 09 66 6f 72 28 69 6e [y];......for(in
0300: 74 20 69 6b 3d 42 2a 32 3b 20 69 6b 3e 3d 5a 2a t ik=B*2; ik>=Z*
0310: 32 3b 20 2d 2d 69 6b 29 0d 0a 09 09 66 6f 72 28 2; --ik)....for(
0320: 69 6e 74 20 69 3d 5a 3b 20 69 3c 3d 42 3b 20 2b int i=Z; i<=B; +
0330: 2b 69 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 6e 74 +i)....{.....int
0340: 20 6b 20 3d 20 69 6b 2d 69 3b 0d 0a 09 09 09 69 k = ik-i;.....i
0350: 66 28 20 5a 3c 3d 6b 20 26 26 20 6b 3c 3d 42 20 f( Z<=k && k<=B
0360: 29 20 7b 0d 0a 09 09 09 09 69 66 28 69 3d 3d 42 ) {......if(i==B
0370: 20 26 26 20 6b 3d 3d 42 29 20 70 5b 42 5d 5b 42 && k==B) p[B][B
0380: 5d 20 3d 20 64 20 2f 20 28 32 2a 64 2d 31 29 3b ] = d / (2*d-1);
0390: 0d 0a 09 09 09 09 65 6c 73 65 20 69 66 28 20 69 ......else if( i
03a0: 3d 3d 42 20 29 20 70 5b 42 5d 5b 6b 5d 20 3d 20 ==B ) p[B][k] =
03b0: 31 20 2d 20 70 5b 6b 5d 5b 42 5d 2a 28 64 2d 31 1 - p[k][B]*(d-1
03c0: 29 2f 64 3b 0d 0a 09 09 09 09 65 6c 73 65 20 7b )/d;......else {
03d0: 0d 0a 09 09 09 09 09 64 6f 75 62 6c 65 20 71 20 .......double q
03e0: 3d 20 30 3b 0d 0a 09 09 09 09 09 66 6f 72 28 69 = 0;.......for(i
03f0: 6e 74 20 62 3d 31 3b 20 62 3c 3d 64 3b 20 2b 2b nt b=1; b<=d; ++
0400: 62 29 0d 0a 09 09 09 09 09 09 71 20 2b 3d 20 31 b)........q += 1
0410: 20 2d 20 70 5b 6b 5d 5b 6d 69 6e 28 42 2c 69 2b - p[k][min(B,i+
0420: 62 29 5d 3b 0d 0a 09 09 09 09 09 70 5b 69 5d 5b b)];.......p[i][
0430: 6b 5d 20 3d 20 71 2f 64 3b 0d 0a 09 09 09 09 7d k] = q/d;......}
0440: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 .....}....}....r
0450: 65 74 75 72 6e 20 70 5b 78 5d 5b 79 5d 3b 0d 0a eturn p[x][y];..
0460: 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 47 .}..};....// BEG
0470: 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23 69 6e IN CUT HERE..#in
0480: 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d 0a 64 clude <ctime>..d
0490: 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69 6d 65 ouble start_time
04a0: 3b 20 73 74 72 69 6e 67 20 74 69 6d 65 72 28 29 ; string timer()
04b0: 0d 0a 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 .. { ostringstre
04c0: 61 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28 am os; os << " (
04d0: 22 20 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28 " << int((clock(
04e0: 29 2d 73 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c )-start_time)/CL
04f0: 4f 43 4b 53 5f 50 45 52 5f 53 45 43 2a 31 30 30 OCKS_PER_SEC*100
0500: 30 29 20 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20 0) << " msec)";
0510: 72 65 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b return os.str();
0520: 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 }..template<typ
0530: 65 6e 61 6d 65 20 54 3e 20 6f 73 74 72 65 61 6d ename T> ostream
0540: 26 20 6f 70 65 72 61 74 6f 72 3c 3c 28 6f 73 74 & operator<<(ost
0550: 72 65 61 6d 26 20 6f 73 2c 20 63 6f 6e 73 74 20 ream& os, const
0560: 76 65 63 74 6f 72 3c 54 3e 26 20 76 29 0d 0a 20 vector<T>& v)..
0570: 7b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b 0d 0a 20 { os << "{ ";..
0580: 20 20 66 6f 72 28 74 79 70 65 6e 61 6d 65 20 76 for(typename v
0590: 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f ector<T>::const_
05a0: 69 74 65 72 61 74 6f 72 20 69 74 3d 76 2e 62 65 iterator it=v.be
05b0: 67 69 6e 28 29 3b 20 69 74 21 3d 76 2e 65 6e 64 gin(); it!=v.end
05c0: 28 29 3b 20 2b 2b 69 74 29 0d 0a 20 20 20 6f 73 (); ++it).. os
05d0: 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a 69 74 20 << '\"' << *it
05e0: 3c 3c 20 27 5c 22 27 20 3c 3c 20 28 69 74 2b 31 << '\"' << (it+1
05f0: 3d 3d 76 2e 65 6e 64 28 29 20 3f 20 22 22 20 3a ==v.end() ? "" :
0600: 20 22 2c 20 22 29 3b 20 6f 73 20 3c 3c 20 22 20 ", "); os << "
0610: 7d 22 3b 20 72 65 74 75 72 6e 20 6f 73 3b 20 7d }"; return os; }
0620: 0d 0a 76 6f 69 64 20 76 65 72 69 66 79 5f 63 61 ..void verify_ca
0630: 73 65 28 63 6f 6e 73 74 20 64 6f 75 62 6c 65 26 se(const double&
0640: 20 45 78 70 65 63 74 65 64 2c 20 63 6f 6e 73 74 Expected, const
0650: 20 64 6f 75 62 6c 65 26 20 52 65 63 65 69 76 65 double& Receive
0660: 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f 6b 20 3d d) {.. bool ok =
0670: 20 28 61 62 73 28 45 78 70 65 63 74 65 64 20 2d (abs(Expected -
0680: 20 52 65 63 65 69 76 65 64 29 20 3c 20 31 65 2d Received) < 1e-
0690: 39 29 3b 0d 0a 20 69 66 28 6f 6b 29 20 63 65 72 9);.. if(ok) cer
06a0: 72 20 3c 3c 20 22 50 41 53 53 45 44 22 20 3c 3c r << "PASSED" <<
06b0: 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c timer() << endl
06c0: 3b 20 20 65 6c 73 65 20 7b 20 63 65 72 72 20 3c ; else { cerr <
06d0: 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c 20 74 69 < "FAILED" << ti
06e0: 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 0d 0a mer() << endl;..
06f0: 20 63 65 72 72 20 3c 3c 20 22 5c 74 6f 3a 20 5c cerr << "\to: \
0700: 22 22 20 3c 3c 20 45 78 70 65 63 74 65 64 20 3c "" << Expected <
0710: 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 20 3c < '\"' << endl <
0720: 3c 20 22 5c 74 78 3a 20 5c 22 22 20 3c 3c 20 52 < "\tx: \"" << R
0730: 65 63 65 69 76 65 64 20 3c 3c 20 27 5c 22 27 20 eceived << '\"'
0740: 3c 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d 0a 23 64 << endl; } }..#d
0750: 65 66 69 6e 65 20 43 41 53 45 28 4e 29 20 7b 63 efine CASE(N) {c
0760: 65 72 72 20 3c 3c 20 22 54 65 73 74 20 43 61 73 err << "Test Cas
0770: 65 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e e #" << N << "..
0780: 2e 22 20 3c 3c 20 66 6c 75 73 68 3b 20 73 74 61 ." << flush; sta
0790: 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b rt_time=clock();
07a0: 0d 0a 23 64 65 66 69 6e 65 20 45 4e 44 09 20 76 ..#define END. v
07b0: 65 72 69 66 79 5f 63 61 73 65 28 5f 2c 20 42 6f erify_case(_, Bo
07c0: 75 6e 63 69 6e 67 44 69 63 65 47 61 6d 65 28 29 uncingDiceGame()
07d0: 2e 77 69 6e 50 72 6f 62 61 62 69 6c 69 74 79 28 .winProbability(
07e0: 6e 2c 20 64 2c 20 78 2c 20 79 29 29 3b 7d 0d 0a n, d, x, y));}..
07f0: 69 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 int main(){....C
0800: 41 53 45 28 30 29 0d 0a 09 69 6e 74 20 6e 20 3d ASE(0)...int n =
0810: 20 31 30 3b 20 0d 0a 09 69 6e 74 20 64 20 3d 20 10; ...int d =
0820: 36 3b 20 0d 0a 09 69 6e 74 20 78 20 3d 20 31 3b 6; ...int x = 1;
0830: 20 0d 0a 09 69 6e 74 20 79 20 3d 20 31 3b 20 0d ...int y = 1; .
0840: 0a 09 64 6f 75 62 6c 65 20 5f 20 3d 20 30 2e 35 ..double _ = 0.5
0850: 34 31 37 32 35 31 32 31 35 38 36 32 33 32 38 3b 417251215862328;
0860: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31 29 0d ..END..CASE(1).
0870: 0a 09 69 6e 74 20 6e 20 3d 20 31 30 3b 20 0d 0a ..int n = 10; ..
0880: 09 69 6e 74 20 64 20 3d 20 32 3b 20 0d 0a 09 69 .int d = 2; ...i
0890: 6e 74 20 78 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 nt x = 1; ...int
08a0: 20 79 20 3d 20 31 3b 20 0d 0a 09 64 6f 75 62 6c y = 1; ...doubl
08b0: 65 20 5f 20 3d 20 30 2e 36 30 39 30 34 39 34 37 e _ = 0.60904947
08c0: 39 31 36 36 36 36 36 36 3b 20 0d 0a 45 4e 44 0d 91666666; ..END.
08d0: 0a 43 41 53 45 28 32 29 0d 0a 09 69 6e 74 20 6e .CASE(2)...int n
08e0: 20 3d 20 31 30 30 3b 20 0d 0a 09 69 6e 74 20 64 = 100; ...int d
08f0: 20 3d 20 32 30 3b 20 0d 0a 09 69 6e 74 20 78 20 = 20; ...int x
0900: 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 79 20 3d 20 = 1; ...int y =
0910: 31 30 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 10; ...double _
0920: 3d 20 30 2e 34 39 31 35 38 38 38 37 31 36 33 31 = 0.491588871631
0930: 37 34 39 34 37 3b 20 0d 0a 45 4e 44 0d 0a 43 41 74947; ..END..CA
0940: 53 45 28 33 29 0d 0a 09 69 6e 74 20 6e 20 3d 20 SE(3)...int n =
0950: 31 30 3b 20 0d 0a 09 69 6e 74 20 64 20 3d 20 35 10; ...int d = 5
0960: 3b 20 0d 0a 09 69 6e 74 20 78 20 3d 20 39 3b 20 ; ...int x = 9;
0970: 0d 0a 09 69 6e 74 20 79 20 3d 20 31 3b 20 0d 0a ...int y = 1; ..
0980: 09 64 6f 75 62 6c 65 20 5f 20 3d 20 30 2e 36 39 .double _ = 0.69
0990: 34 33 30 31 38 36 36 36 36 36 36 36 36 37 3b 20 43018666666667;
09a0: 0d 0a 45 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 ..END../*..CASE(
09b0: 34 29 0d 0a 09 69 6e 74 20 6e 20 3d 20 3b 20 0d 4)...int n = ; .
09c0: 0a 09 69 6e 74 20 64 20 3d 20 3b 20 0d 0a 09 69 ..int d = ; ...i
09d0: 6e 74 20 78 20 3d 20 3b 20 0d 0a 09 69 6e 74 20 nt x = ; ...int
09e0: 79 20 3d 20 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 y = ; ...double
09f0: 5f 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 _ = ; ..END..CAS
0a00: 45 28 35 29 0d 0a 09 69 6e 74 20 6e 20 3d 20 3b E(5)...int n = ;
0a10: 20 0d 0a 09 69 6e 74 20 64 20 3d 20 3b 20 0d 0a ...int d = ; ..
0a20: 09 69 6e 74 20 78 20 3d 20 3b 20 0d 0a 09 69 6e .int x = ; ...in
0a30: 74 20 79 20 3d 20 3b 20 0d 0a 09 64 6f 75 62 6c t y = ; ...doubl
0a40: 65 20 5f 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 2a e _ = ; ..END..*
0a50: 2f 0d 0a 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 /..}..// END CUT
0a60: 20 48 45 52 45 0d 0a HERE..