Artifact 824929308b649ea7a1e741a9d8b65f1970b3b31b:
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 44 65 63 69 P;....class Deci
01a0: 70 68 65 72 61 62 69 6c 69 74 79 20 7b 20 70 75 pherability { pu
01b0: 62 6c 69 63 3a 0d 0a 09 73 74 72 69 6e 67 20 63 blic:...string c
01c0: 68 65 63 6b 28 73 74 72 69 6e 67 20 73 2c 20 69 heck(string s, i
01d0: 6e 74 20 4b 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 nt K)...{....ret
01e0: 75 72 6e 20 68 61 73 5f 75 6e 69 71 75 65 5f 61 urn has_unique_a
01f0: 6e 73 28 73 2c 20 73 2e 73 69 7a 65 28 29 2d 4b ns(s, s.size()-K
0200: 29 20 3f 20 22 43 65 72 74 61 69 6e 22 20 3a 20 ) ? "Certain" :
0210: 22 55 6e 63 65 72 74 61 69 6e 22 3b 0d 0a 09 7d "Uncertain";...}
0220: 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 73 5f 75 6e .....bool has_un
0230: 69 71 75 65 5f 61 6e 73 28 63 6f 6e 73 74 20 73 ique_ans(const s
0240: 74 72 69 6e 67 26 20 73 2c 20 69 6e 74 20 52 29 tring& s, int R)
0250: 0d 0a 09 7b 0d 0a 09 09 69 66 28 52 20 3d 3d 20 ...{....if(R ==
0260: 30 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 0).....return tr
0270: 75 65 3b 0d 0a 0d 0a 09 09 66 6f 72 28 69 6e 74 ue;......for(int
0280: 20 61 3d 30 3b 20 61 3c 73 2e 73 69 7a 65 28 29 a=0; a<s.size()
0290: 3b 20 2b 2b 61 29 0d 0a 09 09 66 6f 72 28 69 6e ; ++a)....for(in
02a0: 74 20 62 3d 61 2b 31 3b 20 62 3c 73 2e 73 69 7a t b=a+1; b<s.siz
02b0: 65 28 29 3b 20 2b 2b 62 29 20 69 66 28 73 5b 61 e(); ++b) if(s[a
02c0: 5d 20 3d 3d 20 73 5b 62 5d 29 20 7b 0d 0a 09 09 ] == s[b]) {....
02d0: 09 69 66 28 61 20 2b 20 31 20 2b 20 28 73 2e 73 .if(a + 1 + (s.s
02e0: 69 7a 65 28 29 2d 62 2d 31 29 20 3e 3d 20 52 29 ize()-b-1) >= R)
02f0: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 61 6c ......return fal
0300: 73 65 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 se;....}....retu
0310: 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a 7d 3b rn true;...}..};
0320: 0d 0a 0d 0a 2f 2f 20 42 45 47 49 4e 20 43 55 54 ....// BEGIN CUT
0330: 20 48 45 52 45 0d 0a 23 69 6e 63 6c 75 64 65 20 HERE..#include
0340: 3c 63 74 69 6d 65 3e 0d 0a 64 6f 75 62 6c 65 20 <ctime>..double
0350: 73 74 61 72 74 5f 74 69 6d 65 3b 20 73 74 72 69 start_time; stri
0360: 6e 67 20 74 69 6d 65 72 28 29 0d 0a 20 7b 20 6f ng timer().. { o
0370: 73 74 72 69 6e 67 73 74 72 65 61 6d 20 6f 73 3b stringstream os;
0380: 20 6f 73 20 3c 3c 20 22 20 28 22 20 3c 3c 20 69 os << " (" << i
0390: 6e 74 28 28 63 6c 6f 63 6b 28 29 2d 73 74 61 72 nt((clock()-star
03a0: 74 5f 74 69 6d 65 29 2f 43 4c 4f 43 4b 53 5f 50 t_time)/CLOCKS_P
03b0: 45 52 5f 53 45 43 2a 31 30 30 30 29 20 3c 3c 20 ER_SEC*1000) <<
03c0: 22 20 6d 73 65 63 29 22 3b 20 72 65 74 75 72 6e " msec)"; return
03d0: 20 6f 73 2e 73 74 72 28 29 3b 20 7d 0d 0a 74 65 os.str(); }..te
03e0: 6d 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 mplate<typename
03f0: 54 3e 20 6f 73 74 72 65 61 6d 26 20 6f 70 65 72 T> ostream& oper
0400: 61 74 6f 72 3c 3c 28 6f 73 74 72 65 61 6d 26 20 ator<<(ostream&
0410: 6f 73 2c 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 os, const vector
0420: 3c 54 3e 26 20 76 29 0d 0a 20 7b 20 6f 73 20 3c <T>& v).. { os <
0430: 3c 20 22 7b 20 22 3b 0d 0a 20 20 20 66 6f 72 28 < "{ ";.. for(
0440: 74 79 70 65 6e 61 6d 65 20 76 65 63 74 6f 72 3c typename vector<
0450: 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74 65 72 61 74 T>::const_iterat
0460: 6f 72 20 69 74 3d 76 2e 62 65 67 69 6e 28 29 3b or it=v.begin();
0470: 20 69 74 21 3d 76 2e 65 6e 64 28 29 3b 20 2b 2b it!=v.end(); ++
0480: 69 74 29 0d 0a 20 20 20 6f 73 20 3c 3c 20 27 5c it).. os << '\
0490: 22 27 20 3c 3c 20 2a 69 74 20 3c 3c 20 27 5c 22 "' << *it << '\"
04a0: 27 20 3c 3c 20 28 69 74 2b 31 3d 3d 76 2e 65 6e ' << (it+1==v.en
04b0: 64 28 29 20 3f 20 22 22 20 3a 20 22 2c 20 22 29 d() ? "" : ", ")
04c0: 3b 20 6f 73 20 3c 3c 20 22 20 7d 22 3b 20 72 65 ; os << " }"; re
04d0: 74 75 72 6e 20 6f 73 3b 20 7d 0d 0a 76 6f 69 64 turn os; }..void
04e0: 20 76 65 72 69 66 79 5f 63 61 73 65 28 63 6f 6e verify_case(con
04f0: 73 74 20 73 74 72 69 6e 67 26 20 45 78 70 65 63 st string& Expec
0500: 74 65 64 2c 20 63 6f 6e 73 74 20 73 74 72 69 6e ted, const strin
0510: 67 26 20 52 65 63 65 69 76 65 64 29 20 7b 0d 0a g& Received) {..
0520: 20 62 6f 6f 6c 20 6f 6b 20 3d 20 28 45 78 70 65 bool ok = (Expe
0530: 63 74 65 64 20 3d 3d 20 52 65 63 65 69 76 65 64 cted == Received
0540: 29 3b 0d 0a 20 69 66 28 6f 6b 29 20 63 65 72 72 );.. if(ok) cerr
0550: 20 3c 3c 20 22 50 41 53 53 45 44 22 20 3c 3c 20 << "PASSED" <<
0560: 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b timer() << endl;
0570: 20 20 65 6c 73 65 20 7b 20 63 65 72 72 20 3c 3c else { cerr <<
0580: 20 22 46 41 49 4c 45 44 22 20 3c 3c 20 74 69 6d "FAILED" << tim
0590: 65 72 28 29 20 3c 3c 20 65 6e 64 6c 3b 0d 0a 20 er() << endl;..
05a0: 63 65 72 72 20 3c 3c 20 22 5c 74 6f 3a 20 5c 22 cerr << "\to: \"
05b0: 22 20 3c 3c 20 45 78 70 65 63 74 65 64 20 3c 3c " << Expected <<
05c0: 20 27 5c 22 27 20 3c 3c 20 65 6e 64 6c 20 3c 3c '\"' << endl <<
05d0: 20 22 5c 74 78 3a 20 5c 22 22 20 3c 3c 20 52 65 "\tx: \"" << Re
05e0: 63 65 69 76 65 64 20 3c 3c 20 27 5c 22 27 20 3c ceived << '\"' <
05f0: 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d 0a 23 64 65 < endl; } }..#de
0600: 66 69 6e 65 20 43 41 53 45 28 4e 29 20 7b 63 65 fine CASE(N) {ce
0610: 72 72 20 3c 3c 20 22 54 65 73 74 20 43 61 73 65 rr << "Test Case
0620: 20 23 22 20 3c 3c 20 4e 20 3c 3c 20 22 2e 2e 2e #" << N << "...
0630: 22 20 3c 3c 20 66 6c 75 73 68 3b 20 73 74 61 72 " << flush; star
0640: 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b 28 29 3b 0d t_time=clock();.
0650: 0a 23 64 65 66 69 6e 65 20 45 4e 44 09 20 76 65 .#define END. ve
0660: 72 69 66 79 5f 63 61 73 65 28 5f 2c 20 44 65 63 rify_case(_, Dec
0670: 69 70 68 65 72 61 62 69 6c 69 74 79 28 29 2e 63 ipherability().c
0680: 68 65 63 6b 28 73 2c 20 4b 29 29 3b 7d 0d 0a 69 heck(s, K));}..i
0690: 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43 41 nt main(){....CA
06a0: 53 45 28 30 29 0d 0a 09 73 74 72 69 6e 67 20 73 SE(0)...string s
06b0: 20 3d 20 22 73 6e 75 6b 65 22 3b 20 0d 0a 09 69 = "snuke"; ...i
06c0: 6e 74 20 4b 20 3d 20 32 3b 20 0d 0a 09 73 74 72 nt K = 2; ...str
06d0: 69 6e 67 20 5f 20 3d 20 22 43 65 72 74 61 69 6e ing _ = "Certain
06e0: 22 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 31 "; ..END..CASE(1
06f0: 29 0d 0a 09 73 74 72 69 6e 67 20 73 20 3d 20 22 )...string s = "
0700: 61 62 61 22 3b 20 0d 0a 09 69 6e 74 20 4b 20 3d aba"; ...int K =
0710: 20 31 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20 1; ...string _
0720: 3d 20 22 43 65 72 74 61 69 6e 22 3b 20 0d 0a 45 = "Certain"; ..E
0730: 4e 44 0d 0a 43 41 53 45 28 32 29 0d 0a 09 73 74 ND..CASE(2)...st
0740: 72 69 6e 67 20 73 20 3d 20 22 61 62 61 22 3b 20 ring s = "aba";
0750: 0d 0a 09 69 6e 74 20 4b 20 3d 20 32 3b 20 0d 0a ...int K = 2; ..
0760: 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 55 6e 63 .string _ = "Unc
0770: 65 72 74 61 69 6e 22 3b 20 0d 0a 45 4e 44 0d 0a ertain"; ..END..
0780: 43 41 53 45 28 33 29 0d 0a 09 73 74 72 69 6e 67 CASE(3)...string
0790: 20 73 20 3d 20 22 61 62 63 64 61 62 63 64 22 3b s = "abcdabcd";
07a0: 20 0d 0a 09 69 6e 74 20 4b 20 3d 20 33 3b 20 0d ...int K = 3; .
07b0: 0a 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 43 65 ..string _ = "Ce
07c0: 72 74 61 69 6e 22 3b 20 0d 0a 45 4e 44 0d 0a 43 rtain"; ..END..C
07d0: 41 53 45 28 34 29 0d 0a 09 73 74 72 69 6e 67 20 ASE(4)...string
07e0: 73 20 3d 20 22 6b 6f 75 6b 79 6f 75 6b 6f 75 6b s = "koukyoukouk
07f0: 6f 6b 75 6b 69 6b 6f 75 22 3b 20 0d 0a 09 69 6e okukikou"; ...in
0800: 74 20 4b 20 3d 20 32 3b 20 0d 0a 09 73 74 72 69 t K = 2; ...stri
0810: 6e 67 20 5f 20 3d 20 22 55 6e 63 65 72 74 61 69 ng _ = "Uncertai
0820: 6e 22 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 n"; ..END..CASE(
0830: 35 29 0d 0a 09 73 74 72 69 6e 67 20 73 20 3d 20 5)...string s =
0840: 22 77 6f 6c 66 73 6f 74 68 65 22 3b 20 0d 0a 09 "wolfsothe"; ...
0850: 69 6e 74 20 4b 20 3d 20 38 3b 20 0d 0a 09 73 74 int K = 8; ...st
0860: 72 69 6e 67 20 5f 20 3d 20 22 55 6e 63 65 72 74 ring _ = "Uncert
0870: 61 69 6e 22 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 ain"; ..END..CAS
0880: 45 28 36 29 0d 0a 09 73 74 72 69 6e 67 20 73 20 E(6)...string s
0890: 3d 20 22 61 61 22 3b 20 0d 0a 09 69 6e 74 20 4b = "aa"; ...int K
08a0: 20 3d 20 32 3b 20 0d 0a 09 73 74 72 69 6e 67 20 = 2; ...string
08b0: 5f 20 3d 20 22 43 65 72 74 61 69 6e 22 3b 20 0d _ = "Certain"; .
08c0: 0a 45 4e 44 0d 0a 2f 2a 0d 0a 43 41 53 45 28 37 .END../*..CASE(7
08d0: 29 0d 0a 09 73 74 72 69 6e 67 20 73 20 3d 20 3b )...string s = ;
08e0: 20 0d 0a 09 69 6e 74 20 4b 20 3d 20 3b 20 0d 0a ...int K = ; ..
08f0: 09 73 74 72 69 6e 67 20 5f 20 3d 20 3b 20 0d 0a .string _ = ; ..
0900: 45 4e 44 0d 0a 43 41 53 45 28 38 29 0d 0a 09 73 END..CASE(8)...s
0910: 74 72 69 6e 67 20 73 20 3d 20 3b 20 0d 0a 09 69 tring s = ; ...i
0920: 6e 74 20 4b 20 3d 20 3b 20 0d 0a 09 73 74 72 69 nt K = ; ...stri
0930: 6e 67 20 5f 20 3d 20 3b 20 0d 0a 45 4e 44 0d 0a ng _ = ; ..END..
0940: 2a 2f 0d 0a 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 */..}..// END CU
0950: 54 20 48 45 52 45 0d 0a T HERE..