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 75 73 69 6e 67 20 6e 61 6d sert>..using nam
0140: 65 73 70 61 63 65 20 73 74 64 3b 0d 0a 74 79 70 espace std;..typ
0150: 65 64 65 66 20 6c 6f 6e 67 20 6c 6f 6e 67 20 4c edef long long L
0160: 4c 3b 0d 0a 74 79 70 65 64 65 66 20 6c 6f 6e 67 L;..typedef long
0170: 20 64 6f 75 62 6c 65 20 4c 44 3b 0d 0a 74 79 70 double LD;..typ
0180: 65 64 65 66 20 63 6f 6d 70 6c 65 78 3c 4c 44 3e edef complex<LD>
0190: 20 43 4d 50 3b 0d 0a 0d 0a 74 65 6d 70 6c 61 74 CMP;....templat
01a0: 65 3c 74 79 70 65 6e 61 6d 65 20 54 3e 0d 0a 73 e<typename T>..s
01b0: 74 72 75 63 74 20 44 50 32 0d 0a 7b 0d 0a 09 63 truct DP2..{...c
01c0: 6f 6e 73 74 20 69 6e 74 20 4e 31 2c 20 4e 32 3b onst int N1, N2;
01d0: 0d 0a 09 76 65 63 74 6f 72 3c 54 3e 20 64 61 74 ...vector<T> dat
01e0: 61 3b 0d 0a 09 44 50 32 28 69 6e 74 20 4e 31 2c a;...DP2(int N1,
01f0: 20 69 6e 74 20 4e 32 2c 20 63 6f 6e 73 74 20 54 int N2, const T
0200: 26 20 74 20 3d 20 54 28 29 29 0d 0a 09 09 3a 20 & t = T())....:
0210: 4e 31 28 4e 31 29 2c 20 4e 32 28 4e 32 29 2c 20 N1(N1), N2(N2),
0220: 64 61 74 61 28 4e 31 2a 4e 32 2c 20 74 29 20 7b data(N1*N2, t) {
0230: 20 61 73 73 65 72 74 28 64 61 74 61 2e 73 69 7a assert(data.siz
0240: 65 28 29 2a 73 69 7a 65 6f 66 28 54 29 3c 28 31 e()*sizeof(T)<(1
0250: 3c 3c 32 36 29 29 3b 20 7d 0d 0a 09 54 26 20 6f <<26)); }...T& o
0260: 70 65 72 61 74 6f 72 28 29 28 69 6e 74 20 69 31 perator()(int i1
0270: 2c 20 69 6e 74 20 69 32 29 0d 0a 09 09 7b 20 72 , int i2)....{ r
0280: 65 74 75 72 6e 20 64 61 74 61 5b 20 28 69 31 2a eturn data[ (i1*
0290: 4e 32 29 2b 69 32 20 5d 3b 20 7d 0d 0a 09 76 6f N2)+i2 ]; }...vo
02a0: 69 64 20 73 77 61 70 28 44 50 32 26 20 72 68 73 id swap(DP2& rhs
02b0: 29 0d 0a 09 09 7b 20 64 61 74 61 2e 73 77 61 70 )....{ data.swap
02c0: 28 72 68 73 2e 64 61 74 61 29 3b 20 7d 0d 0a 7d (rhs.data); }..}
02d0: 3b 0d 0a 0d 0a 63 6c 61 73 73 20 4d 61 70 47 75 ;....class MapGu
02e0: 65 73 73 69 6e 67 20 7b 20 70 75 62 6c 69 63 3a essing { public:
02f0: 0d 0a 09 6c 6f 6e 67 20 6c 6f 6e 67 20 63 6f 75 ...long long cou
0300: 6e 74 50 61 74 74 65 72 6e 73 28 73 74 72 69 6e ntPatterns(strin
0310: 67 20 67 6f 61 6c 2c 20 76 65 63 74 6f 72 20 3c g goal, vector <
0320: 73 74 72 69 6e 67 3e 20 63 6f 64 65 5f 29 0d 0a string> code_)..
0330: 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 63 6f 64 .{....string cod
0340: 65 20 3d 20 61 63 63 75 6d 75 6c 61 74 65 28 63 e = accumulate(c
0350: 6f 64 65 5f 2e 62 65 67 69 6e 28 29 2c 20 63 6f ode_.begin(), co
0360: 64 65 5f 2e 65 6e 64 28 29 2c 20 73 74 72 69 6e de_.end(), strin
0370: 67 28 22 22 29 29 3b 0d 0a 09 09 64 65 71 75 65 g(""));....deque
0380: 3c 63 68 61 72 3e 20 70 61 74 74 65 72 6e 28 31 <char> pattern(1
0390: 2c 20 27 3f 27 29 3b 0d 0a 09 09 69 6e 74 20 68 , '?');....int h
03a0: 65 61 64 20 3d 20 30 3b 0d 0a 09 09 66 6f 72 28 ead = 0;....for(
03b0: 69 6e 74 20 69 3d 30 3b 20 69 3c 63 6f 64 65 2e int i=0; i<code.
03c0: 73 69 7a 65 28 29 3b 20 2b 2b 69 29 0d 0a 09 09 size(); ++i)....
03d0: 09 73 77 69 74 63 68 28 63 6f 64 65 5b 69 5d 29 .switch(code[i])
03e0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 63 61 73 65 20 .....{.....case
03f0: 27 30 27 3a 0d 0a 09 09 09 63 61 73 65 20 27 31 '0':.....case '1
0400: 27 3a 0d 0a 09 09 09 09 70 61 74 74 65 72 6e 5b ':......pattern[
0410: 68 65 61 64 5d 20 3d 20 63 6f 64 65 5b 69 5d 3b head] = code[i];
0420: 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 ......break;....
0430: 09 63 61 73 65 20 27 3c 27 3a 0d 0a 09 09 09 09 .case '<':......
0440: 68 65 61 64 2d 2d 3b 0d 0a 09 09 09 09 69 66 28 head--;......if(
0450: 68 65 61 64 3d 3d 2d 31 29 20 7b 0d 0a 09 09 09 head==-1) {.....
0460: 09 09 68 65 61 64 20 3d 20 30 3b 0d 0a 09 09 09 ..head = 0;.....
0470: 09 09 70 61 74 74 65 72 6e 2e 70 75 73 68 5f 66 ..pattern.push_f
0480: 72 6f 6e 74 28 27 3f 27 29 3b 0d 0a 09 09 09 09 ront('?');......
0490: 7d 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 }......break;...
04a0: 09 09 63 61 73 65 20 27 3e 27 3a 0d 0a 09 09 09 ..case '>':.....
04b0: 09 68 65 61 64 2b 2b 3b 0d 0a 09 09 09 09 69 66 .head++;......if
04c0: 28 68 65 61 64 3d 3d 70 61 74 74 65 72 6e 2e 73 (head==pattern.s
04d0: 69 7a 65 28 29 29 0d 0a 09 09 09 09 09 70 61 74 ize()).......pat
04e0: 74 65 72 6e 2e 70 75 73 68 5f 62 61 63 6b 28 27 tern.push_back('
04f0: 3f 27 29 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b ?');......break;
0500: 0d 0a 09 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e .....}....return
0510: 20 73 6f 6c 76 65 28 67 6f 61 6c 2c 20 73 74 72 solve(goal, str
0520: 69 6e 67 28 70 61 74 74 65 72 6e 2e 62 65 67 69 ing(pattern.begi
0530: 6e 28 29 2c 20 70 61 74 74 65 72 6e 2e 65 6e 64 n(), pattern.end
0540: 28 29 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 4c 4c ()));...}.....LL
0550: 20 73 6f 6c 76 65 28 63 6f 6e 73 74 20 73 74 72 solve(const str
0560: 69 6e 67 26 20 47 2c 20 63 6f 6e 73 74 20 73 74 ing& G, const st
0570: 72 69 6e 67 26 20 50 29 0d 0a 09 7b 0d 0a 09 09 ring& P)...{....
0580: 69 66 28 50 2e 73 69 7a 65 28 29 20 3e 20 47 2e if(P.size() > G.
0590: 73 69 7a 65 28 29 29 0d 0a 09 09 09 72 65 74 75 size()).....retu
05a0: 72 6e 20 30 3b 0d 0a 0d 0a 09 09 69 6e 74 20 4e rn 0;......int N
05b0: 20 3d 20 50 2e 73 69 7a 65 28 29 3b 0d 0a 09 09 = P.size();....
05c0: 76 65 63 74 6f 72 3c 20 76 65 63 74 6f 72 3c 69 vector< vector<i
05d0: 6e 74 3e 20 3e 20 44 46 41 28 4e 2c 20 76 65 63 nt> > DFA(N, vec
05e0: 74 6f 72 3c 69 6e 74 3e 28 32 29 29 3b 0d 0a 09 tor<int>(2));...
05f0: 09 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 3c .for(int i=0; i<
0600: 4e 3b 20 2b 2b 69 29 0d 0a 09 09 7b 0d 0a 09 09 N; ++i)....{....
0610: 09 69 6e 74 20 66 61 69 6c 20 3d 20 30 3b 0d 0a .int fail = 0;..
0620: 09 09 09 66 6f 72 28 69 6e 74 20 6b 3d 69 2d 31 ...for(int k=i-1
0630: 3b 20 6b 3e 3d 30 3b 20 2d 2d 6b 29 0d 0a 09 09 ; k>=0; --k)....
0640: 09 09 69 66 28 20 6d 61 74 63 68 28 50 2e 73 75 ..if( match(P.su
0650: 62 73 74 72 28 30 2c 20 6b 29 2c 20 50 2e 73 75 bstr(0, k), P.su
0660: 62 73 74 72 28 69 2d 6b 2c 20 6b 29 29 0d 0a 09 bstr(i-k, k))...
0670: 09 09 09 09 26 26 20 6d 61 74 63 68 28 50 5b 6b ....&& match(P[k
0680: 5d 2c 20 6e 65 67 61 28 50 5b 69 5d 29 29 20 29 ], nega(P[i])) )
0690: 20 7b 0d 0a 09 09 09 09 09 66 61 69 6c 20 3d 20 {.......fail =
06a0: 6b 3b 0d 0a 09 09 09 09 09 62 72 65 61 6b 3b 0d k;.......break;.
06b0: 0a 09 09 09 09 7d 0d 0a 0d 0a 09 09 09 69 66 28 .....}.......if(
06c0: 50 5b 69 5d 3d 3d 27 30 27 29 0d 0a 09 09 09 7b P[i]=='0').....{
06d0: 0d 0a 09 09 09 09 44 46 41 5b 69 5d 5b 30 5d 20 ......DFA[i][0]
06e0: 3d 20 69 2b 31 3b 0d 0a 09 09 09 09 44 46 41 5b = i+1;......DFA[
06f0: 69 5d 5b 31 5d 20 3d 20 66 61 69 6c 3b 0d 0a 09 i][1] = fail;...
0700: 09 09 7d 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 ..}.....else if(
0710: 50 5b 69 5d 3d 3d 27 31 27 29 0d 0a 09 09 09 7b P[i]=='1').....{
0720: 0d 0a 09 09 09 09 44 46 41 5b 69 5d 5b 30 5d 20 ......DFA[i][0]
0730: 3d 20 66 61 69 6c 3b 0d 0a 09 09 09 09 44 46 41 = fail;......DFA
0740: 5b 69 5d 5b 31 5d 20 3d 20 69 2b 31 3b 0d 0a 09 [i][1] = i+1;...
0750: 09 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ..}.....else....
0760: 09 7b 0d 0a 09 09 09 09 44 46 41 5b 69 5d 5b 30 .{......DFA[i][0
0770: 5d 20 3d 20 69 2b 31 3b 0d 0a 09 09 09 09 44 46 ] = i+1;......DF
0780: 41 5b 69 5d 5b 31 5d 20 3d 20 69 2b 31 3b 0d 0a A[i][1] = i+1;..
0790: 09 09 09 7d 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 4c ...}....}......L
07a0: 4c 20 74 6f 74 61 6c 20 3d 20 30 3b 0d 0a 09 09 L total = 0;....
07b0: 66 6f 72 28 69 6e 74 20 73 3d 30 3b 20 73 2b 50 for(int s=0; s+P
07c0: 2e 73 69 7a 65 28 29 3c 3d 47 2e 73 69 7a 65 28 .size()<=G.size(
07d0: 29 3b 20 2b 2b 73 29 0d 0a 09 09 7b 0d 0a 09 09 ); ++s)....{....
07e0: 09 4c 4c 20 76 20 3d 20 73 75 62 50 72 6f 62 6c .LL v = subProbl
07f0: 65 6d 28 73 2c 20 47 2c 20 73 2b 50 2e 73 69 7a em(s, G, s+P.siz
0800: 65 28 29 2c 20 44 46 41 2c 20 4e 29 3b 0d 0a 09 e(), DFA, N);...
0810: 09 09 74 6f 74 61 6c 20 2b 3d 20 76 3b 0d 0a 09 ..total += v;...
0820: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 74 6f 74 .}....return tot
0830: 61 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 63 68 61 72 al;...}.....char
0840: 20 6e 65 67 61 28 63 68 61 72 20 63 29 20 7b 20 nega(char c) {
0850: 72 65 74 75 72 6e 20 63 3d 3d 27 3f 27 20 3f 20 return c=='?' ?
0860: 63 20 3a 20 63 3d 3d 27 30 27 20 3f 20 27 31 27 c : c=='0' ? '1'
0870: 20 3a 20 27 30 27 3b 20 7d 0d 0a 09 62 6f 6f 6c : '0'; }...bool
0880: 20 6d 61 74 63 68 28 63 68 61 72 20 61 2c 20 63 match(char a, c
0890: 68 61 72 20 62 29 20 7b 0d 0a 09 09 72 65 74 75 har b) {....retu
08a0: 72 6e 20 61 3d 3d 27 3f 27 20 7c 7c 20 62 3d 3d rn a=='?' || b==
08b0: 27 3f 27 20 7c 7c 20 61 3d 3d 62 3b 0d 0a 09 7d '?' || a==b;...}
08c0: 0d 0a 09 62 6f 6f 6c 20 6d 61 74 63 68 28 63 6f ...bool match(co
08d0: 6e 73 74 20 73 74 72 69 6e 67 26 20 61 2c 20 63 nst string& a, c
08e0: 6f 6e 73 74 20 73 74 72 69 6e 67 26 20 62 29 20 onst string& b)
08f0: 7b 0d 0a 09 09 66 6f 72 28 69 6e 74 20 69 3d 30 {....for(int i=0
0900: 3b 20 69 3c 61 2e 73 69 7a 65 28 29 3b 20 2b 2b ; i<a.size(); ++
0910: 69 29 0d 0a 09 09 09 69 66 28 21 6d 61 74 63 68 i).....if(!match
0920: 28 61 5b 69 5d 2c 20 62 5b 69 5d 29 29 0d 0a 09 (a[i], b[i]))...
0930: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
0940: 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
0950: 0d 0a 09 7d 0d 0a 0d 0a 09 4c 4c 20 73 75 62 50 ...}.....LL subP
0960: 72 6f 62 6c 65 6d 28 69 6e 74 20 73 2c 20 63 6f roblem(int s, co
0970: 6e 73 74 20 73 74 72 69 6e 67 26 20 47 2c 20 69 nst string& G, i
0980: 6e 74 20 4d 2c 20 63 6f 6e 73 74 20 76 65 63 74 nt M, const vect
0990: 6f 72 3c 20 76 65 63 74 6f 72 3c 69 6e 74 3e 20 or< vector<int>
09a0: 3e 26 20 44 46 41 2c 20 69 6e 74 20 51 29 0d 0a >& DFA, int Q)..
09b0: 09 7b 0d 0a 09 09 44 50 32 3c 4c 4c 3e 20 64 70 .{....DP2<LL> dp
09c0: 28 4d 2b 31 2c 20 51 2b 31 29 3b 0d 0a 09 09 64 (M+1, Q+1);....d
09d0: 70 28 30 2c 20 30 29 20 3d 20 31 3b 0d 0a 09 09 p(0, 0) = 1;....
09e0: 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 3c 4d for(int i=0; i<M
09f0: 3b 20 2b 2b 69 29 0d 0a 09 09 66 6f 72 28 69 6e ; ++i)....for(in
0a00: 74 20 71 3d 30 3b 20 71 3c 51 3b 20 2b 2b 71 29 t q=0; q<Q; ++q)
0a10: 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 73 3e 3d ....{.....if(s>=
0a20: 69 20 7c 7c 20 47 5b 69 5d 3d 3d 27 30 27 29 0d i || G[i]=='0').
0a30: 0a 09 09 09 64 70 28 69 2b 31 2c 20 44 46 41 5b ....dp(i+1, DFA[
0a40: 71 5d 5b 30 5d 29 20 2b 3d 20 64 70 28 69 2c 71 q][0]) += dp(i,q
0a50: 29 3b 0d 0a 09 09 09 69 66 28 73 3e 3d 69 20 7c );.....if(s>=i |
0a60: 7c 20 47 5b 69 5d 3d 3d 27 31 27 29 0d 0a 09 09 | G[i]=='1')....
0a70: 09 64 70 28 69 2b 31 2c 20 44 46 41 5b 71 5d 5b .dp(i+1, DFA[q][
0a80: 31 5d 29 20 2b 3d 20 64 70 28 69 2c 71 29 3b 0d 1]) += dp(i,q);.
0a90: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 64 ...}....return d
0aa0: 70 28 4d 2c 20 51 29 3b 0d 0a 09 7d 0d 0a 7d 3b p(M, Q);...}..};
0ab0: 0d 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 ....// BEGIN CUT
0ac0: 20 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 HERE..#include
0ad0: 3c 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 <ctime>..double
0ae0: 73 74 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 start_time; stri
0af0: 6e 67 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f ng timer().. { o
0b00: 73 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b stringstream os;
0b10: 20 6f 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 os << " (" << i
0b20: 6e 74 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 nt((clock()-star
0b30: 74 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 t_time)/CLOCKS_P
0b40: 45 52 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 ER_SEC*1000) <<
0b50: 22 20 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e " msec)"; return
0b60: 20 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 os.str(); }..te
0b70: 6d 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 mplate<typename
0b80: 54 3e 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 T> ostream& oper
0b90: 61 74 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 ator<<(ostream&
0ba0: 6f 73 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 os, const vector
0bb0: 3c 54 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c <T>& v).. { os <
0bc0: 3c 20 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 < "{ ";.. for(
0bd0: 74 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c typename vector<
0be0: 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 T>::const_iterat
0bf0: 6f 72 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b or it=v.begin();
0c00: 20 69 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b it!=v.end(); ++
0c10: 69 74 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c it).. os << '\
0c20: 22 27 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 "' << *it << '\"
0c30: 27 20 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e ' << (it+1==v.en
0c40: 64 28 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 d() ? "" : ", ")
0c50: 3b 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 ; os << " }"; re
0c60: 74 75 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 turn os; }..void
0c70: 20 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e verify_case(con
0c80: 73 74 20 6c 6f 6e 67 20 6c 6f 6e 67 26 20 45 78 st long long& Ex
0c90: 70 65 63 74 65 64 2c 20 63 6f 6e 73 74 20 6c 6f pected, const lo
0ca0: 6e 67 20 6c 6f 6e 67 26 20 52 65 63 65 69 76 65 ng long& Receive
0cb0: 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f 6b 20 3d d) {.. bool ok =
0cc0: 20 28 45 78 70 65 63 74 65 64 20 3d 3d 20 52 65 (Expected == Re
0cd0: 63 65 69 76 65 64 29 3b 0d 0a 20 69 66 28 6f 6b ceived);.. if(ok
0ce0: 29 20 63 65 72 72 20 3c 3c 20 22 50 41 53 53 45 ) cerr << "PASSE
0cf0: 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c D" << timer() <<
0d00: 20 65 6e 64 6c 3b 20 20 65 6c 73 65 20 7b 20 63 endl; else { c
0d10: 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 44 22 20 err << "FAILED"
0d20: 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e << timer() << en
0d30: 64 6c 3b 0d 0a 20 63 65 72 72 20 3c 3c 20 22 5c dl;.. cerr << "\
0d40: 74 6f 3a 20 5c 22 22 20 3c 3c 20 45 78 70 65 63 to: \"" << Expec
0d50: 74 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 ted << '\"' << e
0d60: 6e 64 6c 20 3c 3c 20 22 5c 74 78 3a 20 5c 22 22 ndl << "\tx: \""
0d70: 20 3c 3c 20 52 65 63 65 69 76 65 64 20 3c 3c 20 << Received <<
0d80: 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 '\"' << endl; }
0d90: 7d 0d 0a 23 64 65 66 69 6e 65 20 43 41 53 45 28 }..#define CASE(
0da0: 4e 29 20 7b 63 65 72 72 20 3c 3c 20 22 54 65 73 N) {cerr << "Tes
0db0: 74 20 43 61 73 65 20 23 22 20 3c 3c 20 4e 20 3c t Case #" << N <
0dc0: 3c 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 < "..." << flush
0dd0: 3b 20 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f ; start_time=clo
0de0: 63 6b 28 29 3b 0d 0a 23 64 65 66 69 6e 65 20 45 ck();..#define E
0df0: 4e 44 09 20 76 65 72 69 66 79 5f 63 61 73 65 28 ND. verify_case(
0e00: 5f 2c 20 4d 61 70 47 75 65 73 73 69 6e 67 28 29 _, MapGuessing()
0e10: 2e 63 6f 75 6e 74 50 61 74 74 65 72 6e 73 28 67 .countPatterns(g
0e20: 6f 61 6c 2c 20 63 6f 64 65 29 29 3b 7d 0d 0a 69 oal, code));}..i
0e30: 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 41 nt main(){....CA
0e40: 53 45 28 30 29 0d 0a 09 73 74 72 69 6e 67 20 67 SE(0)...string g
0e50: 6f 61 6c 20 3d 20 22 30 30 30 22 3b 20 0d 0a 09 oal = "000"; ...
0e60: 73 74 72 69 6e 67 20 63 6f 64 65 5f 5b 5d 20 3d string code_[] =
0e70: 20 7b 22 30 22 7d 3b 0d 0a 09 20 20 76 65 63 74 {"0"};... vect
0e80: 6f 72 20 3c 73 74 72 69 6e 67 3e 20 63 6f 64 65 or <string> code
0e90: 28 63 6f 64 65 5f 2c 20 63 6f 64 65 5f 2b 73 69 (code_, code_+si
0ea0: 7a 65 6f 66 28 63 6f 64 65 5f 29 2f 73 69 7a 65 zeof(code_)/size
0eb0: 6f 66 28 2a 63 6f 64 65 5f 29 29 3b 20 0d 0a 09 of(*code_)); ...
0ec0: 6c 6f 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 34 4c long long _ = 4L
0ed0: 4c 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31 L; ..END..CASE(1
0ee0: 29 0d 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 )...string goal
0ef0: 3d 20 22 30 30 31 22 3b 20 0d 0a 09 73 74 72 69 = "001"; ...stri
0f00: 6e 67 20 63 6f 64 65 5f 5b 5d 20 3d 20 7b 22 30 ng code_[] = {"0
0f10: 3e 31 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 >1"};... vector
0f20: 20 3c 73 74 72 69 6e 67 3e 20 63 6f 64 65 28 63 <string> code(c
0f30: 6f 64 65 5f 2c 20 63 6f 64 65 5f 2b 73 69 7a 65 ode_, code_+size
0f40: 6f 66 28 63 6f 64 65 5f 29 2f 73 69 7a 65 6f 66 of(code_)/sizeof
0f50: 28 2a 63 6f 64 65 5f 29 29 3b 20 0d 0a 09 6c 6f (*code_)); ...lo
0f60: 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 35 4c 4c 3b ng long _ = 5LL;
0f70: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d ..END..CASE(2).
0f80: 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 3d 20 ..string goal =
0f90: 22 30 30 30 22 3b 20 0d 0a 09 73 74 72 69 6e 67 "000"; ...string
0fa0: 20 63 6f 64 65 5f 5b 5d 20 3d 20 7b 22 31 3e 31 code_[] = {"1>1
0fb0: 3e 31 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 >1"};... vector
0fc0: 20 3c 73 74 72 69 6e 67 3e 20 63 6f 64 65 28 63 <string> code(c
0fd0: 6f 64 65 5f 2c 20 63 6f 64 65 5f 2b 73 69 7a 65 ode_, code_+size
0fe0: 6f 66 28 63 6f 64 65 5f 29 2f 73 69 7a 65 6f 66 of(code_)/sizeof
0ff0: 28 2a 63 6f 64 65 5f 29 29 3b 20 0d 0a 09 6c 6f (*code_)); ...lo
1000: 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 31 4c 4c 3b ng long _ = 1LL;
1010: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 33 29 0d ..END..CASE(3).
1020: 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 3d 20 ..string goal =
1030: 22 31 31 30 30 31 22 3b 20 0d 0a 09 73 74 72 69 "11001"; ...stri
1040: 6e 67 20 63 6f 64 65 5f 5b 5d 20 3d 20 7b 22 3e ng code_[] = {">
1050: 3e 3c 3c 3c 3c 3e 3c 3c 22 7d 3b 0d 0a 09 20 20 ><<<<><<"};...
1060: 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 3e 20 vector <string>
1070: 63 6f 64 65 28 63 6f 64 65 5f 2c 20 63 6f 64 65 code(code_, code
1080: 5f 2b 73 69 7a 65 6f 66 28 63 6f 64 65 5f 29 2f _+sizeof(code_)/
1090: 73 69 7a 65 6f 66 28 2a 63 6f 64 65 5f 29 29 3b sizeof(*code_));
10a0: 20 0d 0a 09 6c 6f 6e 67 20 6c 6f 6e 67 20 5f 20 ...long long _
10b0: 3d 20 30 4c 4c 3b 20 0d 0a 45 4e 44 0d 0a 43 41 = 0LL; ..END..CA
10c0: 53 45 28 34 29 0d 0a 09 73 74 72 69 6e 67 20 67 SE(4)...string g
10d0: 6f 61 6c 20 3d 20 22 31 30 30 30 31 30 31 30 31 oal = "100010101
10e0: 31 22 3b 20 0d 0a 09 73 74 72 69 6e 67 20 63 6f 1"; ...string co
10f0: 64 65 5f 5b 5d 20 3d 20 7b 22 31 3c 3c 30 3e 3e de_[] = {"1<<0>>
1100: 30 3e 31 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 0>1"};... vecto
1110: 72 20 3c 73 74 72 69 6e 67 3e 20 63 6f 64 65 28 r <string> code(
1120: 63 6f 64 65 5f 2c 20 63 6f 64 65 5f 2b 73 69 7a code_, code_+siz
1130: 65 6f 66 28 63 6f 64 65 5f 29 2f 73 69 7a 65 6f eof(code_)/sizeo
1140: 66 28 2a 63 6f 64 65 5f 29 29 3b 20 0d 0a 09 6c f(*code_)); ...l
1150: 6f 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 32 32 4c ong long _ = 22L
1160: 4c 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35 L; ..END..CASE(5
1170: 29 0d 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 )...string goal
1180: 3d 20 22 30 30 30 30 30 30 31 30 30 30 30 30 30 = "0000001000000
1190: 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 0000000000000000
11a0: 30 30 30 22 3b 20 0d 0a 09 73 74 72 69 6e 67 20 000"; ...string
11b0: 63 6f 64 65 5f 5b 5d 20 3d 20 7b 22 3e 3c 3e 3e code_[] = {"><>>
11c0: 30 3c 30 3c 3e 3e 31 3e 30 3e 3c 3e 22 2c 20 22 0<0<>>1>0><>", "
11d0: 3c 3c 30 3e 3e 30 3c 3e 3e 3c 30 3e 30 3e 3e 3e <<0>>0<>><0>0>>>
11e0: 3c 3e 3c 22 2c 20 22 3e 3e 3e 30 3c 3e 22 2c 20 <><", ">>>0<>",
11f0: 22 3e 30 3e 3c 3e 3e 3e 3e 30 3c 3c 3e 3c 3e 3e ">0><>>>>0<<><>>
1200: 30 3e 3e 3e 30 3c 30 3e 3e 30 3e 22 7d 3b 0d 0a 0>>>0<0>>0>"};..
1210: 09 20 20 76 65 63 74 6f 72 20 3c 73 74 72 69 6e . vector <strin
1220: 67 3e 20 63 6f 64 65 28 63 6f 64 65 5f 2c 20 63 g> code(code_, c
1230: 6f 64 65 5f 2b 73 69 7a 65 6f 66 28 63 6f 64 65 ode_+sizeof(code
1240: 5f 29 2f 73 69 7a 65 6f 66 28 2a 63 6f 64 65 5f _)/sizeof(*code_
1250: 29 29 3b 20 0d 0a 09 6c 6f 6e 67 20 6c 6f 6e 67 )); ...long long
1260: 20 5f 20 3d 20 31 33 36 30 31 4c 4c 3b 20 0d 0a _ = 13601LL; ..
1270: 45 4e 44 0d 0a 43 41 53 45 28 36 29 0d 0a 09 73 END..CASE(6)...s
1280: 74 72 69 6e 67 20 67 6f 61 6c 20 3d 20 22 31 31 tring goal = "11
1290: 31 30 30 30 31 31 30 31 30 31 31 31 31 31 31 30 1000110101111110
12a0: 31 30 31 30 30 31 30 30 31 31 30 30 30 31 31 30 1010010011000110
12b0: 31 22 3b 20 0d 0a 09 73 74 72 69 6e 67 20 63 6f 1"; ...string co
12c0: 64 65 5f 5b 5d 20 3d 20 7b 22 31 31 31 31 31 31 de_[] = {"111111
12d0: 31 31 31 31 31 31 31 31 31 31 31 31 31 31 22 0d 11111111111111".
12e0: 0a 2c 22 31 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e .,"1<><><><><><>
12f0: 3c 3e 3c 3e 3c 3e 31 22 0d 0a 2c 22 31 3c 3e 30 <><><>1"..,"1<>0
1300: 30 30 3e 30 30 30 3e 3c 30 3c 3e 3c 30 3c 3e 31 00>000><0<><0<>1
1310: 22 0d 0a 2c 22 31 3c 30 3c 3e 3c 3e 30 3e 3c 30 "..,"1<0<><>0><0
1320: 3c 30 30 3e 30 30 3c 3e 31 22 0d 0a 2c 22 31 3c <00>00<>1"..,"1<
1330: 3e 30 30 3c 3e 30 30 30 3e 3c 30 3c 30 3c 30 3c >00<>000><0<0<0<
1340: 3e 31 22 0d 0a 2c 22 31 3c 3e 3c 3e 30 3e 30 3e >1"..,"1<><>0>0>
1350: 3c 30 3c 30 3c 3e 3c 30 3c 3e 31 22 0d 0a 2c 22 <0<0<><0<>1"..,"
1360: 31 3c 30 30 30 3c 3e 30 3e 3c 30 3c 30 3c 3e 3c 1<000<>0><0<0<><
1370: 30 3c 3e 31 22 0d 0a 2c 22 31 3c 3e 3c 3e 3c 3e 0<>1"..,"1<><><>
1380: 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e 31 22 0d 0a <><><><><><>1"..
1390: 2c 22 31 3c 3e 30 30 30 3e 3c 30 30 30 3c 3e 30 ,"1<>000><000<>0
13a0: 30 30 3e 3c 3e 31 22 0d 0a 2c 22 31 3c 3e 30 3e 00><>1"..,"1<>0>
13b0: 3c 3e 3c 30 3c 3e 3c 3e 30 3e 3c 3e 3c 3e 31 22 <><0<><>0><><>1"
13c0: 0d 0a 2c 22 31 3c 3e 30 30 30 3e 3c 30 30 30 3c ..,"1<>000><000<
13d0: 3e 30 30 30 3e 3c 3e 31 22 0d 0a 2c 22 31 3c 3e >000><>1"..,"1<>
13e0: 3c 3e 30 3e 3c 3e 3c 30 3c 3e 3c 3e 30 3e 3c 3e <>0><><0<><>0><>
13f0: 31 22 0d 0a 2c 22 31 3c 3e 30 30 30 3e 3c 30 30 1"..,"1<>000><00
1400: 30 3c 3e 30 30 30 3e 3c 3e 31 22 0d 0a 2c 22 31 0<>000><>1"..,"1
1410: 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e 3c 3e <><><><><><><><>
1420: 3c 3e 31 22 0d 0a 2c 22 31 31 31 31 31 31 31 31 <>1"..,"11111111
1430: 31 31 31 31 31 31 31 31 31 31 31 31 22 7d 3b 0d 111111111111"};.
1440: 0a 09 20 20 76 65 63 74 6f 72 20 3c 73 74 72 69 .. vector <stri
1450: 6e 67 3e 20 63 6f 64 65 28 63 6f 64 65 5f 2c 20 ng> code(code_,
1460: 63 6f 64 65 5f 2b 73 69 7a 65 6f 66 28 63 6f 64 code_+sizeof(cod
1470: 65 5f 29 2f 73 69 7a 65 6f 66 28 2a 63 6f 64 65 e_)/sizeof(*code
1480: 5f 29 29 3b 20 0d 0a 09 6c 6f 6e 67 20 6c 6f 6e _)); ...long lon
1490: 67 20 5f 20 3d 20 39 30 4c 4c 3b 20 0d 0a 45 4e g _ = 90LL; ..EN
14a0: 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 37 29 0d 0a D../*..CASE(7)..
14b0: 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 3d 20 3b .string goal = ;
14c0: 20 0d 0a 09 73 74 72 69 6e 67 20 63 6f 64 65 5f ...string code_
14d0: 5b 5d 20 3d 20 3b 0d 0a 09 20 20 76 65 63 74 6f [] = ;... vecto
14e0: 72 20 3c 73 74 72 69 6e 67 3e 20 63 6f 64 65 28 r <string> code(
14f0: 63 6f 64 65 5f 2c 20 63 6f 64 65 5f 2b 73 69 7a code_, code_+siz
1500: 65 6f 66 28 63 6f 64 65 5f 29 2f 73 69 7a 65 6f eof(code_)/sizeo
1510: 66 28 2a 63 6f 64 65 5f 29 29 3b 20 0d 0a 09 6c f(*code_)); ...l
1520: 6f 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 4c 4c 3b ong long _ = LL;
1530: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 38 29 0d ..END..CASE(8).
1540: 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 3d 20 ..string goal =
1550: 3b 20 0d 0a 09 73 74 72 69 6e 67 20 63 6f 64 65 ; ...string code
1560: 5f 5b 5d 20 3d 20 3b 0d 0a 09 20 20 76 65 63 74 _[] = ;... vect
1570: 6f 72 20 3c 73 74 72 69 6e 67 3e 20 63 6f 64 65 or <string> code
1580: 28 63 6f 64 65 5f 2c 20 63 6f 64 65 5f 2b 73 69 (code_, code_+si
1590: 7a 65 6f 66 28 63 6f 64 65 5f 29 2f 73 69 7a 65 zeof(code_)/size
15a0: 6f 66 28 2a 63 6f 64 65 5f 29 29 3b 20 0d 0a 09 of(*code_)); ...
15b0: 6c 6f 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 4c 4c long long _ = LL
15c0: 3b 20 0d 0a 45 4e 44 0d 0a 09 2a 2f 0d 0a 7d 0d ; ..END...*/..}.
15d0: 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 .// END CUT HERE
15e0: 0d 0a ..