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 63 6f 6d 70 ..#include <comp
00d0: 6c 65 78 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c lex>..#include <
00e0: 71 75 65 75 65 3e 0d 0a 23 69 6e 63 6c 75 64 65 queue>..#include
00f0: 20 3c 73 74 61 63 6b 3e 0d 0a 23 69 6e 63 6c 75 <stack>..#inclu
0100: 64 65 20 3c 63 6d 61 74 68 3e 0d 0a 23 69 6e 63 de <cmath>..#inc
0110: 6c 75 64 65 20 3c 63 61 73 73 65 72 74 3e 0d 0a lude <cassert>..
0120: 75 73 69 6e 67 20 6e 61 6d 65 73 70 61 63 65 20 using namespace
0130: 73 74 64 3b 0d 0a 74 79 70 65 64 65 66 20 6c 6f std;..typedef lo
0140: 6e 67 20 6c 6f 6e 67 20 4c 4c 3b 0d 0a 0d 0a 63 ng long LL;....c
0150: 6c 61 73 73 20 53 70 65 63 69 66 69 63 50 6f 6c lass SpecificPol
0160: 79 6f 6d 69 6e 6f 43 6f 76 65 72 69 6e 67 0d 0a yominoCovering..
0170: 7b 0d 0a 70 75 62 6c 69 63 3a 0d 0a 09 76 65 63 {..public:...vec
0180: 74 6f 72 20 3c 73 74 72 69 6e 67 3e 20 66 69 6e tor <string> fin
0190: 64 43 6f 76 65 72 69 6e 67 28 76 65 63 74 6f 72 dCovering(vector
01a0: 20 3c 73 74 72 69 6e 67 3e 20 72 65 67 69 6f 6e <string> region
01b0: 29 20 0d 0a 09 7b 0d 0a 09 09 74 72 79 20 7b 0d ) ...{....try {.
01c0: 0a 09 09 09 72 65 63 28 30 2c 20 30 2c 20 72 65 ....rec(0, 0, re
01d0: 67 69 6f 6e 29 3b 0d 0a 09 09 7d 20 63 61 74 63 gion);....} catc
01e0: 68 28 20 76 65 63 74 6f 72 3c 73 74 72 69 6e 67 h( vector<string
01f0: 3e 26 20 72 20 29 20 7b 0d 0a 09 09 09 72 65 74 >& r ) {.....ret
0200: 75 72 6e 20 72 3b 0d 0a 09 09 7d 0d 0a 09 09 72 urn r;....}....r
0210: 65 74 75 72 6e 20 76 65 63 74 6f 72 3c 73 74 72 eturn vector<str
0220: 69 6e 67 3e 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 ing>();...}.....
0230: 62 6f 6f 6c 20 6e 65 78 74 58 28 69 6e 74 20 26 bool nextX(int &
0240: 79 2c 20 69 6e 74 20 26 78 2c 20 76 65 63 74 6f y, int &x, vecto
0250: 72 3c 73 74 72 69 6e 67 3e 26 20 72 29 0d 0a 09 r<string>& r)...
0260: 7b 0d 0a 09 09 77 68 69 6c 65 28 20 72 5b 79 5d {....while( r[y]
0270: 5b 78 5d 20 21 3d 20 27 58 27 20 29 20 7b 0d 0a [x] != 'X' ) {..
0280: 09 09 09 2b 2b 78 3b 0d 0a 09 09 09 69 66 28 20 ...++x;.....if(
0290: 78 20 3d 3d 20 72 5b 79 5d 2e 73 69 7a 65 28 29 x == r[y].size()
02a0: 20 29 20 7b 0d 0a 09 09 09 09 78 3d 30 2c 20 2b ) {......x=0, +
02b0: 2b 79 3b 0d 0a 09 09 09 09 69 66 28 20 79 20 3d +y;......if( y =
02c0: 3d 20 72 2e 73 69 7a 65 28 29 20 29 0d 0a 09 09 = r.size() )....
02d0: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
02e0: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 .....}....}....r
02f0: 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d eturn true;...}.
0300: 0a 0d 0a 09 62 6f 6f 6c 20 63 61 6e 46 69 6c 6c ....bool canFill
0310: 28 20 76 65 63 74 6f 72 3c 73 74 72 69 6e 67 3e ( vector<string>
0320: 20 72 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 r )...{....retu
0330: 72 6e 20 63 61 6e 46 69 6c 6c 5f 72 65 63 28 30 rn canFill_rec(0
0340: 2c 20 30 2c 20 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a , 0, r);...}....
0350: 09 62 6f 6f 6c 20 63 61 6e 46 69 6c 6c 5f 72 65 .bool canFill_re
0360: 63 28 69 6e 74 20 79 2c 20 69 6e 74 20 78 2c 20 c(int y, int x,
0370: 76 65 63 74 6f 72 3c 73 74 72 69 6e 67 3e 26 20 vector<string>&
0380: 72 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 21 6e r)...{....if( !n
0390: 65 78 74 58 28 79 2c 20 78 2c 20 72 29 20 29 0d extX(y, x, r) ).
03a0: 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
03b0: 0d 0a 0d 0a 09 09 2f 2f 20 69 66 20 69 74 20 77 ......// if it w
03c0: 61 73 20 74 68 65 20 70 61 74 74 65 72 6e 20 66 as the pattern f
03d0: 69 6c 6c 61 62 6c 65 20 62 6f 74 68 20 62 79 20 illable both by
03e0: 42 20 61 6e 64 20 41 2c 0d 0a 09 09 2f 2f 20 20 B and A,....//
03f0: 20 20 20 58 58 3f 58 0d 0a 09 09 2f 2f 20 20 20 XX?X....//
0400: 20 20 58 58 58 58 0d 0a 09 09 2f 2f 20 74 68 65 XXXX....// the
0410: 6e 2c 20 69 66 20 77 65 20 63 61 6e 20 66 69 6c n, if we can fil
0420: 6c 20 73 74 61 72 74 69 6e 67 20 66 72 6f 6d 20 l starting from
0430: 41 20 69 74 20 69 6d 70 6c 69 65 73 20 3f 3d 58 A it implies ?=X
0440: 0d 0a 09 09 2f 2f 20 49 6e 20 74 68 69 73 20 63 ....// In this c
0450: 61 73 65 2c 20 77 65 20 6d 75 73 74 20 68 61 76 ase, we must hav
0460: 65 20 62 65 65 6e 20 61 62 6c 65 20 74 6f 20 66 e been able to f
0470: 69 6c 6c 20 73 74 61 72 74 69 6e 67 0d 0a 09 09 ill starting....
0480: 2f 2f 20 66 72 6f 6d 20 42 2e 20 54 68 75 73 2c // from B. Thus,
0490: 20 77 65 20 6e 65 76 65 72 20 6e 65 65 64 20 74 we never need t
04a0: 6f 20 74 72 79 20 41 20 69 66 20 77 65 27 76 65 o try A if we've
04b0: 20 66 61 69 6c 65 64 0d 0a 09 09 2f 2f 20 66 69 failed....// fi
04c0: 6c 6c 69 6e 67 20 62 79 20 42 2e 20 54 68 65 20 lling by B. The
04d0: 22 6c 65 78 69 63 6f 67 72 61 70 68 69 63 61 6c "lexicographical
04e0: 6c 79 20 66 69 72 73 74 22 20 77 69 6c 6c 20 62 ly first" will b
04f0: 79 0d 0a 09 09 2f 2f 20 63 6f 6e 73 69 64 65 72 y....// consider
0500: 65 64 20 65 6c 73 65 77 68 65 72 65 2e 0d 0a 0d ed elsewhere....
0510: 0a 09 09 69 66 28 20 78 2b 31 20 3c 20 72 5b 79 ...if( x+1 < r[y
0520: 5d 2e 73 69 7a 65 28 29 20 26 26 20 72 5b 79 5d ].size() && r[y]
0530: 5b 78 2b 31 5d 3d 3d 27 58 27 20 29 0d 0a 09 09 [x+1]=='X' )....
0540: 7b 0d 0a 09 09 09 72 5b 79 5d 5b 78 5d 20 3d 20 {.....r[y][x] =
0550: 72 5b 79 5d 5b 78 2b 31 5d 20 3d 20 27 42 27 3b r[y][x+1] = 'B';
0560: 0d 0a 09 09 09 72 65 74 75 72 6e 20 63 61 6e 46 .....return canF
0570: 69 6c 6c 5f 72 65 63 28 79 2c 20 78 2c 20 72 29 ill_rec(y, x, r)
0580: 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 ;....}......if(
0590: 78 2b 33 20 3c 20 72 5b 79 5d 2e 73 69 7a 65 28 x+3 < r[y].size(
05a0: 29 20 26 26 20 79 2b 31 20 3c 20 72 2e 73 69 7a ) && y+1 < r.siz
05b0: 65 28 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 e() )....{.....i
05c0: 6e 74 20 70 79 5b 5d 20 3d 20 7b 30 2c 30 2c 31 nt py[] = {0,0,1
05d0: 2c 31 2c 31 2c 31 7d 3b 0d 0a 09 09 09 69 6e 74 ,1,1,1};.....int
05e0: 20 70 78 5b 5d 20 3d 20 7b 30 2c 33 2c 30 2c 31 px[] = {0,3,0,1
05f0: 2c 32 2c 33 7d 3b 0d 0a 09 09 09 66 6f 72 28 69 ,2,3};.....for(i
0600: 6e 74 20 69 3d 30 3b 20 69 3c 36 3b 20 2b 2b 69 nt i=0; i<6; ++i
0610: 29 0d 0a 09 09 09 09 69 66 28 20 72 5b 79 2b 70 )......if( r[y+p
0620: 79 5b 69 5d 5d 5b 78 2b 70 78 5b 69 5d 5d 21 3d y[i]][x+px[i]]!=
0630: 27 58 27 20 29 0d 0a 09 09 09 09 09 72 65 74 75 'X' ).......retu
0640: 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 09 09 65 rn false;......e
0650: 6c 73 65 0d 0a 09 09 09 09 09 72 5b 79 2b 70 79 lse.......r[y+py
0660: 5b 69 5d 5d 5b 78 2b 70 78 5b 69 5d 5d 20 3d 20 [i]][x+px[i]] =
0670: 27 41 27 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 'A';.....return
0680: 63 61 6e 46 69 6c 6c 5f 72 65 63 28 79 2c 20 78 canFill_rec(y, x
0690: 2c 20 72 29 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 , r);....}......
06a0: 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 return false;...
06b0: 7d 0d 0a 0d 0a 09 76 6f 69 64 20 72 65 63 28 69 }.....void rec(i
06c0: 6e 74 20 79 2c 20 69 6e 74 20 78 2c 20 76 65 63 nt y, int x, vec
06d0: 74 6f 72 3c 73 74 72 69 6e 67 3e 26 20 72 29 0d tor<string>& r).
06e0: 0a 09 7b 0d 0a 09 09 69 66 28 20 21 6e 65 78 74 ..{....if( !next
06f0: 58 28 79 2c 20 78 2c 20 72 29 20 29 0d 0a 09 09 X(y, x, r) )....
0700: 09 74 68 72 6f 77 20 72 3b 0d 0a 0d 0a 09 09 2f .throw r;....../
0710: 2f 20 74 72 79 20 74 6f 20 66 69 6c 6c 20 62 79 / try to fill by
0720: 20 41 0d 0a 09 09 69 66 28 20 78 2b 33 20 3c 20 A....if( x+3 <
0730: 72 5b 79 5d 2e 73 69 7a 65 28 29 20 26 26 20 79 r[y].size() && y
0740: 2b 31 20 3c 20 72 2e 73 69 7a 65 28 29 20 29 0d +1 < r.size() ).
0750: 0a 09 09 7b 0d 0a 09 09 09 69 6e 74 20 70 79 5b ...{.....int py[
0760: 5d 20 3d 20 7b 30 2c 30 2c 31 2c 31 2c 31 2c 31 ] = {0,0,1,1,1,1
0770: 7d 3b 0d 0a 09 09 09 69 6e 74 20 70 78 5b 5d 20 };.....int px[]
0780: 3d 20 7b 30 2c 33 2c 30 2c 31 2c 32 2c 33 7d 3b = {0,3,0,1,2,3};
0790: 0d 0a 09 09 09 62 6f 6f 6c 20 62 61 64 20 3d 20 .....bool bad =
07a0: 66 61 6c 73 65 3b 0d 0a 09 09 09 66 6f 72 28 69 false;.....for(i
07b0: 6e 74 20 69 3d 30 3b 20 69 3c 36 3b 20 2b 2b 69 nt i=0; i<6; ++i
07c0: 29 0d 0a 09 09 09 09 69 66 28 20 72 5b 79 2b 70 )......if( r[y+p
07d0: 79 5b 69 5d 5d 5b 78 2b 70 78 5b 69 5d 5d 21 3d y[i]][x+px[i]]!=
07e0: 27 58 27 20 29 0d 0a 09 09 09 09 09 62 61 64 20 'X' ).......bad
07f0: 3d 20 74 72 75 65 3b 0d 0a 09 09 09 69 66 28 20 = true;.....if(
0800: 21 62 61 64 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 !bad ).....{....
0810: 09 09 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 ..for(int i=0; i
0820: 3c 36 3b 20 2b 2b 69 29 0d 0a 09 09 09 09 09 72 <6; ++i).......r
0830: 5b 79 2b 70 79 5b 69 5d 5d 5b 78 2b 70 78 5b 69 [y+py[i]][x+px[i
0840: 5d 5d 20 3d 20 27 41 27 3b 0d 0a 09 09 09 09 69 ]] = 'A';......i
0850: 66 28 20 63 61 6e 46 69 6c 6c 28 72 29 20 29 0d f( canFill(r) ).
0860: 0a 09 09 09 09 09 72 65 63 28 79 2c 20 78 2c 20 ......rec(y, x,
0870: 72 29 3b 0d 0a 09 09 09 09 66 6f 72 28 69 6e 74 r);......for(int
0880: 20 69 3d 30 3b 20 69 3c 36 3b 20 2b 2b 69 29 0d i=0; i<6; ++i).
0890: 0a 09 09 09 09 09 72 5b 79 2b 70 79 5b 69 5d 5d ......r[y+py[i]]
08a0: 5b 78 2b 70 78 5b 69 5d 5d 20 3d 20 27 58 27 3b [x+px[i]] = 'X';
08b0: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 2f .....}....}..../
08c0: 2f 20 74 72 79 20 74 6f 20 66 69 6c 6c 20 62 79 / try to fill by
08d0: 20 42 0d 0a 09 09 69 66 28 20 78 2b 31 20 3c 20 B....if( x+1 <
08e0: 72 5b 79 5d 2e 73 69 7a 65 28 29 20 26 26 20 72 r[y].size() && r
08f0: 5b 79 5d 5b 78 2b 31 5d 3d 3d 27 58 27 20 29 0d [y][x+1]=='X' ).
0900: 0a 09 09 7b 0d 0a 09 09 09 72 5b 79 5d 5b 78 5d ...{.....r[y][x]
0910: 20 3d 20 72 5b 79 5d 5b 78 2b 31 5d 20 3d 20 27 = r[y][x+1] = '
0920: 42 27 3b 0d 0a 09 09 09 72 65 63 28 79 2c 20 78 B';.....rec(y, x
0930: 2c 20 72 29 3b 0d 0a 09 09 09 72 5b 79 5d 5b 78 , r);.....r[y][x
0940: 5d 20 3d 20 72 5b 79 5d 5b 78 2b 31 5d 20 3d 20 ] = r[y][x+1] =
0950: 27 58 27 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 7d 'X';....}...}..}
0960: 3b 0d 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 ;....// BEGIN CU
0970: 54 20 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 T HERE..#include
0980: 20 3c 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 <ctime>..double
0990: 20 73 74 61 72 74 5f 74 69 6d 65 3b 73 74 72 69 start_time;stri
09a0: 6e 67 20 74 69 6d 65 72 28 29 20 7b 20 6f 73 74 ng timer() { ost
09b0: 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f ringstream os; o
09c0: 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e 74 s << " (" << int
09d0: 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 5f ((clock()-start_
09e0: 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 52 time)/CLOCKS_PER
09f0: 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 20 _SEC*1000) << "
0a00: 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 6f msec)"; return o
0a10: 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 0d 0a 74 65 s.str(); }....te
0a20: 6d 70 6c 61 74 65 20 3c 74 79 70 65 6e 61 6d 65 mplate <typename
0a30: 20 54 3e 20 73 74 72 69 6e 67 20 70 72 69 6e 74 T> string print
0a40: 5f 61 72 72 61 79 28 63 6f 6e 73 74 20 76 65 63 _array(const vec
0a50: 74 6f 72 3c 54 3e 20 26 56 29 20 7b 20 6f 73 74 tor<T> &V) { ost
0a60: 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f ringstream os; o
0a70: 73 20 3c 3c 20 22 7b 20 22 3b 20 66 6f 72 20 28 s << "{ "; for (
0a80: 74 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c typename vector<
0a90: 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 T>::const_iterat
0aa0: 6f 72 20 69 74 65 72 20 3d 20 56 2e 62 65 67 69 or iter = V.begi
0ab0: 6e 28 29 3b 20 69 74 65 72 20 21 3d 20 56 2e 65 n(); iter != V.e
0ac0: 6e 64 28 29 3b 20 2b 2b 69 74 65 72 29 20 6f 73 nd(); ++iter) os
0ad0: 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a 69 74 65 << '\"' << *ite
0ae0: 72 20 3c 3c 20 22 5c 22 2c 22 3b 20 6f 73 20 3c r << "\","; os <
0af0: 3c 20 22 20 7d 22 3b 20 72 65 74 75 72 6e 20 6f < " }"; return o
0b00: 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 69 6e 74 20 s.str(); }..int
0b10: 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 verify_case(cons
0b20: 74 20 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 t vector <string
0b30: 3e 20 26 45 78 70 65 63 74 65 64 2c 20 63 6f 6e > &Expected, con
0b40: 73 74 20 76 65 63 74 6f 72 20 3c 73 74 72 69 6e st vector <strin
0b50: 67 3e 20 26 52 65 63 65 69 76 65 64 29 20 7b 20 g> &Received) {
0b60: 69 66 20 28 45 78 70 65 63 74 65 64 20 3d 3d 20 if (Expected ==
0b70: 52 65 63 65 69 76 65 64 29 20 63 65 72 72 20 3c Received) cerr <
0b80: 3c 20 22 50 41 53 53 45 44 22 20 3c 3c 20 74 69 < "PASSED" << ti
0b90: 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 20 65 mer() << endl; e
0ba0: 6c 73 65 20 7b 20 63 65 72 72 20 3c 3c 20 22 46 lse { cerr << "F
0bb0: 41 49 4c 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 AILED" << timer(
0bc0: 29 20 3c 3c 20 65 6e 64 6c 3b 20 63 65 72 72 20 ) << endl; cerr
0bd0: 3c 3c 20 22 5c 74 45 78 70 65 63 74 65 64 3a 20 << "\tExpected:
0be0: 22 20 3c 3c 20 70 72 69 6e 74 5f 61 72 72 61 79 " << print_array
0bf0: 28 45 78 70 65 63 74 65 64 29 20 3c 3c 20 65 6e (Expected) << en
0c00: 64 6c 3b 20 63 65 72 72 20 3c 3c 20 22 5c 74 52 dl; cerr << "\tR
0c10: 65 63 65 69 76 65 64 3a 20 22 20 3c 3c 20 70 72 eceived: " << pr
0c20: 69 6e 74 5f 61 72 72 61 79 28 52 65 63 65 69 76 int_array(Receiv
0c30: 65 64 29 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 72 ed) << endl; } r
0c40: 65 74 75 72 6e 20 30 3b 7d 0d 0a 0d 0a 74 65 6d eturn 0;}....tem
0c50: 70 6c 61 74 65 3c 69 6e 74 20 4e 3e 20 73 74 72 plate<int N> str
0c60: 75 63 74 20 43 61 73 65 5f 20 7b 20 43 61 73 65 uct Case_ { Case
0c70: 5f 28 29 7b 73 74 61 72 74 5f 74 69 6d 65 3d 63 _(){start_time=c
0c80: 6c 6f 63 6b 28 29 3b 7d 20 7d 3b 0d 0a 63 68 61 lock();} };..cha
0c90: 72 20 54 65 73 74 5f 28 2e 2e 2e 29 3b 0d 0a 69 r Test_(...);..i
0ca0: 6e 74 20 54 65 73 74 5f 28 43 61 73 65 5f 3c 30 nt Test_(Case_<0
0cb0: 3e 29 20 7b 0d 0a 09 73 74 72 69 6e 67 20 72 65 >) {...string re
0cc0: 67 69 6f 6e 5f 5b 5d 20 3d 20 7b 22 58 58 58 58 gion_[] = {"XXXX
0cd0: 22 2c 0d 0a 20 22 58 58 58 58 22 7d 3b 0d 0a 09 ",.. "XXXX"};...
0ce0: 20 20 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 vector <string
0cf0: 3e 20 72 65 67 69 6f 6e 28 72 65 67 69 6f 6e 5f > region(region_
0d00: 2c 20 72 65 67 69 6f 6e 5f 2b 73 69 7a 65 6f 66 , region_+sizeof
0d10: 28 72 65 67 69 6f 6e 5f 29 2f 73 69 7a 65 6f 66 (region_)/sizeof
0d20: 28 2a 72 65 67 69 6f 6e 5f 29 29 3b 20 0d 0a 09 (*region_)); ...
0d30: 73 74 72 69 6e 67 20 52 65 74 56 61 6c 5f 5b 5d string RetVal_[]
0d40: 20 3d 20 7b 22 41 42 42 41 22 2c 20 22 41 41 41 = {"ABBA", "AAA
0d50: 41 22 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 A" };... vector
0d60: 20 3c 73 74 72 69 6e 67 3e 20 52 65 74 56 61 6c <string> RetVal
0d70: 28 52 65 74 56 61 6c 5f 2c 20 52 65 74 56 61 6c (RetVal_, RetVal
0d80: 5f 2b 73 69 7a 65 6f 66 28 52 65 74 56 61 6c 5f _+sizeof(RetVal_
0d90: 29 2f 73 69 7a 65 6f 66 28 2a 52 65 74 56 61 6c )/sizeof(*RetVal
0da0: 5f 29 29 3b 20 0d 0a 09 72 65 74 75 72 6e 20 76 _)); ...return v
0db0: 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 56 61 erify_case(RetVa
0dc0: 6c 2c 20 53 70 65 63 69 66 69 63 50 6f 6c 79 6f l, SpecificPolyo
0dd0: 6d 69 6e 6f 43 6f 76 65 72 69 6e 67 28 29 2e 66 minoCovering().f
0de0: 69 6e 64 43 6f 76 65 72 69 6e 67 28 72 65 67 69 indCovering(regi
0df0: 6f 6e 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 65 73 on)); }..int Tes
0e00: 74 5f 28 43 61 73 65 5f 3c 31 3e 29 20 7b 0d 0a t_(Case_<1>) {..
0e10: 09 73 74 72 69 6e 67 20 72 65 67 69 6f 6e 5f 5b .string region_[
0e20: 5d 20 3d 20 7b 22 58 2e 2e 58 58 58 58 2e 2e 58 ] = {"X..XXXX..X
0e30: 22 2c 0d 0a 20 22 58 58 58 58 2e 2e 58 58 58 58 ",.. "XXXX..XXXX
0e40: 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c "};... vector <
0e50: 73 74 72 69 6e 67 3e 20 72 65 67 69 6f 6e 28 72 string> region(r
0e60: 65 67 69 6f 6e 5f 2c 20 72 65 67 69 6f 6e 5f 2b egion_, region_+
0e70: 73 69 7a 65 6f 66 28 72 65 67 69 6f 6e 5f 29 2f sizeof(region_)/
0e80: 73 69 7a 65 6f 66 28 2a 72 65 67 69 6f 6e 5f 29 sizeof(*region_)
0e90: 29 3b 20 0d 0a 09 73 74 72 69 6e 67 20 52 65 74 ); ...string Ret
0ea0: 56 61 6c 5f 5b 5d 20 3d 20 7b 22 41 2e 2e 41 42 Val_[] = {"A..AB
0eb0: 42 41 2e 2e 41 22 2c 20 22 41 41 41 41 2e 2e 41 BA..A", "AAAA..A
0ec0: 41 41 41 22 20 7d 3b 0d 0a 09 20 20 76 65 63 74 AAA" };... vect
0ed0: 6f 72 20 3c 73 74 72 69 6e 67 3e 20 52 65 74 56 or <string> RetV
0ee0: 61 6c 28 52 65 74 56 61 6c 5f 2c 20 52 65 74 56 al(RetVal_, RetV
0ef0: 61 6c 5f 2b 73 69 7a 65 6f 66 28 52 65 74 56 61 al_+sizeof(RetVa
0f00: 6c 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 65 74 56 l_)/sizeof(*RetV
0f10: 61 6c 5f 29 29 3b 20 0d 0a 09 72 65 74 75 72 6e al_)); ...return
0f20: 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 verify_case(Ret
0f30: 56 61 6c 2c 20 53 70 65 63 69 66 69 63 50 6f 6c Val, SpecificPol
0f40: 79 6f 6d 69 6e 6f 43 6f 76 65 72 69 6e 67 28 29 yominoCovering()
0f50: 2e 66 69 6e 64 43 6f 76 65 72 69 6e 67 28 72 65 .findCovering(re
0f60: 67 69 6f 6e 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 gion)); }..int T
0f70: 65 73 74 5f 28 43 61 73 65 5f 3c 32 3e 29 20 7b est_(Case_<2>) {
0f80: 0d 0a 09 73 74 72 69 6e 67 20 72 65 67 69 6f 6e ...string region
0f90: 5f 5b 5d 20 3d 20 7b 22 58 58 58 58 58 58 22 2c _[] = {"XXXXXX",
0fa0: 0d 0a 20 22 58 58 58 58 58 58 22 2c 0d 0a 20 22 .. "XXXXXX",.. "
0fb0: 58 58 58 58 58 58 22 7d 3b 0d 0a 09 20 20 76 65 XXXXXX"};... ve
0fc0: 63 74 6f 72 20 3c 73 74 72 69 6e 67 3e 20 72 65 ctor <string> re
0fd0: 67 69 6f 6e 28 72 65 67 69 6f 6e 5f 2c 20 72 65 gion(region_, re
0fe0: 67 69 6f 6e 5f 2b 73 69 7a 65 6f 66 28 72 65 67 gion_+sizeof(reg
0ff0: 69 6f 6e 5f 29 2f 73 69 7a 65 6f 66 28 2a 72 65 ion_)/sizeof(*re
1000: 67 69 6f 6e 5f 29 29 3b 20 0d 0a 09 73 74 72 69 gion_)); ...stri
1010: 6e 67 20 52 65 74 56 61 6c 5f 5b 5d 20 3d 20 7b ng RetVal_[] = {
1020: 22 41 42 42 41 42 42 22 2c 20 22 41 41 41 41 42 "ABBABB", "AAAAB
1030: 42 22 2c 20 22 42 42 42 42 42 42 22 20 7d 3b 0d B", "BBBBBB" };.
1040: 0a 09 20 20 76 65 63 74 6f 72 20 3c 73 74 72 69 .. vector <stri
1050: 6e 67 3e 20 52 65 74 56 61 6c 28 52 65 74 56 61 ng> RetVal(RetVa
1060: 6c 5f 2c 20 52 65 74 56 61 6c 5f 2b 73 69 7a 65 l_, RetVal_+size
1070: 6f 66 28 52 65 74 56 61 6c 5f 29 2f 73 69 7a 65 of(RetVal_)/size
1080: 6f 66 28 2a 52 65 74 56 61 6c 5f 29 29 3b 20 0d of(*RetVal_)); .
1090: 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 79 5f ..return verify_
10a0: 63 61 73 65 28 52 65 74 56 61 6c 2c 20 53 70 65 case(RetVal, Spe
10b0: 63 69 66 69 63 50 6f 6c 79 6f 6d 69 6e 6f 43 6f cificPolyominoCo
10c0: 76 65 72 69 6e 67 28 29 2e 66 69 6e 64 43 6f 76 vering().findCov
10d0: 65 72 69 6e 67 28 72 65 67 69 6f 6e 29 29 3b 20 ering(region));
10e0: 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 }..int Test_(Cas
10f0: 65 5f 3c 33 3e 29 20 7b 0d 0a 09 73 74 72 69 6e e_<3>) {...strin
1100: 67 20 72 65 67 69 6f 6e 5f 5b 5d 20 3d 20 7b 22 g region_[] = {"
1110: 58 2e 2e 58 58 22 2c 0d 0a 20 22 58 58 58 58 58 X..XX",.. "XXXXX
1120: 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c "};... vector <
1130: 73 74 72 69 6e 67 3e 20 72 65 67 69 6f 6e 28 72 string> region(r
1140: 65 67 69 6f 6e 5f 2c 20 72 65 67 69 6f 6e 5f 2b egion_, region_+
1150: 73 69 7a 65 6f 66 28 72 65 67 69 6f 6e 5f 29 2f sizeof(region_)/
1160: 73 69 7a 65 6f 66 28 2a 72 65 67 69 6f 6e 5f 29 sizeof(*region_)
1170: 29 3b 20 0d 0a 09 76 65 63 74 6f 72 20 3c 73 74 ); ...vector <st
1180: 72 69 6e 67 3e 20 52 65 74 56 61 6c 3b 20 0d 0a ring> RetVal; ..
1190: 09 72 65 74 75 72 6e 20 76 65 72 69 66 79 5f 63 .return verify_c
11a0: 61 73 65 28 52 65 74 56 61 6c 2c 20 53 70 65 63 ase(RetVal, Spec
11b0: 69 66 69 63 50 6f 6c 79 6f 6d 69 6e 6f 43 6f 76 ificPolyominoCov
11c0: 65 72 69 6e 67 28 29 2e 66 69 6e 64 43 6f 76 65 ering().findCove
11d0: 72 69 6e 67 28 72 65 67 69 6f 6e 29 29 3b 20 7d ring(region)); }
11e0: 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65 ..int Test_(Case
11f0: 5f 3c 34 3e 29 20 7b 0d 0a 09 73 74 72 69 6e 67 _<4>) {...string
1200: 20 72 65 67 69 6f 6e 5f 5b 5d 20 3d 20 7b 22 58 region_[] = {"X
1210: 58 58 58 58 58 58 58 58 58 22 2c 0d 0a 20 22 58 XXXXXXXXX",.. "X
1220: 58 58 58 58 58 58 58 58 58 22 2c 0d 0a 20 22 58 XXXXXXXXX",.. "X
1230: 58 58 58 58 58 58 58 58 58 22 2c 0d 0a 20 22 58 XXXXXXXXX",.. "X
1240: 58 58 58 58 2e 2e 58 58 58 22 2c 0d 0a 20 22 58 XXXX..XXX",.. "X
1250: 58 58 58 58 58 58 58 58 58 22 2c 0d 0a 20 22 58 XXXXXXXXX",.. "X
1260: 58 58 58 58 58 58 58 58 58 22 2c 0d 0a 20 22 58 XXXXXXXXX",.. "X
1270: 58 58 58 58 58 58 58 58 58 22 7d 3b 0d 0a 09 20 XXXXXXXXX"};...
1280: 20 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 3e vector <string>
1290: 20 72 65 67 69 6f 6e 28 72 65 67 69 6f 6e 5f 2c region(region_,
12a0: 20 72 65 67 69 6f 6e 5f 2b 73 69 7a 65 6f 66 28 region_+sizeof(
12b0: 72 65 67 69 6f 6e 5f 29 2f 73 69 7a 65 6f 66 28 region_)/sizeof(
12c0: 2a 72 65 67 69 6f 6e 5f 29 29 3b 20 0d 0a 09 73 *region_)); ...s
12d0: 74 72 69 6e 67 20 52 65 74 56 61 6c 5f 5b 5d 20 tring RetVal_[]
12e0: 3d 20 7b 22 41 42 42 41 41 42 42 41 42 42 22 2c = {"ABBAABBABB",
12f0: 20 22 41 41 41 41 41 41 41 41 42 42 22 2c 20 22 "AAAAAAAABB", "
1300: 41 42 42 41 42 42 42 42 42 42 22 2c 20 22 41 41 ABBABBBBBB", "AA
1310: 41 41 41 2e 2e 41 42 42 22 2c 20 22 41 42 42 41 AAA..ABB", "ABBA
1320: 41 41 41 41 42 42 22 2c 20 22 41 41 41 41 41 42 AAAABB", "AAAAAB
1330: 42 41 42 42 22 2c 20 22 42 42 42 42 41 41 41 41 BABB", "BBBBAAAA
1340: 42 42 22 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f BB" };... vecto
1350: 72 20 3c 73 74 72 69 6e 67 3e 20 52 65 74 56 61 r <string> RetVa
1360: 6c 28 52 65 74 56 61 6c 5f 2c 20 52 65 74 56 61 l(RetVal_, RetVa
1370: 6c 5f 2b 73 69 7a 65 6f 66 28 52 65 74 56 61 6c l_+sizeof(RetVal
1380: 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 65 74 56 61 _)/sizeof(*RetVa
1390: 6c 5f 29 29 3b 20 0d 0a 09 72 65 74 75 72 6e 20 l_)); ...return
13a0: 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 56 verify_case(RetV
13b0: 61 6c 2c 20 53 70 65 63 69 66 69 63 50 6f 6c 79 al, SpecificPoly
13c0: 6f 6d 69 6e 6f 43 6f 76 65 72 69 6e 67 28 29 2e ominoCovering().
13d0: 66 69 6e 64 43 6f 76 65 72 69 6e 67 28 72 65 67 findCovering(reg
13e0: 69 6f 6e 29 29 3b 20 7d 0d 0a 0d 0a 74 65 6d 70 ion)); }....temp
13f0: 6c 61 74 65 3c 69 6e 74 20 4e 3e 20 76 6f 69 64 late<int N> void
1400: 20 52 75 6e 5f 28 29 20 7b 20 63 65 72 72 20 3c Run_() { cerr <
1410: 3c 20 22 54 65 73 74 20 43 61 73 65 20 23 22 20 < "Test Case #"
1420: 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c << N << "..." <<
1430: 20 66 6c 75 73 68 3b 20 54 65 73 74 5f 28 43 61 flush; Test_(Ca
1440: 73 65 5f 3c 4e 3e 28 29 29 3b 20 52 75 6e 5f 3c se_<N>()); Run_<
1450: 73 69 7a 65 6f 66 28 54 65 73 74 5f 28 43 61 73 sizeof(Test_(Cas
1460: 65 5f 3c 4e 2b 31 3e 28 29 29 29 3d 3d 31 20 3f e_<N+1>()))==1 ?
1470: 20 2d 31 20 3a 20 4e 2b 31 3e 28 29 3b 20 7d 0d -1 : N+1>(); }.
1480: 0a 74 65 6d 70 6c 61 74 65 3c 3e 20 20 20 20 20 .template<>
1490: 20 76 6f 69 64 20 52 75 6e 5f 3c 2d 31 3e 28 29 void Run_<-1>()
14a0: 20 7b 7d 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 20 {}..int main()
14b0: 7b 20 52 75 6e 5f 3c 30 3e 28 29 3b 20 7d 0d 0a { Run_<0>(); }..
14c0: 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d // END CUT HERE.
14d0: 0a 0d 0a ...