Artifact 124c7549ad607d0d34e0bb72f568905b8c87497a:
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 57 CMP;....class W
01a0: 68 69 74 65 53 70 61 63 65 45 64 69 74 69 6e 67 hiteSpaceEditing
01b0: 20 7b 20 70 75 62 6c 69 63 3a 0d 0a 09 69 6e 74 { public:...int
01c0: 20 67 65 74 4d 69 6e 69 6d 75 6d 28 76 65 63 74 getMinimum(vect
01d0: 6f 72 20 3c 69 6e 74 3e 20 6c 69 6e 65 73 29 0d or <int> lines).
01e0: 0a 09 7b 0d 0a 09 09 73 65 74 3c 69 6e 74 3e 20 ..{....set<int>
01f0: 73 6c 65 6e 28 6c 69 6e 65 73 2e 62 65 67 69 6e slen(lines.begin
0200: 28 29 2c 20 6c 69 6e 65 73 2e 65 6e 64 28 29 29 (), lines.end())
0210: 3b 0d 0a 09 09 73 6c 65 6e 2e 69 6e 73 65 72 74 ;....slen.insert
0220: 28 30 29 3b 0d 0a 0d 0a 09 09 76 65 63 74 6f 72 (0);......vector
0230: 3c 69 6e 74 3e 20 6c 65 6e 28 73 6c 65 6e 2e 62 <int> len(slen.b
0240: 65 67 69 6e 28 29 2c 20 73 6c 65 6e 2e 65 6e 64 egin(), slen.end
0250: 28 29 29 3b 0d 0a 09 09 6d 65 6d 6f 2e 61 73 73 ());....memo.ass
0260: 69 67 6e 28 6c 69 6e 65 73 2e 73 69 7a 65 28 29 ign(lines.size()
0270: 2a 28 6c 69 6e 65 73 2e 73 69 7a 65 28 29 2b 31 *(lines.size()+1
0280: 29 2a 6c 65 6e 2e 73 69 7a 65 28 29 2c 20 2d 31 )*len.size(), -1
0290: 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 63 );....return rec
02a0: 28 6c 69 6e 65 73 2c 20 30 2c 20 6c 69 6e 65 73 (lines, 0, lines
02b0: 2e 73 69 7a 65 28 29 2c 20 6c 65 6e 2c 20 30 29 .size(), len, 0)
02c0: 20 2b 20 28 6c 69 6e 65 73 2e 73 69 7a 65 28 29 + (lines.size()
02d0: 2d 31 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 76 65 63 -1);...}.....vec
02e0: 74 6f 72 3c 69 6e 74 3e 20 6d 65 6d 6f 3b 0d 0a tor<int> memo;..
02f0: 09 69 6e 74 20 72 65 63 28 63 6f 6e 73 74 20 76 .int rec(const v
0300: 65 63 74 6f 72 3c 69 6e 74 3e 26 20 6c 69 6e 65 ector<int>& line
0310: 73 2c 20 69 6e 74 20 73 2c 20 69 6e 74 20 65 2c s, int s, int e,
0320: 0d 0a 09 20 20 20 20 20 20 20 20 63 6f 6e 73 74 ... const
0330: 20 76 65 63 74 6f 72 3c 69 6e 74 3e 26 20 6c 65 vector<int>& le
0340: 6e 2c 20 69 6e 74 20 63 75 72 5f 6c 65 6e 29 20 n, int cur_len)
0350: 7b 0d 0a 09 09 69 66 28 73 2b 31 20 3d 3d 20 65 {....if(s+1 == e
0360: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 62 73 ).....return abs
0370: 28 6c 69 6e 65 73 5b 73 5d 20 2d 20 6c 65 6e 5b (lines[s] - len[
0380: 63 75 72 5f 6c 65 6e 5d 29 3b 0d 0a 0d 0a 09 09 cur_len]);......
0390: 69 6e 74 20 6b 65 79 20 3d 20 28 73 2a 28 6c 69 int key = (s*(li
03a0: 6e 65 73 2e 73 69 7a 65 28 29 2b 31 29 2b 65 29 nes.size()+1)+e)
03b0: 2a 6c 65 6e 2e 73 69 7a 65 28 29 2b 63 75 72 5f *len.size()+cur_
03c0: 6c 65 6e 3b 0d 0a 09 09 69 66 28 6d 65 6d 6f 5b len;....if(memo[
03d0: 6b 65 79 5d 20 21 3d 20 2d 31 29 0d 0a 09 09 09 key] != -1).....
03e0: 72 65 74 75 72 6e 20 6d 65 6d 6f 5b 6b 65 79 5d return memo[key]
03f0: 3b 0d 0a 0d 0a 09 09 69 6e 74 20 72 65 73 75 6c ;......int resul
0400: 74 20 3d 20 30 78 31 66 66 66 66 66 66 66 3b 0d t = 0x1fffffff;.
0410: 0a 09 09 66 6f 72 28 69 6e 74 20 62 61 73 65 5f ...for(int base_
0420: 6c 65 6e 3d 30 3b 20 62 61 73 65 5f 6c 65 6e 3c len=0; base_len<
0430: 6c 65 6e 2e 73 69 7a 65 28 29 3b 20 2b 2b 62 61 len.size(); ++ba
0440: 73 65 5f 6c 65 6e 29 0d 0a 09 09 09 66 6f 72 28 se_len).....for(
0450: 69 6e 74 20 6d 3d 73 2b 31 3b 20 6d 3c 65 3b 20 int m=s+1; m<e;
0460: 2b 2b 6d 29 0d 0a 09 09 09 09 72 65 73 75 6c 74 ++m)......result
0470: 20 3d 20 6d 69 6e 28 72 65 73 75 6c 74 2c 0d 0a = min(result,..
0480: 09 09 09 09 09 72 65 63 28 6c 69 6e 65 73 2c 20 .....rec(lines,
0490: 73 2c 20 6d 2c 20 6c 65 6e 2c 20 62 61 73 65 5f s, m, len, base_
04a0: 6c 65 6e 29 20 2b 0d 0a 09 09 09 09 09 72 65 63 len) +.......rec
04b0: 28 6c 69 6e 65 73 2c 20 6d 2c 20 65 2c 20 6c 65 (lines, m, e, le
04c0: 6e 2c 20 62 61 73 65 5f 6c 65 6e 29 20 2b 20 61 n, base_len) + a
04d0: 62 73 28 6c 65 6e 5b 63 75 72 5f 6c 65 6e 5d 20 bs(len[cur_len]
04e0: 2d 20 6c 65 6e 5b 62 61 73 65 5f 6c 65 6e 5d 29 - len[base_len])
04f0: 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6d 65 6d );....return mem
0500: 6f 5b 6b 65 79 5d 20 3d 20 72 65 73 75 6c 74 3b o[key] = result;
0510: 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 ...}..};....// B
0520: 45 47 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 23 EGIN CUT HERE..#
0530: 69 6e 63 6c 75 64 65 20 3c 63 74 69 6d 65 3e 0d include <ctime>.
0540: 0a 64 6f 75 62 6c 65 20 73 74 61 72 74 5f 74 69 .double start_ti
0550: 6d 65 3b 20 73 74 72 69 6e 67 20 74 69 6d 65 72 me; string timer
0560: 28 29 0d 0a 20 7b 20 6f 73 74 72 69 6e 67 73 74 ().. { ostringst
0570: 72 65 61 6d 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 ream os; os << "
0580: 20 28 22 20 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 (" << int((cloc
0590: 6b 28 29 2d 73 74 61 72 74 5f 74 69 6d 65 29 2f k()-start_time)/
05a0: 43 4c 4f 43 4b 53 5f 50 45 52 5f 53 45 43 2a 31 CLOCKS_PER_SEC*1
05b0: 30 30 30 29 20 3c 3c 20 22 20 6d 73 65 63 29 22 000) << " msec)"
05c0: 3b 20 72 65 74 75 72 6e 20 6f 73 2e 73 74 72 28 ; return os.str(
05d0: 29 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 3c 74 ); }..template<t
05e0: 79 70 65 6e 61 6d 65 20 54 3e 20 6f 73 74 72 65 ypename T> ostre
05f0: 61 6d 26 20 6f 70 65 72 61 74 6f 72 3c 3c 28 6f am& operator<<(o
0600: 73 74 72 65 61 6d 26 20 6f 73 2c 20 63 6f 6e 73 stream& os, cons
0610: 74 20 76 65 63 74 6f 72 3c 54 3e 26 20 76 29 0d t vector<T>& v).
0620: 0a 20 7b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b 0d . { os << "{ ";.
0630: 0a 20 20 20 66 6f 72 28 74 79 70 65 6e 61 6d 65 . for(typename
0640: 20 76 65 63 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 vector<T>::cons
0650: 74 5f 69 74 65 72 61 74 6f 72 20 69 74 3d 76 2e t_iterator it=v.
0660: 62 65 67 69 6e 28 29 3b 20 69 74 21 3d 76 2e 65 begin(); it!=v.e
0670: 6e 64 28 29 3b 20 2b 2b 69 74 29 0d 0a 20 20 20 nd(); ++it)..
0680: 6f 73 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a 69 os << '\"' << *i
0690: 74 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 28 69 74 t << '\"' << (it
06a0: 2b 31 3d 3d 76 2e 65 6e 64 28 29 20 3f 20 22 22 +1==v.end() ? ""
06b0: 20 3a 20 22 2c 20 22 29 3b 20 6f 73 20 3c 3c 20 : ", "); os <<
06c0: 22 20 7d 22 3b 20 72 65 74 75 72 6e 20 6f 73 3b " }"; return os;
06d0: 20 7d 0d 0a 76 6f 69 64 20 76 65 72 69 66 79 5f }..void verify_
06e0: 63 61 73 65 28 63 6f 6e 73 74 20 69 6e 74 26 20 case(const int&
06f0: 45 78 70 65 63 74 65 64 2c 20 63 6f 6e 73 74 20 Expected, const
0700: 69 6e 74 26 20 52 65 63 65 69 76 65 64 29 20 7b int& Received) {
0710: 0d 0a 20 62 6f 6f 6c 20 6f 6b 20 3d 20 28 45 78 .. bool ok = (Ex
0720: 70 65 63 74 65 64 20 3d 3d 20 52 65 63 65 69 76 pected == Receiv
0730: 65 64 29 3b 0d 0a 20 69 66 28 6f 6b 29 20 63 65 ed);.. if(ok) ce
0740: 72 72 20 3c 3c 20 22 50 41 53 53 45 44 22 20 3c rr << "PASSED" <
0750: 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 < timer() << end
0760: 6c 3b 20 20 65 6c 73 65 20 7b 20 63 65 72 72 20 l; else { cerr
0770: 3c 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c 20 74 << "FAILED" << t
0780: 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 0d imer() << endl;.
0790: 0a 20 63 65 72 72 20 3c 3c 20 22 5c 74 6f 3a 20 . cerr << "\to:
07a0: 5c 22 22 20 3c 3c 20 45 78 70 65 63 74 65 64 20 \"" << Expected
07b0: 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 20 << '\"' << endl
07c0: 3c 3c 20 22 5c 74 78 3a 20 5c 22 22 20 3c 3c 20 << "\tx: \"" <<
07d0: 52 65 63 65 69 76 65 64 20 3c 3c 20 27 5c 22 27 Received << '\"'
07e0: 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d 0a 23 << endl; } }..#
07f0: 64 65 66 69 6e 65 20 43 41 53 45 28 4e 29 20 7b define CASE(N) {
0800: 63 65 72 72 20 3c 3c 20 22 54 65 73 74 20 43 61 cerr << "Test Ca
0810: 73 65 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e se #" << N << ".
0820: 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 3b 20 73 74 .." << flush; st
0830: 61 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28 29 art_time=clock()
0840: 3b 0d 0a 23 64 65 66 69 6e 65 20 45 4e 44 09 20 ;..#define END.
0850: 76 65 72 69 66 79 5f 63 61 73 65 28 5f 2c 20 57 verify_case(_, W
0860: 68 69 74 65 53 70 61 63 65 45 64 69 74 69 6e 67 hiteSpaceEditing
0870: 28 29 2e 67 65 74 4d 69 6e 69 6d 75 6d 28 6c 69 ().getMinimum(li
0880: 6e 65 73 29 29 3b 7d 0d 0a 69 6e 74 20 6d 61 69 nes));}..int mai
0890: 6e 28 29 7b 0d 0a 0d 0a 43 41 53 45 28 30 29 0d n(){....CASE(0).
08a0: 0a 09 69 6e 74 20 6c 69 6e 65 73 5f 5b 5d 20 3d ..int lines_[] =
08b0: 20 7b 20 33 2c 20 32 2c 20 33 20 7d 3b 0d 0a 09 { 3, 2, 3 };...
08c0: 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 6c vector <int> l
08d0: 69 6e 65 73 28 6c 69 6e 65 73 5f 2c 20 6c 69 6e ines(lines_, lin
08e0: 65 73 5f 2b 73 69 7a 65 6f 66 28 6c 69 6e 65 73 es_+sizeof(lines
08f0: 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c 69 6e 65 73 _)/sizeof(*lines
0900: 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 _)); ...int _ =
0910: 36 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31 6; ..END..CASE(1
0920: 29 0d 0a 09 69 6e 74 20 6c 69 6e 65 73 5f 5b 5d )...int lines_[]
0930: 20 3d 20 7b 20 30 20 7d 3b 0d 0a 09 20 20 76 65 = { 0 };... ve
0940: 63 74 6f 72 20 3c 69 6e 74 3e 20 6c 69 6e 65 73 ctor <int> lines
0950: 28 6c 69 6e 65 73 5f 2c 20 6c 69 6e 65 73 5f 2b (lines_, lines_+
0960: 73 69 7a 65 6f 66 28 6c 69 6e 65 73 5f 29 2f 73 sizeof(lines_)/s
0970: 69 7a 65 6f 66 28 2a 6c 69 6e 65 73 5f 29 29 3b izeof(*lines_));
0980: 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 30 3b 20 0d ...int _ = 0; .
0990: 0a 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a 09 .END..CASE(2)...
09a0: 69 6e 74 20 6c 69 6e 65 73 5f 5b 5d 20 3d 20 7b int lines_[] = {
09b0: 20 31 2c 20 32 2c 20 34 20 7d 0d 0a 3b 0d 0a 09 1, 2, 4 }..;...
09c0: 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 6c vector <int> l
09d0: 69 6e 65 73 28 6c 69 6e 65 73 5f 2c 20 6c 69 6e ines(lines_, lin
09e0: 65 73 5f 2b 73 69 7a 65 6f 66 28 6c 69 6e 65 73 es_+sizeof(lines
09f0: 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c 69 6e 65 73 _)/sizeof(*lines
0a00: 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 _)); ...int _ =
0a10: 36 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 33 6; ..END..CASE(3
0a20: 29 0d 0a 09 69 6e 74 20 6c 69 6e 65 73 5f 5b 5d )...int lines_[]
0a30: 20 3d 20 7b 20 32 35 30 2c 20 31 30 35 2c 20 31 = { 250, 105, 1
0a40: 35 35 2c 20 32 30 35 2c 20 33 35 30 20 7d 0d 0a 55, 205, 350 }..
0a50: 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e ;... vector <in
0a60: 74 3e 20 6c 69 6e 65 73 28 6c 69 6e 65 73 5f 2c t> lines(lines_,
0a70: 20 6c 69 6e 65 73 5f 2b 73 69 7a 65 6f 66 28 6c lines_+sizeof(l
0a80: 69 6e 65 73 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c ines_)/sizeof(*l
0a90: 69 6e 65 73 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 ines_)); ...int
0aa0: 5f 20 3d 20 34 39 39 3b 20 0d 0a 45 4e 44 0d 0a _ = 499; ..END..
0ab0: 2f 2a 0d 0a 43 41 53 45 28 34 29 0d 0a 09 69 6e /*..CASE(4)...in
0ac0: 74 20 6c 69 6e 65 73 5f 5b 5d 20 3d 20 3b 0d 0a t lines_[] = ;..
0ad0: 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 . vector <int>
0ae0: 6c 69 6e 65 73 28 6c 69 6e 65 73 5f 2c 20 6c 69 lines(lines_, li
0af0: 6e 65 73 5f 2b 73 69 7a 65 6f 66 28 6c 69 6e 65 nes_+sizeof(line
0b00: 73 5f 29 2f 73 69 7a 65 6f 66 28 2a 6c 69 6e 65 s_)/sizeof(*line
0b10: 73 5f 29 29 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d s_)); ...int _ =
0b20: 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35 ; ..END..CASE(5
0b30: 29 0d 0a 09 69 6e 74 20 6c 69 6e 65 73 5f 5b 5d )...int lines_[]
0b40: 20 3d 20 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 = ;... vector
0b50: 3c 69 6e 74 3e 20 6c 69 6e 65 73 28 6c 69 6e 65 <int> lines(line
0b60: 73 5f 2c 20 6c 69 6e 65 73 5f 2b 73 69 7a 65 6f s_, lines_+sizeo
0b70: 66 28 6c 69 6e 65 73 5f 29 2f 73 69 7a 65 6f 66 f(lines_)/sizeof
0b80: 28 2a 6c 69 6e 65 73 5f 29 29 3b 20 0d 0a 09 69 (*lines_)); ...i
0b90: 6e 74 20 5f 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a nt _ = ; ..END..
0ba0: 2a 2f 0d 0a 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 */..}..// END CU
0bb0: 54 20 48 45 52 45 0d 0a T HERE..