Artifact b836622385c9a1655c3af192c25965e1d1768f31:
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 63 6f 6d 70 ..#include <comp
00d0: 6c 65 78 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c lex>..#include <
00e0: 71 75 65 75 65 3e 0d 0a 23 69 6e 63 6c 75 64 65 queue>..#include
00f0: 20 3c 73 74 61 63 6b 3e 0d 0a 23 69 6e 63 6c 75 <stack>..#inclu
0100: 64 65 20 3c 63 6d 61 74 68 3e 0d 0a 75 73 69 6e de <cmath>..usin
0110: 67 20 6e 61 6d 65 73 70 61 63 65 20 73 74 64 3b g namespace std;
0120: 0d 0a 74 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c ..typedef long l
0130: 6f 6e 67 20 4c 4c 3b 0d 0a 0d 0a 63 6c 61 73 73 ong LL;....class
0140: 20 50 6f 6c 79 67 6f 6e 44 65 63 6f 6d 70 6f 73 PolygonDecompos
0150: 69 74 69 6f 6e 0d 0a 7b 0d 0a 70 75 62 6c 69 63 ition..{..public
0160: 3a 0d 0a 09 69 6e 74 20 68 6f 77 4d 61 6e 79 28 :...int howMany(
0170: 69 6e 74 20 6e 2c 20 69 6e 74 20 6b 29 20 0d 0a int n, int k) ..
0180: 09 7b 0d 0a 09 09 69 66 28 20 6e 2d 32 20 3c 20 .{....if( n-2 <
0190: 6b 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 2d k ).....return -
01a0: 31 3b 0d 0a 0d 0a 09 09 4c 4c 20 64 70 5b 31 30 1;......LL dp[10
01b0: 31 5d 5b 31 30 31 5d 20 3d 20 7b 7d 3b 0d 0a 09 1][101] = {};...
01c0: 09 64 70 5b 32 5d 5b 30 5d 20 3d 20 31 3b 0d 0a .dp[2][0] = 1;..
01d0: 09 09 66 6f 72 28 69 6e 74 20 4e 3d 33 3b 20 4e ..for(int N=3; N
01e0: 3c 3d 6e 3b 20 2b 2b 4e 29 0d 0a 09 09 09 64 70 <=n; ++N).....dp
01f0: 5b 4e 5d 5b 31 5d 20 3d 20 31 3b 0d 0a 0d 0a 09 [N][1] = 1;.....
0200: 09 66 6f 72 28 69 6e 74 20 4e 3d 34 3b 20 4e 3c .for(int N=4; N<
0210: 3d 6e 3b 20 2b 2b 4e 29 0d 0a 09 09 66 6f 72 28 =n; ++N)....for(
0220: 69 6e 74 20 4b 3d 32 3b 20 4b 3c 3d 6b 3b 20 2b int K=2; K<=k; +
0230: 2b 4b 29 0d 0a 09 09 7b 0d 0a 09 09 09 4c 4c 20 +K)....{.....LL
0240: 73 75 6d 20 3d 20 30 3b 0d 0a 09 09 09 66 6f 72 sum = 0;.....for
0250: 28 4c 4c 20 76 3d 33 3b 20 76 3c 3d 4e 2d 31 3b (LL v=3; v<=N-1;
0260: 20 2b 2b 76 29 20 2f 2f 20 75 73 65 20 31 2d 2d ++v) // use 1--
0270: 76 20 61 6e 64 20 64 6f 6e 27 74 20 75 73 65 20 v and don't use
0280: 31 2d 2d 33 2c 20 2e 2e 2e 2c 20 31 2d 2d 28 76 1--3, ..., 1--(v
0290: 2d 31 29 0d 0a 09 09 09 09 66 6f 72 28 69 6e 74 -1)......for(int
02a0: 20 78 3d 31 3b 20 78 3c 3d 4b 2d 31 3b 20 2b 2b x=1; x<=K-1; ++
02b0: 78 29 20 2f 2f 20 6c 65 66 74 3a 20 78 20 70 69 x) // left: x pi
02c0: 65 63 65 73 2c 20 72 69 67 68 74 3a 20 4b 2d 78 eces, right: K-x
02d0: 20 70 69 65 63 65 73 0d 0a 09 09 09 09 09 73 75 pieces.......su
02e0: 6d 20 2b 3d 20 28 64 70 5b 76 2d 31 5d 5b 78 2d m += (dp[v-1][x-
02f0: 31 5d 2b 64 70 5b 76 2d 31 5d 5b 78 5d 29 20 2a 1]+dp[v-1][x]) *
0300: 20 64 70 5b 4e 2d 76 2b 32 5d 5b 4b 2d 78 5d 20 dp[N-v+2][K-x]
0310: 25 20 31 30 30 30 30 30 30 30 30 30 3b 0d 0a 0d % 1000000000;...
0320: 0a 09 09 09 2f 2f 20 64 6f 6e 27 74 20 75 73 65 ....// don't use
0330: 20 31 2d 2d 2a 3b 20 69 66 20 75 73 65 20 32 2d 1--*; if use 2-
0340: 2d 4e 2c 20 77 65 27 6c 6c 20 68 61 76 65 20 64 -N, we'll have d
0350: 70 5b 4e 2d 31 5d 5b 4b 2d 31 5d 20 63 75 74 73 p[N-1][K-1] cuts
0360: 0d 0a 09 09 09 2f 2f 20 20 20 20 20 20 20 20 20 .....//
0370: 20 20 20 20 20 20 20 20 6f 74 68 65 72 77 69 73 otherwis
0380: 65 2c 20 77 69 6c 6c 20 68 61 76 65 20 64 70 5b e, will have dp[
0390: 4e 2d 31 5d 5b 4b 5d 20 62 65 63 61 75 73 65 20 N-1][K] because
03a0: 32 2d 2d 31 2d 2d 4e 0d 0a 09 09 09 2f 2f 20 20 2--1--N.....//
03b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
03c0: 20 20 20 20 20 20 20 20 20 20 63 61 6e 20 62 65 can be
03d0: 20 72 65 67 61 72 64 65 64 20 61 73 20 61 20 73 regarded as a s
03e0: 69 6e 67 6c 65 20 65 64 67 65 0d 0a 09 09 09 73 ingle edge.....s
03f0: 75 6d 20 2b 3d 20 64 70 5b 4e 2d 31 5d 5b 4b 2d um += dp[N-1][K-
0400: 31 5d 20 2b 20 64 70 5b 4e 2d 31 5d 5b 4b 5d 3b 1] + dp[N-1][K];
0410: 0d 0a 09 09 09 64 70 5b 4e 5d 5b 4b 5d 20 3d 20 .....dp[N][K] =
0420: 73 75 6d 20 25 20 31 30 30 30 30 30 30 30 30 30 sum % 1000000000
0430: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
0440: 20 28 69 6e 74 29 20 64 70 5b 6e 5d 5b 6b 5d 3b (int) dp[n][k];
0450: 0d 0a 09 7d 0d 0a 0d 0a 0d 0a 2f 2f 20 42 45 47 ...}......// BEG
0460: 49 4e 20 43 55 54 20 48 45 52 45 0d 0a 09 70 75 IN CUT HERE...pu
0470: 62 6c 69 63 3a 0d 0a 09 76 6f 69 64 20 72 75 6e blic:...void run
0480: 5f 74 65 73 74 28 69 6e 74 20 43 61 73 65 29 20 _test(int Case)
0490: 7b 20 69 66 20 28 28 43 61 73 65 20 3d 3d 20 2d { if ((Case == -
04a0: 31 29 20 7c 7c 20 28 43 61 73 65 20 3d 3d 20 30 1) || (Case == 0
04b0: 29 29 20 74 65 73 74 5f 63 61 73 65 5f 30 28 29 )) test_case_0()
04c0: 3b 20 69 66 20 28 28 43 61 73 65 20 3d 3d 20 2d ; if ((Case == -
04d0: 31 29 20 7c 7c 20 28 43 61 73 65 20 3d 3d 20 31 1) || (Case == 1
04e0: 29 29 20 74 65 73 74 5f 63 61 73 65 5f 31 28 29 )) test_case_1()
04f0: 3b 20 69 66 20 28 28 43 61 73 65 20 3d 3d 20 2d ; if ((Case == -
0500: 31 29 20 7c 7c 20 28 43 61 73 65 20 3d 3d 20 32 1) || (Case == 2
0510: 29 29 20 74 65 73 74 5f 63 61 73 65 5f 32 28 29 )) test_case_2()
0520: 3b 20 69 66 20 28 28 43 61 73 65 20 3d 3d 20 2d ; if ((Case == -
0530: 31 29 20 7c 7c 20 28 43 61 73 65 20 3d 3d 20 33 1) || (Case == 3
0540: 29 29 20 74 65 73 74 5f 63 61 73 65 5f 33 28 29 )) test_case_3()
0550: 3b 20 69 66 20 28 28 43 61 73 65 20 3d 3d 20 2d ; if ((Case == -
0560: 31 29 20 7c 7c 20 28 43 61 73 65 20 3d 3d 20 34 1) || (Case == 4
0570: 29 29 20 74 65 73 74 5f 63 61 73 65 5f 34 28 29 )) test_case_4()
0580: 3b 20 7d 0d 0a 09 70 72 69 76 61 74 65 3a 0d 0a ; }...private:..
0590: 09 74 65 6d 70 6c 61 74 65 20 3c 74 79 70 65 6e .template <typen
05a0: 61 6d 65 20 54 3e 20 73 74 72 69 6e 67 20 70 72 ame T> string pr
05b0: 69 6e 74 5f 61 72 72 61 79 28 63 6f 6e 73 74 20 int_array(const
05c0: 76 65 63 74 6f 72 3c 54 3e 20 26 56 29 20 7b 20 vector<T> &V) {
05d0: 6f 73 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 ostringstream os
05e0: 3b 20 6f 73 20 3c 3c 20 22 7b 20 22 3b 20 66 6f ; os << "{ "; fo
05f0: 72 20 28 74 79 70 65 6e 61 6d 65 20 76 65 63 74 r (typename vect
0600: 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 or<T>::const_ite
0610: 72 61 74 6f 72 20 69 74 65 72 20 3d 20 56 2e 62 rator iter = V.b
0620: 65 67 69 6e 28 29 3b 20 69 74 65 72 20 21 3d 20 egin(); iter !=
0630: 56 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 65 72 29 V.end(); ++iter)
0640: 20 6f 73 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 2a os << '\"' << *
0650: 69 74 65 72 20 3c 3c 20 22 5c 22 2c 22 3b 20 6f iter << "\","; o
0660: 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 75 72 s << " }"; retur
0670: 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 09 n os.str(); }...
0680: 76 6f 69 64 20 76 65 72 69 66 79 5f 63 61 73 65 void verify_case
0690: 28 69 6e 74 20 43 61 73 65 2c 20 63 6f 6e 73 74 (int Case, const
06a0: 20 69 6e 74 20 26 45 78 70 65 63 74 65 64 2c 20 int &Expected,
06b0: 63 6f 6e 73 74 20 69 6e 74 20 26 52 65 63 65 69 const int &Recei
06c0: 76 65 64 29 20 7b 20 63 65 72 72 20 3c 3c 20 22 ved) { cerr << "
06d0: 54 65 73 74 20 43 61 73 65 20 23 22 20 3c 3c 20 Test Case #" <<
06e0: 43 61 73 65 20 3c 3c 20 22 2e 2e 2e 22 3b 20 69 Case << "..."; i
06f0: 66 20 28 45 78 70 65 63 74 65 64 20 3d 3d 20 52 f (Expected == R
0700: 65 63 65 69 76 65 64 29 20 63 65 72 72 20 3c 3c eceived) cerr <<
0710: 20 22 50 41 53 53 45 44 22 20 3c 3c 20 65 6e 64 "PASSED" << end
0720: 6c 3b 20 65 6c 73 65 20 7b 20 63 65 72 72 20 3c l; else { cerr <
0730: 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c 20 65 6e < "FAILED" << en
0740: 64 6c 3b 20 63 65 72 72 20 3c 3c 20 22 5c 74 45 dl; cerr << "\tE
0750: 78 70 65 63 74 65 64 3a 20 5c 22 22 20 3c 3c 20 xpected: \"" <<
0760: 45 78 70 65 63 74 65 64 20 3c 3c 20 27 5c 22 27 Expected << '\"'
0770: 20 3c 3c 20 65 6e 64 6c 3b 20 63 65 72 72 20 3c << endl; cerr <
0780: 3c 20 22 5c 74 52 65 63 65 69 76 65 64 3a 20 5c < "\tReceived: \
0790: 22 22 20 3c 3c 20 52 65 63 65 69 76 65 64 20 3c "" << Received <
07a0: 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 < '\"' << endl;
07b0: 7d 20 7d 0d 0a 09 76 6f 69 64 20 74 65 73 74 5f } }...void test_
07c0: 63 61 73 65 5f 30 28 29 20 7b 20 69 6e 74 20 41 case_0() { int A
07d0: 72 67 30 20 3d 20 34 3b 20 69 6e 74 20 41 72 67 rg0 = 4; int Arg
07e0: 31 20 3d 20 32 3b 20 69 6e 74 20 41 72 67 32 20 1 = 2; int Arg2
07f0: 3d 20 32 3b 20 76 65 72 69 66 79 5f 63 61 73 65 = 2; verify_case
0800: 28 30 2c 20 41 72 67 32 2c 20 68 6f 77 4d 61 6e (0, Arg2, howMan
0810: 79 28 41 72 67 30 2c 20 41 72 67 31 29 29 3b 20 y(Arg0, Arg1));
0820: 7d 0d 0a 09 76 6f 69 64 20 74 65 73 74 5f 63 61 }...void test_ca
0830: 73 65 5f 31 28 29 20 7b 20 69 6e 74 20 41 72 67 se_1() { int Arg
0840: 30 20 3d 20 31 30 30 3b 20 69 6e 74 20 41 72 67 0 = 100; int Arg
0850: 31 20 3d 20 31 3b 20 69 6e 74 20 41 72 67 32 20 1 = 1; int Arg2
0860: 3d 20 31 3b 20 76 65 72 69 66 79 5f 63 61 73 65 = 1; verify_case
0870: 28 31 2c 20 41 72 67 32 2c 20 68 6f 77 4d 61 6e (1, Arg2, howMan
0880: 79 28 41 72 67 30 2c 20 41 72 67 31 29 29 3b 20 y(Arg0, Arg1));
0890: 7d 0d 0a 09 76 6f 69 64 20 74 65 73 74 5f 63 61 }...void test_ca
08a0: 73 65 5f 32 28 29 20 7b 20 69 6e 74 20 41 72 67 se_2() { int Arg
08b0: 30 20 3d 20 36 3b 20 69 6e 74 20 41 72 67 31 20 0 = 6; int Arg1
08c0: 3d 20 34 3b 20 69 6e 74 20 41 72 67 32 20 3d 20 = 4; int Arg2 =
08d0: 31 34 3b 20 76 65 72 69 66 79 5f 63 61 73 65 28 14; verify_case(
08e0: 32 2c 20 41 72 67 32 2c 20 68 6f 77 4d 61 6e 79 2, Arg2, howMany
08f0: 28 41 72 67 30 2c 20 41 72 67 31 29 29 3b 20 7d (Arg0, Arg1)); }
0900: 0d 0a 09 76 6f 69 64 20 74 65 73 74 5f 63 61 73 ...void test_cas
0910: 65 5f 33 28 29 20 7b 20 69 6e 74 20 41 72 67 30 e_3() { int Arg0
0920: 20 3d 20 33 31 3b 20 69 6e 74 20 41 72 67 31 20 = 31; int Arg1
0930: 3d 20 32 30 3b 20 69 6e 74 20 41 72 67 32 20 3d = 20; int Arg2 =
0940: 20 39 35 36 31 34 36 34 38 30 3b 20 76 65 72 69 956146480; veri
0950: 66 79 5f 63 61 73 65 28 33 2c 20 41 72 67 32 2c fy_case(3, Arg2,
0960: 20 68 6f 77 4d 61 6e 79 28 41 72 67 30 2c 20 41 howMany(Arg0, A
0970: 72 67 31 29 29 3b 20 7d 0d 0a 09 76 6f 69 64 20 rg1)); }...void
0980: 74 65 73 74 5f 63 61 73 65 5f 34 28 29 20 7b 20 test_case_4() {
0990: 69 6e 74 20 41 72 67 30 20 3d 20 33 3b 20 69 6e int Arg0 = 3; in
09a0: 74 20 41 72 67 31 20 3d 20 34 3b 20 69 6e 74 20 t Arg1 = 4; int
09b0: 41 72 67 32 20 3d 20 2d 31 3b 20 76 65 72 69 66 Arg2 = -1; verif
09c0: 79 5f 63 61 73 65 28 34 2c 20 41 72 67 32 2c 20 y_case(4, Arg2,
09d0: 68 6f 77 4d 61 6e 79 28 41 72 67 30 2c 20 41 72 howMany(Arg0, Ar
09e0: 67 31 29 29 3b 20 7d 0d 0a 0d 0a 2f 2f 20 45 4e g1)); }....// EN
09f0: 44 20 43 55 54 20 48 45 52 45 0d 0a 7d 3b 0d 0a D CUT HERE..};..
0a00: 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 48 45 52 // BEGIN CUT HER
0a10: 45 20 0d 0a 69 6e 74 20 6d 61 69 6e 28 29 20 7b E ..int main() {
0a20: 20 50 6f 6c 79 67 6f 6e 44 65 63 6f 6d 70 6f 73 PolygonDecompos
0a30: 69 74 69 6f 6e 28 29 2e 72 75 6e 5f 74 65 73 74 ition().run_test
0a40: 28 2d 31 29 3b 20 7d 0d 0a 2f 2f 20 45 4e 44 20 (-1); }..// END
0a50: 43 55 54 20 48 45 52 45 0d 0a CUT HERE..