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 74 65 6d 70 6c 61 74 65 3c 74 P;....template<t
01a0: 79 70 65 6e 61 6d 65 20 54 3e 0d 0a 73 74 72 75 ypename T>..stru
01b0: 63 74 20 44 50 32 0d 0a 7b 0d 0a 09 63 6f 6e 73 ct DP2..{...cons
01c0: 74 20 69 6e 74 20 4e 31 2c 20 4e 32 3b 0d 0a 09 t int N1, N2;...
01d0: 76 65 63 74 6f 72 3c 54 3e 20 64 61 74 61 3b 0d vector<T> data;.
01e0: 0a 09 44 50 32 28 69 6e 74 20 4e 31 2c 20 69 6e ..DP2(int N1, in
01f0: 74 20 4e 32 2c 20 63 6f 6e 73 74 20 54 26 20 74 t N2, const T& t
0200: 20 3d 20 54 28 29 29 0d 0a 09 09 3a 20 4e 31 28 = T())....: N1(
0210: 4e 31 29 2c 20 4e 32 28 4e 32 29 2c 20 64 61 74 N1), N2(N2), dat
0220: 61 28 4e 31 2a 4e 32 2c 20 74 29 20 7b 20 61 73 a(N1*N2, t) { as
0230: 73 65 72 74 28 64 61 74 61 2e 73 69 7a 65 28 29 sert(data.size()
0240: 2a 73 69 7a 65 6f 66 28 54 29 3c 28 31 3c 3c 32 *sizeof(T)<(1<<2
0250: 38 29 29 3b 20 7d 0d 0a 09 54 26 20 6f 70 65 72 8)); }...T& oper
0260: 61 74 6f 72 28 29 28 69 6e 74 20 69 31 2c 20 69 ator()(int i1, i
0270: 6e 74 20 69 32 29 0d 0a 09 09 7b 20 72 65 74 75 nt i2)....{ retu
0280: 72 6e 20 64 61 74 61 5b 20 28 69 31 2a 4e 32 29 rn data[ (i1*N2)
0290: 2b 69 32 20 5d 3b 20 7d 0d 0a 09 76 6f 69 64 20 +i2 ]; }...void
02a0: 73 77 61 70 28 44 50 32 26 20 72 68 73 29 0d 0a swap(DP2& rhs)..
02b0: 09 09 7b 20 64 61 74 61 2e 73 77 61 70 28 72 68 ..{ data.swap(rh
02c0: 73 2e 64 61 74 61 29 3b 20 7d 0d 0a 7d 3b 0d 0a s.data); }..};..
02d0: 0d 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 65 6e ..template<typen
02e0: 61 6d 65 20 54 3e 0d 0a 73 74 72 75 63 74 20 44 ame T>..struct D
02f0: 50 33 0d 0a 7b 0d 0a 09 69 6e 74 20 4e 31 2c 20 P3..{...int N1,
0300: 4e 32 2c 20 4e 33 3b 0d 0a 09 76 65 63 74 6f 72 N2, N3;...vector
0310: 3c 54 3e 20 64 61 74 61 3b 0d 0a 09 44 50 33 28 <T> data;...DP3(
0320: 69 6e 74 20 4e 31 2c 20 69 6e 74 20 4e 32 2c 20 int N1, int N2,
0330: 69 6e 74 20 4e 33 2c 20 63 6f 6e 73 74 20 54 26 int N3, const T&
0340: 20 74 20 3d 20 54 28 29 29 0d 0a 09 09 3a 20 4e t = T())....: N
0350: 31 28 4e 31 29 2c 20 4e 32 28 4e 32 29 2c 20 4e 1(N1), N2(N2), N
0360: 33 28 4e 33 29 2c 20 64 61 74 61 28 4e 31 2a 4e 3(N3), data(N1*N
0370: 32 2a 4e 33 2c 20 74 29 20 7b 20 61 73 73 65 72 2*N3, t) { asser
0380: 74 28 64 61 74 61 2e 73 69 7a 65 28 29 2a 73 69 t(data.size()*si
0390: 7a 65 6f 66 28 54 29 3c 28 31 3c 3c 32 38 29 29 zeof(T)<(1<<28))
03a0: 3b 20 7d 0d 0a 09 54 26 20 6f 70 65 72 61 74 6f ; }...T& operato
03b0: 72 28 29 28 69 6e 74 20 69 31 2c 20 69 6e 74 20 r()(int i1, int
03c0: 69 32 2c 20 69 6e 74 20 69 33 29 0d 0a 09 09 7b i2, int i3)....{
03d0: 20 72 65 74 75 72 6e 20 64 61 74 61 5b 20 28 28 return data[ ((
03e0: 69 31 2a 4e 32 29 2b 69 32 29 2a 4e 33 2b 69 33 i1*N2)+i2)*N3+i3
03f0: 20 5d 3b 20 7d 0d 0a 09 76 6f 69 64 20 73 77 61 ]; }...void swa
0400: 70 28 44 50 33 26 20 72 68 73 29 0d 0a 09 09 7b p(DP3& rhs)....{
0410: 20 64 61 74 61 2e 73 77 61 70 28 72 68 73 2e 64 data.swap(rhs.d
0420: 61 74 61 29 3b 20 7d 0d 0a 7d 3b 0d 0a 0d 0a 63 ata); }..};....c
0430: 6c 61 73 73 20 57 68 65 65 6c 6f 66 46 6f 72 74 lass WheelofFort
0440: 75 6e 65 20 7b 20 70 75 62 6c 69 63 3a 0d 0a 09 une { public:...
0450: 64 6f 75 62 6c 65 20 6d 61 78 45 78 70 65 63 74 double maxExpect
0460: 65 64 56 61 6c 75 65 28 69 6e 74 20 4e 2c 20 76 edValue(int N, v
0470: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 73 29 0d 0a ector <int> s)..
0480: 09 7b 0d 0a 09 09 63 6f 6e 73 74 20 69 6e 74 20 .{....const int
0490: 53 43 4f 52 45 5f 4d 41 58 20 3d 20 73 2e 73 69 SCORE_MAX = s.si
04a0: 7a 65 28 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 77 6c ze();......// wl
04b0: 6f 67 20 41 6c 69 63 65 20 61 6c 77 61 79 73 20 og Alice always
04c0: 64 65 63 6c 61 72 65 73 20 22 30 22 2e 0d 0a 0d declares "0"....
04d0: 0a 09 09 2f 2f 20 70 73 28 69 2b 31 2c 20 61 29 ...// ps(i+1, a)
04e0: 20 3a 3d 20 70 72 6f 62 61 62 69 6c 69 74 79 20 := probability
04f0: 74 68 61 74 20 22 30 22 20 69 73 20 63 6f 76 65 that "0" is cove
0500: 72 65 64 20 7c 61 7c 20 74 69 6d 65 73 20 61 66 red |a| times af
0510: 74 65 72 20 69 2d 74 68 20 74 72 79 2e 0d 0a 09 ter i-th try....
0520: 09 2f 2f 20 65 73 28 69 2b 31 2c 20 61 29 20 3a .// es(i+1, a) :
0530: 3d 20 65 78 70 65 63 74 65 64 20 73 63 6f 72 65 = expected score
0540: 20 64 69 73 74 72 6f 62 75 74 69 6f 6e 0d 0a 09 distrobution...
0550: 09 44 50 32 3c 64 6f 75 62 6c 65 3e 20 70 73 28 .DP2<double> ps(
0560: 73 2e 73 69 7a 65 28 29 2b 31 2c 20 53 43 4f 52 s.size()+1, SCOR
0570: 45 5f 4d 41 58 2b 31 2c 20 30 2e 30 29 3b 0d 0a E_MAX+1, 0.0);..
0580: 09 09 44 50 33 3c 64 6f 75 62 6c 65 3e 20 65 73 ..DP3<double> es
0590: 28 73 2e 73 69 7a 65 28 29 2b 31 2c 20 53 43 4f (s.size()+1, SCO
05a0: 52 45 5f 4d 41 58 2b 31 2c 20 4e 2c 20 30 2e 30 RE_MAX+1, N, 0.0
05b0: 29 3b 0d 0a 09 09 70 73 28 30 2c 20 30 29 20 3d );....ps(0, 0) =
05c0: 20 31 2e 30 3b 0d 0a 0d 0a 09 09 76 65 63 74 6f 1.0;......vecto
05d0: 72 3c 76 65 63 74 6f 72 3c 64 6f 75 62 6c 65 3e r<vector<double>
05e0: 3e 20 6d 65 6d 6f 31 28 4e 2b 31 2c 20 76 65 63 > memo1(N+1, vec
05f0: 74 6f 72 3c 64 6f 75 62 6c 65 3e 28 4e 2c 20 2d tor<double>(N, -
0600: 31 29 29 3b 0d 0a 09 09 76 65 63 74 6f 72 3c 76 1));....vector<v
0610: 65 63 74 6f 72 3c 64 6f 75 62 6c 65 3e 3e 20 6d ector<double>> m
0620: 65 6d 6f 32 28 4e 2b 31 2c 20 76 65 63 74 6f 72 emo2(N+1, vector
0630: 3c 64 6f 75 62 6c 65 3e 28 4e 2c 20 2d 31 29 29 <double>(N, -1))
0640: 3b 0d 0a 0d 0a 09 09 66 6f 72 28 69 6e 74 20 69 ;......for(int i
0650: 3d 30 3b 20 69 3c 73 2e 73 69 7a 65 28 29 3b 20 =0; i<s.size();
0660: 2b 2b 69 29 0d 0a 09 09 66 6f 72 28 69 6e 74 20 ++i)....for(int
0670: 61 3d 30 3b 20 61 3c 3d 53 43 4f 52 45 5f 4d 41 a=0; a<=SCORE_MA
0680: 58 3b 20 2b 2b 61 29 20 7b 0d 0a 09 09 09 63 6f X; ++a) {.....co
0690: 6e 73 74 20 64 6f 75 62 6c 65 20 71 20 3d 20 64 nst double q = d
06a0: 6f 75 62 6c 65 28 73 5b 69 5d 29 2f 4e 3b 0d 0a ouble(s[i])/N;..
06b0: 0d 0a 09 09 09 70 73 28 69 2b 31 2c 20 61 29 20 .....ps(i+1, a)
06c0: 3d 20 28 31 2d 71 29 20 2a 20 70 73 28 69 2c 20 = (1-q) * ps(i,
06d0: 61 29 20 2b 20 71 20 2a 20 28 61 3f 70 73 28 69 a) + q * (a?ps(i
06e0: 2c 20 61 2d 31 29 3a 30 2e 30 29 3b 0d 0a 09 09 , a-1):0.0);....
06f0: 09 66 6f 72 28 69 6e 74 20 63 65 6c 6c 3d 30 3b .for(int cell=0;
0700: 20 63 65 6c 6c 3c 4e 3b 20 2b 2b 63 65 6c 6c 29 cell<N; ++cell)
0710: 20 7b 0d 0a 09 09 09 09 64 6f 75 62 6c 65 20 7a {......double z
0720: 65 72 6f 5f 74 20 3d 20 7a 65 72 6f 5f 63 6f 76 ero_t = zero_cov
0730: 65 72 5f 74 69 6d 65 73 28 4e 2c 20 73 5b 69 5d er_times(N, s[i]
0740: 2c 20 63 65 6c 6c 2c 20 6d 65 6d 6f 31 29 3b 0d , cell, memo1);.
0750: 0a 09 09 09 09 64 6f 75 62 6c 65 20 6e 6f 6e 5f .....double non_
0760: 7a 65 72 6f 5f 74 20 3d 20 6e 6f 6e 5f 7a 65 72 zero_t = non_zer
0770: 6f 5f 63 6f 76 65 72 5f 74 69 6d 65 73 28 4e 2c o_cover_times(N,
0780: 20 73 5b 69 5d 2c 20 63 65 6c 6c 2c 20 6d 65 6d s[i], cell, mem
0790: 6f 32 29 3b 0d 0a 0d 0a 09 09 09 09 65 73 28 69 o2);........es(i
07a0: 2b 31 2c 20 61 2c 20 63 65 6c 6c 29 20 3d 0d 0a +1, a, cell) =..
07b0: 09 09 09 09 09 20 20 28 61 3f 70 73 28 69 2c 20 ..... (a?ps(i,
07c0: 61 2d 31 29 3a 30 2e 30 29 20 2a 20 71 20 2a 20 a-1):0.0) * q *
07d0: 28 65 73 28 69 2c 20 61 2d 31 2c 20 63 65 6c 6c (es(i, a-1, cell
07e0: 29 20 2b 20 64 6f 75 62 6c 65 28 7a 65 72 6f 5f ) + double(zero_
07f0: 74 29 29 0d 0a 09 09 09 09 09 2b 20 70 73 28 69 t)).......+ ps(i
0800: 2c 20 61 29 20 2a 20 28 31 2d 71 29 20 2a 20 28 , a) * (1-q) * (
0810: 65 73 28 69 2c 20 61 2c 20 63 65 6c 6c 29 20 2b es(i, a, cell) +
0820: 20 64 6f 75 62 6c 65 28 6e 6f 6e 5f 7a 65 72 6f double(non_zero
0830: 5f 74 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d _t));.....}....}
0840: 0d 0a 0d 0a 09 09 64 6f 75 62 6c 65 20 61 6e 73 ......double ans
0850: 20 3d 20 30 2e 30 3b 0d 0a 09 09 66 6f 72 28 69 = 0.0;....for(i
0860: 6e 74 20 61 3d 30 3b 20 61 3c 3d 53 43 4f 52 45 nt a=0; a<=SCORE
0870: 5f 4d 41 58 3b 20 2b 2b 61 29 20 69 66 28 70 73 _MAX; ++a) if(ps
0880: 28 73 2e 73 69 7a 65 28 29 2c 20 61 29 29 20 7b (s.size(), a)) {
0890: 0d 0a 09 09 09 2f 2f 20 55 6e 64 65 72 20 74 68 .....// Under th
08a0: 65 20 63 6f 6e 64 69 74 69 6f 6e 20 74 68 61 74 e condition that
08b0: 20 22 30 22 20 69 73 20 63 6f 76 65 72 65 64 20 "0" is covered
08c0: 65 78 61 63 74 6c 79 20 7c 61 7c 20 74 69 6d 65 exactly |a| time
08d0: 73 2c 0d 0a 09 09 09 2f 2f 20 77 68 61 74 20 69 s,.....// what i
08e0: 73 20 74 68 65 20 6f 70 74 69 6d 61 6c 20 63 68 s the optimal ch
08f0: 6f 69 63 65 20 66 6f 72 20 42 6f 62 3f 0d 0a 0d oice for Bob?...
0900: 0a 09 09 09 2f 2f 20 42 6f 62 20 74 61 6b 65 73 ....// Bob takes
0910: 20 74 68 65 20 6d 61 78 20 65 78 70 65 63 74 65 the max expecte
0920: 64 20 73 63 6f 72 65 20 63 65 6c 6c 20 28 62 75 d score cell (bu
0930: 74 20 30 29 2e 0d 0a 09 09 09 64 6f 75 62 6c 65 t 0)......double
0940: 20 62 6f 62 5f 62 65 73 74 20 3d 20 30 2e 30 3b bob_best = 0.0;
0950: 0d 0a 09 09 09 66 6f 72 28 69 6e 74 20 63 65 6c .....for(int cel
0960: 6c 3d 31 3b 20 63 65 6c 6c 3c 4e 3b 20 2b 2b 63 l=1; cell<N; ++c
0970: 65 6c 6c 29 0d 0a 09 09 09 09 62 6f 62 5f 62 65 ell)......bob_be
0980: 73 74 20 3d 20 6d 61 78 28 62 6f 62 5f 62 65 73 st = max(bob_bes
0990: 74 2c 20 65 73 28 73 2e 73 69 7a 65 28 29 2c 20 t, es(s.size(),
09a0: 61 2c 20 63 65 6c 6c 29 29 3b 0d 0a 0d 0a 09 09 a, cell));......
09b0: 09 2f 2f 20 61 63 63 75 6d 75 6c 61 74 65 0d 0a .// accumulate..
09c0: 09 09 09 61 6e 73 20 2b 3d 20 70 73 28 73 2e 73 ...ans += ps(s.s
09d0: 69 7a 65 28 29 2c 20 61 29 20 2a 20 28 61 2b 62 ize(), a) * (a+b
09e0: 6f 62 5f 62 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a ob_best);....}..
09f0: 09 09 72 65 74 75 72 6e 20 61 6e 73 3b 0d 0a 09 ..return ans;...
0a00: 7d 0d 0a 0d 0a 09 64 6f 75 62 6c 65 20 7a 65 72 }.....double zer
0a10: 6f 5f 63 6f 76 65 72 5f 74 69 6d 65 73 28 69 6e o_cover_times(in
0a20: 74 20 4e 2c 20 69 6e 74 20 73 2c 20 69 6e 74 20 t N, int s, int
0a30: 63 65 6c 6c 2c 20 76 65 63 74 6f 72 3c 76 65 63 cell, vector<vec
0a40: 74 6f 72 3c 64 6f 75 62 6c 65 3e 3e 26 20 6d 65 tor<double>>& me
0a50: 6d 6f 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 6d 65 mo)...{....if(me
0a60: 6d 6f 5b 73 5d 5b 63 65 6c 6c 5d 20 3e 3d 20 30 mo[s][cell] >= 0
0a70: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 65 6d ).....return mem
0a80: 6f 5b 73 5d 5b 63 65 6c 6c 5d 3b 0d 0a 0d 0a 09 o[s][cell];.....
0a90: 09 69 6e 74 20 63 6e 74 20 3d 20 30 2c 20 74 6f .int cnt = 0, to
0aa0: 74 20 3d 20 30 3b 0d 0a 09 09 66 6f 72 28 69 6e t = 0;....for(in
0ab0: 74 20 62 3d 30 3b 20 62 3c 4e 3b 20 2b 2b 62 29 t b=0; b<N; ++b)
0ac0: 20 7b 0d 0a 09 09 09 69 66 28 63 6f 76 65 72 73 {.....if(covers
0ad0: 28 4e 2c 20 62 2c 20 73 2c 20 30 29 29 0d 0a 09 (N, b, s, 0))...
0ae0: 09 09 09 2b 2b 74 6f 74 3b 0d 0a 09 09 09 69 66 ...++tot;.....if
0af0: 28 63 6f 76 65 72 73 28 4e 2c 20 62 2c 20 73 2c (covers(N, b, s,
0b00: 20 30 29 20 26 26 20 63 6f 76 65 72 73 28 4e 2c 0) && covers(N,
0b10: 20 62 2c 20 73 2c 20 63 65 6c 6c 29 29 0d 0a 09 b, s, cell))...
0b20: 09 09 09 2b 2b 63 6e 74 3b 0d 0a 09 09 7d 0d 0a ...++cnt;....}..
0b30: 09 09 72 65 74 75 72 6e 20 6d 65 6d 6f 5b 73 5d ..return memo[s]
0b40: 5b 63 65 6c 6c 5d 20 3d 20 64 6f 75 62 6c 65 28 [cell] = double(
0b50: 63 6e 74 29 2f 74 6f 74 3b 0d 0a 09 7d 0d 0a 0d cnt)/tot;...}...
0b60: 0a 09 64 6f 75 62 6c 65 20 6e 6f 6e 5f 7a 65 72 ..double non_zer
0b70: 6f 5f 63 6f 76 65 72 5f 74 69 6d 65 73 28 69 6e o_cover_times(in
0b80: 74 20 4e 2c 20 69 6e 74 20 73 2c 20 69 6e 74 20 t N, int s, int
0b90: 63 65 6c 6c 2c 20 76 65 63 74 6f 72 3c 76 65 63 cell, vector<vec
0ba0: 74 6f 72 3c 64 6f 75 62 6c 65 3e 3e 26 20 6d 65 tor<double>>& me
0bb0: 6d 6f 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 6d 65 mo)...{....if(me
0bc0: 6d 6f 5b 73 5d 5b 63 65 6c 6c 5d 20 3e 3d 20 30 mo[s][cell] >= 0
0bd0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 65 6d ).....return mem
0be0: 6f 5b 73 5d 5b 63 65 6c 6c 5d 3b 0d 0a 0d 0a 09 o[s][cell];.....
0bf0: 09 69 6e 74 20 63 6e 74 20 3d 20 30 2c 20 74 6f .int cnt = 0, to
0c00: 74 3d 30 3b 0d 0a 09 09 66 6f 72 28 69 6e 74 20 t=0;....for(int
0c10: 62 3d 30 3b 20 62 3c 4e 3b 20 2b 2b 62 29 20 7b b=0; b<N; ++b) {
0c20: 0d 0a 09 09 09 69 66 28 21 63 6f 76 65 72 73 28 .....if(!covers(
0c30: 4e 2c 20 62 2c 20 73 2c 20 30 29 29 0d 0a 09 09 N, b, s, 0))....
0c40: 09 09 2b 2b 74 6f 74 3b 0d 0a 09 09 09 69 66 28 ..++tot;.....if(
0c50: 21 63 6f 76 65 72 73 28 4e 2c 20 62 2c 20 73 2c !covers(N, b, s,
0c60: 20 30 29 20 26 26 20 63 6f 76 65 72 73 28 4e 2c 0) && covers(N,
0c70: 20 62 2c 20 73 2c 20 63 65 6c 6c 29 29 0d 0a 09 b, s, cell))...
0c80: 09 09 09 2b 2b 63 6e 74 3b 0d 0a 09 09 7d 0d 0a ...++cnt;....}..
0c90: 09 09 72 65 74 75 72 6e 20 6d 65 6d 6f 5b 73 5d ..return memo[s]
0ca0: 5b 63 65 6c 6c 5d 20 3d 20 64 6f 75 62 6c 65 28 [cell] = double(
0cb0: 63 6e 74 29 2f 74 6f 74 3b 0d 0a 09 7d 0d 0a 0d cnt)/tot;...}...
0cc0: 0a 09 62 6f 6f 6c 20 63 6f 76 65 72 73 28 69 6e ..bool covers(in
0cd0: 74 20 4e 2c 20 69 6e 74 20 62 2c 20 69 6e 74 20 t N, int b, int
0ce0: 73 2c 20 69 6e 74 20 63 29 0d 0a 09 7b 0d 0a 09 s, int c)...{...
0cf0: 09 69 66 28 62 3c 3d 63 20 26 26 20 63 3c 3d 62 .if(b<=c && c<=b
0d00: 2b 73 2d 31 29 0d 0a 09 09 09 72 65 74 75 72 6e +s-1).....return
0d10: 20 74 72 75 65 3b 0d 0a 09 09 69 66 28 30 3c 3d true;....if(0<=
0d20: 63 20 26 26 20 63 3c 3d 62 2b 73 2d 31 2d 4e 29 c && c<=b+s-1-N)
0d30: 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 .....return true
0d40: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 66 61 6c 73 ;....return fals
0d50: 65 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f e;...}..};....//
0d60: 20 42 45 47 49 4e 20 43 55 54 20 48 45 52 45 0d BEGIN CUT HERE.
0d70: 0a 23 69 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 .#include <ctime
0d80: 3e 0d 0a 64 6f 75 62 6c 65 20 73 74 61 72 74 5f >..double start_
0d90: 74 69 6d 65 3b 20 73 74 72 69 6e 67 20 74 69 6d time; string tim
0da0: 65 72 28 29 0d 0a 20 7b 20 6f 73 74 72 69 6e 67 er().. { ostring
0db0: 73 74 72 65 61 6d 20 6f 73 3b 20 6f 73 20 3c 3c stream os; os <<
0dc0: 20 22 20 28 22 20 3c 3c 20 69 6e 74 28 28 63 6c " (" << int((cl
0dd0: 6f 63 6b 28 29 2d 73 74 61 72 74 5f 74 69 6d 65 ock()-start_time
0de0: 29 2f 43 4c 4f 43 4b 53 5f 50 45 52 5f 53 45 43 )/CLOCKS_PER_SEC
0df0: 2a 31 30 30 30 29 20 3c 3c 20 22 20 6d 73 65 63 *1000) << " msec
0e00: 29 22 3b 20 72 65 74 75 72 6e 20 6f 73 2e 73 74 )"; return os.st
0e10: 72 28 29 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 r(); }..template
0e20: 3c 74 79 70 65 6e 61 6d 65 20 54 3e 20 6f 73 74 <typename T> ost
0e30: 72 65 61 6d 26 20 6f 70 65 72 61 74 6f 72 3c 3c ream& operator<<
0e40: 28 6f 73 74 72 65 61 6d 26 20 6f 73 2c 20 63 6f (ostream& os, co
0e50: 6e 73 74 20 76 65 63 74 6f 72 3c 54 3e 26 20 76 nst vector<T>& v
0e60: 29 0d 0a 20 7b 20 6f 73 20 3c 3c 20 22 7b 20 22 ).. { os << "{ "
0e70: 3b 0d 0a 20 20 20 66 6f 72 28 74 79 70 65 6e 61 ;.. for(typena
0e80: 6d 65 20 76 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f me vector<T>::co
0e90: 6e 73 74 5f 69 74 65 72 61 74 6f 72 20 69 74 3d nst_iterator it=
0ea0: 76 2e 62 65 67 69 6e 28 29 3b 20 69 74 21 3d 76 v.begin(); it!=v
0eb0: 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 29 0d 0a 20 .end(); ++it)..
0ec0: 20 20 6f 73 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 os << '\"' <<
0ed0: 2a 69 74 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 28 *it << '\"' << (
0ee0: 69 74 2b 31 3d 3d 76 2e 65 6e 64 28 29 20 3f 20 it+1==v.end() ?
0ef0: 22 22 20 3a 20 22 2c 20 22 29 3b 20 6f 73 20 3c "" : ", "); os <
0f00: 3c 20 22 20 7d 22 3b 20 72 65 74 75 72 6e 20 6f < " }"; return o
0f10: 73 3b 20 7d 0d 0a 76 6f 69 64 20 76 65 72 69 66 s; }..void verif
0f20: 79 5f 63 61 73 65 28 63 6f 6e 73 74 20 64 6f 75 y_case(const dou
0f30: 62 6c 65 26 20 45 78 70 65 63 74 65 64 2c 20 63 ble& Expected, c
0f40: 6f 6e 73 74 20 64 6f 75 62 6c 65 26 20 52 65 63 onst double& Rec
0f50: 65 69 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 eived) {.. bool
0f60: 6f 6b 20 3d 20 28 61 62 73 28 45 78 70 65 63 74 ok = (abs(Expect
0f70: 65 64 20 2d 20 52 65 63 65 69 76 65 64 29 20 3c ed - Received) <
0f80: 20 31 65 2d 39 29 3b 0d 0a 20 69 66 28 6f 6b 29 1e-9);.. if(ok)
0f90: 20 63 65 72 72 20 3c 3c 20 22 50 41 53 53 45 44 cerr << "PASSED
0fa0: 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 " << timer() <<
0fb0: 65 6e 64 6c 3b 20 20 65 6c 73 65 20 7b 20 63 65 endl; else { ce
0fc0: 72 72 20 3c 3c 20 22 46 41 49 4c 45 44 22 20 3c rr << "FAILED" <
0fd0: 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 < timer() << end
0fe0: 6c 3b 0d 0a 20 63 65 72 72 20 3c 3c 20 22 5c 74 l;.. cerr << "\t
0ff0: 6f 3a 20 5c 22 22 20 3c 3c 20 45 78 70 65 63 74 o: \"" << Expect
1000: 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e ed << '\"' << en
1010: 64 6c 20 3c 3c 20 22 5c 74 78 3a 20 5c 22 22 20 dl << "\tx: \""
1020: 3c 3c 20 52 65 63 65 69 76 65 64 20 3c 3c 20 27 << Received << '
1030: 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 7d \"' << endl; } }
1040: 0d 0a 23 64 65 66 69 6e 65 20 43 41 53 45 28 4e ..#define CASE(N
1050: 29 20 7b 63 65 72 72 20 3c 3c 20 22 54 65 73 74 ) {cerr << "Test
1060: 20 43 61 73 65 20 23 22 20 3c 3c 20 4e 20 3c 3c Case #" << N <<
1070: 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 3b "..." << flush;
1080: 20 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 start_time=cloc
1090: 6b 28 29 3b 0d 0a 23 64 65 66 69 6e 65 20 45 4e k();..#define EN
10a0: 44 09 20 76 65 72 69 66 79 5f 63 61 73 65 28 5f D. verify_case(_
10b0: 2c 20 57 68 65 65 6c 6f 66 46 6f 72 74 75 6e 65 , WheelofFortune
10c0: 28 29 2e 6d 61 78 45 78 70 65 63 74 65 64 56 61 ().maxExpectedVa
10d0: 6c 75 65 28 4e 2c 20 73 29 29 3b 7d 0d 0a 69 6e lue(N, s));}..in
10e0: 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 41 53 t main(){....CAS
10f0: 45 28 30 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 34 E(0)...int N = 4
1100: 3b 20 0d 0a 09 69 6e 74 20 73 5f 5b 5d 20 3d 20 ; ...int s_[] =
1110: 7b 32 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 {2};... vector
1120: 3c 69 6e 74 3e 20 73 28 73 5f 2c 20 73 5f 2b 73 <int> s(s_, s_+s
1130: 69 7a 65 6f 66 28 73 5f 29 2f 73 69 7a 65 6f 66 izeof(s_)/sizeof
1140: 28 2a 73 5f 29 29 3b 20 0d 0a 09 64 6f 75 62 6c (*s_)); ...doubl
1150: 65 20 5f 20 3d 20 31 2e 32 35 3b 20 0d 0a 45 4e e _ = 1.25; ..EN
1160: 44 0d 0a 43 41 53 45 28 31 29 0d 0a 09 69 6e 74 D..CASE(1)...int
1170: 20 4e 20 3d 20 36 3b 20 0d 0a 09 69 6e 74 20 73 N = 6; ...int s
1180: 5f 5b 5d 20 3d 20 7b 31 2c 31 2c 31 2c 31 2c 31 _[] = {1,1,1,1,1
1190: 2c 31 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 ,1};... vector
11a0: 3c 69 6e 74 3e 20 73 28 73 5f 2c 20 73 5f 2b 73 <int> s(s_, s_+s
11b0: 69 7a 65 6f 66 28 73 5f 29 2f 73 69 7a 65 6f 66 izeof(s_)/sizeof
11c0: 28 2a 73 5f 29 29 3b 20 0d 0a 09 64 6f 75 62 6c (*s_)); ...doubl
11d0: 65 20 5f 20 3d 20 32 2e 30 30 30 30 30 30 30 30 e _ = 2.00000000
11e0: 30 30 30 30 30 30 30 34 3b 20 0d 0a 45 4e 44 0d 00000004; ..END.
11f0: 0a 43 41 53 45 28 32 29 0d 0a 09 69 6e 74 20 4e .CASE(2)...int N
1200: 20 3d 20 32 30 3b 20 0d 0a 09 69 6e 74 20 73 5f = 20; ...int s_
1210: 5b 5d 20 3d 20 7b 31 2c 32 30 2c 31 2c 32 30 2c [] = {1,20,1,20,
1220: 31 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 1};... vector <
1230: 69 6e 74 3e 20 73 28 73 5f 2c 20 73 5f 2b 73 69 int> s(s_, s_+si
1240: 7a 65 6f 66 28 73 5f 29 2f 73 69 7a 65 6f 66 28 zeof(s_)/sizeof(
1250: 2a 73 5f 29 29 3b 20 0d 0a 09 64 6f 75 62 6c 65 *s_)); ...double
1260: 20 5f 20 3d 20 34 2e 32 39 39 39 39 39 39 39 39 _ = 4.299999999
1270: 39 39 39 39 39 39 3b 20 0d 0a 45 4e 44 0d 0a 43 999999; ..END..C
1280: 41 53 45 28 33 29 0d 0a 09 69 6e 74 20 4e 20 3d ASE(3)...int N =
1290: 20 31 30 3b 20 0d 0a 09 69 6e 74 20 73 5f 5b 5d 10; ...int s_[]
12a0: 20 3d 20 7b 33 2c 31 2c 34 2c 31 2c 35 2c 39 2c = {3,1,4,1,5,9,
12b0: 32 2c 36 2c 35 2c 33 2c 35 2c 38 2c 39 2c 37 2c 2,6,5,3,5,8,9,7,
12c0: 39 2c 33 2c 32 2c 33 2c 38 2c 34 2c 36 2c 32 2c 9,3,2,3,8,4,6,2,
12d0: 36 2c 34 2c 33 2c 33 2c 38 2c 33 2c 32 2c 37 2c 6,4,3,3,8,3,2,7,
12e0: 39 2c 35 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 9,5};... vector
12f0: 20 3c 69 6e 74 3e 20 73 28 73 5f 2c 20 73 5f 2b <int> s(s_, s_+
1300: 73 69 7a 65 6f 66 28 73 5f 29 2f 73 69 7a 65 6f sizeof(s_)/sizeo
1310: 66 28 2a 73 5f 29 29 3b 20 0d 0a 09 64 6f 75 62 f(*s_)); ...doub
1320: 6c 65 20 5f 20 3d 20 33 31 2e 39 37 33 34 36 39 le _ = 31.973469
1330: 33 38 35 37 39 38 31 39 37 3b 20 0d 0a 45 4e 44 385798197; ..END
1340: 0d 0a 43 41 53 45 28 34 29 0d 0a 09 69 6e 74 20 ..CASE(4)...int
1350: 4e 20 3d 20 31 35 3b 20 0d 0a 09 69 6e 74 20 73 N = 15; ...int s
1360: 5f 5b 5d 20 3d 20 7b 31 2c 32 2c 33 2c 34 2c 35 _[] = {1,2,3,4,5
1370: 2c 36 2c 37 2c 38 2c 39 2c 31 30 2c 31 31 2c 31 ,6,7,8,9,10,11,1
1380: 32 2c 31 33 2c 31 34 2c 31 35 7d 3b 0d 0a 09 20 2,13,14,15};...
1390: 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 73 28 vector <int> s(
13a0: 73 5f 2c 20 73 5f 2b 73 69 7a 65 6f 66 28 73 5f s_, s_+sizeof(s_
13b0: 29 2f 73 69 7a 65 6f 66 28 2a 73 5f 29 29 3b 20 )/sizeof(*s_));
13c0: 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 3d 20 31 36 ...double _ = 16
13d0: 2e 36 39 31 35 33 31 33 33 34 35 36 38 30 34 34 .691531334568044
13e0: 3b 20 0d 0a 45 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 ; ..END../*..CAS
13f0: 45 28 35 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 3b E(5)...int N = ;
1400: 20 0d 0a 09 69 6e 74 20 73 5f 5b 5d 20 3d 20 3b ...int s_[] = ;
1410: 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 ... vector <int
1420: 3e 20 73 28 73 5f 2c 20 73 5f 2b 73 69 7a 65 6f > s(s_, s_+sizeo
1430: 66 28 73 5f 29 2f 73 69 7a 65 6f 66 28 2a 73 5f f(s_)/sizeof(*s_
1440: 29 29 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 )); ...double _
1450: 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 = ; ..END..CASE(
1460: 36 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 3b 20 0d 6)...int N = ; .
1470: 0a 09 69 6e 74 20 73 5f 5b 5d 20 3d 20 3b 0d 0a ..int s_[] = ;..
1480: 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 . vector <int>
1490: 73 28 73 5f 2c 20 73 5f 2b 73 69 7a 65 6f 66 28 s(s_, s_+sizeof(
14a0: 73 5f 29 2f 73 69 7a 65 6f 66 28 2a 73 5f 29 29 s_)/sizeof(*s_))
14b0: 3b 20 0d 0a 09 64 6f 75 62 6c 65 20 5f 20 3d 20 ; ...double _ =
14c0: 3b 20 0d 0a 45 4e 44 0d 0a 2a 2f 0d 0a 7d 0d 0a ; ..END..*/..}..
14d0: 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d // END CUT HERE.
14e0: 0a .