Artifact b8edf4ca77074ee34518ae8bd3ceead6167d0f9c:
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 50 61 CMP;....class Pa
01a0: 6c 69 6e 64 72 6f 6d 66 75 6c 53 74 72 69 6e 67 lindromfulString
01b0: 20 7b 20 70 75 62 6c 69 63 3a 0d 0a 09 6c 6f 6e { public:...lon
01c0: 67 20 6c 6f 6e 67 20 63 6f 75 6e 74 28 69 6e 74 g long count(int
01d0: 20 4e 2c 20 69 6e 74 20 4d 2c 20 69 6e 74 20 4b N, int M, int K
01e0: 29 20 0d 0a 09 7b 0d 0a 09 09 76 65 63 74 6f 72 ) ...{....vector
01f0: 3c 69 6e 74 3e 20 74 6d 70 3b 0d 0a 09 09 72 65 <int> tmp;....re
0200: 74 75 72 6e 20 72 65 63 28 4e 2c 20 4d 2c 20 4b turn rec(N, M, K
0210: 2c 20 74 6d 70 2c 20 30 29 3b 0d 0a 09 7d 0d 0a , tmp, 0);...}..
0220: 0d 0a 09 73 74 61 74 69 63 20 4c 4c 20 72 65 63 ...static LL rec
0230: 28 69 6e 74 20 4e 2c 20 69 6e 74 20 4d 2c 20 69 (int N, int M, i
0240: 6e 74 20 4b 2c 20 76 65 63 74 6f 72 3c 69 6e 74 nt K, vector<int
0250: 3e 26 20 63 75 72 2c 20 69 6e 74 20 75 73 65 64 >& cur, int used
0260: 4d 61 78 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 Max)...{....if(
0270: 63 75 72 2e 73 69 7a 65 28 29 20 3d 3d 20 4e 20 cur.size() == N
0280: 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 6e 74 20 70 )....{.....int p
0290: 63 3d 30 3b 0d 0a 09 09 09 66 6f 72 28 69 6e 74 c=0;.....for(int
02a0: 20 73 3d 30 3b 20 73 2b 4d 3c 3d 4e 3b 20 2b 2b s=0; s+M<=N; ++
02b0: 73 29 0d 0a 09 09 09 09 69 66 28 20 69 73 50 61 s)......if( isPa
02c0: 6c 69 6e 28 63 75 72 2c 20 73 2c 20 73 2b 4d 29 lin(cur, s, s+M)
02d0: 20 29 0d 0a 09 09 09 09 09 70 63 2b 2b 3b 0d 0a ).......pc++;..
02e0: 09 09 09 72 65 74 75 72 6e 20 28 70 63 3e 3d 4b ...return (pc>=K
02f0: 20 3f 20 50 28 32 36 2c 20 75 73 65 64 4d 61 78 ? P(26, usedMax
0300: 29 20 3a 20 30 29 3b 0d 0a 09 09 7d 0d 0a 09 09 ) : 0);....}....
0310: 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 4c 4c else....{.....LL
0320: 20 73 75 6d 20 3d 20 30 3b 0d 0a 09 09 09 66 6f sum = 0;.....fo
0330: 72 28 69 6e 74 20 6b 3d 31 3b 20 6b 3c 3d 75 73 r(int k=1; k<=us
0340: 65 64 4d 61 78 2b 31 3b 20 2b 2b 6b 29 0d 0a 09 edMax+1; ++k)...
0350: 09 09 7b 0d 0a 09 09 09 09 63 75 72 2e 70 75 73 ..{......cur.pus
0360: 68 5f 62 61 63 6b 28 6b 29 3b 0d 0a 09 09 09 09 h_back(k);......
0370: 73 75 6d 20 2b 3d 20 72 65 63 28 4e 2c 20 4d 2c sum += rec(N, M,
0380: 20 4b 2c 20 63 75 72 2c 20 6d 61 78 28 75 73 65 K, cur, max(use
0390: 64 4d 61 78 2c 6b 29 29 3b 0d 0a 09 09 09 09 63 dMax,k));......c
03a0: 75 72 2e 70 6f 70 5f 62 61 63 6b 28 29 3b 0d 0a ur.pop_back();..
03b0: 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e 20 ...}.....return
03c0: 73 75 6d 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d sum;....}...}...
03d0: 0a 09 73 74 61 74 69 63 20 62 6f 6f 6c 20 69 73 ..static bool is
03e0: 50 61 6c 69 6e 28 63 6f 6e 73 74 20 76 65 63 74 Palin(const vect
03f0: 6f 72 3c 69 6e 74 3e 26 20 76 2c 20 69 6e 74 20 or<int>& v, int
0400: 73 2c 20 69 6e 74 20 65 29 0d 0a 09 7b 0d 0a 09 s, int e)...{...
0410: 09 66 6f 72 28 20 3b 20 73 3c 3d 2d 2d 65 3b 20 .for( ; s<=--e;
0420: 2b 2b 73 29 0d 0a 09 09 09 69 66 28 20 76 5b 73 ++s).....if( v[s
0430: 5d 20 21 3d 20 76 5b 65 5d 20 29 0d 0a 09 09 09 ] != v[e] ).....
0440: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a .return false;..
0450: 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a ..return true;..
0460: 09 7d 0d 0a 0d 0a 09 73 74 61 74 69 63 20 4c 4c .}.....static LL
0470: 20 50 28 69 6e 74 20 76 2c 20 69 6e 74 20 6e 29 P(int v, int n)
0480: 0d 0a 09 7b 0d 0a 09 09 4c 4c 20 78 20 3d 20 31 ...{....LL x = 1
0490: 3b 0d 0a 09 09 66 6f 72 28 69 6e 74 20 69 3d 30 ;....for(int i=0
04a0: 3b 20 69 3c 6e 3b 20 2b 2b 69 29 0d 0a 09 09 09 ; i<n; ++i).....
04b0: 78 20 2a 3d 20 76 2d 69 3b 0d 0a 09 09 72 65 74 x *= v-i;....ret
04c0: 75 72 6e 20 78 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a urn x;...}..};..
04d0: 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 48 ..// BEGIN CUT H
04e0: 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63 ERE..#include <c
04f0: 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 74 time>..double st
0500: 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 6e 67 art_time; string
0510: 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f 73 74 timer().. { ost
0520: 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f ringstream os; o
0530: 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e 74 s << " (" << int
0540: 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 5f ((clock()-start_
0550: 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 52 time)/CLOCKS_PER
0560: 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 20 _SEC*1000) << "
0570: 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 6f msec)"; return o
0580: 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 6d 70 s.str(); }..temp
0590: 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 3e late<typename T>
05a0: 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 61 74 ostream& operat
05b0: 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 6f 73 or<<(ostream& os
05c0: 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c 54 , const vector<T
05d0: 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c 3c 20 >& v).. { os <<
05e0: 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 74 79 "{ ";.. for(ty
05f0: 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 3e pename vector<T>
0600: 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f 72 ::const_iterator
0610: 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b 20 69 it=v.begin(); i
0620: 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 t!=v.end(); ++it
0630: 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c 22 27 ).. os << '\"'
0640: 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 27 20 << *it << '\"'
0650: 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e 64 28 << (it+1==v.end(
0660: 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 3b 20 ) ? "" : ", ");
0670: 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 75 os << " }"; retu
0680: 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 20 76 rn os; }..void v
0690: 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 74 erify_case(const
06a0: 20 6c 6f 6e 67 20 6c 6f 6e 67 26 20 45 78 70 65 long long& Expe
06b0: 63 74 65 64 2c 20 63 6f 6e 73 74 20 6c 6f 6e 67 cted, const long
06c0: 20 6c 6f 6e 67 26 20 52 65 63 65 69 76 65 64 29 long& Received)
06d0: 20 7b 0d 0a 20 62 6f 6f 6c 20 6f 6b 20 3d 20 28 {.. bool ok = (
06e0: 45 78 70 65 63 74 65 64 20 3d 3d 20 52 65 63 65 Expected == Rece
06f0: 69 76 65 64 29 3b 0d 0a 20 69 66 28 6f 6b 29 20 ived);.. if(ok)
0700: 63 65 72 72 20 3c 3c 20 22 50 41 53 53 45 44 22 cerr << "PASSED"
0710: 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 << timer() << e
0720: 6e 64 6c 3b 20 20 65 6c 73 65 20 7b 20 63 65 72 ndl; else { cer
0730: 72 20 3c 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c r << "FAILED" <<
0740: 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c timer() << endl
0750: 3b 0d 0a 20 63 65 72 72 20 3c 3c 20 22 5c 74 6f ;.. cerr << "\to
0760: 3a 20 5c 22 22 20 3c 3c 20 45 78 70 65 63 74 65 : \"" << Expecte
0770: 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 d << '\"' << end
0780: 6c 20 3c 3c 20 22 5c 74 78 3a 20 5c 22 22 20 3c l << "\tx: \"" <
0790: 3c 20 52 65 63 65 69 76 65 64 20 3c 3c 20 27 5c < Received << '\
07a0: 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d "' << endl; } }.
07b0: 0a 23 64 65 66 69 6e 65 20 43 41 53 45 28 4e 29 .#define CASE(N)
07c0: 20 7b 63 65 72 72 20 3c 3c 20 22 54 65 73 74 20 {cerr << "Test
07d0: 43 61 73 65 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 Case #" << N <<
07e0: 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 3b 20 "..." << flush;
07f0: 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b start_time=clock
0800: 28 29 3b 0d 0a 23 64 65 66 69 6e 65 20 45 4e 44 ();..#define END
0810: 09 20 76 65 72 69 66 79 5f 63 61 73 65 28 5f 2c . verify_case(_,
0820: 20 50 61 6c 69 6e 64 72 6f 6d 66 75 6c 53 74 72 PalindromfulStr
0830: 69 6e 67 28 29 2e 63 6f 75 6e 74 28 4e 2c 20 4d ing().count(N, M
0840: 2c 20 4b 29 29 3b 7d 0d 0a 69 6e 74 20 6d 61 69 , K));}..int mai
0850: 6e 28 29 7b 0d 0a 0d 0a 43 41 53 45 28 30 29 0d n(){....CASE(0).
0860: 0a 09 69 6e 74 20 4e 20 3d 20 32 3b 20 0d 0a 09 ..int N = 2; ...
0870: 69 6e 74 20 4d 20 3d 20 32 3b 20 0d 0a 09 69 6e int M = 2; ...in
0880: 74 20 4b 20 3d 20 31 3b 20 0d 0a 09 6c 6f 6e 67 t K = 1; ...long
0890: 20 6c 6f 6e 67 20 5f 20 3d 20 32 36 4c 4c 3b 20 long _ = 26LL;
08a0: 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31 29 0d 0a ..END..CASE(1)..
08b0: 09 69 6e 74 20 4e 20 3d 20 32 3b 20 0d 0a 09 69 .int N = 2; ...i
08c0: 6e 74 20 4d 20 3d 20 32 3b 20 0d 0a 09 69 6e 74 nt M = 2; ...int
08d0: 20 4b 20 3d 20 30 3b 20 0d 0a 09 6c 6f 6e 67 20 K = 0; ...long
08e0: 6c 6f 6e 67 20 5f 20 3d 20 36 37 36 4c 4c 3b 20 long _ = 676LL;
08f0: 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a ..END..CASE(2)..
0900: 09 69 6e 74 20 4e 20 3d 20 33 3b 20 0d 0a 09 69 .int N = 3; ...i
0910: 6e 74 20 4d 20 3d 20 32 3b 20 0d 0a 09 69 6e 74 nt M = 2; ...int
0920: 20 4b 20 3d 20 31 3b 20 0d 0a 09 6c 6f 6e 67 20 K = 1; ...long
0930: 6c 6f 6e 67 20 5f 20 3d 20 31 33 32 36 4c 4c 3b long _ = 1326LL;
0940: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 33 29 0d ..END..CASE(3).
0950: 0a 09 69 6e 74 20 4e 20 3d 20 34 3b 20 0d 0a 09 ..int N = 4; ...
0960: 69 6e 74 20 4d 20 3d 20 34 3b 20 0d 0a 09 69 6e int M = 4; ...in
0970: 74 20 4b 20 3d 20 31 3b 20 0d 0a 09 6c 6f 6e 67 t K = 1; ...long
0980: 20 6c 6f 6e 67 20 5f 20 3d 20 36 37 36 4c 4c 3b long _ = 676LL;
0990: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 34 29 0d ..END..CASE(4).
09a0: 0a 09 69 6e 74 20 4e 20 3d 20 37 3b 20 0d 0a 09 ..int N = 7; ...
09b0: 69 6e 74 20 4d 20 3d 20 33 3b 20 0d 0a 09 69 6e int M = 3; ...in
09c0: 74 20 4b 20 3d 20 33 3b 20 0d 0a 09 6c 6f 6e 67 t K = 3; ...long
09d0: 20 6c 6f 6e 67 20 5f 20 3d 20 34 33 31 30 31 37 long _ = 431017
09e0: 36 4c 4c 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 6LL; ..END..CASE
09f0: 28 35 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 31 31 (5)...int N = 11
0a00: 3b 20 0d 0a 09 69 6e 74 20 4d 20 3d 20 32 3b 20 ; ...int M = 2;
0a10: 0d 0a 09 69 6e 74 20 4b 20 3d 20 30 3b 20 0d 0a ...int K = 0; ..
0a20: 09 6c 6f 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 2d .long long _ = -
0a30: 31 4c 4c 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 1LL; ..END..CASE
0a40: 28 36 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 31 31 (6)...int N = 11
0a50: 3b 20 0d 0a 09 69 6e 74 20 4d 20 3d 20 35 3b 20 ; ...int M = 5;
0a60: 0d 0a 09 69 6e 74 20 4b 20 3d 20 30 3b 20 0d 0a ...int K = 0; ..
0a70: 09 6c 6f 6e 67 20 6c 6f 6e 67 20 5f 20 3d 20 2d .long long _ = -
0a80: 31 4c 4c 3b 20 0d 0a 45 4e 44 0d 0a 0d 0a 7d 0d 1LL; ..END....}.
0a90: 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 52 45 .// END CUT HERE
0aa0: 0d 0a ..