Hex Artifact Content
Not logged in

Artifact f68efed934ab056b0a0f09dbfed2cfe08d7285bd:


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 63 6c 61 73 73 20 43   CMP;....class C
01a0: 75 74 74 69 6e 67 42 69 74 53 74 72 69 6e 67 20  uttingBitString 
01b0: 7b 20 70 75 62 6c 69 63 3a 0d 0a 09 73 74 61 74  { public:...stat
01c0: 69 63 20 63 6f 6e 73 74 20 69 6e 74 20 49 4e 46  ic const int INF
01d0: 20 3d 20 39 39 39 3b 0d 0a 0d 0a 09 69 6e 74 20   = 999;.....int 
01e0: 67 65 74 6d 69 6e 28 73 74 72 69 6e 67 20 53 29  getmin(string S)
01f0: 0d 0a 09 7b 0d 0a 09 09 4c 4c 20 76 20 3d 20 31  ...{....LL v = 1
0200: 3b 0d 0a 09 09 73 65 74 3c 73 74 72 69 6e 67 3e  ;....set<string>
0210: 20 67 6f 6f 64 3b 0d 0a 09 09 66 6f 72 28 4c 4c   good;....for(LL
0220: 20 76 3d 31 3b 20 76 3c 28 31 4c 4c 3c 3c 36 30   v=1; v<(1LL<<60
0230: 29 3b 20 76 2a 3d 35 29 20 7b 0d 0a 09 09 09 63  ); v*=5) {.....c
0240: 65 72 72 20 3c 3c 20 62 69 6e 28 76 29 20 3c 3c  err << bin(v) <<
0250: 20 65 6e 64 6c 3b 0d 0a 09 09 09 67 6f 6f 64 2e   endl;.....good.
0260: 69 6e 73 65 72 74 28 62 69 6e 28 76 29 29 3b 0d  insert(bin(v));.
0270: 0a 09 09 7d 0d 0a 0d 0a 09 09 69 6e 74 20 73 20  ...}......int s 
0280: 3d 20 62 65 73 74 28 53 2c 20 67 6f 6f 64 2c 20  = best(S, good, 
0290: 30 2c 20 53 2e 73 69 7a 65 28 29 29 3b 0d 0a 09  0, S.size());...
02a0: 09 72 65 74 75 72 6e 20 73 3e 3d 49 4e 46 20 3f  .return s>=INF ?
02b0: 20 2d 31 20 3a 20 73 3b 0d 0a 09 7d 0d 0a 0d 0a   -1 : s;...}....
02c0: 09 6d 61 70 3c 70 61 69 72 3c 69 6e 74 2c 69 6e  .map<pair<int,in
02d0: 74 3e 2c 20 69 6e 74 3e 20 6d 65 6d 6f 3b 0d 0a  t>, int> memo;..
02e0: 09 69 6e 74 20 62 65 73 74 28 63 6f 6e 73 74 20  .int best(const 
02f0: 73 74 72 69 6e 67 26 20 53 2c 20 63 6f 6e 73 74  string& S, const
0300: 20 73 65 74 3c 73 74 72 69 6e 67 3e 26 20 67 6f   set<string>& go
0310: 6f 64 2c 20 69 6e 74 20 73 2c 20 69 6e 74 20 65  od, int s, int e
0320: 29 0d 0a 09 7b 0d 0a 09 09 70 61 69 72 3c 69 6e  )...{....pair<in
0330: 74 2c 69 6e 74 3e 20 6b 65 79 28 73 2c 65 29 3b  t,int> key(s,e);
0340: 0d 0a 09 09 69 66 28 6d 65 6d 6f 2e 63 6f 75 6e  ....if(memo.coun
0350: 74 28 6b 65 79 29 29 0d 0a 09 09 09 72 65 74 75  t(key)).....retu
0360: 72 6e 20 6d 65 6d 6f 5b 6b 65 79 5d 3b 0d 0a 0d  rn memo[key];...
0370: 0a 09 09 69 66 28 20 67 6f 6f 64 2e 63 6f 75 6e  ...if( good.coun
0380: 74 28 53 2e 73 75 62 73 74 72 28 73 2c 20 65 2d  t(S.substr(s, e-
0390: 73 29 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e  s)) ).....return
03a0: 20 6d 65 6d 6f 5b 6b 65 79 5d 20 3d 20 31 3b 0d   memo[key] = 1;.
03b0: 0a 09 09 69 6e 74 20 73 63 6f 72 65 20 3d 20 49  ...int score = I
03c0: 4e 46 3b 0d 0a 09 09 66 6f 72 28 69 6e 74 20 6d  NF;....for(int m
03d0: 3d 73 2b 31 3b 20 6d 2b 31 3c 3d 65 3b 20 2b 2b  =s+1; m+1<=e; ++
03e0: 6d 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 6e 74 20  m)....{.....int 
03f0: 78 20 3d 20 62 65 73 74 28 53 2c 20 67 6f 6f 64  x = best(S, good
0400: 2c 20 73 2c 20 6d 29 3b 0d 0a 09 09 09 69 6e 74  , s, m);.....int
0410: 20 79 20 3d 20 62 65 73 74 28 53 2c 20 67 6f 6f   y = best(S, goo
0420: 64 2c 20 6d 2c 20 65 29 3b 0d 0a 09 09 09 73 63  d, m, e);.....sc
0430: 6f 72 65 20 3d 20 6d 69 6e 28 73 63 6f 72 65 2c  ore = min(score,
0440: 20 78 2b 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72   x+y);....}....r
0450: 65 74 75 72 6e 20 6d 65 6d 6f 5b 6b 65 79 5d 20  eturn memo[key] 
0460: 3d 20 73 63 6f 72 65 3b 0d 0a 09 7d 0d 0a 0d 0a  = score;...}....
0470: 09 73 74 72 69 6e 67 20 62 69 6e 28 4c 4c 20 76  .string bin(LL v
0480: 29 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20  )...{....string 
0490: 73 3b 0d 0a 09 09 66 6f 72 28 3b 20 76 3b 20 76  s;....for(; v; v
04a0: 3e 3e 3d 31 29 0d 0a 09 09 09 73 20 2b 3d 20 28  >>=1).....s += (
04b0: 76 26 31 20 3f 20 27 31 27 20 3a 20 27 30 27 29  v&1 ? '1' : '0')
04c0: 3b 0d 0a 09 09 72 65 76 65 72 73 65 28 73 2e 62  ;....reverse(s.b
04d0: 65 67 69 6e 28 29 2c 20 73 2e 65 6e 64 28 29 29  egin(), s.end())
04e0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 73 3b 0d 0a  ;....return s;..
04f0: 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 47  .}..};....// BEG
0500: 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23 69 6e  IN CUT HERE..#in
0510: 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d 0a 64  clude <ctime>..d
0520: 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69 6d 65  ouble start_time
0530: 3b 20 73 74 72 69 6e 67 20 74 69 6d 65 72 28 29  ; string timer()
0540: 0d 0a 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65  .. { ostringstre
0550: 61 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28  am os; os << " (
0560: 22 20 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28  " << int((clock(
0570: 29 2d 73 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c  )-start_time)/CL
0580: 4f 43 4b 53 5f 50 45 52 5f 53 45 43 2a 31 30 30  OCKS_PER_SEC*100
0590: 30 29 20 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20  0) << " msec)"; 
05a0: 72 65 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b  return os.str();
05b0: 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70   }..template<typ
05c0: 65 6e 61 6d 65 20 54 3e 20 6f 73 74 72 65 61 6d  ename T> ostream
05d0: 26 20 6f 70 65 72 61 74 6f 72 3c 3c 28 6f 73 74  & operator<<(ost
05e0: 72 65 61 6d 26 20 6f 73 2c 20 63 6f 6e 73 74 20  ream& os, const 
05f0: 76 65 63 74 6f 72 3c 54 3e 26 20 76 29 0d 0a 20  vector<T>& v).. 
0600: 7b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b 0d 0a 20  { os << "{ ";.. 
0610: 20 20 66 6f 72 28 74 79 70 65 6e 61 6d 65 20 76    for(typename v
0620: 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f  ector<T>::const_
0630: 69 74 65 72 61 74 6f 72 20 69 74 3d 76 2e 62 65  iterator it=v.be
0640: 67 69 6e 28 29 3b 20 69 74 21 3d 76 2e 65 6e 64  gin(); it!=v.end
0650: 28 29 3b 20 2b 2b 69 74 29 0d 0a 20 20 20 6f 73  (); ++it)..   os
0660: 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a 69 74 20   << '\"' << *it 
0670: 3c 3c 20 27 5c 22 27 20 3c 3c 20 28 69 74 2b 31  << '\"' << (it+1
0680: 3d 3d 76 2e 65 6e 64 28 29 20 3f 20 22 22 20 3a  ==v.end() ? "" :
0690: 20 22 2c 20 22 29 3b 20 6f 73 20 3c 3c 20 22 20   ", "); os << " 
06a0: 7d 22 3b 20 72 65 74 75 72 6e 20 6f 73 3b 20 7d  }"; return os; }
06b0: 0d 0a 76 6f 69 64 20 76 65 72 69 66 79 5f 63 61  ..void verify_ca
06c0: 73 65 28 63 6f 6e 73 74 20 69 6e 74 26 20 45 78  se(const int& Ex
06d0: 70 65 63 74 65 64 2c 20 63 6f 6e 73 74 20 69 6e  pected, const in
06e0: 74 26 20 52 65 63 65 69 76 65 64 29 20 7b 0d 0a  t& Received) {..
06f0: 20 62 6f 6f 6c 20 6f 6b 20 3d 20 28 45 78 70 65   bool ok = (Expe
0700: 63 74 65 64 20 3d 3d 20 52 65 63 65 69 76 65 64  cted == Received
0710: 29 3b 0d 0a 20 69 66 28 6f 6b 29 20 63 65 72 72  );.. if(ok) cerr
0720: 20 3c 3c 20 22 50 41 53 53 45 44 22 20 3c 3c 20   << "PASSED" << 
0730: 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b  timer() << endl;
0740: 20 20 65 6c 73 65 20 7b 20 63 65 72 72 20 3c 3c    else { cerr <<
0750: 20 22 46 41 49 4c 45 44 22 20 3c 3c 20 74 69 6d   "FAILED" << tim
0760: 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 0d 0a 20  er() << endl;.. 
0770: 63 65 72 72 20 3c 3c 20 22 5c 74 6f 3a 20 5c 22  cerr << "\to: \"
0780: 22 20 3c 3c 20 45 78 70 65 63 74 65 64 20 3c 3c  " << Expected <<
0790: 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 20 3c 3c   '\"' << endl <<
07a0: 20 22 5c 74 78 3a 20 5c 22 22 20 3c 3c 20 52 65   "\tx: \"" << Re
07b0: 63 65 69 76 65 64 20 3c 3c 20 27 5c 22 27 20 3c  ceived << '\"' <
07c0: 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d 0a 23 64 65  < endl; } }..#de
07d0: 66 69 6e 65 20 43 41 53 45 28 4e 29 20 7b 63 65  fine CASE(N) {ce
07e0: 72 72 20 3c 3c 20 22 54 65 73 74 20 43 61 73 65  rr << "Test Case
07f0: 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e   #" << N << "...
0800: 22 20 3c 3c 20 66 6c 75 73 68 3b 20 73 74 61 72  " << flush; star
0810: 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 0d  t_time=clock();.
0820: 0a 23 64 65 66 69 6e 65 20 45 4e 44 09 20 76 65  .#define END. ve
0830: 72 69 66 79 5f 63 61 73 65 28 5f 2c 20 43 75 74  rify_case(_, Cut
0840: 74 69 6e 67 42 69 74 53 74 72 69 6e 67 28 29 2e  tingBitString().
0850: 67 65 74 6d 69 6e 28 53 29 29 3b 7d 0d 0a 69 6e  getmin(S));}..in
0860: 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 41 53  t main(){....CAS
0870: 45 28 33 29 0d 0a 09 73 74 72 69 6e 67 20 53 20  E(3)...string S 
0880: 3d 20 22 31 31 30 30 31 31 30 31 31 22 3b 20 0d  = "110011011"; .
0890: 0a 09 69 6e 74 20 5f 20 3d 20 33 3b 20 0d 0a 45  ..int _ = 3; ..E
08a0: 4e 44 0d 0a 43 41 53 45 28 30 29 0d 0a 09 73 74  ND..CASE(0)...st
08b0: 72 69 6e 67 20 53 20 3d 20 22 31 30 31 31 30 31  ring S = "101101
08c0: 31 30 31 22 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d  101"; ...int _ =
08d0: 20 33 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28   3; ..END..CASE(
08e0: 31 29 0d 0a 09 73 74 72 69 6e 67 20 53 20 3d 20  1)...string S = 
08f0: 22 31 31 31 31 31 30 31 22 3b 20 0d 0a 09 69 6e  "1111101"; ...in
0900: 74 20 5f 20 3d 20 31 3b 20 0d 0a 45 4e 44 0d 0a  t _ = 1; ..END..
0910: 43 41 53 45 28 32 29 0d 0a 09 73 74 72 69 6e 67  CASE(2)...string
0920: 20 53 20 3d 20 22 30 30 30 30 30 22 3b 20 0d 0a   S = "00000"; ..
0930: 09 69 6e 74 20 5f 20 3d 20 2d 31 3b 20 0d 0a 45  .int _ = -1; ..E
0940: 4e 44 0d 0a 43 41 53 45 28 34 29 0d 0a 09 73 74  ND..CASE(4)...st
0950: 72 69 6e 67 20 53 20 3d 20 22 31 30 30 30 31 30  ring S = "100010
0960: 31 30 31 31 22 3b 20 0d 0a 09 69 6e 74 20 5f 20  1011"; ...int _ 
0970: 3d 20 2d 31 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53  = -1; ..END..CAS
0980: 45 28 35 29 0d 0a 09 73 74 72 69 6e 67 20 53 20  E(5)...string S 
0990: 3d 20 22 31 31 31 30 31 31 31 30 30 31 31 30 31  = "1110111001101
09a0: 30 31 31 30 30 31 30 31 31 31 30 31 31 31 22 3b  01100101110111";
09b0: 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 35 3b 20 0d   ...int _ = 5; .
09c0: 0a 45 4e 44 0d 0a 43 41 53 45 28 36 29 0d 0a 09  .END..CASE(6)...
09d0: 73 74 72 69 6e 67 20 53 20 3d 20 22 31 31 31 31  string S = "1111
09e0: 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31  1111111111111111
09f0: 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31  1111111111111111
0a00: 31 31 31 31 31 31 31 31 31 31 31 31 31 31 22 3b  11111111111111";
0a10: 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 2d 39 39 39   ...int _ = -999
0a20: 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 37 29  ; ..END..CASE(7)
0a30: 0d 0a 09 73 74 72 69 6e 67 20 53 20 3d 20 22 31  ...string S = "1
0a40: 31 30 31 31 30 30 30 31 31 30 31 30 31 31 31 30  1011000110101110
0a50: 30 31 30 30 31 31 30 31 30 31 31 30 31 31 31 30  0100110101101110
0a60: 30 30 31 30 31 31 31 30 31 31 31 31 30 31 30 31  0010111011110101
0a70: 22 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 31 3b  "; ...int _ = 1;
0a80: 20 0d 0a 45 4e 44 0d 0a 7d 0d 0a 2f 2f 20 45 4e   ..END..}..// EN
0a90: 44 20 43 55 54 20 48 45 52 45 0d 0a              D CUT HERE..