Artifact ae835c90175ffde078c8203e8e698cf3c8d524dc:
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: 75 73 69 6e 67 20 6e 61 6d 65 73 70 61 63 65 20 using namespace
0060: 73 74 64 3b 0d 0a 0d 0a 73 74 61 74 69 63 20 63 std;....static c
0070: 6f 6e 73 74 20 75 6e 73 69 67 6e 65 64 20 4d 4f onst unsigned MO
0080: 44 56 41 4c 20 3d 20 31 30 30 30 30 30 30 30 30 DVAL = 100000000
0090: 37 3b 0d 0a 73 74 72 75 63 74 20 6d 69 6e 74 0d 7;..struct mint.
00a0: 0a 7b 0d 0a 09 75 6e 73 69 67 6e 65 64 20 76 61 .{...unsigned va
00b0: 6c 3b 0d 0a 09 6d 69 6e 74 28 29 3a 76 61 6c 28 l;...mint():val(
00c0: 30 29 7b 7d 0d 0a 09 6d 69 6e 74 28 69 6e 74 20 0){}...mint(int
00d0: 20 20 20 20 20 78 29 3a 76 61 6c 28 78 25 4d 4f x):val(x%MO
00e0: 44 56 41 4c 29 20 7b 7d 0d 0a 09 6d 69 6e 74 28 DVAL) {}...mint(
00f0: 75 6e 73 69 67 6e 65 64 20 78 29 3a 76 61 6c 28 unsigned x):val(
0100: 78 25 4d 4f 44 56 41 4c 29 20 7b 7d 0d 0a 7d 3b x%MODVAL) {}..};
0110: 0d 0a 6d 69 6e 74 26 20 6f 70 65 72 61 74 6f 72 ..mint& operator
0120: 2b 3d 28 6d 69 6e 74 26 20 78 2c 20 6d 69 6e 74 +=(mint& x, mint
0130: 20 79 29 20 7b 20 72 65 74 75 72 6e 20 78 20 3d y) { return x =
0140: 20 78 2e 76 61 6c 2b 79 2e 76 61 6c 3b 20 7d 0d x.val+y.val; }.
0150: 0a 0d 0a 63 6c 61 73 73 20 41 6c 69 65 6e 41 6e ...class AlienAn
0160: 64 53 65 74 44 69 76 31 20 7b 20 70 75 62 6c 69 dSetDiv1 { publi
0170: 63 3a 0d 0a 09 69 6e 74 20 67 65 74 4e 75 6d 62 c:...int getNumb
0180: 65 72 28 69 6e 74 20 4e 2c 20 69 6e 74 20 4b 29 er(int N, int K)
0190: 0d 0a 09 7b 0d 0a 09 09 6d 65 6d 6f 2e 61 73 73 ...{....memo.ass
01a0: 69 67 6e 28 28 31 3c 3c 4b 29 2a 28 4e 2b 31 29 ign((1<<K)*(N+1)
01b0: 2a 28 4e 2b 31 29 2c 20 2d 31 29 3b 0d 0a 09 09 *(N+1), -1);....
01c0: 76 65 63 74 6f 72 3c 69 6e 74 3e 20 41 2c 20 42 vector<int> A, B
01d0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 63 28 ;....return rec(
01e0: 4e 2c 20 4b 2c 20 41 2c 20 42 2c 20 30 29 3b 0d N, K, A, B, 0);.
01f0: 0a 09 7d 0d 0a 0d 0a 09 76 65 63 74 6f 72 3c 69 ..}.....vector<i
0200: 6e 74 3e 20 6d 65 6d 6f 3b 0d 0a 09 69 6e 74 20 nt> memo;...int
0210: 72 65 63 28 73 69 7a 65 5f 74 20 4e 2c 20 69 6e rec(size_t N, in
0220: 74 20 4b 2c 20 76 65 63 74 6f 72 3c 69 6e 74 3e t K, vector<int>
0230: 26 20 41 2c 20 76 65 63 74 6f 72 3c 69 6e 74 3e & A, vector<int>
0240: 26 20 42 2c 20 69 6e 74 20 6c 61 73 74 6b 29 0d & B, int lastk).
0250: 0a 09 7b 0d 0a 09 09 69 66 28 41 2e 73 69 7a 65 ..{....if(A.size
0260: 28 29 3d 3d 4e 20 26 26 20 42 2e 73 69 7a 65 28 ()==N && B.size(
0270: 29 3d 3d 4e 29 0d 0a 09 09 09 72 65 74 75 72 6e )==N).....return
0280: 20 31 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 6b 65 1;......auto ke
0290: 79 20 3d 20 28 6c 61 73 74 6b 2a 28 4e 2b 31 29 y = (lastk*(N+1)
02a0: 2b 41 2e 73 69 7a 65 28 29 29 2a 28 4e 2b 31 29 +A.size())*(N+1)
02b0: 2b 42 2e 73 69 7a 65 28 29 3b 0d 0a 09 09 69 66 +B.size();....if
02c0: 28 6d 65 6d 6f 5b 6b 65 79 5d 20 3e 3d 20 30 29 (memo[key] >= 0)
02d0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 65 6d 6f .....return memo
02e0: 5b 6b 65 79 5d 3b 0d 0a 0d 0a 09 09 69 6e 74 20 [key];......int
02f0: 6e 65 78 74 20 3d 20 41 2e 73 69 7a 65 28 29 2b next = A.size()+
0300: 42 2e 73 69 7a 65 28 29 2b 31 2c 20 6e 65 78 74 B.size()+1, next
0310: 6d 61 73 6b 20 3d 20 28 6c 61 73 74 6b 20 26 7e mask = (lastk &~
0320: 20 28 31 3c 3c 28 4b 2d 31 29 29 29 3c 3c 31 3b (1<<(K-1)))<<1;
0330: 0d 0a 09 09 69 6e 74 20 61 69 20 3d 20 41 2e 73 ....int ai = A.s
0340: 69 7a 65 28 29 2c 20 62 69 20 3d 20 42 2e 73 69 ize(), bi = B.si
0350: 7a 65 28 29 3b 0d 0a 0d 0a 09 09 6d 69 6e 74 20 ze();......mint
0360: 74 6f 74 61 6c 20 3d 20 30 3b 0d 0a 0d 0a 09 09 total = 0;......
0370: 41 2e 70 75 73 68 5f 62 61 63 6b 28 6e 65 78 74 A.push_back(next
0380: 29 3b 0d 0a 09 09 69 66 28 41 2e 73 69 7a 65 28 );....if(A.size(
0390: 29 3c 3d 4e 20 26 26 20 28 61 69 3e 3d 42 2e 73 )<=N && (ai>=B.s
03a0: 69 7a 65 28 29 20 7c 7c 20 61 62 73 28 41 5b 61 ize() || abs(A[a
03b0: 69 5d 2d 42 5b 61 69 5d 29 3e 3d 4b 29 29 0d 0a i]-B[ai])>=K))..
03c0: 09 09 09 74 6f 74 61 6c 20 2b 3d 20 72 65 63 28 ...total += rec(
03d0: 4e 2c 20 4b 2c 20 41 2c 20 42 2c 20 6e 65 78 74 N, K, A, B, next
03e0: 6d 61 73 6b 29 3b 0d 0a 09 09 41 2e 70 6f 70 5f mask);....A.pop_
03f0: 62 61 63 6b 28 29 3b 0d 0a 09 09 42 2e 70 75 73 back();....B.pus
0400: 68 5f 62 61 63 6b 28 6e 65 78 74 29 3b 0d 0a 09 h_back(next);...
0410: 09 69 66 28 42 2e 73 69 7a 65 28 29 3c 3d 4e 20 .if(B.size()<=N
0420: 26 26 20 28 62 69 3e 3d 41 2e 73 69 7a 65 28 29 && (bi>=A.size()
0430: 20 7c 7c 20 61 62 73 28 41 5b 62 69 5d 2d 42 5b || abs(A[bi]-B[
0440: 62 69 5d 29 3e 3d 4b 29 29 0d 0a 09 09 09 74 6f bi])>=K)).....to
0450: 74 61 6c 20 2b 3d 20 72 65 63 28 4e 2c 20 4b 2c tal += rec(N, K,
0460: 20 41 2c 20 42 2c 20 6e 65 78 74 6d 61 73 6b 7c A, B, nextmask|
0470: 31 29 3b 0d 0a 09 09 42 2e 70 6f 70 5f 62 61 63 1);....B.pop_bac
0480: 6b 28 29 3b 0d 0a 0d 0a 09 09 72 65 74 75 72 6e k();......return
0490: 20 6d 65 6d 6f 5b 6b 65 79 5d 20 3d 20 74 6f 74 memo[key] = tot
04a0: 61 6c 2e 76 61 6c 3b 0d 0a 09 7d 0d 0a 7d 3b 0d al.val;...}..};.
04b0: 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 ...// BEGIN CUT
04c0: 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c HERE..#include <
04d0: 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 ctime>..double s
04e0: 74 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 6e tart_time; strin
04f0: 67 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f 73 g timer().. { os
0500: 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 tringstream os;
0510: 6f 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e os << " (" << in
0520: 74 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 t((clock()-start
0530: 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 _time)/CLOCKS_PE
0540: 52 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 R_SEC*1000) << "
0550: 20 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 msec)"; return
0560: 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 6d os.str(); }..tem
0570: 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 plate<typename T
0580: 3e 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 61 > ostream& opera
0590: 74 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 6f tor<<(ostream& o
05a0: 73 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c s, const vector<
05b0: 54 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c 3c T>& v).. { os <<
05c0: 20 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 74 "{ ";.. for(t
05d0: 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 ypename vector<T
05e0: 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f >::const_iterato
05f0: 72 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b 20 r it=v.begin();
0600: 69 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b 69 it!=v.end(); ++i
0610: 74 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c 22 t).. os << '\"
0620: 27 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 27 ' << *it << '\"'
0630: 20 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e 64 << (it+1==v.end
0640: 28 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 3b () ? "" : ", ");
0650: 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 os << " }"; ret
0660: 75 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 20 urn os; }..void
0670: 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 verify_case(cons
0680: 74 20 69 6e 74 26 20 45 78 70 65 63 74 65 64 2c t int& Expected,
0690: 20 63 6f 6e 73 74 20 69 6e 74 26 20 52 65 63 65 const int& Rece
06a0: 69 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f ived) {.. bool o
06b0: 6b 20 3d 20 28 45 78 70 65 63 74 65 64 20 3d 3d k = (Expected ==
06c0: 20 52 65 63 65 69 76 65 64 29 3b 0d 0a 20 69 66 Received);.. if
06d0: 28 6f 6b 29 20 63 65 72 72 20 3c 3c 20 22 50 41 (ok) cerr << "PA
06e0: 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 SSED" << timer()
06f0: 20 3c 3c 20 65 6e 64 6c 3b 20 20 65 6c 73 65 20 << endl; else
0700: 7b 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 { cerr << "FAILE
0710: 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c D" << timer() <<
0720: 20 65 6e 64 6c 3b 0d 0a 20 63 65 72 72 20 3c 3c endl;.. cerr <<
0730: 20 22 5c 74 6f 3a 20 5c 22 22 20 3c 3c 20 45 78 "\to: \"" << Ex
0740: 70 65 63 74 65 64 20 3c 3c 20 27 5c 22 27 20 3c pected << '\"' <
0750: 3c 20 65 6e 64 6c 20 3c 3c 20 22 5c 74 78 3a 20 < endl << "\tx:
0760: 5c 22 22 20 3c 3c 20 52 65 63 65 69 76 65 64 20 \"" << Received
0770: 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b << '\"' << endl;
0780: 20 7d 20 7d 0d 0a 23 64 65 66 69 6e 65 20 43 41 } }..#define CA
0790: 53 45 28 4e 29 20 7b 63 65 72 72 20 3c 3c 20 22 SE(N) {cerr << "
07a0: 54 65 73 74 20 43 61 73 65 20 23 22 20 3c 3c 20 Test Case #" <<
07b0: 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c N << "..." << fl
07c0: 75 73 68 3b 20 73 74 61 72 74 5f 74 69 6d 65 3d ush; start_time=
07d0: 63 6c 6f 63 6b 28 29 3b 0d 0a 23 64 65 66 69 6e clock();..#defin
07e0: 65 20 45 4e 44 09 20 76 65 72 69 66 79 5f 63 61 e END. verify_ca
07f0: 73 65 28 5f 2c 20 41 6c 69 65 6e 41 6e 64 53 65 se(_, AlienAndSe
0800: 74 44 69 76 31 28 29 2e 67 65 74 4e 75 6d 62 65 tDiv1().getNumbe
0810: 72 28 4e 2c 20 4b 29 29 3b 7d 0d 0a 69 6e 74 20 r(N, K));}..int
0820: 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 41 53 45 28 main(){....CASE(
0830: 30 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 32 3b 20 0)...int N = 2;
0840: 0d 0a 09 69 6e 74 20 4b 20 3d 20 32 3b 20 0d 0a ...int K = 2; ..
0850: 09 69 6e 74 20 5f 20 3d 20 32 3b 20 0d 0a 45 4e .int _ = 2; ..EN
0860: 44 0d 0a 43 41 53 45 28 31 29 0d 0a 09 69 6e 74 D..CASE(1)...int
0870: 20 4e 20 3d 20 33 3b 20 0d 0a 09 69 6e 74 20 4b N = 3; ...int K
0880: 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d = 1; ...int _ =
0890: 20 32 30 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 20; ..END..CASE
08a0: 28 32 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 34 3b (2)...int N = 4;
08b0: 20 0d 0a 09 69 6e 74 20 4b 20 3d 20 32 3b 20 0d ...int K = 2; .
08c0: 0a 09 69 6e 74 20 5f 20 3d 20 31 34 3b 20 0d 0a ..int _ = 14; ..
08d0: 45 4e 44 0d 0a 43 41 53 45 28 33 29 0d 0a 09 69 END..CASE(3)...i
08e0: 6e 74 20 4e 20 3d 20 31 30 3b 20 0d 0a 09 69 6e nt N = 10; ...in
08f0: 74 20 4b 20 3d 20 37 3b 20 0d 0a 09 69 6e 74 20 t K = 7; ...int
0900: 5f 20 3d 20 34 30 3b 20 0d 0a 45 4e 44 0d 0a 43 _ = 40; ..END..C
0910: 41 53 45 28 34 29 0d 0a 09 69 6e 74 20 4e 20 3d ASE(4)...int N =
0920: 20 35 30 3b 20 0d 0a 09 69 6e 74 20 4b 20 3d 20 50; ...int K =
0930: 31 30 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 2d 10; ...int _ = -
0940: 31 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35 1; ..END..CASE(5
0950: 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 35 30 3b 20 )...int N = 50;
0960: 0d 0a 09 69 6e 74 20 4b 20 3d 20 31 3b 20 0d 0a ...int K = 1; ..
0970: 09 69 6e 74 20 5f 20 3d 20 2d 31 3b 20 0d 0a 45 .int _ = -1; ..E
0980: 4e 44 0d 0a 43 41 53 45 28 35 29 0d 0a 09 69 6e ND..CASE(5)...in
0990: 74 20 4e 20 3d 20 35 30 3b 20 0d 0a 09 69 6e 74 t N = 50; ...int
09a0: 20 4b 20 3d 20 32 3b 20 0d 0a 09 69 6e 74 20 5f K = 2; ...int _
09b0: 20 3d 20 2d 31 3b 20 0d 0a 45 4e 44 0d 0a 43 41 = -1; ..END..CA
09c0: 53 45 28 35 29 0d 0a 09 69 6e 74 20 4e 20 3d 20 SE(5)...int N =
09d0: 35 30 3b 20 0d 0a 09 69 6e 74 20 4b 20 3d 20 34 50; ...int K = 4
09e0: 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 2d 31 3b ; ...int _ = -1;
09f0: 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35 29 0d ..END..CASE(5).
0a00: 0a 09 69 6e 74 20 4e 20 3d 20 32 3b 20 0d 0a 09 ..int N = 2; ...
0a10: 69 6e 74 20 4b 20 3d 20 32 3b 20 0d 0a 09 69 6e int K = 2; ...in
0a20: 74 20 5f 20 3d 20 32 3b 20 0d 0a 45 4e 44 0d 0a t _ = 2; ..END..
0a30: 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 }..// END CUT HE
0a40: 52 45 0d 0a RE..