Artifact 80f635d2b3ec8a206188bd80b8bce3d5a9b0d05d:
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 74 75 70 6c 65 3e 0d 0a 75 73 69 6e 67 20 6e <tuple>..using n
0150: 61 6d 65 73 70 61 63 65 20 73 74 64 3b 0d 0a 74 amespace std;..t
0160: 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c 6f 6e 67 ypedef long long
0170: 20 4c 4c 3b 0d 0a 74 79 70 65 64 65 66 20 63 6f LL;..typedef co
0180: 6d 70 6c 65 78 3c 64 6f 75 62 6c 65 3e 20 43 4d mplex<double> CM
0190: 50 3b 0d 0a 0d 0a 73 74 61 74 69 63 20 63 6f 6e P;....static con
01a0: 73 74 20 75 6e 73 69 67 6e 65 64 20 4d 4f 44 56 st unsigned MODV
01b0: 41 4c 20 3d 20 31 30 30 30 30 30 30 30 30 37 3b AL = 1000000007;
01c0: 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 ....template<typ
01d0: 65 6e 61 6d 65 20 54 3e 0d 0a 73 74 72 75 63 74 ename T>..struct
01e0: 20 44 50 32 0d 0a 7b 0d 0a 09 63 6f 6e 73 74 20 DP2..{...const
01f0: 69 6e 74 20 4e 31 2c 20 4e 32 3b 0d 0a 09 76 65 int N1, N2;...ve
0200: 63 74 6f 72 3c 54 3e 20 64 61 74 61 3b 0d 0a 09 ctor<T> data;...
0210: 44 50 32 28 69 6e 74 20 4e 31 2c 20 69 6e 74 20 DP2(int N1, int
0220: 4e 32 2c 20 63 6f 6e 73 74 20 54 26 20 74 20 3d N2, const T& t =
0230: 20 54 28 29 29 0d 0a 09 09 3a 20 4e 31 28 4e 31 T())....: N1(N1
0240: 29 2c 20 4e 32 28 4e 32 29 2c 20 64 61 74 61 28 ), N2(N2), data(
0250: 4e 31 2a 4e 32 2c 20 74 29 20 7b 0d 0a 09 09 61 N1*N2, t) {....a
0260: 73 73 65 72 74 28 64 61 74 61 2e 73 69 7a 65 28 ssert(data.size(
0270: 29 20 2a 20 73 69 7a 65 6f 66 28 54 29 3c 28 31 ) * sizeof(T)<(1
0280: 20 3c 3c 20 32 38 29 29 3b 0d 0a 09 7d 0d 0a 09 << 28));...}...
0290: 54 26 20 6f 70 65 72 61 74 6f 72 28 29 28 69 6e T& operator()(in
02a0: 74 20 69 31 2c 20 69 6e 74 20 69 32 29 0d 0a 09 t i1, int i2)...
02b0: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 64 61 74 61 {....return data
02c0: 5b 28 69 31 2a 4e 32 29 20 2b 20 69 32 5d 3b 0d [(i1*N2) + i2];.
02d0: 0a 09 7d 0d 0a 09 76 6f 69 64 20 73 77 61 70 28 ..}...void swap(
02e0: 44 50 32 26 20 72 68 73 29 0d 0a 09 7b 0d 0a 09 DP2& rhs)...{...
02f0: 09 64 61 74 61 2e 73 77 61 70 28 72 68 73 2e 64 .data.swap(rhs.d
0300: 61 74 61 29 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d ata);...}..};...
0310: 0a 63 6c 61 73 73 20 53 75 6d 50 79 72 61 6d 69 .class SumPyrami
0320: 64 20 7b 20 70 75 62 6c 69 63 3a 0d 0a 09 69 6e d { public:...in
0330: 74 20 63 6f 75 6e 74 50 79 72 61 6d 69 64 73 28 t countPyramids(
0340: 69 6e 74 20 6c 65 76 65 6c 73 2c 20 69 6e 74 20 int levels, int
0350: 74 6f 70 29 0d 0a 09 7b 0d 0a 09 09 76 65 63 74 top)...{....vect
0360: 6f 72 3c 69 6e 74 3e 20 43 28 31 2c 20 31 29 3b or<int> C(1, 1);
0370: 0d 0a 09 09 66 6f 72 20 28 69 6e 74 20 5f 20 3d ....for (int _ =
0380: 20 31 3b 20 5f 20 3c 20 6c 65 76 65 6c 73 3b 20 1; _ < levels;
0390: 2b 2b 5f 29 20 7b 0d 0a 09 09 09 76 65 63 74 6f ++_) {.....vecto
03a0: 72 3c 69 6e 74 3e 20 43 43 28 43 2e 73 69 7a 65 r<int> CC(C.size
03b0: 28 29 20 2b 20 31 29 3b 0d 0a 09 09 09 66 6f 72 () + 1);.....for
03c0: 20 28 73 69 7a 65 5f 74 20 69 20 3d 20 30 3b 20 (size_t i = 0;
03d0: 69 20 3c 20 43 43 2e 73 69 7a 65 28 29 3b 20 2b i < CC.size(); +
03e0: 2b 69 29 0d 0a 09 09 09 09 43 43 5b 69 5d 20 3d +i)......CC[i] =
03f0: 20 6d 69 6e 28 74 6f 70 20 2b 20 31 2c 20 28 69 min(top + 1, (i
0400: 20 3f 20 43 5b 69 20 2d 20 31 5d 20 3a 20 30 29 ? C[i - 1] : 0)
0410: 20 2b 20 28 69 3c 43 2e 73 69 7a 65 28 29 20 3f + (i<C.size() ?
0420: 20 43 5b 69 5d 20 3a 20 30 29 29 3b 0d 0a 09 09 C[i] : 0));....
0430: 09 43 20 3d 20 43 43 3b 0d 0a 09 09 7d 0d 0a 0d .C = CC;....}...
0440: 0a 09 09 44 50 32 3c 69 6e 74 3e 20 6d 65 6d 6f ...DP2<int> memo
0450: 28 6c 65 76 65 6c 73 2c 20 74 6f 70 2b 31 2c 20 (levels, top+1,
0460: 2d 31 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 72 -1);....return r
0470: 65 63 28 6c 65 76 65 6c 73 20 2d 20 31 2c 20 30 ec(levels - 1, 0
0480: 2c 20 74 6f 70 2c 20 43 2c 20 6d 65 6d 6f 29 3b , top, C, memo);
0490: 0d 0a 09 7d 0d 0a 0d 0a 09 69 6e 74 20 72 65 63 ...}.....int rec
04a0: 28 69 6e 74 20 6e 2c 20 69 6e 74 20 6b 2c 20 69 (int n, int k, i
04b0: 6e 74 20 73 75 6d 2c 20 63 6f 6e 73 74 20 76 65 nt sum, const ve
04c0: 63 74 6f 72 3c 69 6e 74 3e 26 20 43 2c 20 44 50 ctor<int>& C, DP
04d0: 32 3c 69 6e 74 3e 26 20 6d 65 6d 6f 29 20 0d 0a 2<int>& memo) ..
04e0: 09 7b 0d 0a 09 09 2f 2f 20 23 7b 78 2c 79 2c 2e .{....// #{x,y,.
04f0: 2e 2c 7a 7d 20 77 68 65 72 65 20 6e 43 6b 20 78 .,z} where nCk x
0500: 20 2b 20 6e 43 7b 6b 2b 31 7d 20 79 20 2b 20 2e + nC{k+1} y + .
0510: 2e 2e 20 2b 20 6e 43 6e 20 7a 20 3d 3d 20 73 75 .. + nCn z == su
0520: 6d 0d 0a 09 09 69 66 20 28 6d 65 6d 6f 28 6b 2c m....if (memo(k,
0530: 20 73 75 6d 29 20 21 3d 20 2d 31 29 0d 0a 09 09 sum) != -1)....
0540: 09 72 65 74 75 72 6e 20 6d 65 6d 6f 28 6b 2c 20 .return memo(k,
0550: 73 75 6d 29 3b 0d 0a 0d 0a 09 09 69 66 20 28 6b sum);......if (k
0560: 20 3d 3d 20 6e 29 0d 0a 09 09 09 72 65 74 75 72 == n).....retur
0570: 6e 20 6d 65 6d 6f 28 6b 2c 20 73 75 6d 29 20 3d n memo(k, sum) =
0580: 20 31 3b 0d 0a 09 09 69 6e 74 20 61 6e 73 20 3d 1;....int ans =
0590: 20 30 3b 0d 0a 09 09 66 6f 72 20 28 69 6e 74 20 0;....for (int
05a0: 76 20 3d 20 30 3b 20 76 2a 43 5b 6b 5d 20 3c 3d v = 0; v*C[k] <=
05b0: 20 73 75 6d 3b 20 2b 2b 76 29 0d 0a 09 09 09 61 sum; ++v).....a
05c0: 6e 73 20 3d 20 28 61 6e 73 20 2b 20 72 65 63 28 ns = (ans + rec(
05d0: 6e 2c 20 6b 2b 31 2c 20 73 75 6d 20 2d 20 76 2a n, k+1, sum - v*
05e0: 43 5b 6b 5d 2c 20 43 2c 20 6d 65 6d 6f 29 29 20 C[k], C, memo))
05f0: 25 20 4d 4f 44 56 41 4c 3b 0d 0a 09 09 72 65 74 % MODVAL;....ret
0600: 75 72 6e 20 6d 65 6d 6f 28 6b 2c 20 73 75 6d 29 urn memo(k, sum)
0610: 20 3d 20 61 6e 73 3b 0d 0a 09 7d 0d 0a 7d 3b 0d = ans;...}..};.
0620: 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 ...// BEGIN CUT
0630: 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c HERE..#include <
0640: 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 ctime>..double s
0650: 74 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 6e tart_time; strin
0660: 67 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f 73 g timer().. { os
0670: 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 tringstream os;
0680: 6f 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e os << " (" << in
0690: 74 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 t((clock()-start
06a0: 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 _time)/CLOCKS_PE
06b0: 52 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 R_SEC*1000) << "
06c0: 20 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 msec)"; return
06d0: 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 6d os.str(); }..tem
06e0: 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 plate<typename T
06f0: 3e 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 61 > ostream& opera
0700: 74 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 6f tor<<(ostream& o
0710: 73 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c s, const vector<
0720: 54 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c 3c T>& v).. { os <<
0730: 20 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 74 "{ ";.. for(t
0740: 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 ypename vector<T
0750: 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f >::const_iterato
0760: 72 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b 20 r it=v.begin();
0770: 69 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b 69 it!=v.end(); ++i
0780: 74 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c 22 t).. os << '\"
0790: 27 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 27 ' << *it << '\"'
07a0: 20 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e 64 << (it+1==v.end
07b0: 28 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 3b () ? "" : ", ");
07c0: 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 os << " }"; ret
07d0: 75 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 20 urn os; }..void
07e0: 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 verify_case(cons
07f0: 74 20 69 6e 74 26 20 45 78 70 65 63 74 65 64 2c t int& Expected,
0800: 20 63 6f 6e 73 74 20 69 6e 74 26 20 52 65 63 65 const int& Rece
0810: 69 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f ived) {.. bool o
0820: 6b 20 3d 20 28 45 78 70 65 63 74 65 64 20 3d 3d k = (Expected ==
0830: 20 52 65 63 65 69 76 65 64 29 3b 0d 0a 20 69 66 Received);.. if
0840: 28 6f 6b 29 20 63 65 72 72 20 3c 3c 20 22 50 41 (ok) cerr << "PA
0850: 53 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 SSED" << timer()
0860: 20 3c 3c 20 65 6e 64 6c 3b 20 20 65 6c 73 65 20 << endl; else
0870: 7b 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 { cerr << "FAILE
0880: 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c D" << timer() <<
0890: 20 65 6e 64 6c 3b 0d 0a 20 63 65 72 72 20 3c 3c endl;.. cerr <<
08a0: 20 22 5c 74 6f 3a 20 5c 22 22 20 3c 3c 20 45 78 "\to: \"" << Ex
08b0: 70 65 63 74 65 64 20 3c 3c 20 27 5c 22 27 20 3c pected << '\"' <
08c0: 3c 20 65 6e 64 6c 20 3c 3c 20 22 5c 74 78 3a 20 < endl << "\tx:
08d0: 5c 22 22 20 3c 3c 20 52 65 63 65 69 76 65 64 20 \"" << Received
08e0: 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b << '\"' << endl;
08f0: 20 7d 20 7d 0d 0a 23 64 65 66 69 6e 65 20 43 41 } }..#define CA
0900: 53 45 28 4e 29 20 7b 63 65 72 72 20 3c 3c 20 22 SE(N) {cerr << "
0910: 54 65 73 74 20 43 61 73 65 20 23 22 20 3c 3c 20 Test Case #" <<
0920: 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c N << "..." << fl
0930: 75 73 68 3b 20 73 74 61 72 74 5f 74 69 6d 65 3d ush; start_time=
0940: 63 6c 6f 63 6b 28 29 3b 0d 0a 23 64 65 66 69 6e clock();..#defin
0950: 65 20 45 4e 44 09 20 76 65 72 69 66 79 5f 63 61 e END. verify_ca
0960: 73 65 28 5f 2c 20 53 75 6d 50 79 72 61 6d 69 64 se(_, SumPyramid
0970: 28 29 2e 63 6f 75 6e 74 50 79 72 61 6d 69 64 73 ().countPyramids
0980: 28 6c 65 76 65 6c 73 2c 20 74 6f 70 29 29 3b 7d (levels, top));}
0990: 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d ..int main(){...
09a0: 0a 43 41 53 45 28 30 29 0d 0a 09 69 6e 74 20 6c .CASE(0)...int l
09b0: 65 76 65 6c 73 20 3d 20 31 3b 20 0d 0a 09 69 6e evels = 1; ...in
09c0: 74 20 74 6f 70 20 3d 20 34 37 3b 20 0d 0a 09 69 t top = 47; ...i
09d0: 6e 74 20 5f 20 3d 20 31 3b 20 0d 0a 45 4e 44 0d nt _ = 1; ..END.
09e0: 0a 43 41 53 45 28 31 29 0d 0a 09 69 6e 74 20 6c .CASE(1)...int l
09f0: 65 76 65 6c 73 20 3d 20 32 3b 20 0d 0a 09 69 6e evels = 2; ...in
0a00: 74 20 74 6f 70 20 3d 20 31 30 3b 20 0d 0a 09 69 t top = 10; ...i
0a10: 6e 74 20 5f 20 3d 20 31 31 3b 20 0d 0a 45 4e 44 nt _ = 11; ..END
0a20: 0d 0a 43 41 53 45 28 32 29 0d 0a 09 69 6e 74 20 ..CASE(2)...int
0a30: 6c 65 76 65 6c 73 20 3d 20 33 3b 20 0d 0a 09 69 levels = 3; ...i
0a40: 6e 74 20 74 6f 70 20 3d 20 32 3b 20 0d 0a 09 69 nt top = 2; ...i
0a50: 6e 74 20 5f 20 3d 20 34 3b 20 0d 0a 45 4e 44 0d nt _ = 4; ..END.
0a60: 0a 43 41 53 45 28 33 29 0d 0a 09 69 6e 74 20 6c .CASE(3)...int l
0a70: 65 76 65 6c 73 20 3d 20 35 3b 20 0d 0a 09 69 6e evels = 5; ...in
0a80: 74 20 74 6f 70 20 3d 20 37 3b 20 0d 0a 09 69 6e t top = 7; ...in
0a90: 74 20 5f 20 3d 20 31 38 3b 20 0d 0a 45 4e 44 0d t _ = 18; ..END.
0aa0: 0a 43 41 53 45 28 34 29 0d 0a 09 69 6e 74 20 6c .CASE(4)...int l
0ab0: 65 76 65 6c 73 20 3d 20 31 30 30 30 3b 20 0d 0a evels = 1000; ..
0ac0: 09 69 6e 74 20 74 6f 70 20 3d 20 31 30 30 30 3b .int top = 1000;
0ad0: 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 2d 31 3b 20 ...int _ = -1;
0ae0: 0d 0a 45 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 ..END../*..CASE(
0af0: 35 29 0d 0a 09 69 6e 74 20 6c 65 76 65 6c 73 20 5)...int levels
0b00: 3d 20 3b 20 0d 0a 09 69 6e 74 20 74 6f 70 20 3d = ; ...int top =
0b10: 20 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 3b 20 ; ...int _ = ;
0b20: 0d 0a 45 4e 44 0d 0a 2a 2f 0d 0a 7d 0d 0a 2f 2f ..END..*/..}..//
0b30: 20 45 4e 44 20 43 55 54 20 48 45 52 45 0d 0a END CUT HERE..