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 23 69 6e ng long LL;..#in
0150: 63 6c 75 64 65 20 3c 62 69 74 73 65 74 3e 0d 0a clude <bitset>..
0160: 0d 0a 73 74 61 74 69 63 20 63 6f 6e 73 74 20 69 ..static const i
0170: 6e 74 20 49 4e 46 20 3d 20 33 30 30 30 3b 0d 0a nt INF = 3000;..
0180: 63 6c 61 73 73 20 52 65 76 65 72 73 61 6c 43 68 class ReversalCh
0190: 61 69 6e 0d 0a 7b 0d 0a 70 75 62 6c 69 63 3a 0d ain..{..public:.
01a0: 0a 09 6d 61 70 3c 70 61 69 72 3c 70 61 69 72 3c ..map<pair<pair<
01b0: 4c 4c 2c 4c 4c 3e 2c 69 6e 74 3e 2c 69 6e 74 3e LL,LL>,int>,int>
01c0: 20 6d 65 6d 6f 3b 0d 0a 09 69 6e 74 20 6d 69 6e memo;...int min
01d0: 52 65 76 65 72 73 61 6c 28 73 74 72 69 6e 67 20 Reversal(string
01e0: 69 6e 69 74 2c 20 73 74 72 69 6e 67 20 67 6f 61 init, string goa
01f0: 6c 29 20 0d 0a 09 7b 0d 0a 09 09 4c 4c 20 73 3d l) ...{....LL s=
0200: 30 2c 20 73 62 3d 30 3b 20 66 6f 72 28 69 6e 74 0, sb=0; for(int
0210: 20 69 3d 30 3b 20 69 3c 69 6e 69 74 2e 73 69 7a i=0; i<init.siz
0220: 65 28 29 3b 20 2b 2b 69 29 20 69 66 28 69 6e 69 e(); ++i) if(ini
0230: 74 5b 69 5d 3d 3d 27 31 27 29 20 73 20 7c 3d 20 t[i]=='1') s |=
0240: 28 31 4c 4c 3c 3c 69 29 2c 20 73 62 2b 2b 3b 0d (1LL<<i), sb++;.
0250: 0a 09 09 4c 4c 20 67 3d 30 2c 20 67 62 3d 30 3b ...LL g=0, gb=0;
0260: 20 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 3c for(int i=0; i<
0270: 67 6f 61 6c 2e 73 69 7a 65 28 29 3b 20 2b 2b 69 goal.size(); ++i
0280: 29 20 69 66 28 67 6f 61 6c 5b 69 5d 3d 3d 27 31 ) if(goal[i]=='1
0290: 27 29 20 67 20 7c 3d 20 28 31 4c 4c 3c 3c 69 29 ') g |= (1LL<<i)
02a0: 2c 20 67 62 2b 2b 3b 0d 0a 09 09 69 66 28 20 73 , gb++;....if( s
02b0: 62 20 21 3d 20 67 62 20 29 0d 0a 09 09 09 72 65 b != gb ).....re
02c0: 74 75 72 6e 20 2d 31 3b 0d 0a 09 09 69 6e 74 20 turn -1;....int
02d0: 61 20 3d 20 6d 72 65 76 28 73 2c 20 67 2c 20 69 a = mrev(s, g, i
02e0: 6e 69 74 2e 73 69 7a 65 28 29 29 3b 0d 0a 09 09 nit.size());....
02f0: 72 65 74 75 72 6e 20 61 3e 3d 49 4e 46 20 3f 20 return a>=INF ?
0300: 2d 31 20 3a 20 61 3b 0d 0a 09 7d 0d 0a 09 69 6e -1 : a;...}...in
0310: 74 20 6d 72 65 76 28 4c 4c 20 73 2c 20 4c 4c 20 t mrev(LL s, LL
0320: 67 2c 20 69 6e 74 20 6d 29 0d 0a 09 7b 0d 0a 09 g, int m)...{...
0330: 09 23 64 65 66 69 6e 65 20 6d 61 73 6b 28 78 29 .#define mask(x)
0340: 20 20 28 28 78 29 20 26 20 28 31 4c 4c 3c 3c 28 ((x) & (1LL<<(
0350: 6d 29 29 2d 31 29 0d 0a 09 09 23 64 65 66 69 6e m))-1)....#defin
0360: 65 20 69 74 68 28 78 2c 69 29 20 28 28 28 78 29 e ith(x,i) (((x)
0370: 3e 3e 28 69 29 29 26 31 29 0d 0a 0d 0a 09 09 69 >>(i))&1)......i
0380: 66 28 20 6d 61 73 6b 28 73 29 20 3d 3d 20 6d 61 f( mask(s) == ma
0390: 73 6b 28 67 29 20 29 0d 0a 09 09 09 72 65 74 75 sk(g) ).....retu
03a0: 72 6e 20 30 3b 0d 0a 0d 0a 09 09 70 61 69 72 3c rn 0;......pair<
03b0: 70 61 69 72 3c 4c 4c 2c 4c 4c 3e 2c 69 6e 74 3e pair<LL,LL>,int>
03c0: 20 6b 65 79 28 6d 61 6b 65 5f 70 61 69 72 28 6d key(make_pair(m
03d0: 61 73 6b 28 73 29 2c 6d 61 73 6b 28 67 29 29 2c ask(s),mask(g)),
03e0: 6d 29 3b 0d 0a 09 09 69 66 28 20 6d 65 6d 6f 2e m);....if( memo.
03f0: 63 6f 75 6e 74 28 6b 65 79 29 20 29 0d 0a 09 09 count(key) )....
0400: 09 72 65 74 75 72 6e 20 6d 65 6d 6f 5b 6b 65 79 .return memo[key
0410: 5d 3b 0d 0a 0d 0a 09 09 69 6e 74 20 61 20 3d 20 ];......int a =
0420: 49 4e 46 3b 0d 0a 09 09 69 66 28 20 69 74 68 28 INF;....if( ith(
0430: 73 2c 6d 2d 31 29 3d 3d 69 74 68 28 67 2c 6d 2d s,m-1)==ith(g,m-
0440: 31 29 20 29 20 61 20 3d 20 6d 69 6e 28 61 2c 20 1) ) a = min(a,
0450: 6d 72 65 76 28 73 2c 20 67 2c 20 6d 2d 31 29 29 mrev(s, g, m-1))
0460: 3b 0d 0a 09 09 69 66 28 20 69 74 68 28 73 2c 30 ;....if( ith(s,0
0470: 29 3d 3d 69 74 68 28 67 2c 30 29 20 29 20 20 20 )==ith(g,0) )
0480: 20 20 61 20 3d 20 6d 69 6e 28 61 2c 20 6d 72 65 a = min(a, mre
0490: 76 28 73 3e 3e 31 2c 20 67 3e 3e 31 2c 20 6d 2d v(s>>1, g>>1, m-
04a0: 31 29 29 3b 0d 0a 0d 0a 09 09 73 20 3d 20 62 69 1));......s = bi
04b0: 74 72 65 76 28 73 2c 6d 29 3b 0d 0a 09 09 69 66 trev(s,m);....if
04c0: 28 20 69 74 68 28 73 2c 6d 2d 31 29 3d 3d 69 74 ( ith(s,m-1)==it
04d0: 68 28 67 2c 6d 2d 31 29 20 29 20 61 20 3d 20 6d h(g,m-1) ) a = m
04e0: 69 6e 28 61 2c 20 31 2b 6d 72 65 76 28 73 2c 20 in(a, 1+mrev(s,
04f0: 67 2c 20 6d 2d 31 29 29 3b 0d 0a 09 09 69 66 28 g, m-1));....if(
0500: 20 69 74 68 28 73 2c 30 29 3d 3d 69 74 68 28 67 ith(s,0)==ith(g
0510: 2c 30 29 20 29 20 20 20 20 20 61 20 3d 20 6d 69 ,0) ) a = mi
0520: 6e 28 61 2c 20 31 2b 6d 72 65 76 28 73 3e 3e 31 n(a, 1+mrev(s>>1
0530: 2c 20 67 3e 3e 31 2c 20 6d 2d 31 29 29 3b 0d 0a , g>>1, m-1));..
0540: 0d 0a 09 09 72 65 74 75 72 6e 20 6d 65 6d 6f 5b ....return memo[
0550: 6b 65 79 5d 20 3d 20 61 3b 0d 0a 09 7d 0d 0a 09 key] = a;...}...
0560: 4c 4c 20 62 69 74 72 65 76 28 4c 4c 20 78 2c 20 LL bitrev(LL x,
0570: 4c 4c 20 6d 29 0d 0a 09 7b 0d 0a 09 09 4c 4c 20 LL m)...{....LL
0580: 79 20 3d 20 30 3b 0d 0a 09 09 66 6f 72 28 69 6e y = 0;....for(in
0590: 74 20 69 3d 30 3b 20 69 3c 6d 3b 20 2b 2b 69 29 t i=0; i<m; ++i)
05a0: 0d 0a 09 09 09 79 20 7c 3d 20 28 28 28 78 3e 3e .....y |= (((x>>
05b0: 69 29 26 31 29 20 3c 3c 20 28 6d 2d 31 2d 69 29 i)&1) << (m-1-i)
05c0: 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 79 3b 0d );....return y;.
05d0: 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 ..}..};....// BE
05e0: 47 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23 69 GIN CUT HERE..#i
05f0: 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d 0a nclude <ctime>..
0600: 64 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69 6d double start_tim
0610: 65 3b 73 74 72 69 6e 67 20 74 69 6d 65 72 28 29 e;string timer()
0620: 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61 6d { ostringstream
0630: 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28 22 20 os; os << " ("
0640: 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28 29 2d << int((clock()-
0650: 73 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c 4f 43 start_time)/CLOC
0660: 4b 53 5f 50 45 52 5f 53 45 43 2a 31 30 30 30 29 KS_PER_SEC*1000)
0670: 20 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20 72 65 << " msec)"; re
0680: 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d turn os.str(); }
0690: 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 3c 74 79 ....template <ty
06a0: 70 65 6e 61 6d 65 20 54 3e 20 73 74 72 69 6e 67 pename T> string
06b0: 20 70 72 69 6e 74 5f 61 72 72 61 79 28 63 6f 6e print_array(con
06c0: 73 74 20 76 65 63 74 6f 72 3c 54 3e 20 26 56 29 st vector<T> &V)
06d0: 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61 6d { ostringstream
06e0: 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b os; os << "{ ";
06f0: 20 66 6f 72 20 28 74 79 70 65 6e 61 6d 65 20 76 for (typename v
0700: 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f ector<T>::const_
0710: 69 74 65 72 61 74 6f 72 20 69 74 65 72 20 3d 20 iterator iter =
0720: 56 2e 62 65 67 69 6e 28 29 3b 20 69 74 65 72 20 V.begin(); iter
0730: 21 3d 20 56 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 != V.end(); ++it
0740: 65 72 29 20 6f 73 20 3c 3c 20 27 5c 22 27 20 3c er) os << '\"' <
0750: 3c 20 2a 69 74 65 72 20 3c 3c 20 22 5c 22 2c 22 < *iter << "\","
0760: 3b 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 ; os << " }"; re
0770: 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d turn os.str(); }
0780: 0d 0a 69 6e 74 20 76 65 72 69 66 79 5f 63 61 73 ..int verify_cas
0790: 65 28 63 6f 6e 73 74 20 69 6e 74 20 26 45 78 70 e(const int &Exp
07a0: 65 63 74 65 64 2c 20 63 6f 6e 73 74 20 69 6e 74 ected, const int
07b0: 20 26 52 65 63 65 69 76 65 64 29 20 7b 20 69 66 &Received) { if
07c0: 20 28 45 78 70 65 63 74 65 64 20 3d 3d 20 52 65 (Expected == Re
07d0: 63 65 69 76 65 64 29 20 63 65 72 72 20 3c 3c 20 ceived) cerr <<
07e0: 22 50 41 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 "PASSED" << time
07f0: 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 20 65 6c 73 r() << endl; els
0800: 65 20 7b 20 63 65 72 72 20 3c 3c 20 22 46 41 49 e { cerr << "FAI
0810: 4c 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 LED" << timer()
0820: 3c 3c 20 65 6e 64 6c 3b 20 63 65 72 72 20 3c 3c << endl; cerr <<
0830: 20 22 5c 74 45 78 70 65 63 74 65 64 3a 20 5c 22 "\tExpected: \"
0840: 22 20 3c 3c 20 45 78 70 65 63 74 65 64 20 3c 3c " << Expected <<
0850: 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 63 '\"' << endl; c
0860: 65 72 72 20 3c 3c 20 22 5c 74 52 65 63 65 69 76 err << "\tReceiv
0870: 65 64 3a 20 5c 22 22 20 3c 3c 20 52 65 63 65 69 ed: \"" << Recei
0880: 76 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 ved << '\"' << e
0890: 6e 64 6c 3b 20 7d 20 72 65 74 75 72 6e 20 30 3b ndl; } return 0;
08a0: 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 3c 69 6e }....template<in
08b0: 74 20 4e 3e 20 73 74 72 75 63 74 20 43 61 73 65 t N> struct Case
08c0: 5f 20 7b 20 43 61 73 65 5f 28 29 7b 73 74 61 72 _ { Case_(){star
08d0: 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 7d t_time=clock();}
08e0: 20 7d 3b 0d 0a 63 68 61 72 20 54 65 73 74 5f 28 };..char Test_(
08f0: 2e 2e 2e 29 3b 0d 0a 69 6e 74 20 54 65 73 74 5f ...);..int Test_
0900: 28 43 61 73 65 5f 3c 30 3e 29 20 7b 0d 0a 09 73 (Case_<0>) {...s
0910: 74 72 69 6e 67 20 69 6e 69 74 20 3d 20 22 31 31 tring init = "11
0920: 30 30 22 3b 20 0d 0a 09 73 74 72 69 6e 67 20 67 00"; ...string g
0930: 6f 61 6c 20 3d 20 22 30 31 31 30 22 3b 20 0d 0a oal = "0110"; ..
0940: 09 69 6e 74 20 52 65 74 56 61 6c 20 3d 20 31 3b .int RetVal = 1;
0950: 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 ...return verif
0960: 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 52 y_case(RetVal, R
0970: 65 76 65 72 73 61 6c 43 68 61 69 6e 28 29 2e 6d eversalChain().m
0980: 69 6e 52 65 76 65 72 73 61 6c 28 69 6e 69 74 2c inReversal(init,
0990: 20 67 6f 61 6c 29 29 3b 20 7d 0d 0a 69 6e 74 20 goal)); }..int
09a0: 54 65 73 74 5f 28 43 61 73 65 5f 3c 31 3e 29 20 Test_(Case_<1>)
09b0: 7b 0d 0a 09 73 74 72 69 6e 67 20 69 6e 69 74 20 {...string init
09c0: 3d 20 22 31 31 31 30 30 30 22 3b 20 0d 0a 09 73 = "111000"; ...s
09d0: 74 72 69 6e 67 20 67 6f 61 6c 20 3d 20 22 31 30 tring goal = "10
09e0: 31 30 31 30 22 3b 20 0d 0a 09 69 6e 74 20 52 65 1010"; ...int Re
09f0: 74 56 61 6c 20 3d 20 32 3b 20 0d 0a 09 72 65 74 tVal = 2; ...ret
0a00: 75 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65 28 urn verify_case(
0a10: 52 65 74 56 61 6c 2c 20 52 65 76 65 72 73 61 6c RetVal, Reversal
0a20: 43 68 61 69 6e 28 29 2e 6d 69 6e 52 65 76 65 72 Chain().minRever
0a30: 73 61 6c 28 69 6e 69 74 2c 20 67 6f 61 6c 29 29 sal(init, goal))
0a40: 3b 20 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 ; }..int Test_(C
0a50: 61 73 65 5f 3c 32 3e 29 20 7b 0d 0a 09 73 74 72 ase_<2>) {...str
0a60: 69 6e 67 20 69 6e 69 74 20 3d 20 22 30 22 3b 20 ing init = "0";
0a70: 0d 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c 20 3d ...string goal =
0a80: 20 22 31 22 3b 20 0d 0a 09 69 6e 74 20 52 65 74 "1"; ...int Ret
0a90: 56 61 6c 20 3d 20 2d 31 3b 20 0d 0a 09 72 65 74 Val = -1; ...ret
0aa0: 75 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65 28 urn verify_case(
0ab0: 52 65 74 56 61 6c 2c 20 52 65 76 65 72 73 61 6c RetVal, Reversal
0ac0: 43 68 61 69 6e 28 29 2e 6d 69 6e 52 65 76 65 72 Chain().minRever
0ad0: 73 61 6c 28 69 6e 69 74 2c 20 67 6f 61 6c 29 29 sal(init, goal))
0ae0: 3b 20 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 ; }..int Test_(C
0af0: 61 73 65 5f 3c 33 3e 29 20 7b 0d 0a 09 73 74 72 ase_<3>) {...str
0b00: 69 6e 67 20 69 6e 69 74 20 3d 20 22 31 30 31 30 ing init = "1010
0b10: 31 22 3b 20 0d 0a 09 73 74 72 69 6e 67 20 67 6f 1"; ...string go
0b20: 61 6c 20 3d 20 22 31 30 31 30 31 22 3b 20 0d 0a al = "10101"; ..
0b30: 09 69 6e 74 20 52 65 74 56 61 6c 20 3d 20 30 3b .int RetVal = 0;
0b40: 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 ...return verif
0b50: 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 52 y_case(RetVal, R
0b60: 65 76 65 72 73 61 6c 43 68 61 69 6e 28 29 2e 6d eversalChain().m
0b70: 69 6e 52 65 76 65 72 73 61 6c 28 69 6e 69 74 2c inReversal(init,
0b80: 20 67 6f 61 6c 29 29 3b 20 7d 0d 0a 69 6e 74 20 goal)); }..int
0b90: 54 65 73 74 5f 28 43 61 73 65 5f 3c 34 3e 29 20 Test_(Case_<4>)
0ba0: 7b 0d 0a 09 73 74 72 69 6e 67 20 69 6e 69 74 20 {...string init
0bb0: 3d 20 22 31 31 31 30 30 30 31 31 31 30 30 30 22 = "111000111000"
0bc0: 3b 20 0d 0a 09 73 74 72 69 6e 67 20 67 6f 61 6c ; ...string goal
0bd0: 20 3d 20 22 30 30 31 31 30 30 31 31 30 30 31 31 = "001100110011
0be0: 22 3b 20 0d 0a 09 69 6e 74 20 52 65 74 56 61 6c "; ...int RetVal
0bf0: 20 3d 20 34 3b 20 0d 0a 09 72 65 74 75 72 6e 20 = 4; ...return
0c00: 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 56 verify_case(RetV
0c10: 61 6c 2c 20 52 65 76 65 72 73 61 6c 43 68 61 69 al, ReversalChai
0c20: 6e 28 29 2e 6d 69 6e 52 65 76 65 72 73 61 6c 28 n().minReversal(
0c30: 69 6e 69 74 2c 20 67 6f 61 6c 29 29 3b 20 7d 0d init, goal)); }.
0c40: 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65 5f .int Test_(Case_
0c50: 3c 35 3e 29 20 7b 0d 0a 09 73 74 72 69 6e 67 20 <5>) {...string
0c60: 69 6e 69 74 20 3d 20 22 30 30 31 30 30 30 30 31 init = "00100001
0c70: 31 30 30 30 30 30 30 31 31 31 30 30 30 30 30 30 1000000111000000
0c80: 30 30 31 31 31 31 22 3b 0d 0a 09 73 74 72 69 6e 001111";...strin
0c90: 67 20 67 6f 61 6c 20 3d 20 22 31 30 30 31 30 30 g goal = "100100
0ca0: 31 30 30 31 30 30 31 30 30 31 30 30 31 30 30 31 1001001001001001
0cb0: 30 30 31 30 30 31 30 30 22 3b 20 0d 0a 09 69 6e 00100100"; ...in
0cc0: 74 20 52 65 74 56 61 6c 20 3d 20 39 3b 20 0d 0a t RetVal = 9; ..
0cd0: 09 72 65 74 75 72 6e 20 76 65 72 69 66 79 5f 63 .return verify_c
0ce0: 61 73 65 28 52 65 74 56 61 6c 2c 20 52 65 76 65 ase(RetVal, Reve
0cf0: 72 73 61 6c 43 68 61 69 6e 28 29 2e 6d 69 6e 52 rsalChain().minR
0d00: 65 76 65 72 73 61 6c 28 69 6e 69 74 2c 20 67 6f eversal(init, go
0d10: 61 6c 29 29 3b 20 7d 0d 0a 0d 0a 74 65 6d 70 6c al)); }....templ
0d20: 61 74 65 3c 69 6e 74 20 4e 3e 20 76 6f 69 64 20 ate<int N> void
0d30: 52 75 6e 5f 28 29 20 7b 20 63 65 72 72 20 3c 3c Run_() { cerr <<
0d40: 20 22 54 65 73 74 20 43 61 73 65 20 23 22 20 3c "Test Case #" <
0d50: 3c 20 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c 20 < N << "..." <<
0d60: 66 6c 75 73 68 3b 20 54 65 73 74 5f 28 43 61 73 flush; Test_(Cas
0d70: 65 5f 3c 4e 3e 28 29 29 3b 20 52 75 6e 5f 3c 73 e_<N>()); Run_<s
0d80: 69 7a 65 6f 66 28 54 65 73 74 5f 28 43 61 73 65 izeof(Test_(Case
0d90: 5f 3c 4e 2b 31 3e 28 29 29 29 3d 3d 31 20 3f 20 _<N+1>()))==1 ?
0da0: 2d 31 20 3a 20 4e 2b 31 3e 28 29 3b 20 7d 0d 0a -1 : N+1>(); }..
0db0: 74 65 6d 70 6c 61 74 65 3c 3e 20 20 20 20 20 20 template<>
0dc0: 76 6f 69 64 20 52 75 6e 5f 3c 2d 31 3e 28 29 20 void Run_<-1>()
0dd0: 7b 7d 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 20 7b {}..int main() {
0de0: 20 52 75 6e 5f 3c 30 3e 28 29 3b 20 7d 0d 0a 2f Run_<0>(); }../
0df0: 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d 0a / END CUT HERE..
0e00: 0d 0a ..