Hex Artifact Content
Not logged in

Artifact 3313e77040505eed3c6060286f0d445c081728af:


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 69  ng long LL;....i
0150: 6e 74 20 4e 3b 0d 0a 76 65 63 74 6f 72 3c 69 6e  nt N;..vector<in
0160: 74 3e 20 41 3b 0d 0a 0d 0a 74 79 70 65 64 65 66  t> A;....typedef
0170: 20 69 6e 74 20 76 65 72 74 3b 0d 0a 74 79 70 65   int vert;..type
0180: 64 65 66 20 69 6e 74 20 63 6f 73 74 3b 0d 0a 74  def int cost;..t
0190: 79 70 65 64 65 66 20 70 61 69 72 3c 63 6f 73 74  ypedef pair<cost
01a0: 2c 76 65 72 74 3e 20 65 64 67 65 3b 0d 0a 74 79  ,vert> edge;..ty
01b0: 70 65 64 65 66 20 76 65 63 74 6f 72 3c 65 64 67  pedef vector<edg
01c0: 65 3e 20 20 20 20 65 64 67 65 73 3b 0d 0a 0d 0a  e>    edges;....
01d0: 76 65 63 74 6f 72 3c 69 6e 74 3e 20 64 69 6a 6b  vector<int> dijk
01e0: 73 74 72 61 5f 6c 69 6b 65 28 20 76 65 72 74 20  stra_like( vert 
01f0: 53 2c 20 69 6e 74 20 54 2c 20 69 6e 74 20 49 20  S, int T, int I 
0200: 29 0d 0a 7b 0d 0a 09 73 65 74 3c 69 6e 74 3e 20  )..{...set<int> 
0210: 61 6e 73 3b 0d 0a 09 66 6f 72 28 69 6e 74 20 69  ans;...for(int i
0220: 3d 31 3b 20 69 3c 3d 49 3b 20 2b 2b 69 29 20 61  =1; i<=I; ++i) a
0230: 6e 73 2e 69 6e 73 65 72 74 28 69 29 3b 0d 0a 0d  ns.insert(i);...
0240: 0a 09 70 72 69 6f 72 69 74 79 5f 71 75 65 75 65  ..priority_queue
0250: 3c 20 65 64 67 65 2c 20 65 64 67 65 73 2c 20 67  < edge, edges, g
0260: 72 65 61 74 65 72 3c 65 64 67 65 3e 20 3e 20 51  reater<edge> > Q
0270: 3b 0d 0a 09 51 2e 70 75 73 68 28 20 65 64 67 65  ;...Q.push( edge
0280: 28 30 2c 20 53 29 20 29 3b 0d 0a 0d 0a 2f 2f 09  (0, S) );....//.
0290: 73 65 74 3c 76 65 72 74 3e 20 76 69 73 3b 0d 0a  set<vert> vis;..
02a0: 09 76 65 63 74 6f 72 3c 62 6f 6f 6c 3e 20 76 69  .vector<bool> vi
02b0: 73 28 31 3c 3c 32 34 29 3b 0d 0a 0d 0a 09 77 68  s(1<<24);.....wh
02c0: 69 6c 65 28 20 21 51 2e 65 6d 70 74 79 28 29 20  ile( !Q.empty() 
02d0: 29 0d 0a 09 7b 0d 0a 09 09 65 64 67 65 20 63 65  )...{....edge ce
02e0: 3d 51 2e 74 6f 70 28 29 3b 20 51 2e 70 6f 70 28  =Q.top(); Q.pop(
02f0: 29 3b 0d 0a 0d 0a 09 09 69 6e 74 20 20 74 20 3d  );......int  t =
0300: 20 63 65 2e 66 69 72 73 74 3b 0d 0a 09 09 76 65   ce.first;....ve
0310: 72 74 20 76 20 3d 20 63 65 2e 73 65 63 6f 6e 64  rt v = ce.second
0320: 3b 0d 0a 09 09 69 66 28 20 76 69 73 5b 76 5d 20  ;....if( vis[v] 
0330: 29 0d 0a 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d  ).....continue;.
0340: 0a 09 09 76 69 73 5b 76 5d 3d 74 72 75 65 3b 0d  ...vis[v]=true;.
0350: 0a 0d 0a 09 09 69 6e 74 20 73 77 20 3d 20 76 26  .....int sw = v&
0360: 35 31 31 3b 0d 0a 09 09 69 6e 74 20 61 5b 5d 20  511;....int a[] 
0370: 3d 20 7b 28 76 3e 3e 39 29 26 33 31 2c 20 28 76  = {(v>>9)&31, (v
0380: 3e 3e 31 34 29 26 33 31 2c 20 28 76 3e 3e 31 39  >>14)&31, (v>>19
0390: 29 26 33 31 7d 3b 0d 0a 0d 0a 09 09 61 6e 73 2e  )&31};......ans.
03a0: 65 72 61 73 65 28 73 77 29 3b 0d 0a 09 09 66 6f  erase(sw);....fo
03b0: 72 28 69 6e 74 20 69 3d 30 3b 20 69 3c 28 31 3c  r(int i=0; i<(1<
03c0: 3c 4e 2b 31 29 3b 20 2b 2b 69 29 0d 0a 09 09 7b  <N+1); ++i)....{
03d0: 0d 0a 09 09 09 69 6e 74 20 73 77 32 20 3d 20 73  .....int sw2 = s
03e0: 77 3b 0d 0a 09 09 09 69 6e 74 20 61 32 5b 5d 20  w;.....int a2[] 
03f0: 3d 20 7b 61 5b 30 5d 2c 20 61 5b 31 5d 2c 20 61  = {a[0], a[1], a
0400: 5b 32 5d 7d 3b 0d 0a 0d 0a 09 09 09 69 6e 74 20  [2]};.......int 
0410: 6e 7a 4d 69 6e 20 3d 20 39 39 39 39 3b 0d 0a 09  nzMin = 9999;...
0420: 09 09 66 6f 72 28 69 6e 74 20 6a 3d 30 3b 20 6a  ..for(int j=0; j
0430: 3c 4e 3b 20 2b 2b 6a 29 20 7b 0d 0a 09 09 09 09  <N; ++j) {......
0440: 69 66 28 20 28 69 26 28 31 3c 3c 6a 29 29 20 29  if( (i&(1<<j)) )
0450: 0d 0a 09 09 09 09 09 61 32 5b 6a 5d 20 3d 20 41  .......a2[j] = A
0460: 5b 6a 5d 2d 61 32 5b 6a 5d 3b 0d 0a 09 09 09 09  [j]-a2[j];......
0470: 69 66 28 20 61 32 5b 6a 5d 20 29 0d 0a 09 09 09  if( a2[j] ).....
0480: 09 09 6e 7a 4d 69 6e 20 3d 20 6d 69 6e 28 6e 7a  ..nzMin = min(nz
0490: 4d 69 6e 2c 20 61 32 5b 6a 5d 29 3b 0d 0a 09 09  Min, a2[j]);....
04a0: 09 7d 0d 0a 09 09 09 69 66 28 20 28 69 26 28 31  .}.....if( (i&(1
04b0: 3c 3c 4e 29 29 20 29 20 73 77 32 20 3d 20 30 3b  <<N)) ) sw2 = 0;
04c0: 0d 0a 09 09 09 69 66 28 20 6e 7a 4d 69 6e 3d 3d  .....if( nzMin==
04d0: 39 39 39 39 20 29 20 63 6f 6e 74 69 6e 75 65 3b  9999 ) continue;
04e0: 0d 0a 09 09 09 69 66 28 20 74 2b 6e 7a 4d 69 6e  .....if( t+nzMin
04f0: 20 3e 20 54 20 29 0d 0a 09 09 09 09 63 6f 6e 74   > T )......cont
0500: 69 6e 75 65 3b 0d 0a 09 09 09 66 6f 72 28 69 6e  inue;.....for(in
0510: 74 20 6a 3d 30 3b 20 6a 3c 4e 3b 20 2b 2b 6a 29  t j=0; j<N; ++j)
0520: 0d 0a 09 09 09 09 69 66 28 20 61 32 5b 6a 5d 20  ......if( a2[j] 
0530: 29 0d 0a 09 09 09 09 09 61 32 5b 6a 5d 20 2d 3d  ).......a2[j] -=
0540: 20 6e 7a 4d 69 6e 3b 0d 0a 09 09 09 73 77 32 20   nzMin;.....sw2 
0550: 2b 3d 20 6e 7a 4d 69 6e 3b 0d 0a 09 09 09 76 65  += nzMin;.....ve
0560: 72 74 20 75 20 3d 20 73 77 32 20 7c 20 28 61 32  rt u = sw2 | (a2
0570: 5b 30 5d 3c 3c 39 29 20 7c 20 28 61 32 5b 31 5d  [0]<<9) | (a2[1]
0580: 3c 3c 31 34 29 20 7c 20 28 61 32 5b 32 5d 3c 3c  <<14) | (a2[2]<<
0590: 31 39 29 3b 0d 0a 09 09 09 69 66 28 20 21 76 69  19);.....if( !vi
05a0: 73 5b 75 5d 20 29 20 7b 0d 0a 09 09 09 09 51 2e  s[u] ) {......Q.
05b0: 70 75 73 68 28 20 65 64 67 65 28 74 2b 6e 7a 4d  push( edge(t+nzM
05c0: 69 6e 2c 75 29 20 29 3b 0d 0a 09 09 09 7d 0d 0a  in,u) );.....}..
05d0: 09 09 7d 0d 0a 09 7d 0d 0a 09 72 65 74 75 72 6e  ..}...}...return
05e0: 20 76 65 63 74 6f 72 3c 69 6e 74 3e 28 61 6e 73   vector<int>(ans
05f0: 2e 62 65 67 69 6e 28 29 2c 20 61 6e 73 2e 65 6e  .begin(), ans.en
0600: 64 28 29 29 3b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73  d());..}....clas
0610: 73 20 53 61 6e 64 54 69 6d 65 72 73 0d 0a 7b 0d  s SandTimers..{.
0620: 0a 70 75 62 6c 69 63 3a 0d 0a 09 76 65 63 74 6f  .public:...vecto
0630: 72 20 3c 69 6e 74 3e 20 62 61 64 49 6e 74 65 72  r <int> badInter
0640: 76 61 6c 73 28 76 65 63 74 6f 72 20 3c 69 6e 74  vals(vector <int
0650: 3e 20 74 69 6d 65 72 73 2c 20 69 6e 74 20 6d 61  > timers, int ma
0660: 78 49 6e 74 65 72 76 61 6c 2c 20 69 6e 74 20 6d  xInterval, int m
0670: 61 78 54 69 6d 65 29 20 0d 0a 09 7b 0d 0a 09 09  axTime) ...{....
0680: 4e 20 3d 20 74 69 6d 65 72 73 2e 73 69 7a 65 28  N = timers.size(
0690: 29 3b 0d 0a 09 09 41 20 3d 20 74 69 6d 65 72 73  );....A = timers
06a0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 64 69 6a 6b  ;....return dijk
06b0: 73 74 72 61 5f 6c 69 6b 65 28 20 76 65 72 74 28  stra_like( vert(
06c0: 29 2c 20 6d 61 78 54 69 6d 65 2c 20 6d 61 78 49  ), maxTime, maxI
06d0: 6e 74 65 72 76 61 6c 20 29 3b 0d 0a 09 7d 0d 0a  nterval );...}..
06e0: 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43  };....// BEGIN C
06f0: 55 54 20 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64  UT HERE..#includ
0700: 65 20 3c 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c  e <ctime>..doubl
0710: 65 20 73 74 61 72 74 5f 74 69 6d 65 3b 73 74 72  e start_time;str
0720: 69 6e 67 20 74 69 6d 65 72 28 29 20 7b 20 6f 73  ing timer() { os
0730: 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20  tringstream os; 
0740: 6f 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e  os << " (" << in
0750: 74 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74  t((clock()-start
0760: 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45  _time)/CLOCKS_PE
0770: 52 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22  R_SEC*1000) << "
0780: 20 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20   msec)"; return 
0790: 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 0d 0a 74  os.str(); }....t
07a0: 65 6d 70 6c 61 74 65 20 3c 74 79 70 65 6e 61 6d  emplate <typenam
07b0: 65 20 54 3e 20 73 74 72 69 6e 67 20 70 72 69 6e  e T> string prin
07c0: 74 5f 61 72 72 61 79 28 63 6f 6e 73 74 20 76 65  t_array(const ve
07d0: 63 74 6f 72 3c 54 3e 20 26 56 29 20 7b 20 6f 73  ctor<T> &V) { os
07e0: 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20  tringstream os; 
07f0: 6f 73 20 3c 3c 20 22 7b 20 22 3b 20 66 6f 72 20  os << "{ "; for 
0800: 28 74 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72  (typename vector
0810: 3c 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61  <T>::const_itera
0820: 74 6f 72 20 69 74 65 72 20 3d 20 56 2e 62 65 67  tor iter = V.beg
0830: 69 6e 28 29 3b 20 69 74 65 72 20 21 3d 20 56 2e  in(); iter != V.
0840: 65 6e 64 28 29 3b 20 2b 2b 69 74 65 72 29 20 6f  end(); ++iter) o
0850: 73 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a 69 74  s << '\"' << *it
0860: 65 72 20 3c 3c 20 22 5c 22 2c 22 3b 20 6f 73 20  er << "\","; os 
0870: 3c 3c 20 22 20 7d 22 3b 20 72 65 74 75 72 6e 20  << " }"; return 
0880: 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 69 6e 74  os.str(); }..int
0890: 20 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e   verify_case(con
08a0: 73 74 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20  st vector <int> 
08b0: 26 45 78 70 65 63 74 65 64 2c 20 63 6f 6e 73 74  &Expected, const
08c0: 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 26 52   vector <int> &R
08d0: 65 63 65 69 76 65 64 29 20 7b 20 69 66 20 28 45  eceived) { if (E
08e0: 78 70 65 63 74 65 64 20 3d 3d 20 52 65 63 65 69  xpected == Recei
08f0: 76 65 64 29 20 63 65 72 72 20 3c 3c 20 22 50 41  ved) cerr << "PA
0900: 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29  SSED" << timer()
0910: 20 3c 3c 20 65 6e 64 6c 3b 20 65 6c 73 65 20 7b   << endl; else {
0920: 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 44   cerr << "FAILED
0930: 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20  " << timer() << 
0940: 65 6e 64 6c 3b 20 63 65 72 72 20 3c 3c 20 22 5c  endl; cerr << "\
0950: 74 45 78 70 65 63 74 65 64 3a 20 22 20 3c 3c 20  tExpected: " << 
0960: 70 72 69 6e 74 5f 61 72 72 61 79 28 45 78 70 65  print_array(Expe
0970: 63 74 65 64 29 20 3c 3c 20 65 6e 64 6c 3b 20 63  cted) << endl; c
0980: 65 72 72 20 3c 3c 20 22 5c 74 52 65 63 65 69 76  err << "\tReceiv
0990: 65 64 3a 20 22 20 3c 3c 20 70 72 69 6e 74 5f 61  ed: " << print_a
09a0: 72 72 61 79 28 52 65 63 65 69 76 65 64 29 20 3c  rray(Received) <
09b0: 3c 20 65 6e 64 6c 3b 20 7d 20 72 65 74 75 72 6e  < endl; } return
09c0: 20 30 3b 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65   0;}....template
09d0: 3c 69 6e 74 20 4e 3e 20 73 74 72 75 63 74 20 43  <int N> struct C
09e0: 61 73 65 5f 20 7b 20 43 61 73 65 5f 28 29 7b 73  ase_ { Case_(){s
09f0: 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28  tart_time=clock(
0a00: 29 3b 7d 20 7d 3b 0d 0a 63 68 61 72 20 54 65 73  );} };..char Tes
0a10: 74 5f 28 2e 2e 2e 29 3b 0d 0a 69 6e 74 20 54 65  t_(...);..int Te
0a20: 73 74 5f 28 43 61 73 65 5f 3c 30 3e 29 20 7b 0d  st_(Case_<0>) {.
0a30: 0a 09 69 6e 74 20 74 69 6d 65 72 73 5f 5b 5d 20  ..int timers_[] 
0a40: 3d 20 7b 20 35 2c 20 37 20 7d 3b 0d 0a 09 20 20  = { 5, 7 };...  
0a50: 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 74 69 6d  vector <int> tim
0a60: 65 72 73 28 74 69 6d 65 72 73 5f 2c 20 74 69 6d  ers(timers_, tim
0a70: 65 72 73 5f 2b 73 69 7a 65 6f 66 28 74 69 6d 65  ers_+sizeof(time
0a80: 72 73 5f 29 2f 73 69 7a 65 6f 66 28 2a 74 69 6d  rs_)/sizeof(*tim
0a90: 65 72 73 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 6d  ers_)); ...int m
0aa0: 61 78 49 6e 74 65 72 76 61 6c 20 3d 20 31 30 3b  axInterval = 10;
0ab0: 20 0d 0a 09 69 6e 74 20 6d 61 78 54 69 6d 65 20   ...int maxTime 
0ac0: 3d 20 31 30 3b 20 0d 0a 09 69 6e 74 20 52 65 74  = 10; ...int Ret
0ad0: 56 61 6c 5f 5b 5d 20 3d 20 7b 31 2c 20 36 2c 20  Val_[] = {1, 6, 
0ae0: 38 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20  8 };...  vector 
0af0: 3c 69 6e 74 3e 20 52 65 74 56 61 6c 28 52 65 74  <int> RetVal(Ret
0b00: 56 61 6c 5f 2c 20 52 65 74 56 61 6c 5f 2b 73 69  Val_, RetVal_+si
0b10: 7a 65 6f 66 28 52 65 74 56 61 6c 5f 29 2f 73 69  zeof(RetVal_)/si
0b20: 7a 65 6f 66 28 2a 52 65 74 56 61 6c 5f 29 29 3b  zeof(*RetVal_));
0b30: 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66   ...return verif
0b40: 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 53  y_case(RetVal, S
0b50: 61 6e 64 54 69 6d 65 72 73 28 29 2e 62 61 64 49  andTimers().badI
0b60: 6e 74 65 72 76 61 6c 73 28 74 69 6d 65 72 73 2c  ntervals(timers,
0b70: 20 6d 61 78 49 6e 74 65 72 76 61 6c 2c 20 6d 61   maxInterval, ma
0b80: 78 54 69 6d 65 29 29 3b 20 7d 0d 0a 69 6e 74 20  xTime)); }..int 
0b90: 54 65 73 74 5f 28 43 61 73 65 5f 3c 31 3e 29 20  Test_(Case_<1>) 
0ba0: 7b 0d 0a 09 69 6e 74 20 74 69 6d 65 72 73 5f 5b  {...int timers_[
0bb0: 5d 20 3d 20 7b 20 32 2c 20 31 30 2c 20 32 30 20  ] = { 2, 10, 20 
0bc0: 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69  };...  vector <i
0bd0: 6e 74 3e 20 74 69 6d 65 72 73 28 74 69 6d 65 72  nt> timers(timer
0be0: 73 5f 2c 20 74 69 6d 65 72 73 5f 2b 73 69 7a 65  s_, timers_+size
0bf0: 6f 66 28 74 69 6d 65 72 73 5f 29 2f 73 69 7a 65  of(timers_)/size
0c00: 6f 66 28 2a 74 69 6d 65 72 73 5f 29 29 3b 20 0d  of(*timers_)); .
0c10: 0a 09 69 6e 74 20 6d 61 78 49 6e 74 65 72 76 61  ..int maxInterva
0c20: 6c 20 3d 20 33 30 3b 20 0d 0a 09 69 6e 74 20 6d  l = 30; ...int m
0c30: 61 78 54 69 6d 65 20 3d 20 34 30 3b 20 0d 0a 09  axTime = 40; ...
0c40: 69 6e 74 20 52 65 74 56 61 6c 5f 5b 5d 20 3d 20  int RetVal_[] = 
0c50: 7b 31 2c 20 33 2c 20 35 2c 20 37 2c 20 39 2c 20  {1, 3, 5, 7, 9, 
0c60: 31 31 2c 20 31 33 2c 20 31 35 2c 20 31 37 2c 20  11, 13, 15, 17, 
0c70: 31 39 2c 20 32 31 2c 20 32 33 2c 20 32 35 2c 20  19, 21, 23, 25, 
0c80: 32 37 2c 20 32 39 20 7d 3b 0d 0a 09 20 20 76 65  27, 29 };...  ve
0c90: 63 74 6f 72 20 3c 69 6e 74 3e 20 52 65 74 56 61  ctor <int> RetVa
0ca0: 6c 28 52 65 74 56 61 6c 5f 2c 20 52 65 74 56 61  l(RetVal_, RetVa
0cb0: 6c 5f 2b 73 69 7a 65 6f 66 28 52 65 74 56 61 6c  l_+sizeof(RetVal
0cc0: 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 65 74 56 61  _)/sizeof(*RetVa
0cd0: 6c 5f 29 29 3b 20 0d 0a 09 72 65 74 75 72 6e 20  l_)); ...return 
0ce0: 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 56  verify_case(RetV
0cf0: 61 6c 2c 20 53 61 6e 64 54 69 6d 65 72 73 28 29  al, SandTimers()
0d00: 2e 62 61 64 49 6e 74 65 72 76 61 6c 73 28 74 69  .badIntervals(ti
0d10: 6d 65 72 73 2c 20 6d 61 78 49 6e 74 65 72 76 61  mers, maxInterva
0d20: 6c 2c 20 6d 61 78 54 69 6d 65 29 29 3b 20 7d 0d  l, maxTime)); }.
0d30: 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65 5f  .int Test_(Case_
0d40: 3c 32 3e 29 20 7b 0d 0a 09 69 6e 74 20 74 69 6d  <2>) {...int tim
0d50: 65 72 73 5f 5b 5d 20 3d 20 7b 20 32 2c 20 35 2c  ers_[] = { 2, 5,
0d60: 20 39 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72   9 };...  vector
0d70: 20 3c 69 6e 74 3e 20 74 69 6d 65 72 73 28 74 69   <int> timers(ti
0d80: 6d 65 72 73 5f 2c 20 74 69 6d 65 72 73 5f 2b 73  mers_, timers_+s
0d90: 69 7a 65 6f 66 28 74 69 6d 65 72 73 5f 29 2f 73  izeof(timers_)/s
0da0: 69 7a 65 6f 66 28 2a 74 69 6d 65 72 73 5f 29 29  izeof(*timers_))
0db0: 3b 20 0d 0a 09 69 6e 74 20 6d 61 78 49 6e 74 65  ; ...int maxInte
0dc0: 72 76 61 6c 20 3d 20 33 36 30 3b 20 0d 0a 09 69  rval = 360; ...i
0dd0: 6e 74 20 6d 61 78 54 69 6d 65 20 3d 20 33 36 30  nt maxTime = 360
0de0: 3b 20 0d 0a 09 76 65 63 74 6f 72 20 3c 69 6e 74  ; ...vector <int
0df0: 3e 20 52 65 74 56 61 6c 3b 20 0d 0a 09 72 65 74  > RetVal; ...ret
0e00: 75 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65 28  urn verify_case(
0e10: 52 65 74 56 61 6c 2c 20 53 61 6e 64 54 69 6d 65  RetVal, SandTime
0e20: 72 73 28 29 2e 62 61 64 49 6e 74 65 72 76 61 6c  rs().badInterval
0e30: 73 28 74 69 6d 65 72 73 2c 20 6d 61 78 49 6e 74  s(timers, maxInt
0e40: 65 72 76 61 6c 2c 20 6d 61 78 54 69 6d 65 29 29  erval, maxTime))
0e50: 3b 20 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43  ; }..int Test_(C
0e60: 61 73 65 5f 3c 33 3e 29 20 7b 0d 0a 09 69 6e 74  ase_<3>) {...int
0e70: 20 74 69 6d 65 72 73 5f 5b 5d 20 3d 20 7b 20 34   timers_[] = { 4
0e80: 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c   };...  vector <
0e90: 69 6e 74 3e 20 74 69 6d 65 72 73 28 74 69 6d 65  int> timers(time
0ea0: 72 73 5f 2c 20 74 69 6d 65 72 73 5f 2b 73 69 7a  rs_, timers_+siz
0eb0: 65 6f 66 28 74 69 6d 65 72 73 5f 29 2f 73 69 7a  eof(timers_)/siz
0ec0: 65 6f 66 28 2a 74 69 6d 65 72 73 5f 29 29 3b 20  eof(*timers_)); 
0ed0: 0d 0a 09 69 6e 74 20 6d 61 78 49 6e 74 65 72 76  ...int maxInterv
0ee0: 61 6c 20 3d 20 32 33 3b 20 0d 0a 09 69 6e 74 20  al = 23; ...int 
0ef0: 6d 61 78 54 69 6d 65 20 3d 20 34 37 3b 20 0d 0a  maxTime = 47; ..
0f00: 09 69 6e 74 20 52 65 74 56 61 6c 5f 5b 5d 20 3d  .int RetVal_[] =
0f10: 20 7b 31 2c 20 32 2c 20 33 2c 20 35 2c 20 36 2c   {1, 2, 3, 5, 6,
0f20: 20 37 2c 20 39 2c 20 31 30 2c 20 31 31 2c 20 31   7, 9, 10, 11, 1
0f30: 33 2c 20 31 34 2c 20 31 35 2c 20 31 37 2c 20 31  3, 14, 15, 17, 1
0f40: 38 2c 20 31 39 2c 20 32 31 2c 20 32 32 2c 20 32  8, 19, 21, 22, 2
0f50: 33 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20  3 };...  vector 
0f60: 3c 69 6e 74 3e 20 52 65 74 56 61 6c 28 52 65 74  <int> RetVal(Ret
0f70: 56 61 6c 5f 2c 20 52 65 74 56 61 6c 5f 2b 73 69  Val_, RetVal_+si
0f80: 7a 65 6f 66 28 52 65 74 56 61 6c 5f 29 2f 73 69  zeof(RetVal_)/si
0f90: 7a 65 6f 66 28 2a 52 65 74 56 61 6c 5f 29 29 3b  zeof(*RetVal_));
0fa0: 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66   ...return verif
0fb0: 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 53  y_case(RetVal, S
0fc0: 61 6e 64 54 69 6d 65 72 73 28 29 2e 62 61 64 49  andTimers().badI
0fd0: 6e 74 65 72 76 61 6c 73 28 74 69 6d 65 72 73 2c  ntervals(timers,
0fe0: 20 6d 61 78 49 6e 74 65 72 76 61 6c 2c 20 6d 61   maxInterval, ma
0ff0: 78 54 69 6d 65 29 29 3b 20 7d 0d 0a 69 6e 74 20  xTime)); }..int 
1000: 54 65 73 74 5f 28 43 61 73 65 5f 3c 34 3e 29 20  Test_(Case_<4>) 
1010: 7b 0d 0a 09 69 6e 74 20 74 69 6d 65 72 73 5f 5b  {...int timers_[
1020: 5d 20 3d 20 7b 20 32 30 2c 20 31 33 20 7d 3b 0d  ] = { 20, 13 };.
1030: 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e  ..  vector <int>
1040: 20 74 69 6d 65 72 73 28 74 69 6d 65 72 73 5f 2c   timers(timers_,
1050: 20 74 69 6d 65 72 73 5f 2b 73 69 7a 65 6f 66 28   timers_+sizeof(
1060: 74 69 6d 65 72 73 5f 29 2f 73 69 7a 65 6f 66 28  timers_)/sizeof(
1070: 2a 74 69 6d 65 72 73 5f 29 29 3b 20 0d 0a 09 69  *timers_)); ...i
1080: 6e 74 20 6d 61 78 49 6e 74 65 72 76 61 6c 20 3d  nt maxInterval =
1090: 20 33 30 3b 20 0d 0a 09 69 6e 74 20 6d 61 78 54   30; ...int maxT
10a0: 69 6d 65 20 3d 20 33 30 3b 20 0d 0a 09 69 6e 74  ime = 30; ...int
10b0: 20 52 65 74 56 61 6c 5f 5b 5d 20 3d 20 7b 31 2c   RetVal_[] = {1,
10c0: 20 32 2c 20 33 2c 20 34 2c 20 35 2c 20 38 2c 20   2, 3, 4, 5, 8, 
10d0: 39 2c 20 31 30 2c 20 31 31 2c 20 31 32 2c 20 31  9, 10, 11, 12, 1
10e0: 35 2c 20 31 36 2c 20 31 37 2c 20 31 38 2c 20 31  5, 16, 17, 18, 1
10f0: 39 2c 20 32 31 2c 20 32 32 2c 20 32 33 2c 20 32  9, 21, 22, 23, 2
1100: 34 2c 20 32 35 2c 20 32 38 2c 20 32 39 2c 20 33  4, 25, 28, 29, 3
1110: 30 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20  0 };...  vector 
1120: 3c 69 6e 74 3e 20 52 65 74 56 61 6c 28 52 65 74  <int> RetVal(Ret
1130: 56 61 6c 5f 2c 20 52 65 74 56 61 6c 5f 2b 73 69  Val_, RetVal_+si
1140: 7a 65 6f 66 28 52 65 74 56 61 6c 5f 29 2f 73 69  zeof(RetVal_)/si
1150: 7a 65 6f 66 28 2a 52 65 74 56 61 6c 5f 29 29 3b  zeof(*RetVal_));
1160: 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66   ...return verif
1170: 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 53  y_case(RetVal, S
1180: 61 6e 64 54 69 6d 65 72 73 28 29 2e 62 61 64 49  andTimers().badI
1190: 6e 74 65 72 76 61 6c 73 28 74 69 6d 65 72 73 2c  ntervals(timers,
11a0: 20 6d 61 78 49 6e 74 65 72 76 61 6c 2c 20 6d 61   maxInterval, ma
11b0: 78 54 69 6d 65 29 29 3b 20 7d 0d 0a 69 6e 74 20  xTime)); }..int 
11c0: 54 65 73 74 5f 28 43 61 73 65 5f 3c 35 3e 29 20  Test_(Case_<5>) 
11d0: 7b 0d 0a 09 69 6e 74 20 74 69 6d 65 72 73 5f 5b  {...int timers_[
11e0: 5d 20 3d 20 7b 20 32 30 2c 20 31 37 2c 20 31 33  ] = { 20, 17, 13
11f0: 20 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c   };...  vector <
1200: 69 6e 74 3e 20 74 69 6d 65 72 73 28 74 69 6d 65  int> timers(time
1210: 72 73 5f 2c 20 74 69 6d 65 72 73 5f 2b 73 69 7a  rs_, timers_+siz
1220: 65 6f 66 28 74 69 6d 65 72 73 5f 29 2f 73 69 7a  eof(timers_)/siz
1230: 65 6f 66 28 2a 74 69 6d 65 72 73 5f 29 29 3b 20  eof(*timers_)); 
1240: 0d 0a 09 69 6e 74 20 6d 61 78 49 6e 74 65 72 76  ...int maxInterv
1250: 61 6c 20 3d 20 32 35 3b 20 0d 0a 09 69 6e 74 20  al = 25; ...int 
1260: 6d 61 78 54 69 6d 65 20 3d 20 33 30 3b 20 0d 0a  maxTime = 30; ..
1270: 09 69 6e 74 20 52 65 74 56 61 6c 5f 5b 5d 20 3d  .int RetVal_[] =
1280: 20 7b 31 38 2c 20 31 39 20 7d 3b 0d 0a 09 20 20   {18, 19 };...  
1290: 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 52 65 74  vector <int> Ret
12a0: 56 61 6c 28 52 65 74 56 61 6c 5f 2c 20 52 65 74  Val(RetVal_, Ret
12b0: 56 61 6c 5f 2b 73 69 7a 65 6f 66 28 52 65 74 56  Val_+sizeof(RetV
12c0: 61 6c 5f 29 2f 73 69 7a 65 6f 66 28 2a 52 65 74  al_)/sizeof(*Ret
12d0: 56 61 6c 5f 29 29 3b 20 0d 0a 09 72 65 74 75 72  Val_)); ...retur
12e0: 6e 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65  n verify_case(Re
12f0: 74 56 61 6c 2c 20 53 61 6e 64 54 69 6d 65 72 73  tVal, SandTimers
1300: 28 29 2e 62 61 64 49 6e 74 65 72 76 61 6c 73 28  ().badIntervals(
1310: 74 69 6d 65 72 73 2c 20 6d 61 78 49 6e 74 65 72  timers, maxInter
1320: 76 61 6c 2c 20 6d 61 78 54 69 6d 65 29 29 3b 20  val, maxTime)); 
1330: 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73  }..int Test_(Cas
1340: 65 5f 3c 36 3e 29 20 7b 0d 0a 09 69 6e 74 20 74  e_<6>) {...int t
1350: 69 6d 65 72 73 5f 5b 5d 20 3d 20 7b 20 32 30 2c  imers_[] = { 20,
1360: 20 32 30 2c 20 31 39 20 7d 3b 0d 0a 09 20 20 76   20, 19 };...  v
1370: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 74 69 6d 65  ector <int> time
1380: 72 73 28 74 69 6d 65 72 73 5f 2c 20 74 69 6d 65  rs(timers_, time
1390: 72 73 5f 2b 73 69 7a 65 6f 66 28 74 69 6d 65 72  rs_+sizeof(timer
13a0: 73 5f 29 2f 73 69 7a 65 6f 66 28 2a 74 69 6d 65  s_)/sizeof(*time
13b0: 72 73 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 6d 61  rs_)); ...int ma
13c0: 78 49 6e 74 65 72 76 61 6c 20 3d 20 33 36 30 3b  xInterval = 360;
13d0: 20 0d 0a 09 69 6e 74 20 6d 61 78 54 69 6d 65 20   ...int maxTime 
13e0: 3d 20 33 36 30 3b 20 0d 0a 09 76 65 63 74 6f 72  = 360; ...vector
13f0: 20 3c 69 6e 74 3e 20 52 65 74 56 61 6c 3b 20 0d   <int> RetVal; .
1400: 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 79 5f  ..return verify_
1410: 63 61 73 65 28 52 65 74 56 61 6c 2c 20 53 61 6e  case(RetVal, San
1420: 64 54 69 6d 65 72 73 28 29 2e 62 61 64 49 6e 74  dTimers().badInt
1430: 65 72 76 61 6c 73 28 74 69 6d 65 72 73 2c 20 6d  ervals(timers, m
1440: 61 78 49 6e 74 65 72 76 61 6c 2c 20 6d 61 78 54  axInterval, maxT
1450: 69 6d 65 29 29 3b 20 7d 0d 0a 0d 0a 74 65 6d 70  ime)); }....temp
1460: 6c 61 74 65 3c 69 6e 74 20 4e 3e 20 76 6f 69 64  late<int N> void
1470: 20 52 75 6e 5f 28 29 20 7b 20 63 65 72 72 20 3c   Run_() { cerr <
1480: 3c 20 22 54 65 73 74 20 43 61 73 65 20 23 22 20  < "Test Case #" 
1490: 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c  << N << "..." <<
14a0: 20 66 6c 75 73 68 3b 20 54 65 73 74 5f 28 43 61   flush; Test_(Ca
14b0: 73 65 5f 3c 4e 3e 28 29 29 3b 20 52 75 6e 5f 3c  se_<N>()); Run_<
14c0: 73 69 7a 65 6f 66 28 54 65 73 74 5f 28 43 61 73  sizeof(Test_(Cas
14d0: 65 5f 3c 4e 2b 31 3e 28 29 29 29 3d 3d 31 20 3f  e_<N+1>()))==1 ?
14e0: 20 2d 31 20 3a 20 4e 2b 31 3e 28 29 3b 20 7d 0d   -1 : N+1>(); }.
14f0: 0a 74 65 6d 70 6c 61 74 65 3c 3e 20 20 20 20 20  .template<>     
1500: 20 76 6f 69 64 20 52 75 6e 5f 3c 2d 31 3e 28 29   void Run_<-1>()
1510: 20 7b 7d 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 20   {}..int main() 
1520: 7b 20 52 75 6e 5f 3c 30 3e 28 29 3b 20 7d 0d 0a  { Run_<0>(); }..
1530: 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d  // END CUT HERE.
1540: 0a 0d 0a                                         ...