Hex Artifact Content
Not logged in

Artifact 2990a35eb58be62ae1416f0974ab2aa41cbe468a:


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 42 69 74 77 69 73 65 45 71 75 61  lass BitwiseEqua
0160: 74 69 6f 6e 73 0d 0a 7b 0d 0a 70 75 62 6c 69 63  tions..{..public
0170: 3a 0d 0a 09 6c 6f 6e 67 20 6c 6f 6e 67 20 6b 74  :...long long kt
0180: 68 50 6c 75 73 4f 72 53 6f 6c 75 74 69 6f 6e 28  hPlusOrSolution(
0190: 69 6e 74 20 78 2c 20 69 6e 74 20 6b 29 20 0d 0a  int x, int k) ..
01a0: 09 7b 0d 0a 09 09 4c 4c 20 79 20 3d 20 30 3b 0d  .{....LL y = 0;.
01b0: 0a 09 09 66 6f 72 28 4c 4c 20 69 3d 31 3b 20 6b  ...for(LL i=1; k
01c0: 3b 20 69 3c 3c 3d 31 29 0d 0a 09 09 09 69 66 28  ; i<<=1).....if(
01d0: 20 21 28 78 26 69 29 20 29 0d 0a 09 09 09 09 79   !(x&i) )......y
01e0: 20 7c 3d 20 28 6b 26 31 29 2a 69 2c 20 6b 3e 3e   |= (k&1)*i, k>>
01f0: 3d 31 3b 0d 0a 09 09 72 65 74 75 72 6e 20 79 3b  =1;....return y;
0200: 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42  ...}..};....// B
0210: 45 47 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23  EGIN CUT HERE..#
0220: 69 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d  include <ctime>.
0230: 0a 64 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69  .double start_ti
0240: 6d 65 3b 73 74 72 69 6e 67 20 74 69 6d 65 72 28  me;string timer(
0250: 29 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61  ) { ostringstrea
0260: 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28 22  m os; os << " ("
0270: 20 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28 29   << int((clock()
0280: 2d 73 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c 4f  -start_time)/CLO
0290: 43 4b 53 5f 50 45 52 5f 53 45 43 2a 31 30 30 30  CKS_PER_SEC*1000
02a0: 29 20 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20 72  ) << " msec)"; r
02b0: 65 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20  eturn os.str(); 
02c0: 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 3c 74  }....template <t
02d0: 79 70 65 6e 61 6d 65 20 54 3e 20 73 74 72 69 6e  ypename T> strin
02e0: 67 20 70 72 69 6e 74 5f 61 72 72 61 79 28 63 6f  g print_array(co
02f0: 6e 73 74 20 76 65 63 74 6f 72 3c 54 3e 20 26 56  nst vector<T> &V
0300: 29 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61  ) { ostringstrea
0310: 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 7b 20 22  m os; os << "{ "
0320: 3b 20 66 6f 72 20 28 74 79 70 65 6e 61 6d 65 20  ; for (typename 
0330: 76 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74  vector<T>::const
0340: 5f 69 74 65 72 61 74 6f 72 20 69 74 65 72 20 3d  _iterator iter =
0350: 20 56 2e 62 65 67 69 6e 28 29 3b 20 69 74 65 72   V.begin(); iter
0360: 20 21 3d 20 56 2e 65 6e 64 28 29 3b 20 2b 2b 69   != V.end(); ++i
0370: 74 65 72 29 20 6f 73 20 3c 3c 20 27 5c 22 27 20  ter) os << '\"' 
0380: 3c 3c 20 2a 69 74 65 72 20 3c 3c 20 22 5c 22 2c  << *iter << "\",
0390: 22 3b 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72  "; os << " }"; r
03a0: 65 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20  eturn os.str(); 
03b0: 7d 0d 0a 69 6e 74 20 76 65 72 69 66 79 5f 63 61  }..int verify_ca
03c0: 73 65 28 63 6f 6e 73 74 20 6c 6f 6e 67 20 6c 6f  se(const long lo
03d0: 6e 67 20 26 45 78 70 65 63 74 65 64 2c 20 63 6f  ng &Expected, co
03e0: 6e 73 74 20 6c 6f 6e 67 20 6c 6f 6e 67 20 26 52  nst long long &R
03f0: 65 63 65 69 76 65 64 29 20 7b 20 69 66 20 28 45  eceived) { if (E
0400: 78 70 65 63 74 65 64 20 3d 3d 20 52 65 63 65 69  xpected == Recei
0410: 76 65 64 29 20 63 65 72 72 20 3c 3c 20 22 50 41  ved) cerr << "PA
0420: 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29  SSED" << timer()
0430: 20 3c 3c 20 65 6e 64 6c 3b 20 65 6c 73 65 20 7b   << endl; else {
0440: 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 44   cerr << "FAILED
0450: 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20  " << timer() << 
0460: 65 6e 64 6c 3b 20 63 65 72 72 20 3c 3c 20 22 5c  endl; cerr << "\
0470: 74 45 78 70 65 63 74 65 64 3a 20 5c 22 22 20 3c  tExpected: \"" <
0480: 3c 20 45 78 70 65 63 74 65 64 20 3c 3c 20 27 5c  < Expected << '\
0490: 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 63 65 72 72  "' << endl; cerr
04a0: 20 3c 3c 20 22 5c 74 52 65 63 65 69 76 65 64 3a   << "\tReceived:
04b0: 20 5c 22 22 20 3c 3c 20 52 65 63 65 69 76 65 64   \"" << Received
04c0: 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c   << '\"' << endl
04d0: 3b 20 7d 20 72 65 74 75 72 6e 20 30 3b 7d 0d 0a  ; } return 0;}..
04e0: 0d 0a 74 65 6d 70 6c 61 74 65 3c 69 6e 74 20 4e  ..template<int N
04f0: 3e 20 73 74 72 75 63 74 20 43 61 73 65 5f 20 7b  > struct Case_ {
0500: 20 43 61 73 65 5f 28 29 7b 73 74 61 72 74 5f 74   Case_(){start_t
0510: 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 7d 20 7d 3b  ime=clock();} };
0520: 0d 0a 63 68 61 72 20 54 65 73 74 5f 28 2e 2e 2e  ..char Test_(...
0530: 29 3b 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61  );..int Test_(Ca
0540: 73 65 5f 3c 30 3e 29 20 7b 0d 0a 09 69 6e 74 20  se_<0>) {...int 
0550: 78 20 3d 20 35 3b 20 0d 0a 09 69 6e 74 20 6b 20  x = 5; ...int k 
0560: 3d 20 31 3b 20 0d 0a 09 6c 6f 6e 67 20 6c 6f 6e  = 1; ...long lon
0570: 67 20 52 65 74 56 61 6c 20 3d 20 32 4c 4c 3b 20  g RetVal = 2LL; 
0580: 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 79  ...return verify
0590: 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 42 69  _case(RetVal, Bi
05a0: 74 77 69 73 65 45 71 75 61 74 69 6f 6e 73 28 29  twiseEquations()
05b0: 2e 6b 74 68 50 6c 75 73 4f 72 53 6f 6c 75 74 69  .kthPlusOrSoluti
05c0: 6f 6e 28 78 2c 20 6b 29 29 3b 20 7d 0d 0a 69 6e  on(x, k)); }..in
05d0: 74 20 54 65 73 74 5f 28 43 61 73 65 5f 3c 31 3e  t Test_(Case_<1>
05e0: 29 20 7b 0d 0a 09 69 6e 74 20 78 20 3d 20 35 3b  ) {...int x = 5;
05f0: 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 35 3b 20 0d   ...int k = 5; .
0600: 0a 09 6c 6f 6e 67 20 6c 6f 6e 67 20 52 65 74 56  ..long long RetV
0610: 61 6c 20 3d 20 31 38 4c 4c 3b 20 0d 0a 09 72 65  al = 18LL; ...re
0620: 74 75 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65  turn verify_case
0630: 28 52 65 74 56 61 6c 2c 20 42 69 74 77 69 73 65  (RetVal, Bitwise
0640: 45 71 75 61 74 69 6f 6e 73 28 29 2e 6b 74 68 50  Equations().kthP
0650: 6c 75 73 4f 72 53 6f 6c 75 74 69 6f 6e 28 78 2c  lusOrSolution(x,
0660: 20 6b 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 65 73   k)); }..int Tes
0670: 74 5f 28 43 61 73 65 5f 3c 32 3e 29 20 7b 0d 0a  t_(Case_<2>) {..
0680: 09 69 6e 74 20 78 20 3d 20 31 30 3b 20 0d 0a 09  .int x = 10; ...
0690: 69 6e 74 20 6b 20 3d 20 33 3b 20 0d 0a 09 6c 6f  int k = 3; ...lo
06a0: 6e 67 20 6c 6f 6e 67 20 52 65 74 56 61 6c 20 3d  ng long RetVal =
06b0: 20 35 4c 4c 3b 20 0d 0a 09 72 65 74 75 72 6e 20   5LL; ...return 
06c0: 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 56  verify_case(RetV
06d0: 61 6c 2c 20 42 69 74 77 69 73 65 45 71 75 61 74  al, BitwiseEquat
06e0: 69 6f 6e 73 28 29 2e 6b 74 68 50 6c 75 73 4f 72  ions().kthPlusOr
06f0: 53 6f 6c 75 74 69 6f 6e 28 78 2c 20 6b 29 29 3b  Solution(x, k));
0700: 20 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61   }..int Test_(Ca
0710: 73 65 5f 3c 33 3e 29 20 7b 0d 0a 09 69 6e 74 20  se_<3>) {...int 
0720: 78 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 6b 20  x = 1; ...int k 
0730: 3d 20 31 30 30 30 30 30 30 30 30 30 3b 20 0d 0a  = 1000000000; ..
0740: 09 6c 6f 6e 67 20 6c 6f 6e 67 20 52 65 74 56 61  .long long RetVa
0750: 6c 20 3d 20 32 30 30 30 30 30 30 30 30 30 4c 4c  l = 2000000000LL
0760: 3b 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69  ; ...return veri
0770: 66 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20  fy_case(RetVal, 
0780: 42 69 74 77 69 73 65 45 71 75 61 74 69 6f 6e 73  BitwiseEquations
0790: 28 29 2e 6b 74 68 50 6c 75 73 4f 72 53 6f 6c 75  ().kthPlusOrSolu
07a0: 74 69 6f 6e 28 78 2c 20 6b 29 29 3b 20 7d 0d 0a  tion(x, k)); }..
07b0: 0d 0a 74 65 6d 70 6c 61 74 65 3c 69 6e 74 20 4e  ..template<int N
07c0: 3e 20 76 6f 69 64 20 52 75 6e 5f 28 29 20 7b 20  > void Run_() { 
07d0: 63 65 72 72 20 3c 3c 20 22 54 65 73 74 20 43 61  cerr << "Test Ca
07e0: 73 65 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e  se #" << N << ".
07f0: 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 3b 20 54 65  .." << flush; Te
0800: 73 74 5f 28 43 61 73 65 5f 3c 4e 3e 28 29 29 3b  st_(Case_<N>());
0810: 20 52 75 6e 5f 3c 73 69 7a 65 6f 66 28 54 65 73   Run_<sizeof(Tes
0820: 74 5f 28 43 61 73 65 5f 3c 4e 2b 31 3e 28 29 29  t_(Case_<N+1>())
0830: 29 3d 3d 31 20 3f 20 2d 31 20 3a 20 4e 2b 31 3e  )==1 ? -1 : N+1>
0840: 28 29 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c  (); }..template<
0850: 3e 20 20 20 20 20 20 76 6f 69 64 20 52 75 6e 5f  >      void Run_
0860: 3c 2d 31 3e 28 29 20 7b 7d 0d 0a 69 6e 74 20 6d  <-1>() {}..int m
0870: 61 69 6e 28 29 20 7b 20 52 75 6e 5f 3c 30 3e 28  ain() { Run_<0>(
0880: 29 3b 20 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54  ); }..// END CUT
0890: 20 48 45 52 45 0d 0a 0d 0a                        HERE....