Hex Artifact Content
Not logged in

Artifact 65aad8bb5e7b3849b0fa65cb5921dd6f58bfa850:


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 23 69 6e 63 6c 75 64 65 20  sert>..#include 
0140: 3c 63 73 74 72 69 6e 67 3e 0d 0a 75 73 69 6e 67  <cstring>..using
0150: 20 6e 61 6d 65 73 70 61 63 65 20 73 74 64 3b 0d   namespace std;.
0160: 0a 74 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c 6f  .typedef long lo
0170: 6e 67 20 4c 4c 3b 0d 0a 74 79 70 65 64 65 66 20  ng LL;..typedef 
0180: 63 6f 6d 70 6c 65 78 3c 64 6f 75 62 6c 65 3e 20  complex<double> 
0190: 43 4d 50 3b 0d 0a 0d 0a 63 6c 61 73 73 20 42 61  CMP;....class Ba
01a0: 6c 61 6e 63 69 6e 67 41 63 74 20 7b 20 70 75 62  lancingAct { pub
01b0: 6c 69 63 3a 0d 0a 09 76 65 63 74 6f 72 20 3c 73  lic:...vector <s
01c0: 74 72 69 6e 67 3e 20 72 65 63 6f 76 65 72 28 76  tring> recover(v
01d0: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 6c 61 62 65  ector <int> labe
01e0: 6c 65 64 2c 20 76 65 63 74 6f 72 20 3c 69 6e 74  led, vector <int
01f0: 3e 20 75 6e 6c 61 62 65 6c 65 64 29 20 0d 0a 09  > unlabeled) ...
0200: 7b 0d 0a 09 09 76 65 63 74 6f 72 3c 69 6e 74 3e  {....vector<int>
0210: 20 73 61 6d 65 28 75 6e 6c 61 62 65 6c 65 64 2e   same(unlabeled.
0220: 73 69 7a 65 28 29 29 3b 0d 0a 09 09 66 6f 72 28  size());....for(
0230: 69 6e 74 20 69 3d 30 3b 20 69 3c 73 61 6d 65 2e  int i=0; i<same.
0240: 73 69 7a 65 28 29 3b 20 2b 2b 69 29 0d 0a 09 09  size(); ++i)....
0250: 09 73 61 6d 65 5b 69 5d 20 3d 20 63 6f 75 6e 74  .same[i] = count
0260: 28 75 6e 6c 61 62 65 6c 65 64 2e 62 65 67 69 6e  (unlabeled.begin
0270: 28 29 2c 20 75 6e 6c 61 62 65 6c 65 64 2e 65 6e  (), unlabeled.en
0280: 64 28 29 2c 20 75 6e 6c 61 62 65 6c 65 64 5b 69  d(), unlabeled[i
0290: 5d 29 3b 0d 0a 0d 0a 09 09 73 65 74 3c 75 6e 73  ]);......set<uns
02a0: 69 67 6e 65 64 20 69 6e 74 3e 20 63 61 6e 42 65  igned int> canBe
02b0: 4d 61 64 65 3b 0d 0a 09 09 63 61 6e 42 65 4d 61  Made;....canBeMa
02c0: 64 65 2e 69 6e 73 65 72 74 28 30 29 3b 0d 0a 09  de.insert(0);...
02d0: 09 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 3c  .for(int i=0; i<
02e0: 6c 61 62 65 6c 65 64 2e 73 69 7a 65 28 29 3b 20  labeled.size(); 
02f0: 2b 2b 69 29 20 7b 0d 0a 09 09 09 73 65 74 3c 75  ++i) {.....set<u
0300: 6e 73 69 67 6e 65 64 20 69 6e 74 3e 20 6e 65 78  nsigned int> nex
0310: 74 3b 0d 0a 09 09 09 66 6f 72 28 73 65 74 3c 75  t;.....for(set<u
0320: 6e 73 69 67 6e 65 64 20 69 6e 74 3e 3a 3a 69 74  nsigned int>::it
0330: 65 72 61 74 6f 72 20 69 74 3d 63 61 6e 42 65 4d  erator it=canBeM
0340: 61 64 65 2e 62 65 67 69 6e 28 29 3b 20 69 74 21  ade.begin(); it!
0350: 3d 63 61 6e 42 65 4d 61 64 65 2e 65 6e 64 28 29  =canBeMade.end()
0360: 3b 20 2b 2b 69 74 29 20 7b 0d 0a 09 09 09 09 69  ; ++it) {......i
0370: 66 28 2a 69 74 2b 6c 61 62 65 6c 65 64 5b 69 5d  f(*it+labeled[i]
0380: 20 3e 20 2a 69 74 20 29 0d 0a 09 09 09 09 09 6e   > *it ).......n
0390: 65 78 74 2e 69 6e 73 65 72 74 28 2a 69 74 2b 6c  ext.insert(*it+l
03a0: 61 62 65 6c 65 64 5b 69 5d 29 3b 0d 0a 09 09 09  abeled[i]);.....
03b0: 7d 0d 0a 09 09 09 63 61 6e 42 65 4d 61 64 65 2e  }.....canBeMade.
03c0: 69 6e 73 65 72 74 28 6e 65 78 74 2e 62 65 67 69  insert(next.begi
03d0: 6e 28 29 2c 20 6e 65 78 74 2e 65 6e 64 28 29 29  n(), next.end())
03e0: 3b 0d 0a 09 09 7d 0d 0a 09 09 76 65 63 74 6f 72  ;....}....vector
03f0: 3c 75 6e 73 69 67 6e 65 64 20 69 6e 74 3e 20 63  <unsigned int> c
0400: 62 6d 28 63 61 6e 42 65 4d 61 64 65 2e 62 65 67  bm(canBeMade.beg
0410: 69 6e 28 29 2c 20 63 61 6e 42 65 4d 61 64 65 2e  in(), canBeMade.
0420: 65 6e 64 28 29 29 3b 0d 0a 0d 0a 09 09 76 65 63  end());......vec
0430: 74 6f 72 3c 73 74 72 69 6e 67 3e 20 61 6e 73 77  tor<string> answ
0440: 65 72 28 75 6e 6c 61 62 65 6c 65 64 2e 73 69 7a  er(unlabeled.siz
0450: 65 28 29 2c 20 22 6e 6f 22 29 3b 0d 0a 09 09 66  e(), "no");....f
0460: 6f 72 28 3b 3b 29 20 7b 0d 0a 09 09 09 62 6f 6f  or(;;) {.....boo
0470: 6c 20 75 70 64 61 74 65 64 20 3d 20 66 61 6c 73  l updated = fals
0480: 65 3b 0d 0a 09 09 09 66 6f 72 28 69 6e 74 20 69  e;.....for(int i
0490: 3d 30 3b 20 69 3c 75 6e 6c 61 62 65 6c 65 64 2e  =0; i<unlabeled.
04a0: 73 69 7a 65 28 29 3b 20 2b 2b 69 29 0d 0a 09 09  size(); ++i)....
04b0: 09 09 69 66 28 20 61 6e 73 77 65 72 5b 69 5d 20  ..if( answer[i] 
04c0: 3d 3d 20 22 6e 6f 22 20 29 20 7b 0d 0a 09 09 09  == "no" ) {.....
04d0: 09 09 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 75  ..unsigned int u
04e0: 6c 20 3d 20 75 6e 6c 61 62 65 6c 65 64 5b 69 5d  l = unlabeled[i]
04f0: 3b 0d 0a 09 09 09 09 09 62 6f 6f 6c 20 6f 6b 20  ;.......bool ok 
0500: 3d 20 66 61 6c 73 65 3b 0d 0a 09 09 09 09 09 69  = false;.......i
0510: 66 28 20 63 61 6e 4d 61 6b 65 28 75 6c 2c 20 63  f( canMake(ul, c
0520: 62 6d 29 20 29 0d 0a 09 09 09 09 09 09 6f 6b 20  bm) )........ok 
0530: 3d 20 74 72 75 65 3b 0d 0a 09 09 09 09 09 65 6c  = true;.......el
0540: 73 65 20 69 66 28 20 63 61 6e 4d 61 6b 65 28 75  se if( canMake(u
0550: 6c 2b 31 2c 20 63 62 6d 29 20 26 26 20 63 61 6e  l+1, cbm) && can
0560: 4d 61 6b 65 28 75 6c 2d 31 2c 20 63 62 6d 29 20  Make(ul-1, cbm) 
0570: 29 0d 0a 09 09 09 09 09 09 6f 6b 20 3d 20 74 72  )........ok = tr
0580: 75 65 3b 0d 0a 09 09 09 09 09 65 6c 73 65 20 69  ue;.......else i
0590: 66 28 20 73 61 6d 65 5b 69 5d 3e 3d 32 20 29 20  f( same[i]>=2 ) 
05a0: 7b 0d 0a 09 09 09 09 09 09 66 6f 72 28 69 6e 74  {........for(int
05b0: 20 6b 3d 32 3b 20 6b 3c 3d 73 61 6d 65 5b 69 5d   k=2; k<=same[i]
05c0: 3b 20 2b 2b 6b 29 20 7b 0d 0a 09 09 09 09 09 09  ; ++k) {........
05d0: 09 69 66 28 63 61 6e 4d 61 6b 65 28 75 6c 2a 6b  .if(canMake(ul*k
05e0: 2c 20 63 62 6d 29 29 0d 0a 09 09 09 09 09 09 09  , cbm)).........
05f0: 09 7b 6f 6b 3d 74 72 75 65 3b 20 62 72 65 61 6b  .{ok=true; break
0600: 3b 7d 0d 0a 09 09 09 09 09 09 09 62 6f 6f 6c 20  ;}.........bool 
0610: 6c 6f 6b 20 3d 20 66 61 6c 73 65 2c 20 72 6f 6b  lok = false, rok
0620: 3d 66 61 6c 73 65 3b 0d 0a 09 09 09 09 09 09 09  =false;.........
0630: 66 6f 72 28 69 6e 74 20 6a 3d 31 3b 20 6a 3c 3d  for(int j=1; j<=
0640: 6b 3b 20 2b 2b 6a 29 20 7b 0d 0a 09 09 09 09 09  k; ++j) {.......
0650: 09 09 09 69 66 28 63 61 6e 4d 61 6b 65 28 75 6c  ...if(canMake(ul
0660: 2a 6b 2d 6a 2c 20 63 62 6d 29 29 0d 0a 09 09 09  *k-j, cbm)).....
0670: 09 09 09 09 09 09 6c 6f 6b 3d 74 72 75 65 3b 0d  ......lok=true;.
0680: 0a 09 09 09 09 09 09 09 09 69 66 28 63 61 6e 4d  .........if(canM
0690: 61 6b 65 28 75 6c 2a 6b 2b 6a 2c 20 63 62 6d 29  ake(ul*k+j, cbm)
06a0: 29 0d 0a 09 09 09 09 09 09 09 09 09 72 6f 6b 3d  )...........rok=
06b0: 74 72 75 65 3b 0d 0a 09 09 09 09 09 09 09 09 69  true;..........i
06c0: 66 28 6c 6f 6b 26 26 72 6f 6b 29 7b 6f 6b 3d 74  f(lok&&rok){ok=t
06d0: 72 75 65 3b 20 62 72 65 61 6b 3b 7d 0d 0a 09 09  rue; break;}....
06e0: 09 09 09 09 09 7d 0d 0a 09 09 09 09 09 09 7d 0d  .....}........}.
06f0: 0a 09 09 09 09 09 7d 0d 0a 0d 0a 09 09 09 09 09  ......}.........
0700: 69 66 28 20 6f 6b 20 29 20 7b 0d 0a 09 09 09 09  if( ok ) {......
0710: 09 09 2f 2f 20 75 70 64 61 74 65 0d 0a 09 09 09  ..// update.....
0720: 09 09 09 75 70 64 61 74 65 64 20 3d 20 74 72 75  ...updated = tru
0730: 65 3b 0d 0a 09 09 09 09 09 09 61 6e 73 77 65 72  e;........answer
0740: 5b 69 5d 20 3d 20 22 79 65 73 22 3b 0d 0a 09 09  [i] = "yes";....
0750: 09 09 09 09 66 6f 72 28 69 6e 74 20 6b 3d 30 2c  ....for(int k=0,
0760: 6b 65 3d 63 62 6d 2e 73 69 7a 65 28 29 3b 20 6b  ke=cbm.size(); k
0770: 21 3d 6b 65 3b 20 2b 2b 6b 29 0d 0a 09 09 09 09  !=ke; ++k)......
0780: 09 09 09 63 62 6d 2e 70 75 73 68 5f 62 61 63 6b  ...cbm.push_back
0790: 28 63 62 6d 5b 6b 5d 2b 75 6e 6c 61 62 65 6c 65  (cbm[k]+unlabele
07a0: 64 5b 69 5d 29 3b 0d 0a 09 09 09 09 09 09 73 6f  d[i]);........so
07b0: 72 74 28 63 62 6d 2e 62 65 67 69 6e 28 29 2c 20  rt(cbm.begin(), 
07c0: 63 62 6d 2e 65 6e 64 28 29 29 3b 0d 0a 09 09 09  cbm.end());.....
07d0: 09 09 09 63 62 6d 2e 65 72 61 73 65 28 75 6e 69  ...cbm.erase(uni
07e0: 71 75 65 28 63 62 6d 2e 62 65 67 69 6e 28 29 2c  que(cbm.begin(),
07f0: 63 62 6d 2e 65 6e 64 28 29 29 2c 20 63 62 6d 2e  cbm.end()), cbm.
0800: 65 6e 64 28 29 29 3b 0d 0a 09 09 09 09 09 7d 0d  end());.......}.
0810: 0a 09 09 09 09 7d 0d 0a 09 09 09 69 66 28 20 21  .....}.....if( !
0820: 75 70 64 61 74 65 64 20 29 0d 0a 09 09 09 09 62  updated )......b
0830: 72 65 61 6b 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65  reak;....}....re
0840: 74 75 72 6e 20 61 6e 73 77 65 72 3b 0d 0a 09 7d  turn answer;...}
0850: 0d 0a 0d 0a 09 62 6f 6f 6c 20 63 61 6e 4d 61 6b  .....bool canMak
0860: 65 28 20 69 6e 74 20 74 2c 20 76 65 63 74 6f 72  e( int t, vector
0870: 3c 75 6e 73 69 67 6e 65 64 20 69 6e 74 3e 26 20  <unsigned int>& 
0880: 63 62 6d 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28  cbm )...{....if(
0890: 20 74 3d 3d 30 20 7c 7c 20 74 3d 3d 31 30 30 30   t==0 || t==1000
08a0: 30 30 30 30 31 20 29 0d 0a 09 09 09 72 65 74 75  00001 ).....retu
08b0: 72 6e 20 74 72 75 65 3b 0d 0a 09 09 69 66 28 20  rn true;....if( 
08c0: 62 69 6e 61 72 79 5f 73 65 61 72 63 68 28 63 62  binary_search(cb
08d0: 6d 2e 62 65 67 69 6e 28 29 2c 20 63 62 6d 2e 65  m.begin(), cbm.e
08e0: 6e 64 28 29 2c 20 74 29 20 29 0d 0a 09 09 09 72  nd(), t) ).....r
08f0: 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 09 66  eturn true;....f
0900: 6f 72 28 76 65 63 74 6f 72 3c 75 6e 73 69 67 6e  or(vector<unsign
0910: 65 64 20 69 6e 74 3e 3a 3a 69 74 65 72 61 74 6f  ed int>::iterato
0920: 72 20 69 74 3d 63 62 6d 2e 62 65 67 69 6e 28 29  r it=cbm.begin()
0930: 3b 20 69 74 21 3d 63 62 6d 2e 65 6e 64 28 29 3b  ; it!=cbm.end();
0940: 20 2b 2b 69 74 29 0d 0a 09 09 09 69 66 28 20 62   ++it).....if( b
0950: 69 6e 61 72 79 5f 73 65 61 72 63 68 28 63 62 6d  inary_search(cbm
0960: 2e 62 65 67 69 6e 28 29 2c 20 63 62 6d 2e 65 6e  .begin(), cbm.en
0970: 64 28 29 2c 20 74 2b 2a 69 74 29 20 29 0d 0a 09  d(), t+*it) )...
0980: 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d  ...return true;.
0990: 0a 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b  ...return false;
09a0: 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42  ...}..};....// B
09b0: 45 47 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23  EGIN CUT HERE..#
09c0: 69 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d  include <ctime>.
09d0: 0a 64 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69  .double start_ti
09e0: 6d 65 3b 20 73 74 72 69 6e 67 20 74 69 6d 65 72  me; string timer
09f0: 28 29 0d 0a 20 7b 20 6f 73 74 72 69 6e 67 73 74  ().. { ostringst
0a00: 72 65 61 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 22  ream os; os << "
0a10: 20 28 22 20 3c 3c 20 69 6e 74 28 28 63 6c 6f 63   (" << int((cloc
0a20: 6b 28 29 2d 73 74 61 72 74 5f 74 69 6d 65 29 2f  k()-start_time)/
0a30: 43 4c 4f 43 4b 53 5f 50 45 52 5f 53 45 43 2a 31  CLOCKS_PER_SEC*1
0a40: 30 30 30 29 20 3c 3c 20 22 20 6d 73 65 63 29 22  000) << " msec)"
0a50: 3b 20 72 65 74 75 72 6e 20 6f 73 2e 73 74 72 28  ; return os.str(
0a60: 29 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c 74  ); }..template<t
0a70: 79 70 65 6e 61 6d 65 20 54 3e 20 6f 73 74 72 65  ypename T> ostre
0a80: 61 6d 26 20 6f 70 65 72 61 74 6f 72 3c 3c 28 6f  am& operator<<(o
0a90: 73 74 72 65 61 6d 26 20 6f 73 2c 20 63 6f 6e 73  stream& os, cons
0aa0: 74 20 76 65 63 74 6f 72 3c 54 3e 26 20 76 29 0d  t vector<T>& v).
0ab0: 0a 20 7b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b 0d  . { os << "{ ";.
0ac0: 0a 20 20 20 66 6f 72 28 74 79 70 65 6e 61 6d 65  .   for(typename
0ad0: 20 76 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73   vector<T>::cons
0ae0: 74 5f 69 74 65 72 61 74 6f 72 20 69 74 3d 76 2e  t_iterator it=v.
0af0: 62 65 67 69 6e 28 29 3b 20 69 74 21 3d 76 2e 65  begin(); it!=v.e
0b00: 6e 64 28 29 3b 20 2b 2b 69 74 29 0d 0a 20 20 20  nd(); ++it)..   
0b10: 6f 73 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a 69  os << '\"' << *i
0b20: 74 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 28 69 74  t << '\"' << (it
0b30: 2b 31 3d 3d 76 2e 65 6e 64 28 29 20 3f 20 22 22  +1==v.end() ? ""
0b40: 20 3a 20 22 2c 20 22 29 3b 20 6f 73 20 3c 3c 20   : ", "); os << 
0b50: 22 20 7d 22 3b 20 72 65 74 75 72 6e 20 6f 73 3b  " }"; return os;
0b60: 20 7d 0d 0a 76 6f 69 64 20 76 65 72 69 66 79 5f   }..void verify_
0b70: 63 61 73 65 28 63 6f 6e 73 74 20 76 65 63 74 6f  case(const vecto
0b80: 72 20 3c 73 74 72 69 6e 67 3e 26 20 45 78 70 65  r <string>& Expe
0b90: 63 74 65 64 2c 20 63 6f 6e 73 74 20 76 65 63 74  cted, const vect
0ba0: 6f 72 20 3c 73 74 72 69 6e 67 3e 26 20 52 65 63  or <string>& Rec
0bb0: 65 69 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20  eived) {.. bool 
0bc0: 6f 6b 20 3d 20 28 45 78 70 65 63 74 65 64 20 3d  ok = (Expected =
0bd0: 3d 20 52 65 63 65 69 76 65 64 29 3b 0d 0a 20 69  = Received);.. i
0be0: 66 28 6f 6b 29 20 63 65 72 72 20 3c 3c 20 22 50  f(ok) cerr << "P
0bf0: 41 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28  ASSED" << timer(
0c00: 29 20 3c 3c 20 65 6e 64 6c 3b 20 20 65 6c 73 65  ) << endl;  else
0c10: 20 7b 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c   { cerr << "FAIL
0c20: 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c  ED" << timer() <
0c30: 3c 20 65 6e 64 6c 3b 0d 0a 20 63 65 72 72 20 3c  < endl;.. cerr <
0c40: 3c 20 22 5c 74 6f 3a 20 22 20 3c 3c 20 45 78 70  < "\to: " << Exp
0c50: 65 63 74 65 64 20 3c 3c 20 65 6e 64 6c 20 3c 3c  ected << endl <<
0c60: 20 22 5c 74 78 3a 20 22 20 3c 3c 20 52 65 63 65   "\tx: " << Rece
0c70: 69 76 65 64 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20  ived << endl; } 
0c80: 7d 0d 0a 23 64 65 66 69 6e 65 20 43 41 53 45 28  }..#define CASE(
0c90: 4e 29 20 7b 63 65 72 72 20 3c 3c 20 22 54 65 73  N) {cerr << "Tes
0ca0: 74 20 43 61 73 65 20 23 22 20 3c 3c 20 4e 20 3c  t Case #" << N <
0cb0: 3c 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 73 68  < "..." << flush
0cc0: 3b 20 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f  ; start_time=clo
0cd0: 63 6b 28 29 3b 0d 0a 23 64 65 66 69 6e 65 20 45  ck();..#define E
0ce0: 4e 44 09 20 76 65 72 69 66 79 5f 63 61 73 65 28  ND. verify_case(
0cf0: 5f 2c 20 42 61 6c 61 6e 63 69 6e 67 41 63 74 28  _, BalancingAct(
0d00: 29 2e 72 65 63 6f 76 65 72 28 6c 61 62 65 6c 65  ).recover(labele
0d10: 64 2c 20 75 6e 6c 61 62 65 6c 65 64 29 29 3b 7d  d, unlabeled));}
0d20: 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d  ..int main(){...
0d30: 0a 43 41 53 45 28 30 29 0d 0a 09 69 6e 74 20 6c  .CASE(0)...int l
0d40: 61 62 65 6c 65 64 5f 5b 5d 20 3d 20 7b 39 2c 31  abeled_[] = {9,1
0d50: 33 2c 31 35 2c 31 36 7d 3b 0d 0a 09 20 20 76 65  3,15,16};...  ve
0d60: 63 74 6f 72 20 3c 69 6e 74 3e 20 6c 61 62 65 6c  ctor <int> label
0d70: 65 64 28 6c 61 62 65 6c 65 64 5f 2c 20 6c 61 62  ed(labeled_, lab
0d80: 65 6c 65 64 5f 2b 73 69 7a 65 6f 66 28 6c 61 62  eled_+sizeof(lab
0d90: 65 6c 65 64 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c  eled_)/sizeof(*l
0da0: 61 62 65 6c 65 64 5f 29 29 3b 20 0d 0a 09 69 6e  abeled_)); ...in
0db0: 74 20 75 6e 6c 61 62 65 6c 65 64 5f 5b 5d 20 3d  t unlabeled_[] =
0dc0: 20 7b 31 39 7d 3b 0d 0a 09 20 20 76 65 63 74 6f   {19};...  vecto
0dd0: 72 20 3c 69 6e 74 3e 20 75 6e 6c 61 62 65 6c 65  r <int> unlabele
0de0: 64 28 75 6e 6c 61 62 65 6c 65 64 5f 2c 20 75 6e  d(unlabeled_, un
0df0: 6c 61 62 65 6c 65 64 5f 2b 73 69 7a 65 6f 66 28  labeled_+sizeof(
0e00: 75 6e 6c 61 62 65 6c 65 64 5f 29 2f 73 69 7a 65  unlabeled_)/size
0e10: 6f 66 28 2a 75 6e 6c 61 62 65 6c 65 64 5f 29 29  of(*unlabeled_))
0e20: 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 5f 5b 5d  ; ...string __[]
0e30: 20 3d 20 7b 22 79 65 73 22 20 7d 3b 0d 0a 09 20   = {"yes" };... 
0e40: 20 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 3e   vector <string>
0e50: 20 5f 28 5f 5f 2c 20 5f 5f 2b 73 69 7a 65 6f 66   _(__, __+sizeof
0e60: 28 5f 5f 29 2f 73 69 7a 65 6f 66 28 2a 5f 5f 29  (__)/sizeof(*__)
0e70: 29 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31  ); ..END..CASE(1
0e80: 29 0d 0a 09 69 6e 74 20 6c 61 62 65 6c 65 64 5f  )...int labeled_
0e90: 5b 5d 20 3d 20 7b 32 30 7d 3b 0d 0a 09 20 20 76  [] = {20};...  v
0ea0: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 6c 61 62 65  ector <int> labe
0eb0: 6c 65 64 28 6c 61 62 65 6c 65 64 5f 2c 20 6c 61  led(labeled_, la
0ec0: 62 65 6c 65 64 5f 2b 73 69 7a 65 6f 66 28 6c 61  beled_+sizeof(la
0ed0: 62 65 6c 65 64 5f 29 2f 73 69 7a 65 6f 66 28 2a  beled_)/sizeof(*
0ee0: 6c 61 62 65 6c 65 64 5f 29 29 3b 20 0d 0a 09 69  labeled_)); ...i
0ef0: 6e 74 20 75 6e 6c 61 62 65 6c 65 64 5f 5b 5d 20  nt unlabeled_[] 
0f00: 3d 20 7b 31 30 2c 31 30 7d 3b 0d 0a 09 20 20 76  = {10,10};...  v
0f10: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 75 6e 6c 61  ector <int> unla
0f20: 62 65 6c 65 64 28 75 6e 6c 61 62 65 6c 65 64 5f  beled(unlabeled_
0f30: 2c 20 75 6e 6c 61 62 65 6c 65 64 5f 2b 73 69 7a  , unlabeled_+siz
0f40: 65 6f 66 28 75 6e 6c 61 62 65 6c 65 64 5f 29 2f  eof(unlabeled_)/
0f50: 73 69 7a 65 6f 66 28 2a 75 6e 6c 61 62 65 6c 65  sizeof(*unlabele
0f60: 64 5f 29 29 3b 20 0d 0a 09 73 74 72 69 6e 67 20  d_)); ...string 
0f70: 5f 5f 5b 5d 20 3d 20 7b 22 79 65 73 22 2c 20 22  __[] = {"yes", "
0f80: 79 65 73 22 20 7d 3b 0d 0a 09 20 20 76 65 63 74  yes" };...  vect
0f90: 6f 72 20 3c 73 74 72 69 6e 67 3e 20 5f 28 5f 5f  or <string> _(__
0fa0: 2c 20 5f 5f 2b 73 69 7a 65 6f 66 28 5f 5f 29 2f  , __+sizeof(__)/
0fb0: 73 69 7a 65 6f 66 28 2a 5f 5f 29 29 3b 20 0d 0a  sizeof(*__)); ..
0fc0: 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a 09 69  END..CASE(2)...i
0fd0: 6e 74 20 6c 61 62 65 6c 65 64 5f 5b 5d 20 3d 20  nt labeled_[] = 
0fe0: 7b 33 33 33 33 33 33 33 32 2c 33 33 33 33 33 33  {33333332,333333
0ff0: 33 34 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20  34};...  vector 
1000: 3c 69 6e 74 3e 20 6c 61 62 65 6c 65 64 28 6c 61  <int> labeled(la
1010: 62 65 6c 65 64 5f 2c 20 6c 61 62 65 6c 65 64 5f  beled_, labeled_
1020: 2b 73 69 7a 65 6f 66 28 6c 61 62 65 6c 65 64 5f  +sizeof(labeled_
1030: 29 2f 73 69 7a 65 6f 66 28 2a 6c 61 62 65 6c 65  )/sizeof(*labele
1040: 64 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 75 6e 6c  d_)); ...int unl
1050: 61 62 65 6c 65 64 5f 5b 5d 20 3d 20 7b 33 33 33  abeled_[] = {333
1060: 33 33 33 33 33 2c 37 33 2c 31 30 30 30 30 30 30  33333,73,1000000
1070: 30 30 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20  00};...  vector 
1080: 3c 69 6e 74 3e 20 75 6e 6c 61 62 65 6c 65 64 28  <int> unlabeled(
1090: 75 6e 6c 61 62 65 6c 65 64 5f 2c 20 75 6e 6c 61  unlabeled_, unla
10a0: 62 65 6c 65 64 5f 2b 73 69 7a 65 6f 66 28 75 6e  beled_+sizeof(un
10b0: 6c 61 62 65 6c 65 64 5f 29 2f 73 69 7a 65 6f 66  labeled_)/sizeof
10c0: 28 2a 75 6e 6c 61 62 65 6c 65 64 5f 29 29 3b 20  (*unlabeled_)); 
10d0: 0d 0a 09 73 74 72 69 6e 67 20 5f 5f 5b 5d 20 3d  ...string __[] =
10e0: 20 7b 22 79 65 73 22 2c 20 22 6e 6f 22 2c 20 22   {"yes", "no", "
10f0: 79 65 73 22 20 7d 3b 0d 0a 09 20 20 76 65 63 74  yes" };...  vect
1100: 6f 72 20 3c 73 74 72 69 6e 67 3e 20 5f 28 5f 5f  or <string> _(__
1110: 2c 20 5f 5f 2b 73 69 7a 65 6f 66 28 5f 5f 29 2f  , __+sizeof(__)/
1120: 73 69 7a 65 6f 66 28 2a 5f 5f 29 29 3b 20 0d 0a  sizeof(*__)); ..
1130: 45 4e 44 0d 0a 43 41 53 45 28 33 29 0d 0a 09 69  END..CASE(3)...i
1140: 6e 74 20 6c 61 62 65 6c 65 64 5f 5b 5d 20 3d 20  nt labeled_[] = 
1150: 7b 31 32 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72  {12};...  vector
1160: 20 3c 69 6e 74 3e 20 6c 61 62 65 6c 65 64 28 6c   <int> labeled(l
1170: 61 62 65 6c 65 64 5f 2c 20 6c 61 62 65 6c 65 64  abeled_, labeled
1180: 5f 2b 73 69 7a 65 6f 66 28 6c 61 62 65 6c 65 64  _+sizeof(labeled
1190: 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c 61 62 65 6c  _)/sizeof(*label
11a0: 65 64 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 75 6e  ed_)); ...int un
11b0: 6c 61 62 65 6c 65 64 5f 5b 5d 20 3d 20 7b 31 2c  labeled_[] = {1,
11c0: 31 2c 32 2c 32 7d 3b 0d 0a 09 20 20 76 65 63 74  1,2,2};...  vect
11d0: 6f 72 20 3c 69 6e 74 3e 20 75 6e 6c 61 62 65 6c  or <int> unlabel
11e0: 65 64 28 75 6e 6c 61 62 65 6c 65 64 5f 2c 20 75  ed(unlabeled_, u
11f0: 6e 6c 61 62 65 6c 65 64 5f 2b 73 69 7a 65 6f 66  nlabeled_+sizeof
1200: 28 75 6e 6c 61 62 65 6c 65 64 5f 29 2f 73 69 7a  (unlabeled_)/siz
1210: 65 6f 66 28 2a 75 6e 6c 61 62 65 6c 65 64 5f 29  eof(*unlabeled_)
1220: 29 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 5f 5b  ); ...string __[
1230: 5d 20 3d 20 7b 22 79 65 73 22 2c 20 22 79 65 73  ] = {"yes", "yes
1240: 22 2c 20 22 79 65 73 22 2c 20 22 79 65 73 22 20  ", "yes", "yes" 
1250: 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 73  };...  vector <s
1260: 74 72 69 6e 67 3e 20 5f 28 5f 5f 2c 20 5f 5f 2b  tring> _(__, __+
1270: 73 69 7a 65 6f 66 28 5f 5f 29 2f 73 69 7a 65 6f  sizeof(__)/sizeo
1280: 66 28 2a 5f 5f 29 29 3b 20 0d 0a 45 4e 44 0d 0a  f(*__)); ..END..
1290: 43 41 53 45 28 34 29 0d 0a 09 69 6e 74 20 6c 61  CASE(4)...int la
12a0: 62 65 6c 65 64 5f 5b 5d 20 3d 20 7b 33 31 34 31  beled_[] = {3141
12b0: 35 39 32 36 2c 35 33 35 38 39 37 39 2c 33 32 33  5926,5358979,323
12c0: 38 34 36 32 36 2c 34 33 33 38 33 32 37 39 2c 35  84626,43383279,5
12d0: 30 32 38 38 34 31 39 2c 0d 0a 37 31 36 39 33 39  0288419,..716939
12e0: 39 33 2c 37 35 31 30 35 38 32 30 2c 39 37 34 39  93,75105820,9749
12f0: 34 34 35 2c 39 32 33 30 37 38 31 36 2c 34 30 36  445,92307816,406
1300: 32 38 36 32 30 2c 0d 0a 38 39 39 38 36 32 38 30  28620,..89986280
1310: 2c 33 34 38 32 35 33 34 32 2c 31 31 37 30 36 37  ,34825342,117067
1320: 39 38 2c 32 31 34 38 30 38 36 35 2c 31 33 32 38  98,21480865,1328
1330: 32 33 30 36 7d 3b 0d 0a 09 20 20 76 65 63 74 6f  2306};...  vecto
1340: 72 20 3c 69 6e 74 3e 20 6c 61 62 65 6c 65 64 28  r <int> labeled(
1350: 6c 61 62 65 6c 65 64 5f 2c 20 6c 61 62 65 6c 65  labeled_, labele
1360: 64 5f 2b 73 69 7a 65 6f 66 28 6c 61 62 65 6c 65  d_+sizeof(labele
1370: 64 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c 61 62 65  d_)/sizeof(*labe
1380: 6c 65 64 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 75  led_)); ...int u
1390: 6e 6c 61 62 65 6c 65 64 5f 5b 5d 20 3d 20 7b 36  nlabeled_[] = {6
13a0: 34 37 30 39 33 38 34 2c 34 36 30 39 35 35 30 35  4709384,46095505
13b0: 2c 38 32 32 33 31 37 32 35 2c 33 35 39 34 30 38  ,82231725,359408
13c0: 31 32 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20  12};...  vector 
13d0: 3c 69 6e 74 3e 20 75 6e 6c 61 62 65 6c 65 64 28  <int> unlabeled(
13e0: 75 6e 6c 61 62 65 6c 65 64 5f 2c 20 75 6e 6c 61  unlabeled_, unla
13f0: 62 65 6c 65 64 5f 2b 73 69 7a 65 6f 66 28 75 6e  beled_+sizeof(un
1400: 6c 61 62 65 6c 65 64 5f 29 2f 73 69 7a 65 6f 66  labeled_)/sizeof
1410: 28 2a 75 6e 6c 61 62 65 6c 65 64 5f 29 29 3b 20  (*unlabeled_)); 
1420: 0d 0a 09 73 74 72 69 6e 67 20 5f 5f 5b 5d 20 3d  ...string __[] =
1430: 20 7b 22 6e 6f 22 2c 20 22 6e 6f 22 2c 20 22 6e   {"no", "no", "n
1440: 6f 22 2c 20 22 6e 6f 22 20 7d 3b 0d 0a 09 20 20  o", "no" };...  
1450: 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 3e 20  vector <string> 
1460: 5f 28 5f 5f 2c 20 5f 5f 2b 73 69 7a 65 6f 66 28  _(__, __+sizeof(
1470: 5f 5f 29 2f 73 69 7a 65 6f 66 28 2a 5f 5f 29 29  __)/sizeof(*__))
1480: 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35 29  ; ..END..CASE(5)
1490: 0d 0a 69 6e 74 20 6c 61 62 65 6c 65 64 5f 5b 5d  ..int labeled_[]
14a0: 20 3d 20 7b 31 2c 32 2c 34 2c 38 2c 31 36 2c 33   = {1,2,4,8,16,3
14b0: 32 2c 36 34 2c 31 32 38 2c 32 35 36 2c 35 31 32  2,64,128,256,512
14c0: 2c 31 30 32 34 2c 32 30 34 38 2a 31 2c 32 30 34  ,1024,2048*1,204
14d0: 38 2a 32 2c 32 30 34 38 2a 34 2c 32 30 34 38 2a  8*2,2048*4,2048*
14e0: 38 2c 32 30 34 38 2a 31 36 2c 32 30 34 38 2a 33  8,2048*16,2048*3
14f0: 32 2c 32 30 34 38 2a 36 34 2c 32 30 34 38 2a 31  2,2048*64,2048*1
1500: 32 38 2c 32 30 34 38 2a 32 35 36 7d 3b 0d 0a 09  28,2048*256};...
1510: 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 6c    vector <int> l
1520: 61 62 65 6c 65 64 28 6c 61 62 65 6c 65 64 5f 2c  abeled(labeled_,
1530: 20 6c 61 62 65 6c 65 64 5f 2b 73 69 7a 65 6f 66   labeled_+sizeof
1540: 28 6c 61 62 65 6c 65 64 5f 29 2f 73 69 7a 65 6f  (labeled_)/sizeo
1550: 66 28 2a 6c 61 62 65 6c 65 64 5f 29 29 3b 20 0d  f(*labeled_)); .
1560: 0a 09 20 20 69 6e 74 20 75 6e 6c 61 62 65 6c 65  ..  int unlabele
1570: 64 5f 5b 5d 20 3d 20 7b 39 39 39 2c 20 38 38 38  d_[] = {999, 888
1580: 2c 20 37 37 37 2c 20 36 36 36 7d 3b 0d 0a 09 20  , 777, 666};... 
1590: 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 75 6e   vector <int> un
15a0: 6c 61 62 65 6c 65 64 28 75 6e 6c 61 62 65 6c 65  labeled(unlabele
15b0: 64 5f 2c 20 75 6e 6c 61 62 65 6c 65 64 5f 2b 73  d_, unlabeled_+s
15c0: 69 7a 65 6f 66 28 75 6e 6c 61 62 65 6c 65 64 5f  izeof(unlabeled_
15d0: 29 2f 73 69 7a 65 6f 66 28 2a 75 6e 6c 61 62 65  )/sizeof(*unlabe
15e0: 6c 65 64 5f 29 29 3b 20 0d 0a 09 20 20 73 74 72  led_)); ...  str
15f0: 69 6e 67 20 5f 5f 5b 5d 20 3d 20 7b 22 79 65 73  ing __[] = {"yes
1600: 22 2c 22 79 65 73 22 2c 22 79 65 73 22 2c 22 79  ","yes","yes","y
1610: 65 73 22 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72  es"};...  vector
1620: 20 3c 73 74 72 69 6e 67 3e 20 5f 28 5f 5f 2c 20   <string> _(__, 
1630: 5f 5f 2b 73 69 7a 65 6f 66 28 5f 5f 29 2f 73 69  __+sizeof(__)/si
1640: 7a 65 6f 66 28 2a 5f 5f 29 29 3b 20 0d 0a 45 4e  zeof(*__)); ..EN
1650: 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 36 29 0d 0a  D../*..CASE(6)..
1660: 09 69 6e 74 20 6c 61 62 65 6c 65 64 5f 5b 5d 20  .int labeled_[] 
1670: 3d 20 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c  = ;...  vector <
1680: 69 6e 74 3e 20 6c 61 62 65 6c 65 64 28 6c 61 62  int> labeled(lab
1690: 65 6c 65 64 5f 2c 20 6c 61 62 65 6c 65 64 5f 2b  eled_, labeled_+
16a0: 73 69 7a 65 6f 66 28 6c 61 62 65 6c 65 64 5f 29  sizeof(labeled_)
16b0: 2f 73 69 7a 65 6f 66 28 2a 6c 61 62 65 6c 65 64  /sizeof(*labeled
16c0: 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 75 6e 6c 61  _)); ...int unla
16d0: 62 65 6c 65 64 5f 5b 5d 20 3d 20 3b 0d 0a 09 20  beled_[] = ;... 
16e0: 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 75 6e   vector <int> un
16f0: 6c 61 62 65 6c 65 64 28 75 6e 6c 61 62 65 6c 65  labeled(unlabele
1700: 64 5f 2c 20 75 6e 6c 61 62 65 6c 65 64 5f 2b 73  d_, unlabeled_+s
1710: 69 7a 65 6f 66 28 75 6e 6c 61 62 65 6c 65 64 5f  izeof(unlabeled_
1720: 29 2f 73 69 7a 65 6f 66 28 2a 75 6e 6c 61 62 65  )/sizeof(*unlabe
1730: 6c 65 64 5f 29 29 3b 20 0d 0a 09 73 74 72 69 6e  led_)); ...strin
1740: 67 20 5f 5f 5b 5d 20 3d 20 3b 0d 0a 09 20 20 76  g __[] = ;...  v
1750: 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 3e 20 5f  ector <string> _
1760: 28 5f 5f 2c 20 5f 5f 2b 73 69 7a 65 6f 66 28 5f  (__, __+sizeof(_
1770: 5f 29 2f 73 69 7a 65 6f 66 28 2a 5f 5f 29 29 3b  _)/sizeof(*__));
1780: 20 0d 0a 45 4e 44 0d 0a 2a 2f 0d 0a 7d 0d 0a 2f   ..END..*/..}../
1790: 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d 0a  / END CUT HERE..