Artifact 2ad7ecc836973d8a5085143426025b9f6524f95a:
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 73 74 61 74 69 63 20 63 CMP;....static c
01a0: 6f 6e 73 74 20 69 6e 74 20 4d 4f 44 56 41 4c 20 onst int MODVAL
01b0: 3d 20 31 30 30 30 30 30 30 30 30 37 3b 0d 0a 73 = 1000000007;..s
01c0: 74 72 75 63 74 20 6d 69 6e 74 0d 0a 7b 0d 0a 09 truct mint..{...
01d0: 69 6e 74 20 76 61 6c 3b 0d 0a 09 6d 69 6e 74 28 int val;...mint(
01e0: 29 3a 76 61 6c 28 30 29 7b 7d 0d 0a 09 6d 69 6e ):val(0){}...min
01f0: 74 28 69 6e 74 20 20 20 20 78 29 3a 76 61 6c 28 t(int x):val(
0200: 78 25 4d 4f 44 56 41 4c 29 20 7b 7d 20 2f 2f 20 x%MODVAL) {} //
0210: 78 3e 3d 30 0d 0a 09 6d 69 6e 74 28 73 69 7a 65 x>=0...mint(size
0220: 5f 74 20 78 29 3a 76 61 6c 28 78 25 4d 4f 44 56 _t x):val(x%MODV
0230: 41 4c 29 20 7b 7d 20 2f 2f 20 78 3e 3d 30 0d 0a AL) {} // x>=0..
0240: 09 6d 69 6e 74 28 4c 4c 20 20 20 20 20 78 29 3a .mint(LL x):
0250: 76 61 6c 28 78 25 4d 4f 44 56 41 4c 29 20 7b 7d val(x%MODVAL) {}
0260: 20 2f 2f 20 78 3e 3d 30 0d 0a 7d 3b 0d 0a 6d 69 // x>=0..};..mi
0270: 6e 74 26 20 6f 70 65 72 61 74 6f 72 2b 3d 28 6d nt& operator+=(m
0280: 69 6e 74 26 20 78 2c 20 6d 69 6e 74 20 79 29 20 int& x, mint y)
0290: 7b 20 72 65 74 75 72 6e 20 78 20 3d 20 78 2e 76 { return x = x.v
02a0: 61 6c 2b 79 2e 76 61 6c 3b 20 7d 0d 0a 6d 69 6e al+y.val; }..min
02b0: 74 26 20 6f 70 65 72 61 74 6f 72 2a 3d 28 6d 69 t& operator*=(mi
02c0: 6e 74 26 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b nt& x, mint y) {
02d0: 20 72 65 74 75 72 6e 20 78 20 3d 20 4c 4c 28 78 return x = LL(x
02e0: 2e 76 61 6c 29 2a 79 2e 76 61 6c 3b 20 7d 0d 0a .val)*y.val; }..
02f0: 6d 69 6e 74 20 6f 70 65 72 61 74 6f 72 2b 28 6d mint operator+(m
0300: 69 6e 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b int x, mint y) {
0310: 20 72 65 74 75 72 6e 20 78 2b 3d 79 3b 20 7d 0d return x+=y; }.
0320: 0a 6d 69 6e 74 20 6f 70 65 72 61 74 6f 72 2a 28 .mint operator*(
0330: 6d 69 6e 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 mint x, mint y)
0340: 7b 20 72 65 74 75 72 6e 20 78 2a 3d 79 3b 20 7d { return x*=y; }
0350: 0d 0a 0d 0a 63 6c 61 73 73 20 42 72 69 63 6b 73 ....class Bricks
0360: 4e 20 7b 20 70 75 62 6c 69 63 3a 0d 0a 09 69 6e N { public:...in
0370: 74 20 63 6f 75 6e 74 53 74 72 75 63 74 75 72 65 t countStructure
0380: 73 28 69 6e 74 20 77 2c 20 69 6e 74 20 68 2c 20 s(int w, int h,
0390: 69 6e 74 20 6b 29 0d 0a 09 7b 0d 0a 09 09 6d 65 int k)...{....me
03a0: 6d 6f 31 2e 63 6c 65 61 72 28 29 3b 0d 0a 09 09 mo1.clear();....
03b0: 6d 65 6d 6f 32 2e 63 6c 65 61 72 28 29 3b 0d 0a memo2.clear();..
03c0: 09 09 72 65 74 75 72 6e 20 72 65 63 28 77 2c 20 ..return rec(w,
03d0: 68 2c 20 6b 29 2e 76 61 6c 3b 0d 0a 09 7d 0d 0a h, k).val;...}..
03e0: 0d 0a 09 6d 61 70 3c 69 6e 74 2c 6d 69 6e 74 3e ...map<int,mint>
03f0: 20 6d 65 6d 6f 31 3b 0d 0a 09 6d 69 6e 74 20 72 memo1;...mint r
0400: 65 63 28 69 6e 74 20 77 2c 20 69 6e 74 20 68 2c ec(int w, int h,
0410: 20 69 6e 74 20 6b 29 0d 0a 09 7b 0d 0a 09 09 69 int k)...{....i
0420: 66 28 20 68 20 3d 3d 20 30 20 29 20 72 65 74 75 f( h == 0 ) retu
0430: 72 6e 20 31 3b 0d 0a 09 09 69 66 28 20 77 20 3c rn 1;....if( w <
0440: 3d 20 30 20 29 20 72 65 74 75 72 6e 20 31 3b 0d = 0 ) return 1;.
0450: 0a 0d 0a 09 09 63 6f 6e 73 74 20 69 6e 74 20 6b .....const int k
0460: 65 79 20 3d 20 77 2a 35 31 2b 68 3b 0d 0a 09 09 ey = w*51+h;....
0470: 69 66 28 20 6d 65 6d 6f 31 2e 63 6f 75 6e 74 28 if( memo1.count(
0480: 6b 65 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 key) ).....retur
0490: 6e 20 6d 65 6d 6f 31 5b 6b 65 79 5d 3b 0d 0a 0d n memo1[key];...
04a0: 0a 09 09 6d 69 6e 74 20 73 75 6d 20 3d 20 31 3b ...mint sum = 1;
04b0: 0d 0a 09 09 66 6f 72 28 69 6e 74 20 73 3d 30 3b ....for(int s=0;
04c0: 20 73 3c 77 3b 20 2b 2b 73 29 0d 0a 09 09 09 66 s<w; ++s).....f
04d0: 6f 72 28 69 6e 74 20 77 77 3d 31 3b 20 73 2b 77 or(int ww=1; s+w
04e0: 77 3c 3d 77 3b 20 2b 2b 77 77 29 0d 0a 09 09 09 w<=w; ++ww).....
04f0: 09 73 75 6d 20 2b 3d 20 66 75 6c 6c 28 77 77 2c .sum += full(ww,
0500: 20 6b 29 20 2a 20 72 65 63 28 77 77 2c 20 68 2d k) * rec(ww, h-
0510: 31 2c 20 6b 29 20 2a 20 72 65 63 28 77 2d 28 73 1, k) * rec(w-(s
0520: 2b 77 77 2b 31 29 2c 20 68 2c 20 6b 29 3b 0d 0a +ww+1), h, k);..
0530: 09 09 72 65 74 75 72 6e 20 6d 65 6d 6f 31 5b 6b ..return memo1[k
0540: 65 79 5d 20 3d 20 73 75 6d 3b 0d 0a 09 7d 0d 0a ey] = sum;...}..
0550: 0d 0a 09 6d 61 70 3c 69 6e 74 2c 6d 69 6e 74 3e ...map<int,mint>
0560: 20 6d 65 6d 6f 32 3b 0d 0a 09 6d 69 6e 74 20 66 memo2;...mint f
0570: 75 6c 6c 28 69 6e 74 20 77 2c 20 69 6e 74 20 6b ull(int w, int k
0580: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 77 20 3c )...{....if( w <
0590: 3d 20 30 20 29 20 72 65 74 75 72 6e 20 31 3b 0d = 0 ) return 1;.
05a0: 0a 0d 0a 09 09 63 6f 6e 73 74 20 69 6e 74 20 6b .....const int k
05b0: 65 79 20 3d 20 77 3b 0d 0a 09 09 69 66 28 20 6d ey = w;....if( m
05c0: 65 6d 6f 32 2e 63 6f 75 6e 74 28 6b 65 79 29 20 emo2.count(key)
05d0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 65 6d ).....return mem
05e0: 6f 32 5b 6b 65 79 5d 3b 0d 0a 0d 0a 09 09 6d 69 o2[key];......mi
05f0: 6e 74 20 73 75 6d 20 3d 20 30 3b 0d 0a 09 09 66 nt sum = 0;....f
0600: 6f 72 28 69 6e 74 20 77 77 3d 31 3b 20 77 77 3c or(int ww=1; ww<
0610: 3d 6d 69 6e 28 77 2c 6b 29 3b 20 2b 2b 77 77 29 =min(w,k); ++ww)
0620: 0d 0a 09 09 09 73 75 6d 20 2b 3d 20 66 75 6c 6c .....sum += full
0630: 28 77 2d 77 77 2c 20 6b 29 3b 0d 0a 09 09 72 65 (w-ww, k);....re
0640: 74 75 72 6e 20 6d 65 6d 6f 32 5b 6b 65 79 5d 20 turn memo2[key]
0650: 3d 20 73 75 6d 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a = sum;...}..};..
0660: 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 48 ..// BEGIN CUT H
0670: 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63 ERE..#include <c
0680: 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 74 time>..double st
0690: 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 6e 67 art_time; string
06a0: 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f 73 74 timer().. { ost
06b0: 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f ringstream os; o
06c0: 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e 74 s << " (" << int
06d0: 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 5f ((clock()-start_
06e0: 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 52 time)/CLOCKS_PER
06f0: 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 20 _SEC*1000) << "
0700: 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 6f msec)"; return o
0710: 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 6d 70 s.str(); }..temp
0720: 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 3e late<typename T>
0730: 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 61 74 ostream& operat
0740: 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 6f 73 or<<(ostream& os
0750: 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c 54 , const vector<T
0760: 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c 3c 20 >& v).. { os <<
0770: 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 74 79 "{ ";.. for(ty
0780: 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 3e pename vector<T>
0790: 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f 72 ::const_iterator
07a0: 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b 20 69 it=v.begin(); i
07b0: 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 t!=v.end(); ++it
07c0: 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c 22 27 ).. os << '\"'
07d0: 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 27 20 << *it << '\"'
07e0: 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e 64 28 << (it+1==v.end(
07f0: 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 3b 20 ) ? "" : ", ");
0800: 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 75 os << " }"; retu
0810: 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 20 76 rn os; }..void v
0820: 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 74 erify_case(const
0830: 20 69 6e 74 26 20 45 78 70 65 63 74 65 64 2c 20 int& Expected,
0840: 63 6f 6e 73 74 20 69 6e 74 26 20 52 65 63 65 69 const int& Recei
0850: 76 65 64 29 20 7b 0d 0a 20 62 6f 6f 6c 20 6f 6b ved) {.. bool ok
0860: 20 3d 20 28 45 78 70 65 63 74 65 64 20 3d 3d 20 = (Expected ==
0870: 52 65 63 65 69 76 65 64 29 3b 0d 0a 20 69 66 28 Received);.. if(
0880: 6f 6b 29 20 63 65 72 72 20 3c 3c 20 22 50 41 53 ok) cerr << "PAS
0890: 53 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 SED" << timer()
08a0: 3c 3c 20 65 6e 64 6c 3b 20 20 65 6c 73 65 20 7b << endl; else {
08b0: 20 63 65 72 72 20 3c 3c 20 22 46 41 49 4c 45 44 cerr << "FAILED
08c0: 22 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 " << timer() <<
08d0: 65 6e 64 6c 3b 0d 0a 20 63 65 72 72 20 3c 3c 20 endl;.. cerr <<
08e0: 22 5c 74 6f 3a 20 5c 22 22 20 3c 3c 20 45 78 70 "\to: \"" << Exp
08f0: 65 63 74 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c ected << '\"' <<
0900: 20 65 6e 64 6c 20 3c 3c 20 22 5c 74 78 3a 20 5c endl << "\tx: \
0910: 22 22 20 3c 3c 20 52 65 63 65 69 76 65 64 20 3c "" << Received <
0920: 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 < '\"' << endl;
0930: 7d 20 7d 0d 0a 23 64 65 66 69 6e 65 20 43 41 53 } }..#define CAS
0940: 45 28 4e 29 20 7b 63 65 72 72 20 3c 3c 20 22 54 E(N) {cerr << "T
0950: 65 73 74 20 43 61 73 65 20 23 22 20 3c 3c 20 4e est Case #" << N
0960: 20 3c 3c 20 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 << "..." << flu
0970: 73 68 3b 20 73 74 61 72 74 5f 74 69 6d 65 3d 63 sh; start_time=c
0980: 6c 6f 63 6b 28 29 3b 0d 0a 23 64 65 66 69 6e 65 lock();..#define
0990: 20 45 4e 44 09 20 76 65 72 69 66 79 5f 63 61 73 END. verify_cas
09a0: 65 28 5f 2c 20 42 72 69 63 6b 73 4e 28 29 2e 63 e(_, BricksN().c
09b0: 6f 75 6e 74 53 74 72 75 63 74 75 72 65 73 28 77 ountStructures(w
09c0: 2c 20 68 2c 20 6b 29 29 3b 7d 0d 0a 69 6e 74 20 , h, k));}..int
09d0: 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 41 53 45 28 main(){....CASE(
09e0: 30 29 0d 0a 09 69 6e 74 20 77 20 3d 20 33 3b 20 0)...int w = 3;
09f0: 0d 0a 09 69 6e 74 20 68 20 3d 20 31 3b 20 0d 0a ...int h = 1; ..
0a00: 09 69 6e 74 20 6b 20 3d 20 33 3b 20 0d 0a 09 69 .int k = 3; ...i
0a10: 6e 74 20 5f 20 3d 20 31 33 3b 20 0d 0a 45 4e 44 nt _ = 13; ..END
0a20: 0d 0a 43 41 53 45 28 31 29 0d 0a 09 69 6e 74 20 ..CASE(1)...int
0a30: 77 20 3d 20 33 3b 20 0d 0a 09 69 6e 74 20 68 20 w = 3; ...int h
0a40: 3d 20 32 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 = 2; ...int k =
0a50: 33 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 38 33 3; ...int _ = 83
0a60: 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 32 29 ; ..END..CASE(2)
0a70: 0d 0a 09 69 6e 74 20 77 20 3d 20 31 3b 20 0d 0a ...int w = 1; ..
0a80: 09 69 6e 74 20 68 20 3d 20 35 3b 20 0d 0a 09 69 .int h = 5; ...i
0a90: 6e 74 20 6b 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 nt k = 1; ...int
0aa0: 20 5f 20 3d 20 36 3b 20 0d 0a 45 4e 44 0d 0a 43 _ = 6; ..END..C
0ab0: 41 53 45 28 33 29 0d 0a 09 69 6e 74 20 77 20 3d ASE(3)...int w =
0ac0: 20 31 30 3b 20 0d 0a 09 69 6e 74 20 68 20 3d 20 10; ...int h =
0ad0: 31 30 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 33 10; ...int k = 3
0ae0: 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 32 38 38 ; ...int _ = 288
0af0: 35 33 35 34 33 35 3b 20 0d 0a 45 4e 44 0d 0a 43 535435; ..END..C
0b00: 41 53 45 28 34 29 0d 0a 09 69 6e 74 20 77 20 3d ASE(4)...int w =
0b10: 20 35 30 3b 20 0d 0a 09 69 6e 74 20 68 20 3d 20 50; ...int h =
0b20: 35 30 3b 20 0d 0a 09 69 6e 74 20 6b 20 3d 20 35 50; ...int k = 5
0b30: 30 3b 20 0d 0a 09 69 6e 74 20 5f 20 3d 20 2d 31 0; ...int _ = -1
0b40: 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35 29 ; ..END..CASE(5)
0b50: 0d 0a 09 69 6e 74 20 77 20 3d 20 31 3b 20 0d 0a ...int w = 1; ..
0b60: 09 69 6e 74 20 68 20 3d 20 31 3b 20 0d 0a 09 69 .int h = 1; ...i
0b70: 6e 74 20 6b 20 3d 20 31 3b 20 0d 0a 09 69 6e 74 nt k = 1; ...int
0b80: 20 5f 20 3d 20 31 3b 20 0d 0a 45 4e 44 0d 0a 0d _ = 1; ..END...
0b90: 0a 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 .}..// END CUT H
0ba0: 45 52 45 0d 0a ERE..