Hex Artifact Content
Not logged in

Artifact 329bdbe17af21f45e95526b5e2f303ca67516b53:


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: 23 69 6e 63 6c 75 64 65 20 3c 63 73 74 72 69 6e  #include <cstrin
0130: 67 3e 0d 0a 75 73 69 6e 67 20 6e 61 6d 65 73 70  g>..using namesp
0140: 61 63 65 20 73 74 64 3b 0d 0a 74 79 70 65 64 65  ace std;..typede
0150: 66 20 6c 6f 6e 67 20 6c 6f 6e 67 20 4c 4c 3b 0d  f long long LL;.
0160: 0a 0d 0a 63 6c 61 73 73 20 4c 61 6d 70 73 47 72  ...class LampsGr
0170: 69 64 20 7b 0d 0a 70 75 62 6c 69 63 3a 0d 0a 09  id {..public:...
0180: 69 6e 74 20 63 75 72 4d 61 78 3b 0d 0a 0d 0a 09  int curMax;.....
0190: 69 6e 74 20 6d 6f 73 74 4c 69 74 28 76 65 63 74  int mostLit(vect
01a0: 6f 72 20 3c 73 74 72 69 6e 67 3e 20 69 6e 69 74  or <string> init
01b0: 69 61 6c 2c 20 69 6e 74 20 4b 29 20 0d 0a 09 7b  ial, int K) ...{
01c0: 0d 0a 09 09 2f 2f 20 61 74 61 6d 61 2d 77 61 72  ....// atama-war
01d0: 75 69 0d 0a 09 09 2f 2f 20 20 20 6f 6e 6c 79 20  ui....//   only 
01e0: 6d 65 61 6e 69 6e 67 66 75 6c 20 77 61 79 20 74  meaningful way t
01f0: 6f 20 66 6c 69 70 20 6c 69 67 68 74 73 20 61 72  o flip lights ar
0200: 65 0d 0a 09 09 2f 2f 20 20 20 74 68 61 74 3a 20  e....//   that: 
0210: 65 78 69 73 74 73 20 69 20 7b 6a 20 7c 20 69 6e  exists i {j | in
0220: 69 74 69 61 6c 5b 69 5d 5b 6a 5d 3d 3d 27 30 27  itial[i][j]=='0'
0230: 7d 0d 0a 09 09 2f 2f 20 20 20 73 6f 20 61 74 20  }....//   so at 
0240: 6d 6f 73 74 20 69 6e 69 74 69 61 6c 2e 73 69 7a  most initial.siz
0250: 65 28 29 20 74 72 79 20 69 73 20 73 75 66 66 69  e() try is suffi
0260: 63 69 65 6e 74 2e 2e 2e 0d 0a 0d 0a 09 09 76 65  cient.........ve
0270: 63 74 6f 72 3c 4c 4c 3e 20 73 3b 0d 0a 09 09 66  ctor<LL> s;....f
0280: 6f 72 28 69 6e 74 20 6a 3d 30 3b 20 6a 3c 69 6e  or(int j=0; j<in
0290: 69 74 69 61 6c 5b 30 5d 2e 73 69 7a 65 28 29 3b  itial[0].size();
02a0: 20 2b 2b 6a 29 20 7b 0d 0a 09 09 09 4c 4c 20 78   ++j) {.....LL x
02b0: 20 3d 20 30 3b 0d 0a 09 09 09 66 6f 72 28 69 6e   = 0;.....for(in
02c0: 74 20 69 3d 30 3b 20 69 3c 69 6e 69 74 69 61 6c  t i=0; i<initial
02d0: 2e 73 69 7a 65 28 29 3b 20 2b 2b 69 29 0d 0a 09  .size(); ++i)...
02e0: 09 09 09 69 66 28 20 69 6e 69 74 69 61 6c 5b 69  ...if( initial[i
02f0: 5d 5b 6a 5d 3d 3d 27 31 27 20 29 0d 0a 09 09 09  ][j]=='1' ).....
0300: 09 09 78 20 7c 3d 20 28 31 4c 4c 20 3c 3c 20 69  ..x |= (1LL << i
0310: 29 3b 0d 0a 09 09 09 73 2e 70 75 73 68 5f 62 61  );.....s.push_ba
0320: 63 6b 28 78 29 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09  ck(x);....}.....
0330: 09 63 75 72 4d 61 78 20 3d 20 30 3b 0d 0a 09 09  .curMax = 0;....
0340: 66 6f 72 28 3b 20 4b 3e 3d 30 3b 20 4b 2d 3d 32  for(; K>=0; K-=2
0350: 29 0d 0a 09 09 09 69 66 28 20 4b 20 3c 3d 20 69  ).....if( K <= i
0360: 6e 69 74 69 61 6c 5b 30 5d 2e 73 69 7a 65 28 29  nitial[0].size()
0370: 20 29 0d 0a 09 09 09 09 72 65 63 28 28 31 4c 4c   )......rec((1LL
0380: 3c 3c 69 6e 69 74 69 61 6c 2e 73 69 7a 65 28 29  <<initial.size()
0390: 29 2d 31 2c 20 73 2c 20 30 2c 20 4b 29 3b 0d 0a  )-1, s, 0, K);..
03a0: 09 09 72 65 74 75 72 6e 20 63 75 72 4d 61 78 3b  ..return curMax;
03b0: 0d 0a 09 7d 0d 0a 0d 0a 09 76 6f 69 64 20 72 65  ...}.....void re
03c0: 63 28 4c 4c 20 6c 69 74 2c 20 76 65 63 74 6f 72  c(LL lit, vector
03d0: 3c 4c 4c 3e 20 73 2c 20 69 6e 74 20 69 2c 20 69  <LL> s, int i, i
03e0: 6e 74 20 4b 29 20 2f 2f 20 65 78 61 63 74 20 4b  nt K) // exact K
03f0: 20 66 6c 69 70 73 0d 0a 09 7b 0d 0a 09 09 69 6e   flips...{....in
0400: 74 20 63 20 3d 20 30 3b 0d 0a 09 09 66 6f 72 28  t c = 0;....for(
0410: 4c 4c 20 6a 3d 31 3b 20 6a 3c 3d 6c 69 74 3b 20  LL j=1; j<=lit; 
0420: 6a 3c 3c 3d 31 29 0d 0a 09 09 09 69 66 28 20 6c  j<<=1).....if( l
0430: 69 74 26 6a 20 29 0d 0a 09 09 09 09 2b 2b 63 3b  it&j )......++c;
0440: 0d 0a 09 09 69 66 28 20 63 3c 3d 63 75 72 4d 61  ....if( c<=curMa
0450: 78 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 3b 0d  x ).....return;.
0460: 0a 09 09 69 66 28 20 69 20 3d 3d 20 73 2e 73 69  ...if( i == s.si
0470: 7a 65 28 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09  ze() )....{.....
0480: 63 75 72 4d 61 78 20 3d 20 63 3b 0d 0a 09 09 09  curMax = c;.....
0490: 72 65 74 75 72 6e 3b 0d 0a 09 09 7d 0d 0a 0d 0a  return;....}....
04a0: 09 09 69 66 28 20 69 2b 4b 20 3c 20 73 2e 73 69  ..if( i+K < s.si
04b0: 7a 65 28 29 20 29 20 2f 2f 20 6e 6f 66 6c 69 70  ze() ) // noflip
04c0: 0d 0a 09 09 09 72 65 63 28 20 6c 69 74 26 73 5b  .....rec( lit&s[
04d0: 69 5d 2c 20 73 2c 20 69 2b 31 2c 20 4b 20 29 3b  i], s, i+1, K );
04e0: 0d 0a 09 09 69 66 28 20 4b 20 29 20 2f 2f 20 66  ....if( K ) // f
04f0: 6c 69 70 0d 0a 09 09 09 72 65 63 28 20 6c 69 74  lip.....rec( lit
0500: 26 7e 73 5b 69 5d 2c 20 73 2c 20 69 2b 31 2c 20  &~s[i], s, i+1, 
0510: 4b 2d 31 20 29 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a  K-1 );...}..};..
0520: 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 48  ..// BEGIN CUT H
0530: 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63  ERE..#include <c
0540: 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 74  time>..double st
0550: 61 72 74 5f 74 69 6d 65 3b 73 74 72 69 6e 67 20  art_time;string 
0560: 74 69 6d 65 72 28 29 20 7b 20 6f 73 74 72 69 6e  timer() { ostrin
0570: 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f 73 20 3c  gstream os; os <
0580: 3c 20 22 20 28 22 20 3c 3c 20 69 6e 74 28 28 63  < " (" << int((c
0590: 6c 6f 63 6b 28 29 2d 73 74 61 72 74 5f 74 69 6d  lock()-start_tim
05a0: 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 52 5f 53 45  e)/CLOCKS_PER_SE
05b0: 43 2a 31 30 30 30 29 20 3c 3c 20 22 20 6d 73 65  C*1000) << " mse
05c0: 63 29 22 3b 20 72 65 74 75 72 6e 20 6f 73 2e 73  c)"; return os.s
05d0: 74 72 28 29 3b 20 7d 0d 0a 0d 0a 74 65 6d 70 6c  tr(); }....templ
05e0: 61 74 65 20 3c 74 79 70 65 6e 61 6d 65 20 54 3e  ate <typename T>
05f0: 20 73 74 72 69 6e 67 20 70 72 69 6e 74 5f 61 72   string print_ar
0600: 72 61 79 28 63 6f 6e 73 74 20 76 65 63 74 6f 72  ray(const vector
0610: 3c 54 3e 20 26 56 29 20 7b 20 6f 73 74 72 69 6e  <T> &V) { ostrin
0620: 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f 73 20 3c  gstream os; os <
0630: 3c 20 22 7b 20 22 3b 20 66 6f 72 20 28 74 79 70  < "{ "; for (typ
0640: 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 3e 3a  ename vector<T>:
0650: 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f 72 20  :const_iterator 
0660: 69 74 65 72 20 3d 20 56 2e 62 65 67 69 6e 28 29  iter = V.begin()
0670: 3b 20 69 74 65 72 20 21 3d 20 56 2e 65 6e 64 28  ; iter != V.end(
0680: 29 3b 20 2b 2b 69 74 65 72 29 20 6f 73 20 3c 3c  ); ++iter) os <<
0690: 20 27 5c 22 27 20 3c 3c 20 2a 69 74 65 72 20 3c   '\"' << *iter <
06a0: 3c 20 22 5c 22 2c 22 3b 20 6f 73 20 3c 3c 20 22  < "\","; os << "
06b0: 20 7d 22 3b 20 72 65 74 75 72 6e 20 6f 73 2e 73   }"; return os.s
06c0: 74 72 28 29 3b 20 7d 0d 0a 69 6e 74 20 76 65 72  tr(); }..int ver
06d0: 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 74 20 69  ify_case(const i
06e0: 6e 74 20 26 45 78 70 65 63 74 65 64 2c 20 63 6f  nt &Expected, co
06f0: 6e 73 74 20 69 6e 74 20 26 52 65 63 65 69 76 65  nst int &Receive
0700: 64 29 20 7b 20 69 66 20 28 45 78 70 65 63 74 65  d) { if (Expecte
0710: 64 20 3d 3d 20 52 65 63 65 69 76 65 64 29 20 63  d == Received) c
0720: 65 72 72 20 3c 3c 20 22 50 41 53 53 45 44 22 20  err << "PASSED" 
0730: 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e  << timer() << en
0740: 64 6c 3b 20 65 6c 73 65 20 7b 20 63 65 72 72 20  dl; else { cerr 
0750: 3c 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c 20 74  << "FAILED" << t
0760: 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 20  imer() << endl; 
0770: 63 65 72 72 20 3c 3c 20 22 5c 74 45 78 70 65 63  cerr << "\tExpec
0780: 74 65 64 3a 20 5c 22 22 20 3c 3c 20 45 78 70 65  ted: \"" << Expe
0790: 63 74 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20  cted << '\"' << 
07a0: 65 6e 64 6c 3b 20 63 65 72 72 20 3c 3c 20 22 5c  endl; cerr << "\
07b0: 74 52 65 63 65 69 76 65 64 3a 20 5c 22 22 20 3c  tReceived: \"" <
07c0: 3c 20 52 65 63 65 69 76 65 64 20 3c 3c 20 27 5c  < Received << '\
07d0: 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 72 65  "' << endl; } re
07e0: 74 75 72 6e 20 30 3b 7d 0d 0a 0d 0a 74 65 6d 70  turn 0;}....temp
07f0: 6c 61 74 65 3c 69 6e 74 20 4e 3e 20 73 74 72 75  late<int N> stru
0800: 63 74 20 43 61 73 65 5f 20 7b 20 43 61 73 65 5f  ct Case_ { Case_
0810: 28 29 7b 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c  (){start_time=cl
0820: 6f 63 6b 28 29 3b 7d 20 7d 3b 0d 0a 63 68 61 72  ock();} };..char
0830: 20 54 65 73 74 5f 28 2e 2e 2e 29 3b 0d 0a 69 6e   Test_(...);..in
0840: 74 20 54 65 73 74 5f 28 43 61 73 65 5f 3c 30 3e  t Test_(Case_<0>
0850: 29 20 7b 0d 0a 09 73 74 72 69 6e 67 20 69 6e 69  ) {...string ini
0860: 74 69 61 6c 5f 5b 5d 20 3d 20 7b 22 30 31 22 2c  tial_[] = {"01",
0870: 0d 0a 20 22 31 30 22 2c 0d 0a 20 22 31 30 22 7d  .. "10",.. "10"}
0880: 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 73 74  ;...  vector <st
0890: 72 69 6e 67 3e 20 69 6e 69 74 69 61 6c 28 69 6e  ring> initial(in
08a0: 69 74 69 61 6c 5f 2c 20 69 6e 69 74 69 61 6c 5f  itial_, initial_
08b0: 2b 73 69 7a 65 6f 66 28 69 6e 69 74 69 61 6c 5f  +sizeof(initial_
08c0: 29 2f 73 69 7a 65 6f 66 28 2a 69 6e 69 74 69 61  )/sizeof(*initia
08d0: 6c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 4b 20 3d  l_)); ...int K =
08e0: 20 31 3b 20 0d 0a 09 69 6e 74 20 52 65 74 56 61   1; ...int RetVa
08f0: 6c 20 3d 20 32 3b 20 0d 0a 09 72 65 74 75 72 6e  l = 2; ...return
0900: 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74   verify_case(Ret
0910: 56 61 6c 2c 20 4c 61 6d 70 73 47 72 69 64 28 29  Val, LampsGrid()
0920: 2e 6d 6f 73 74 4c 69 74 28 69 6e 69 74 69 61 6c  .mostLit(initial
0930: 2c 20 4b 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 65  , K)); }..int Te
0940: 73 74 5f 28 43 61 73 65 5f 3c 31 3e 29 20 7b 0d  st_(Case_<1>) {.
0950: 0a 09 73 74 72 69 6e 67 20 69 6e 69 74 69 61 6c  ..string initial
0960: 5f 5b 5d 20 3d 20 7b 22 31 30 31 30 31 30 22 7d  _[] = {"101010"}
0970: 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 73 74  ;...  vector <st
0980: 72 69 6e 67 3e 20 69 6e 69 74 69 61 6c 28 69 6e  ring> initial(in
0990: 69 74 69 61 6c 5f 2c 20 69 6e 69 74 69 61 6c 5f  itial_, initial_
09a0: 2b 73 69 7a 65 6f 66 28 69 6e 69 74 69 61 6c 5f  +sizeof(initial_
09b0: 29 2f 73 69 7a 65 6f 66 28 2a 69 6e 69 74 69 61  )/sizeof(*initia
09c0: 6c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 4b 20 3d  l_)); ...int K =
09d0: 20 32 3b 20 0d 0a 09 69 6e 74 20 52 65 74 56 61   2; ...int RetVa
09e0: 6c 20 3d 20 30 3b 20 0d 0a 09 72 65 74 75 72 6e  l = 0; ...return
09f0: 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74   verify_case(Ret
0a00: 56 61 6c 2c 20 4c 61 6d 70 73 47 72 69 64 28 29  Val, LampsGrid()
0a10: 2e 6d 6f 73 74 4c 69 74 28 69 6e 69 74 69 61 6c  .mostLit(initial
0a20: 2c 20 4b 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 65  , K)); }..int Te
0a30: 73 74 5f 28 43 61 73 65 5f 3c 32 3e 29 20 7b 0d  st_(Case_<2>) {.
0a40: 0a 09 73 74 72 69 6e 67 20 69 6e 69 74 69 61 6c  ..string initial
0a50: 5f 5b 5d 20 3d 20 7b 22 30 30 22 2c 20 22 31 31  _[] = {"00", "11
0a60: 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c  "};...  vector <
0a70: 73 74 72 69 6e 67 3e 20 69 6e 69 74 69 61 6c 28  string> initial(
0a80: 69 6e 69 74 69 61 6c 5f 2c 20 69 6e 69 74 69 61  initial_, initia
0a90: 6c 5f 2b 73 69 7a 65 6f 66 28 69 6e 69 74 69 61  l_+sizeof(initia
0aa0: 6c 5f 29 2f 73 69 7a 65 6f 66 28 2a 69 6e 69 74  l_)/sizeof(*init
0ab0: 69 61 6c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 4b  ial_)); ...int K
0ac0: 20 3d 20 39 39 39 3b 20 0d 0a 09 69 6e 74 20 52   = 999; ...int R
0ad0: 65 74 56 61 6c 20 3d 20 30 3b 20 0d 0a 09 72 65  etVal = 0; ...re
0ae0: 74 75 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65  turn verify_case
0af0: 28 52 65 74 56 61 6c 2c 20 4c 61 6d 70 73 47 72  (RetVal, LampsGr
0b00: 69 64 28 29 2e 6d 6f 73 74 4c 69 74 28 69 6e 69  id().mostLit(ini
0b10: 74 69 61 6c 2c 20 4b 29 29 3b 20 7d 0d 0a 69 6e  tial, K)); }..in
0b20: 74 20 54 65 73 74 5f 28 43 61 73 65 5f 3c 33 3e  t Test_(Case_<3>
0b30: 29 20 7b 0d 0a 09 73 74 72 69 6e 67 20 69 6e 69  ) {...string ini
0b40: 74 69 61 6c 5f 5b 5d 20 3d 20 7b 22 30 22 2c 20  tial_[] = {"0", 
0b50: 22 31 22 2c 20 22 30 22 2c 20 22 31 22 2c 20 22  "1", "0", "1", "
0b60: 30 22 7d 0d 0a 3b 0d 0a 09 20 20 76 65 63 74 6f  0"}..;...  vecto
0b70: 72 20 3c 73 74 72 69 6e 67 3e 20 69 6e 69 74 69  r <string> initi
0b80: 61 6c 28 69 6e 69 74 69 61 6c 5f 2c 20 69 6e 69  al(initial_, ini
0b90: 74 69 61 6c 5f 2b 73 69 7a 65 6f 66 28 69 6e 69  tial_+sizeof(ini
0ba0: 74 69 61 6c 5f 29 2f 73 69 7a 65 6f 66 28 2a 69  tial_)/sizeof(*i
0bb0: 6e 69 74 69 61 6c 5f 29 29 3b 20 0d 0a 09 69 6e  nitial_)); ...in
0bc0: 74 20 4b 20 3d 20 31 30 30 30 3b 20 0d 0a 09 69  t K = 1000; ...i
0bd0: 6e 74 20 52 65 74 56 61 6c 20 3d 20 32 3b 20 0d  nt RetVal = 2; .
0be0: 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 79 5f  ..return verify_
0bf0: 63 61 73 65 28 52 65 74 56 61 6c 2c 20 4c 61 6d  case(RetVal, Lam
0c00: 70 73 47 72 69 64 28 29 2e 6d 6f 73 74 4c 69 74  psGrid().mostLit
0c10: 28 69 6e 69 74 69 61 6c 2c 20 4b 29 29 3b 20 7d  (initial, K)); }
0c20: 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65  ..int Test_(Case
0c30: 5f 3c 34 3e 29 20 7b 0d 0a 09 73 74 72 69 6e 67  _<4>) {...string
0c40: 20 69 6e 69 74 69 61 6c 5f 5b 5d 20 3d 20 7b 22   initial_[] = {"
0c50: 30 30 31 22 2c 20 22 31 30 31 22 2c 20 22 30 30  001", "101", "00
0c60: 31 22 2c 20 22 30 30 30 22 2c 20 22 31 31 31 22  1", "000", "111"
0c70: 2c 20 22 30 30 31 22 2c 20 22 31 30 31 22 2c 20  , "001", "101", 
0c80: 22 31 31 31 22 2c 20 22 31 31 30 22 2c 20 22 30  "111", "110", "0
0c90: 30 30 22 2c 20 22 31 31 31 22 2c 20 22 30 31 30  00", "111", "010
0ca0: 22 2c 20 22 31 31 30 22 2c 20 22 30 30 31 22 7d  ", "110", "001"}
0cb0: 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 73 74  ;...  vector <st
0cc0: 72 69 6e 67 3e 20 69 6e 69 74 69 61 6c 28 69 6e  ring> initial(in
0cd0: 69 74 69 61 6c 5f 2c 20 69 6e 69 74 69 61 6c 5f  itial_, initial_
0ce0: 2b 73 69 7a 65 6f 66 28 69 6e 69 74 69 61 6c 5f  +sizeof(initial_
0cf0: 29 2f 73 69 7a 65 6f 66 28 2a 69 6e 69 74 69 61  )/sizeof(*initia
0d00: 6c 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 4b 20 3d  l_)); ...int K =
0d10: 20 36 3b 20 0d 0a 09 69 6e 74 20 52 65 74 56 61   6; ...int RetVa
0d20: 6c 20 3d 20 34 3b 20 0d 0a 09 72 65 74 75 72 6e  l = 4; ...return
0d30: 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74   verify_case(Ret
0d40: 56 61 6c 2c 20 4c 61 6d 70 73 47 72 69 64 28 29  Val, LampsGrid()
0d50: 2e 6d 6f 73 74 4c 69 74 28 69 6e 69 74 69 61 6c  .mostLit(initial
0d60: 2c 20 4b 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 65  , K)); }..int Te
0d70: 73 74 5f 28 43 61 73 65 5f 3c 35 3e 29 20 7b 0d  st_(Case_<5>) {.
0d80: 0a 09 73 74 72 69 6e 67 20 69 6e 69 74 69 61 6c  ..string initial
0d90: 5f 5b 5d 20 3d 20 7b 22 30 31 22 2c 20 22 31 30  _[] = {"01", "10
0da0: 22 2c 20 22 30 31 22 2c 20 22 30 31 22 2c 20 22  ", "01", "01", "
0db0: 31 30 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72  10"};...  vector
0dc0: 20 3c 73 74 72 69 6e 67 3e 20 69 6e 69 74 69 61   <string> initia
0dd0: 6c 28 69 6e 69 74 69 61 6c 5f 2c 20 69 6e 69 74  l(initial_, init
0de0: 69 61 6c 5f 2b 73 69 7a 65 6f 66 28 69 6e 69 74  ial_+sizeof(init
0df0: 69 61 6c 5f 29 2f 73 69 7a 65 6f 66 28 2a 69 6e  ial_)/sizeof(*in
0e00: 69 74 69 61 6c 5f 29 29 3b 20 0d 0a 09 69 6e 74  itial_)); ...int
0e10: 20 4b 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 52   K = 1; ...int R
0e20: 65 74 56 61 6c 20 3d 20 33 3b 20 0d 0a 09 72 65  etVal = 3; ...re
0e30: 74 75 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65  turn verify_case
0e40: 28 52 65 74 56 61 6c 2c 20 4c 61 6d 70 73 47 72  (RetVal, LampsGr
0e50: 69 64 28 29 2e 6d 6f 73 74 4c 69 74 28 69 6e 69  id().mostLit(ini
0e60: 74 69 61 6c 2c 20 4b 29 29 3b 20 7d 0d 0a 0d 0a  tial, K)); }....
0e70: 74 65 6d 70 6c 61 74 65 3c 69 6e 74 20 4e 3e 20  template<int N> 
0e80: 76 6f 69 64 20 52 75 6e 5f 28 29 20 7b 20 63 65  void Run_() { ce
0e90: 72 72 20 3c 3c 20 22 54 65 73 74 20 43 61 73 65  rr << "Test Case
0ea0: 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e   #" << N << "...
0eb0: 22 20 3c 3c 20 66 6c 75 73 68 3b 20 54 65 73 74  " << flush; Test
0ec0: 5f 28 43 61 73 65 5f 3c 4e 3e 28 29 29 3b 20 52  _(Case_<N>()); R
0ed0: 75 6e 5f 3c 73 69 7a 65 6f 66 28 54 65 73 74 5f  un_<sizeof(Test_
0ee0: 28 43 61 73 65 5f 3c 4e 2b 31 3e 28 29 29 29 3d  (Case_<N+1>()))=
0ef0: 3d 31 20 3f 20 2d 31 20 3a 20 4e 2b 31 3e 28 29  =1 ? -1 : N+1>()
0f00: 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c 3e 20  ; }..template<> 
0f10: 20 20 20 20 20 76 6f 69 64 20 52 75 6e 5f 3c 2d       void Run_<-
0f20: 31 3e 28 29 20 7b 7d 0d 0a 69 6e 74 20 6d 61 69  1>() {}..int mai
0f30: 6e 28 29 20 7b 20 52 75 6e 5f 3c 30 3e 28 29 3b  n() { Run_<0>();
0f40: 20 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48   }..// END CUT H
0f50: 45 52 45 0d 0a 0d 0a                             ERE....