Artifact 7d9c4ca801a229b36df4a7d20d994955afa2124b:
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 63 6c 61 73 73 20 43 6f 75 6e P;....class Coun
01a0: 74 72 79 47 72 6f 75 70 48 61 72 64 20 7b 20 70 tryGroupHard { p
01b0: 75 62 6c 69 63 3a 0d 0a 09 73 74 72 69 6e 67 20 ublic:...string
01c0: 73 6f 6c 76 65 28 76 65 63 74 6f 72 20 3c 69 6e solve(vector <in
01d0: 74 3e 20 61 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 t> a)...{....ret
01e0: 75 72 6e 20 72 65 63 28 30 2c 20 61 29 3d 3d 31 urn rec(0, a)==1
01f0: 20 3f 20 22 53 75 66 66 69 63 69 65 6e 74 22 20 ? "Sufficient"
0200: 3a 20 22 49 6e 73 75 66 66 69 63 69 65 6e 74 22 : "Insufficient"
0210: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6d 61 70 3c 69 6e ;...}.....map<in
0220: 74 2c 20 69 6e 74 3e 20 6d 65 6d 6f 3b 0d 0a 09 t, int> memo;...
0230: 69 6e 74 20 72 65 63 28 69 6e 74 20 6b 2c 20 63 int rec(int k, c
0240: 6f 6e 73 74 20 76 65 63 74 6f 72 3c 69 6e 74 3e onst vector<int>
0250: 26 20 61 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 6b & a)...{....if(k
0260: 20 3d 3d 20 61 2e 73 69 7a 65 28 29 29 0d 0a 09 == a.size())...
0270: 09 09 72 65 74 75 72 6e 20 31 3b 0d 0a 09 09 69 ..return 1;....i
0280: 66 28 6d 65 6d 6f 2e 63 6f 75 6e 74 28 6b 29 29 f(memo.count(k))
0290: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 65 6d 6f .....return memo
02a0: 5b 6b 5d 3b 0d 0a 0d 0a 09 09 69 6e 74 20 63 6e [k];......int cn
02b0: 74 20 3d 20 30 3b 0d 0a 09 09 66 6f 72 28 69 6e t = 0;....for(in
02c0: 74 20 76 3d 31 3b 20 6b 2b 76 3c 3d 69 6e 74 28 t v=1; k+v<=int(
02d0: 61 2e 73 69 7a 65 28 29 29 3b 20 2b 2b 76 29 20 a.size()); ++v)
02e0: 7b 0d 0a 09 09 09 73 65 74 3c 69 6e 74 3e 20 73 {.....set<int> s
02f0: 28 61 2e 62 65 67 69 6e 28 29 2b 6b 2c 20 61 2e (a.begin()+k, a.
0300: 62 65 67 69 6e 28 29 2b 6b 2b 76 29 3b 0d 0a 09 begin()+k+v);...
0310: 09 09 73 2e 65 72 61 73 65 28 30 29 3b 0d 0a 09 ..s.erase(0);...
0320: 09 09 73 2e 65 72 61 73 65 28 76 29 3b 0d 0a 09 ..s.erase(v);...
0330: 09 09 69 66 28 73 2e 65 6d 70 74 79 28 29 29 0d ..if(s.empty()).
0340: 0a 09 09 09 09 63 6e 74 20 2b 3d 20 72 65 63 28 .....cnt += rec(
0350: 6b 2b 76 2c 20 61 29 3b 0d 0a 09 09 7d 0d 0a 09 k+v, a);....}...
0360: 09 72 65 74 75 72 6e 20 6d 65 6d 6f 5b 6b 5d 20 .return memo[k]
0370: 3d 20 28 63 6e 74 3e 3d 32 20 3f 20 32 20 3a 20 = (cnt>=2 ? 2 :
0380: 63 6e 74 29 3b 0d 0a 09 7d 0d 0a 7d 3b 0d 0a 0d cnt);...}..};...
0390: 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 20 48 45 .// BEGIN CUT HE
03a0: 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63 74 RE..#include <ct
03b0: 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 73 74 61 ime>..double sta
03c0: 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 6e 67 20 rt_time; string
03d0: 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f 73 74 72 timer().. { ostr
03e0: 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b 20 6f 73 ingstream os; os
03f0: 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 6e 74 28 << " (" << int(
0400: 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 74 5f 74 (clock()-start_t
0410: 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 45 52 5f ime)/CLOCKS_PER_
0420: 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 22 20 6d SEC*1000) << " m
0430: 73 65 63 29 22 3b 20 72 65 74 75 72 6e 20 6f 73 sec)"; return os
0440: 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 6d 70 6c .str(); }..templ
0450: 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 3e 20 ate<typename T>
0460: 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 61 74 6f ostream& operato
0470: 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 6f 73 2c r<<(ostream& os,
0480: 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c 54 3e const vector<T>
0490: 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c 3c 20 22 & v).. { os << "
04a0: 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 74 79 70 { ";.. for(typ
04b0: 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c 54 3e 3a ename vector<T>:
04c0: 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 6f 72 20 :const_iterator
04d0: 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b 20 69 74 it=v.begin(); it
04e0: 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 29 !=v.end(); ++it)
04f0: 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c 22 27 20 .. os << '\"'
0500: 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 27 20 3c << *it << '\"' <
0510: 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e 64 28 29 < (it+1==v.end()
0520: 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 3b 20 6f ? "" : ", "); o
0530: 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 74 75 72 s << " }"; retur
0540: 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 20 76 65 n os; }..void ve
0550: 72 69 66 79 5f 63 61 73 65 28 63 6f 6e 73 74 20 rify_case(const
0560: 73 74 72 69 6e 67 26 20 45 78 70 65 63 74 65 64 string& Expected
0570: 2c 20 63 6f 6e 73 74 20 73 74 72 69 6e 67 26 20 , const string&
0580: 52 65 63 65 69 76 65 64 29 20 7b 0d 0a 20 62 6f Received) {.. bo
0590: 6f 6c 20 6f 6b 20 3d 20 28 45 78 70 65 63 74 65 ol ok = (Expecte
05a0: 64 20 3d 3d 20 52 65 63 65 69 76 65 64 29 3b 0d d == Received);.
05b0: 0a 20 69 66 28 6f 6b 29 20 63 65 72 72 20 3c 3c . if(ok) cerr <<
05c0: 20 22 50 41 53 53 45 44 22 20 3c 3c 20 74 69 6d "PASSED" << tim
05d0: 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 20 20 65 er() << endl; e
05e0: 6c 73 65 20 7b 20 63 65 72 72 20 3c 3c 20 22 46 lse { cerr << "F
05f0: 41 49 4c 45 44 22 20 3c 3c 20 74 69 6d 65 72 28 AILED" << timer(
0600: 29 20 3c 3c 20 65 6e 64 6c 3b 0d 0a 20 63 65 72 ) << endl;.. cer
0610: 72 20 3c 3c 20 22 5c 74 6f 3a 20 5c 22 22 20 3c r << "\to: \"" <
0620: 3c 20 45 78 70 65 63 74 65 64 20 3c 3c 20 27 5c < Expected << '\
0630: 22 27 20 3c 3c 20 65 6e 64 6c 20 3c 3c 20 22 5c "' << endl << "\
0640: 74 78 3a 20 5c 22 22 20 3c 3c 20 52 65 63 65 69 tx: \"" << Recei
0650: 76 65 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 ved << '\"' << e
0660: 6e 64 6c 3b 20 7d 20 7d 0d 0a 23 64 65 66 69 6e ndl; } }..#defin
0670: 65 20 43 41 53 45 28 4e 29 20 7b 63 65 72 72 20 e CASE(N) {cerr
0680: 3c 3c 20 22 54 65 73 74 20 43 61 73 65 20 23 22 << "Test Case #"
0690: 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e 22 20 3c << N << "..." <
06a0: 3c 20 66 6c 75 73 68 3b 20 73 74 61 72 74 5f 74 < flush; start_t
06b0: 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 0d 0a 23 64 ime=clock();..#d
06c0: 65 66 69 6e 65 20 45 4e 44 09 20 76 65 72 69 66 efine END. verif
06d0: 79 5f 63 61 73 65 28 5f 2c 20 43 6f 75 6e 74 72 y_case(_, Countr
06e0: 79 47 72 6f 75 70 48 61 72 64 28 29 2e 73 6f 6c yGroupHard().sol
06f0: 76 65 28 61 29 29 3b 7d 0d 0a 69 6e 74 20 6d 61 ve(a));}..int ma
0700: 69 6e 28 29 7b 0d 0a 0d 0a 43 41 53 45 28 30 29 in(){....CASE(0)
0710: 0d 0a 09 69 6e 74 20 61 5f 5b 5d 20 3d 20 7b 30 ...int a_[] = {0
0720: 2c 32 2c 33 2c 30 2c 30 7d 3b 0d 0a 09 20 20 76 ,2,3,0,0};... v
0730: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 61 28 61 5f ector <int> a(a_
0740: 2c 20 61 5f 2b 73 69 7a 65 6f 66 28 61 5f 29 2f , a_+sizeof(a_)/
0750: 73 69 7a 65 6f 66 28 2a 61 5f 29 29 3b 20 0d 0a sizeof(*a_)); ..
0760: 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 53 75 66 .string _ = "Suf
0770: 66 69 63 69 65 6e 74 22 3b 20 0d 0a 45 4e 44 0d ficient"; ..END.
0780: 0a 43 41 53 45 28 31 29 0d 0a 09 69 6e 74 20 61 .CASE(1)...int a
0790: 5f 5b 5d 20 3d 20 7b 30 2c 32 2c 30 7d 3b 0d 0a _[] = {0,2,0};..
07a0: 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 . vector <int>
07b0: 61 28 61 5f 2c 20 61 5f 2b 73 69 7a 65 6f 66 28 a(a_, a_+sizeof(
07c0: 61 5f 29 2f 73 69 7a 65 6f 66 28 2a 61 5f 29 29 a_)/sizeof(*a_))
07d0: 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20 3d 20 ; ...string _ =
07e0: 22 49 6e 73 75 66 66 69 63 69 65 6e 74 22 3b 20 "Insufficient";
07f0: 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a ..END..CASE(2)..
0800: 09 69 6e 74 20 61 5f 5b 5d 20 3d 20 7b 30 2c 33 .int a_[] = {0,3
0810: 2c 30 2c 30 2c 33 2c 30 7d 3b 0d 0a 09 20 20 76 ,0,0,3,0};... v
0820: 65 63 74 6f 72 20 3c 69 6e 74 3e 20 61 28 61 5f ector <int> a(a_
0830: 2c 20 61 5f 2b 73 69 7a 65 6f 66 28 61 5f 29 2f , a_+sizeof(a_)/
0840: 73 69 7a 65 6f 66 28 2a 61 5f 29 29 3b 20 0d 0a sizeof(*a_)); ..
0850: 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 53 75 66 .string _ = "Suf
0860: 66 69 63 69 65 6e 74 22 3b 20 0d 0a 45 4e 44 0d ficient"; ..END.
0870: 0a 43 41 53 45 28 33 29 0d 0a 09 69 6e 74 20 61 .CASE(3)...int a
0880: 5f 5b 5d 20 3d 20 7b 30 2c 30 2c 33 2c 33 2c 30 _[] = {0,0,3,3,0
0890: 2c 30 7d 3b 0d 0a 09 20 20 76 65 63 74 6f 72 20 ,0};... vector
08a0: 3c 69 6e 74 3e 20 61 28 61 5f 2c 20 61 5f 2b 73 <int> a(a_, a_+s
08b0: 69 7a 65 6f 66 28 61 5f 29 2f 73 69 7a 65 6f 66 izeof(a_)/sizeof
08c0: 28 2a 61 5f 29 29 3b 20 0d 0a 09 73 74 72 69 6e (*a_)); ...strin
08d0: 67 20 5f 20 3d 20 22 49 6e 73 75 66 66 69 63 69 g _ = "Insuffici
08e0: 65 6e 74 22 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 ent"; ..END..CAS
08f0: 45 28 34 29 0d 0a 09 69 6e 74 20 61 5f 5b 5d 20 E(4)...int a_[]
0900: 3d 20 7b 32 2c 32 2c 30 2c 32 2c 32 7d 3b 0d 0a = {2,2,0,2,2};..
0910: 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e 20 . vector <int>
0920: 61 28 61 5f 2c 20 61 5f 2b 73 69 7a 65 6f 66 28 a(a_, a_+sizeof(
0930: 61 5f 29 2f 73 69 7a 65 6f 66 28 2a 61 5f 29 29 a_)/sizeof(*a_))
0940: 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20 3d 20 ; ...string _ =
0950: 22 53 75 66 66 69 63 69 65 6e 74 22 3b 20 0d 0a "Sufficient"; ..
0960: 45 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 35 29 END../*..CASE(5)
0970: 0d 0a 09 69 6e 74 20 61 5f 5b 5d 20 3d 20 3b 0d ...int a_[] = ;.
0980: 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 3e .. vector <int>
0990: 20 61 28 61 5f 2c 20 61 5f 2b 73 69 7a 65 6f 66 a(a_, a_+sizeof
09a0: 28 61 5f 29 2f 73 69 7a 65 6f 66 28 2a 61 5f 29 (a_)/sizeof(*a_)
09b0: 29 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20 3d ); ...string _ =
09c0: 20 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 36 ; ..END..CASE(6
09d0: 29 0d 0a 09 69 6e 74 20 61 5f 5b 5d 20 3d 20 3b )...int a_[] = ;
09e0: 0d 0a 09 20 20 76 65 63 74 6f 72 20 3c 69 6e 74 ... vector <int
09f0: 3e 20 61 28 61 5f 2c 20 61 5f 2b 73 69 7a 65 6f > a(a_, a_+sizeo
0a00: 66 28 61 5f 29 2f 73 69 7a 65 6f 66 28 2a 61 5f f(a_)/sizeof(*a_
0a10: 29 29 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20 )); ...string _
0a20: 3d 20 3b 20 0d 0a 45 4e 44 0d 0a 2a 2f 0d 0a 7d = ; ..END..*/..}
0a30: 0d 0a 2f 2f 20 45 4e 44 20 43 55 54 20 48 45 52 ..// END CUT HER
0a40: 45 0d 0a E..