Artifact 570e3d3e6e5277cef810f9436d84040c02473a4b:
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 74 65 6d 70 6c 61 74 65 CMP;....template
01a0: 3c 74 79 70 65 6e 61 6d 65 20 44 2c 20 74 79 70 <typename D, typ
01b0: 65 6e 61 6d 65 20 53 3e 0d 0a 20 20 44 20 6c 65 ename S>.. D le
01c0: 78 69 63 61 6c 5f 63 61 73 74 28 63 6f 6e 73 74 xical_cast(const
01d0: 20 53 26 20 73 29 20 7b 20 44 20 64 3b 20 73 74 S& s) { D d; st
01e0: 72 69 6e 67 73 74 72 65 61 6d 20 73 73 3b 20 73 ringstream ss; s
01f0: 73 3c 3c 73 3b 20 73 73 3e 3e 64 3b 20 72 65 74 s<<s; ss>>d; ret
0200: 75 72 6e 20 64 3b 20 7d 0d 0a 0d 0a 63 6c 61 73 urn d; }....clas
0210: 73 20 54 68 65 53 77 61 70 20 7b 0d 0a 70 75 62 s TheSwap {..pub
0220: 6c 69 63 3a 0d 0a 09 69 6e 74 20 66 69 6e 64 4d lic:...int findM
0230: 61 78 28 69 6e 74 20 6e 2c 20 69 6e 74 20 6b 29 ax(int n, int k)
0240: 20 0d 0a 09 7b 0d 0a 09 09 73 65 74 3c 73 74 72 ...{....set<str
0250: 69 6e 67 3e 20 63 61 6e 4d 61 6b 65 3b 0d 0a 09 ing> canMake;...
0260: 09 63 61 6e 4d 61 6b 65 2e 69 6e 73 65 72 74 28 .canMake.insert(
0270: 20 6c 65 78 69 63 61 6c 5f 63 61 73 74 3c 73 74 lexical_cast<st
0280: 72 69 6e 67 3e 28 6e 29 20 29 3b 0d 0a 0d 0a 09 ring>(n) );.....
0290: 09 77 68 69 6c 65 28 20 6b 20 2d 2d 3e 20 30 20 .while( k --> 0
02a0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 65 74 3c 73 )....{.....set<s
02b0: 74 72 69 6e 67 3e 20 70 72 65 76 3b 0d 0a 09 09 tring> prev;....
02c0: 09 70 72 65 76 2e 73 77 61 70 28 63 61 6e 4d 61 .prev.swap(canMa
02d0: 6b 65 29 3b 0d 0a 0d 0a 09 09 09 66 6f 72 28 73 ke);.......for(s
02e0: 65 74 3c 73 74 72 69 6e 67 3e 3a 3a 69 74 65 72 et<string>::iter
02f0: 61 74 6f 72 20 69 74 3d 70 72 65 76 2e 62 65 67 ator it=prev.beg
0300: 69 6e 28 29 3b 20 69 74 21 3d 70 72 65 76 2e 65 in(); it!=prev.e
0310: 6e 64 28 29 3b 20 2b 2b 69 74 29 0d 0a 09 09 09 nd(); ++it).....
0320: 7b 0d 0a 09 09 09 09 73 74 72 69 6e 67 20 73 20 {......string s
0330: 3d 20 2a 69 74 3b 0d 0a 09 09 09 09 66 6f 72 28 = *it;......for(
0340: 69 6e 74 20 69 3d 30 3b 20 69 3c 73 2e 73 69 7a int i=0; i<s.siz
0350: 65 28 29 3b 20 2b 2b 69 29 0d 0a 09 09 09 09 66 e(); ++i)......f
0360: 6f 72 28 69 6e 74 20 6a 3d 69 2b 31 3b 20 6a 3c or(int j=i+1; j<
0370: 73 2e 73 69 7a 65 28 29 3b 20 2b 2b 6a 29 0d 0a s.size(); ++j)..
0380: 09 09 09 09 09 69 66 28 20 21 28 69 3d 3d 30 20 .....if( !(i==0
0390: 26 26 20 73 5b 6a 5d 3d 3d 27 30 27 29 20 29 0d && s[j]=='0') ).
03a0: 0a 09 09 09 09 09 7b 0d 0a 09 09 09 09 09 09 73 ......{........s
03b0: 77 61 70 28 73 5b 69 5d 2c 20 73 5b 6a 5d 29 3b wap(s[i], s[j]);
03c0: 0d 0a 09 09 09 09 09 09 63 61 6e 4d 61 6b 65 2e ........canMake.
03d0: 69 6e 73 65 72 74 28 73 29 3b 0d 0a 09 09 09 09 insert(s);......
03e0: 09 09 73 77 61 70 28 73 5b 69 5d 2c 20 73 5b 6a ..swap(s[i], s[j
03f0: 5d 29 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 09 09 ]);.......}.....
0400: 7d 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 72 65 74 75 }....}......retu
0410: 72 6e 20 63 61 6e 4d 61 6b 65 2e 65 6d 70 74 79 rn canMake.empty
0420: 28 29 20 3f 20 2d 31 20 3a 20 6c 65 78 69 63 61 () ? -1 : lexica
0430: 6c 5f 63 61 73 74 3c 69 6e 74 3e 28 2a 63 61 6e l_cast<int>(*can
0440: 4d 61 6b 65 2e 72 62 65 67 69 6e 28 29 29 3b 0d Make.rbegin());.
0450: 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 ..}..};....// BE
0460: 47 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23 69 GIN CUT HERE..#i
0470: 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d 0a nclude <ctime>..
0480: 64 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69 6d double start_tim
0490: 65 3b 73 74 72 69 6e 67 20 74 69 6d 65 72 28 29 e;string timer()
04a0: 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61 6d { ostringstream
04b0: 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28 22 20 os; os << " ("
04c0: 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28 29 2d << int((clock()-
04d0: 73 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c 4f 43 start_time)/CLOC
04e0: 4b 53 5f 50 45 52 5f 53 45 43 2a 31 30 30 30 29 KS_PER_SEC*1000)
04f0: 20 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20 72 65 << " msec)"; re
0500: 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d turn os.str(); }
0510: 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 3c 74 79 ....template <ty
0520: 70 65 6e 61 6d 65 20 54 3e 20 73 74 72 69 6e 67 pename T> string
0530: 20 70 72 69 6e 74 5f 61 72 72 61 79 28 63 6f 6e print_array(con
0540: 73 74 20 76 65 63 74 6f 72 3c 54 3e 20 26 56 29 st vector<T> &V)
0550: 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61 6d { ostringstream
0560: 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b os; os << "{ ";
0570: 20 66 6f 72 20 28 74 79 70 65 6e 61 6d 65 20 76 for (typename v
0580: 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f ector<T>::const_
0590: 69 74 65 72 61 74 6f 72 20 69 74 65 72 20 3d 20 iterator iter =
05a0: 56 2e 62 65 67 69 6e 28 29 3b 20 69 74 65 72 20 V.begin(); iter
05b0: 21 3d 20 56 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 != V.end(); ++it
05c0: 65 72 29 20 6f 73 20 3c 3c 20 27 5c 22 27 20 3c er) os << '\"' <
05d0: 3c 20 2a 69 74 65 72 20 3c 3c 20 22 5c 22 2c 22 < *iter << "\","
05e0: 3b 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 ; os << " }"; re
05f0: 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d turn os.str(); }
0600: 0d 0a 69 6e 74 20 76 65 72 69 66 79 5f 63 61 73 ..int verify_cas
0610: 65 28 63 6f 6e 73 74 20 69 6e 74 20 26 45 78 70 e(const int &Exp
0620: 65 63 74 65 64 2c 20 63 6f 6e 73 74 20 69 6e 74 ected, const int
0630: 20 26 52 65 63 65 69 76 65 64 29 20 7b 20 69 66 &Received) { if
0640: 20 28 45 78 70 65 63 74 65 64 20 3d 3d 20 52 65 (Expected == Re
0650: 63 65 69 76 65 64 29 20 63 65 72 72 20 3c 3c 20 ceived) cerr <<
0660: 22 50 41 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 "PASSED" << time
0670: 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 20 65 6c 73 r() << endl; els
0680: 65 20 7b 20 63 65 72 72 20 3c 3c 20 22 46 41 49 e { cerr << "FAI
0690: 4c 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 LED" << timer()
06a0: 3c 3c 20 65 6e 64 6c 3b 20 63 65 72 72 20 3c 3c << endl; cerr <<
06b0: 20 22 5c 74 45 78 70 65 63 74 65 64 3a 20 5c 22 "\tExpected: \"
06c0: 22 20 3c 3c 20 45 78 70 65 63 74 65 64 20 3c 3c " << Expected <<
06d0: 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 63 '\"' << endl; c
06e0: 65 72 72 20 3c 3c 20 22 5c 74 52 65 63 65 69 76 err << "\tReceiv
06f0: 65 64 3a 20 5c 22 22 20 3c 3c 20 52 65 63 65 69 ed: \"" << Recei
0700: 76 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 ved << '\"' << e
0710: 6e 64 6c 3b 20 7d 20 72 65 74 75 72 6e 20 30 3b ndl; } return 0;
0720: 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 3c 69 6e }....template<in
0730: 74 20 4e 3e 20 73 74 72 75 63 74 20 43 61 73 65 t N> struct Case
0740: 5f 20 7b 20 43 61 73 65 5f 28 29 7b 73 74 61 72 _ { Case_(){star
0750: 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 7d t_time=clock();}
0760: 20 7d 3b 0d 0a 63 68 61 72 20 54 65 73 74 5f 28 };..char Test_(
0770: 2e 2e 2e 29 3b 0d 0a 69 6e 74 20 54 65 73 74 5f ...);..int Test_
0780: 28 43 61 73 65 5f 3c 30 3e 29 20 7b 0d 0a 09 69 (Case_<0>) {...i
0790: 6e 74 20 6e 20 3d 20 31 36 33 37 35 3b 20 0d 0a nt n = 16375; ..
07a0: 09 69 6e 74 20 6b 20 3d 20 31 3b 20 0d 0a 09 69 .int k = 1; ...i
07b0: 6e 74 20 52 65 74 56 61 6c 20 3d 20 37 36 33 31 nt RetVal = 7631
07c0: 35 3b 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 5; ...return ver
07d0: 69 66 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c ify_case(RetVal,
07e0: 20 54 68 65 53 77 61 70 28 29 2e 66 69 6e 64 4d TheSwap().findM
07f0: 61 78 28 6e 2c 20 6b 29 29 3b 20 7d 0d 0a 69 6e ax(n, k)); }..in
0800: 74 20 54 65 73 74 5f 28 43 61 73 65 5f 3c 31 3e t Test_(Case_<1>
0810: 29 20 7b 0d 0a 09 69 6e 74 20 6e 20 3d 20 34 33 ) {...int n = 43
0820: 32 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 31 3b 2; ...int k = 1;
0830: 20 0d 0a 09 69 6e 74 20 52 65 74 56 61 6c 20 3d ...int RetVal =
0840: 20 34 32 33 3b 20 0d 0a 09 72 65 74 75 72 6e 20 423; ...return
0850: 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 56 verify_case(RetV
0860: 61 6c 2c 20 54 68 65 53 77 61 70 28 29 2e 66 69 al, TheSwap().fi
0870: 6e 64 4d 61 78 28 6e 2c 20 6b 29 29 3b 20 7d 0d ndMax(n, k)); }.
0880: 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65 5f .int Test_(Case_
0890: 3c 32 3e 29 20 7b 0d 0a 09 69 6e 74 20 6e 20 3d <2>) {...int n =
08a0: 20 39 30 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 90; ...int k =
08b0: 34 3b 20 0d 0a 09 69 6e 74 20 52 65 74 56 61 6c 4; ...int RetVal
08c0: 20 3d 20 2d 31 3b 20 0d 0a 09 72 65 74 75 72 6e = -1; ...return
08d0: 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 verify_case(Ret
08e0: 56 61 6c 2c 20 54 68 65 53 77 61 70 28 29 2e 66 Val, TheSwap().f
08f0: 69 6e 64 4d 61 78 28 6e 2c 20 6b 29 29 3b 20 7d indMax(n, k)); }
0900: 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65 ..int Test_(Case
0910: 5f 3c 33 3e 29 20 7b 0d 0a 09 69 6e 74 20 6e 20 _<3>) {...int n
0920: 3d 20 35 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 = 5; ...int k =
0930: 32 3b 20 0d 0a 09 69 6e 74 20 52 65 74 56 61 6c 2; ...int RetVal
0940: 20 3d 20 2d 31 3b 20 0d 0a 09 72 65 74 75 72 6e = -1; ...return
0950: 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 65 74 verify_case(Ret
0960: 56 61 6c 2c 20 54 68 65 53 77 61 70 28 29 2e 66 Val, TheSwap().f
0970: 69 6e 64 4d 61 78 28 6e 2c 20 6b 29 29 3b 20 7d indMax(n, k)); }
0980: 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 73 65 ..int Test_(Case
0990: 5f 3c 34 3e 29 20 7b 0d 0a 09 69 6e 74 20 6e 20 _<4>) {...int n
09a0: 3d 20 34 33 36 36 35 39 3b 20 0d 0a 09 69 6e 74 = 436659; ...int
09b0: 20 6b 20 3d 20 32 3b 20 0d 0a 09 69 6e 74 20 52 k = 2; ...int R
09c0: 65 74 56 61 6c 20 3d 20 39 36 36 33 35 34 3b 20 etVal = 966354;
09d0: 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 66 79 ...return verify
09e0: 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 54 68 _case(RetVal, Th
09f0: 65 53 77 61 70 28 29 2e 66 69 6e 64 4d 61 78 28 eSwap().findMax(
0a00: 6e 2c 20 6b 29 29 3b 20 7d 0d 0a 69 6e 74 20 54 n, k)); }..int T
0a10: 65 73 74 5f 28 43 61 73 65 5f 3c 35 3e 29 20 7b est_(Case_<5>) {
0a20: 0d 0a 09 69 6e 74 20 6e 20 3d 20 33 32 35 36 36 ...int n = 32566
0a30: 34 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 32 3b 4; ...int k = 2;
0a40: 20 0d 0a 09 69 6e 74 20 52 65 74 56 61 6c 20 3d ...int RetVal =
0a50: 20 36 36 35 33 32 34 3b 20 0d 0a 09 72 65 74 75 665324; ...retu
0a60: 72 6e 20 76 65 72 69 66 79 5f 63 61 73 65 28 52 rn verify_case(R
0a70: 65 74 56 61 6c 2c 20 54 68 65 53 77 61 70 28 29 etVal, TheSwap()
0a80: 2e 66 69 6e 64 4d 61 78 28 6e 2c 20 6b 29 29 3b .findMax(n, k));
0a90: 20 7d 0d 0a 69 6e 74 20 54 65 73 74 5f 28 43 61 }..int Test_(Ca
0aa0: 73 65 5f 3c 36 3e 29 20 7b 0d 0a 09 69 6e 74 20 se_<6>) {...int
0ab0: 6e 20 3d 20 33 32 35 36 36 34 3b 20 0d 0a 09 69 n = 325664; ...i
0ac0: 6e 74 20 6b 20 3d 20 34 3b 20 0d 0a 09 69 6e 74 nt k = 4; ...int
0ad0: 20 52 65 74 56 61 6c 20 3d 20 36 36 35 34 33 32 RetVal = 665432
0ae0: 3b 20 0d 0a 09 72 65 74 75 72 6e 20 76 65 72 69 ; ...return veri
0af0: 66 79 5f 63 61 73 65 28 52 65 74 56 61 6c 2c 20 fy_case(RetVal,
0b00: 54 68 65 53 77 61 70 28 29 2e 66 69 6e 64 4d 61 TheSwap().findMa
0b10: 78 28 6e 2c 20 6b 29 29 3b 20 7d 0d 0a 0d 0a 74 x(n, k)); }....t
0b20: 65 6d 70 6c 61 74 65 3c 69 6e 74 20 4e 3e 20 76 emplate<int N> v
0b30: 6f 69 64 20 52 75 6e 5f 28 29 20 7b 20 63 65 72 oid Run_() { cer
0b40: 72 20 3c 3c 20 22 54 65 73 74 20 43 61 73 65 20 r << "Test Case
0b50: 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e 22 #" << N << "..."
0b60: 20 3c 3c 20 66 6c 75 73 68 3b 20 54 65 73 74 5f << flush; Test_
0b70: 28 43 61 73 65 5f 3c 4e 3e 28 29 29 3b 20 52 75 (Case_<N>()); Ru
0b80: 6e 5f 3c 73 69 7a 65 6f 66 28 54 65 73 74 5f 28 n_<sizeof(Test_(
0b90: 43 61 73 65 5f 3c 4e 2b 31 3e 28 29 29 29 3d 3d Case_<N+1>()))==
0ba0: 31 20 3f 20 2d 31 20 3a 20 4e 2b 31 3e 28 29 3b 1 ? -1 : N+1>();
0bb0: 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c 3e 20 20 }..template<>
0bc0: 20 20 20 20 76 6f 69 64 20 52 75 6e 5f 3c 2d 31 void Run_<-1
0bd0: 3e 28 29 20 7b 7d 0d 0a 69 6e 74 20 6d 61 69 6e >() {}..int main
0be0: 28 29 20 7b 20 52 75 6e 5f 3c 30 3e 28 29 3b 20 () { Run_<0>();
0bf0: 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 }..// END CUT HE
0c00: 52 45 0d 0a 0d 0a RE....