Artifact 148e8147aebc92eb9137c46674a57c65aaa2d03e:
0000: 23 69 6e 63 6c 75 64 65 20 3c 69 6f 73 74 72 65 #include <iostre
0010: 61 6d 3e 20 0a 23 69 6e 63 6c 75 64 65 20 3c 73 am> .#include <s
0020: 73 74 72 65 61 6d 3e 20 0a 23 69 6e 63 6c 75 64 stream> .#includ
0030: 65 20 3c 69 6f 6d 61 6e 69 70 3e 20 0a 23 69 6e e <iomanip> .#in
0040: 63 6c 75 64 65 20 3c 76 65 63 74 6f 72 3e 20 0a clude <vector> .
0050: 23 69 6e 63 6c 75 64 65 20 3c 73 74 72 69 6e 67 #include <string
0060: 3e 20 0a 23 69 6e 63 6c 75 64 65 20 3c 6d 61 70 > .#include <map
0070: 3e 20 0a 23 69 6e 63 6c 75 64 65 20 3c 73 65 74 > .#include <set
0080: 3e 20 0a 23 69 6e 63 6c 75 64 65 20 3c 61 6c 67 > .#include <alg
0090: 6f 72 69 74 68 6d 3e 20 0a 23 69 6e 63 6c 75 64 orithm> .#includ
00a0: 65 20 3c 6e 75 6d 65 72 69 63 3e 20 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: 20 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 20 0a 23 69 6e 63 6c 75 64 tional> .#includ
00e0: 65 20 3c 63 6f 6d 70 6c 65 78 3e 20 0a 23 69 6e e <complex> .#in
00f0: 63 6c 75 64 65 20 3c 71 75 65 75 65 3e 20 0a 23 clude <queue> .#
0100: 69 6e 63 6c 75 64 65 20 3c 73 74 61 63 6b 3e 20 include <stack>
0110: 0a 23 69 6e 63 6c 75 64 65 20 3c 63 6d 61 74 68 .#include <cmath
0120: 3e 20 0a 23 69 6e 63 6c 75 64 65 20 3c 63 61 73 > .#include <cas
0130: 73 65 72 74 3e 20 0a 23 69 6e 63 6c 75 64 65 20 sert> .#include
0140: 3c 63 73 74 72 69 6e 67 3e 20 0a 75 73 69 6e 67 <cstring> .using
0150: 20 6e 61 6d 65 73 70 61 63 65 20 73 74 64 3b 20 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 20 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 20 0a 0a 74 65 6d 70 6c 61 74 65 3c CMP; ..template<
01a0: 69 6e 74 20 4e 43 3d 32 36 2c 20 63 68 61 72 20 int NC=26, char
01b0: 42 43 3d 27 61 27 3e 0a 73 74 72 75 63 74 20 41 BC='a'>.struct A
01c0: 68 6f 43 6f 72 61 73 69 63 6b 0a 7b 0a 09 41 68 hoCorasick.{..Ah
01d0: 6f 43 6f 72 61 73 69 63 6b 28 20 63 6f 6e 73 74 oCorasick( const
01e0: 20 76 65 63 74 6f 72 3c 73 74 72 69 6e 67 3e 26 vector<string>&
01f0: 20 70 20 29 20 3a 20 6c 69 6e 6b 28 4e 43 2b 31 p ) : link(NC+1
0200: 29 20 7b 0a 09 09 2f 2f 20 43 72 65 61 74 65 20 ) {...// Create
0210: 61 20 74 72 69 65 0a 09 09 66 6f 72 28 69 6e 74 a trie...for(int
0220: 20 69 3d 30 3b 20 69 3c 70 2e 73 69 7a 65 28 29 i=0; i<p.size()
0230: 3b 20 2b 2b 69 29 20 7b 0a 09 09 09 41 68 6f 43 ; ++i) {....AhoC
0240: 6f 72 61 73 69 63 6b 2a 20 74 20 3d 20 74 68 69 orasick* t = thi
0250: 73 3b 0a 09 09 09 66 6f 72 28 69 6e 74 20 6b 3d s;....for(int k=
0260: 30 3b 20 6b 3c 70 5b 69 5d 2e 73 69 7a 65 28 29 0; k<p[i].size()
0270: 3b 20 74 3d 74 2d 3e 6c 69 6e 6b 5b 70 5b 69 5d ; t=t->link[p[i]
0280: 5b 6b 2b 2b 5d 2d 42 43 5d 29 0a 09 09 09 09 69 [k++]-BC]).....i
0290: 66 28 21 74 2d 3e 6c 69 6e 6b 5b 70 5b 69 5d 5b f(!t->link[p[i][
02a0: 6b 5d 2d 42 43 5d 29 0a 09 09 09 09 09 74 2d 3e k]-BC])......t->
02b0: 6c 69 6e 6b 5b 70 5b 69 5d 5b 6b 5d 2d 42 43 5d link[p[i][k]-BC]
02c0: 3d 6e 65 77 20 41 68 6f 43 6f 72 61 73 69 63 6b =new AhoCorasick
02d0: 3b 0a 09 09 09 74 2d 3e 66 69 6e 61 6c 2e 69 6e ;....t->final.in
02e0: 73 65 72 74 28 69 29 3b 0a 09 09 7d 0a 0a 09 09 sert(i);...}....
02f0: 2f 2f 20 44 6f 20 42 46 53 20 61 6e 64 20 64 72 // Do BFS and dr
0300: 61 77 20 66 61 69 6c 75 72 65 20 6c 69 6e 6b 73 aw failure links
0310: 2c 20 61 6e 64 20 70 72 65 70 61 72 65 20 66 6f , and prepare fo
0320: 72 20 73 75 62 73 74 72 69 6e 67 20 70 61 74 74 r substring patt
0330: 65 72 6e 0a 09 09 71 75 65 75 65 3c 41 68 6f 43 ern...queue<AhoC
0340: 6f 72 61 73 69 63 6b 2a 3e 20 51 3b 0a 09 09 66 orasick*> Q;...f
0350: 6f 72 28 69 6e 74 20 63 3d 30 3b 20 63 3c 4e 43 or(int c=0; c<NC
0360: 3b 20 2b 2b 63 29 0a 09 09 09 69 66 28 20 6c 69 ; ++c)....if( li
0370: 6e 6b 5b 63 5d 20 29 20 7b 0a 09 09 09 09 51 2e nk[c] ) {.....Q.
0380: 70 75 73 68 28 6c 69 6e 6b 5b 63 5d 29 3b 0a 09 push(link[c]);..
0390: 09 09 09 6c 69 6e 6b 5b 63 5d 2d 3e 6c 69 6e 6b ...link[c]->link
03a0: 5b 4e 43 5d 20 3d 20 74 68 69 73 3b 20 2f 2f 20 [NC] = this; //
03b0: 22 63 22 27 73 20 73 75 66 66 69 78 20 69 73 20 "c"'s suffix is
03c0: 22 22 0a 09 09 09 09 6c 69 6e 6b 5b 63 5d 2d 3e "".....link[c]->
03d0: 66 69 6e 61 6c 2e 69 6e 73 65 72 74 28 66 69 6e final.insert(fin
03e0: 61 6c 2e 62 65 67 69 6e 28 29 2c 20 66 69 6e 61 al.begin(), fina
03f0: 6c 2e 65 6e 64 28 29 29 3b 0a 09 09 09 7d 0a 09 l.end());....}..
0400: 09 09 65 6c 73 65 0a 09 09 09 09 6c 69 6e 6b 5b ..else.....link[
0410: 63 5d 20 3d 20 74 68 69 73 3b 0a 09 09 77 68 69 c] = this;...whi
0420: 6c 65 28 20 21 51 2e 65 6d 70 74 79 28 29 20 29 le( !Q.empty() )
0430: 20 7b 0a 09 09 09 41 68 6f 43 6f 72 61 73 69 63 {....AhoCorasic
0440: 6b 2a 20 74 3d 51 2e 66 72 6f 6e 74 28 29 3b 20 k* t=Q.front();
0450: 51 2e 70 6f 70 28 29 3b 0a 09 09 09 66 6f 72 28 Q.pop();....for(
0460: 69 6e 74 20 63 3d 30 3b 20 63 3c 4e 43 3b 20 2b int c=0; c<NC; +
0470: 2b 63 29 0a 09 09 09 09 69 66 28 20 74 2d 3e 6c +c).....if( t->l
0480: 69 6e 6b 5b 63 5d 20 29 20 7b 0a 09 09 09 09 09 ink[c] ) {......
0490: 51 2e 70 75 73 68 28 74 2d 3e 6c 69 6e 6b 5b 63 Q.push(t->link[c
04a0: 5d 29 3b 0a 09 09 09 09 09 41 68 6f 43 6f 72 61 ]);......AhoCora
04b0: 73 69 63 6b 2a 20 72 20 3d 20 74 2d 3e 6c 69 6e sick* r = t->lin
04c0: 6b 5b 4e 43 5d 3b 20 2f 2f 20 22 72 22 20 69 73 k[NC]; // "r" is
04d0: 20 73 75 66 66 69 78 20 6f 66 20 22 74 22 2e 2e suffix of "t"..
04e0: 2e 0a 09 09 09 09 09 77 68 69 6c 65 28 20 21 72 .......while( !r
04f0: 2d 3e 6c 69 6e 6b 5b 63 5d 20 29 0a 09 09 09 09 ->link[c] ).....
0500: 09 09 72 20 3d 20 72 2d 3e 6c 69 6e 6b 5b 4e 43 ..r = r->link[NC
0510: 5d 3b 0a 09 09 09 09 09 74 2d 3e 6c 69 6e 6b 5b ];......t->link[
0520: 63 5d 2d 3e 6c 69 6e 6b 5b 4e 43 5d 20 3d 20 72 c]->link[NC] = r
0530: 2d 3e 6c 69 6e 6b 5b 63 5d 3b 20 2f 2f 20 74 68 ->link[c]; // th
0540: 65 6e 20 22 72 63 22 20 69 73 20 73 75 66 66 69 en "rc" is suffi
0550: 78 20 6f 66 20 22 74 63 22 0a 09 09 09 09 09 74 x of "tc"......t
0560: 2d 3e 6c 69 6e 6b 5b 63 5d 2d 3e 66 69 6e 61 6c ->link[c]->final
0570: 2e 69 6e 73 65 72 74 28 72 2d 3e 6c 69 6e 6b 5b .insert(r->link[
0580: 63 5d 2d 3e 66 69 6e 61 6c 2e 62 65 67 69 6e 28 c]->final.begin(
0590: 29 2c 20 72 2d 3e 6c 69 6e 6b 5b 63 5d 2d 3e 66 ), r->link[c]->f
05a0: 69 6e 61 6c 2e 65 6e 64 28 29 29 3b 0a 09 09 09 inal.end());....
05b0: 09 7d 0a 09 09 7d 0a 09 7d 0a 09 63 6f 6e 73 74 .}...}..}..const
05c0: 20 41 68 6f 43 6f 72 61 73 69 63 6b 2a 20 73 74 AhoCorasick* st
05d0: 61 72 74 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 art() const { re
05e0: 74 75 72 6e 20 74 68 69 73 3b 20 7d 0a 09 63 6f turn this; }..co
05f0: 6e 73 74 20 41 68 6f 43 6f 72 61 73 69 63 6b 2a nst AhoCorasick*
0600: 20 6e 65 78 74 28 63 68 61 72 20 63 29 20 63 6f next(char c) co
0610: 6e 73 74 20 7b 0a 09 09 63 6f 6e 73 74 20 41 68 nst {...const Ah
0620: 6f 43 6f 72 61 73 69 63 6b 2a 20 74 20 3d 20 74 oCorasick* t = t
0630: 68 69 73 3b 0a 09 09 77 68 69 6c 65 28 20 21 74 his;...while( !t
0640: 2d 3e 6c 69 6e 6b 5b 63 2d 42 43 5d 20 29 0a 09 ->link[c-BC] )..
0650: 09 09 74 20 3d 20 74 2d 3e 6c 69 6e 6b 5b 4e 43 ..t = t->link[NC
0660: 5d 3b 0a 09 09 72 65 74 75 72 6e 20 74 2d 3e 6c ];...return t->l
0670: 69 6e 6b 5b 63 2d 42 43 5d 3b 0a 09 7d 0a 09 63 ink[c-BC];..}..c
0680: 6f 6e 73 74 20 73 65 74 3c 69 6e 74 3e 26 20 61 onst set<int>& a
0690: 63 63 65 70 74 28 29 20 63 6f 6e 73 74 20 7b 20 ccept() const {
06a0: 72 65 74 75 72 6e 20 66 69 6e 61 6c 3b 20 7d 0a return final; }.
06b0: 09 7e 41 68 6f 43 6f 72 61 73 69 63 6b 28 29 20 .~AhoCorasick()
06c0: 7b 20 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 { for(int i=0; i
06d0: 3c 4e 43 3b 20 2b 2b 69 29 20 69 66 28 6c 69 6e <NC; ++i) if(lin
06e0: 6b 5b 69 5d 21 3d 74 68 69 73 29 20 64 65 6c 65 k[i]!=this) dele
06f0: 74 65 20 6c 69 6e 6b 5b 69 5d 3b 20 7d 0a 70 72 te link[i]; }.pr
0700: 69 76 61 74 65 3a 0a 09 41 68 6f 43 6f 72 61 73 ivate:..AhoCoras
0710: 69 63 6b 28 29 20 3a 20 6c 69 6e 6b 28 4e 43 2b ick() : link(NC+
0720: 31 29 20 7b 7d 0a 09 76 65 63 74 6f 72 3c 41 68 1) {}..vector<Ah
0730: 6f 43 6f 72 61 73 69 63 6b 2a 3e 20 6c 69 6e 6b oCorasick*> link
0740: 3b 0a 09 73 65 74 3c 69 6e 74 3e 20 66 69 6e 61 ;..set<int> fina
0750: 6c 3b 0a 7d 3b 0a 0a 73 74 61 74 69 63 20 63 6f l;.};..static co
0760: 6e 73 74 20 69 6e 74 20 4d 4f 44 56 41 4c 20 3d nst int MODVAL =
0770: 20 31 30 30 30 30 30 30 30 30 39 3b 20 2f 2f 20 1000000009; //
0780: 6d 75 73 74 20 62 65 20 70 72 69 6d 65 20 66 6f must be prime fo
0790: 72 20 6f 70 2f 20 0a 73 74 72 75 63 74 20 6d 69 r op/ .struct mi
07a0: 6e 74 20 0a 7b 20 0a 20 20 69 6e 74 20 76 61 6c nt .{ . int val
07b0: 3b 20 0a 20 20 6d 69 6e 74 28 29 3a 76 61 6c 28 ; . mint():val(
07c0: 30 29 7b 7d 0a 20 20 6d 69 6e 74 28 69 6e 74 20 0){}. mint(int
07d0: 78 29 3a 76 61 6c 28 78 25 4d 4f 44 56 41 4c 29 x):val(x%MODVAL)
07e0: 20 7b 7d 0a 7d 3b 20 0a 6d 69 6e 74 26 20 6f 70 {}.}; .mint& op
07f0: 65 72 61 74 6f 72 2b 3d 28 6d 69 6e 74 26 20 78 erator+=(mint& x
0800: 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 65 74 75 , mint y) { retu
0810: 72 6e 20 78 20 3d 20 78 2e 76 61 6c 2b 79 2e 76 rn x = x.val+y.v
0820: 61 6c 3b 20 7d 20 0a 0a 69 6e 74 20 62 69 74 63 al; } ..int bitc
0830: 6e 74 28 4c 4c 20 78 29 0a 7b 0a 09 69 6e 74 20 nt(LL x).{..int
0840: 63 20 3d 20 30 3b 0a 09 66 6f 72 28 3b 20 78 3b c = 0;..for(; x;
0850: 20 78 3e 3e 3d 31 29 0a 09 09 63 20 2b 3d 20 78 x>>=1)...c += x
0860: 26 31 3b 0a 09 72 65 74 75 72 6e 20 63 3b 0a 7d &1;..return c;.}
0870: 0a 0a 63 6c 61 73 73 20 52 65 71 75 69 72 65 64 ..class Required
0880: 53 75 62 73 74 72 69 6e 67 73 20 7b 20 70 75 62 Substrings { pub
0890: 6c 69 63 3a 20 0a 20 20 69 6e 74 20 73 6f 6c 76 lic: . int solv
08a0: 65 28 76 65 63 74 6f 72 20 3c 73 74 72 69 6e 67 e(vector <string
08b0: 3e 20 77 6f 72 64 73 2c 20 69 6e 74 20 43 2c 20 > words, int C,
08c0: 69 6e 74 20 4c 29 20 0a 20 20 7b 20 0a 20 20 20 int L) . { .
08d0: 20 41 68 6f 43 6f 72 61 73 69 63 6b 3c 3e 20 61 AhoCorasick<> a
08e0: 63 28 77 6f 72 64 73 29 3b 20 0a 20 20 20 20 72 c(words); . r
08f0: 65 74 75 72 6e 20 72 65 63 28 4c 2c 20 43 2c 20 eturn rec(L, C,
0900: 30 2c 20 61 63 2e 73 74 61 72 74 28 29 29 2e 76 0, ac.start()).v
0910: 61 6c 3b 0a 20 20 7d 20 0a 0a 20 20 6d 61 70 3c al;. } .. map<
0920: 70 61 69 72 3c 70 61 69 72 3c 69 6e 74 2c 69 6e pair<pair<int,in
0930: 74 3e 2c 63 6f 6e 73 74 20 41 68 6f 43 6f 72 61 t>,const AhoCora
0940: 73 69 63 6b 3c 3e 2a 3e 2c 20 6d 69 6e 74 3e 20 sick<>*>, mint>
0950: 6d 65 6d 6f 3b 20 0a 20 20 6d 69 6e 74 20 72 65 memo; . mint re
0960: 63 28 69 6e 74 20 72 65 73 74 2c 20 63 6f 6e 73 c(int rest, cons
0970: 74 20 69 6e 74 20 43 2c 20 63 6f 6e 73 74 20 69 t int C, const i
0980: 6e 74 20 66 6f 75 6e 64 2c 20 63 6f 6e 73 74 20 nt found, const
0990: 41 68 6f 43 6f 72 61 73 69 63 6b 3c 3e 2a 20 61 AhoCorasick<>* a
09a0: 63 29 20 0a 20 20 7b 20 0a 20 20 20 20 69 66 28 c) . { . if(
09b0: 20 72 65 73 74 20 3d 3d 20 30 20 29 0a 20 20 20 rest == 0 ).
09c0: 20 20 20 72 65 74 75 72 6e 20 28 62 69 74 63 6e return (bitcn
09d0: 74 28 66 6f 75 6e 64 29 3d 3d 43 20 3f 20 31 20 t(found)==C ? 1
09e0: 3a 20 30 29 3b 20 0a 20 20 20 20 70 61 69 72 3c : 0); . pair<
09f0: 70 61 69 72 3c 69 6e 74 2c 69 6e 74 3e 2c 63 6f pair<int,int>,co
0a00: 6e 73 74 20 41 68 6f 43 6f 72 61 73 69 63 6b 2a nst AhoCorasick*
0a10: 3e 20 6b 65 79 28 6d 61 6b 65 5f 70 61 69 72 28 > key(make_pair(
0a20: 72 65 73 74 2c 20 66 6f 75 6e 64 29 2c 20 61 63 rest, found), ac
0a30: 29 3b 20 0a 20 20 20 20 69 66 28 20 6d 65 6d 6f ); . if( memo
0a40: 2e 63 6f 75 6e 74 28 6b 65 79 29 20 29 20 0a 20 .count(key) ) .
0a50: 20 20 20 20 20 72 65 74 75 72 6e 20 6d 65 6d 6f return memo
0a60: 5b 6b 65 79 5d 3b 20 0a 0a 20 20 20 20 6d 69 6e [key]; .. min
0a70: 74 20 73 75 6d 20 3d 20 30 3b 20 0a 20 20 20 20 t sum = 0; .
0a80: 66 6f 72 28 63 68 61 72 20 63 3d 27 61 27 3b 20 for(char c='a';
0a90: 63 3c 3d 27 7a 27 3b 20 2b 2b 63 29 20 0a 20 20 c<='z'; ++c) .
0aa0: 20 20 7b 20 0a 20 20 20 20 20 20 63 6f 6e 73 74 { . const
0ab0: 20 41 68 6f 43 6f 72 61 73 69 63 6b 3c 3e 2a 20 AhoCorasick<>*
0ac0: 74 20 3d 20 61 63 2d 3e 6e 65 78 74 28 63 29 3b t = ac->next(c);
0ad0: 20 0a 20 20 20 20 20 20 69 6e 74 20 66 20 3d 20 . int f =
0ae0: 66 6f 75 6e 64 3b 0a 20 20 20 20 20 20 66 6f 72 found;. for
0af0: 28 73 65 74 3c 69 6e 74 3e 3a 3a 63 6f 6e 73 74 (set<int>::const
0b00: 5f 69 74 65 72 61 74 6f 72 20 69 74 3d 74 2d 3e _iterator it=t->
0b10: 61 63 63 65 70 74 28 29 2e 62 65 67 69 6e 28 29 accept().begin()
0b20: 3b 20 69 74 21 3d 74 2d 3e 61 63 63 65 70 74 28 ; it!=t->accept(
0b30: 29 2e 65 6e 64 28 29 3b 20 2b 2b 69 74 29 20 0a ).end(); ++it) .
0b40: 20 20 20 20 20 20 20 20 66 20 7c 3d 20 28 31 20 f |= (1
0b50: 3c 3c 20 2a 69 74 29 3b 0a 20 20 20 20 20 20 73 << *it);. s
0b60: 75 6d 20 2b 3d 20 72 65 63 28 72 65 73 74 2d 31 um += rec(rest-1
0b70: 2c 20 43 2c 20 66 2c 20 74 29 3b 20 20 0a 20 20 , C, f, t); .
0b80: 20 20 7d 20 0a 20 20 20 20 72 65 74 75 72 6e 20 } . return
0b90: 6d 65 6d 6f 5b 6b 65 79 5d 20 3d 20 73 75 6d 3b memo[key] = sum;
0ba0: 20 0a 20 20 7d 20 0a 7d 3b 20 0a 0a 0a 0a 2f 2f . } .}; ....//
0bb0: 20 50 6f 77 65 72 65 64 20 62 79 20 46 69 6c 65 Powered by File
0bc0: 45 64 69 74 0a 2f 2f 20 50 6f 77 65 72 65 64 20 Edit.// Powered
0bd0: 62 79 20 54 5a 54 65 73 74 65 72 20 31 2e 30 31 by TZTester 1.01
0be0: 20 5b 32 35 2d 46 65 62 2d 32 30 30 33 5d 20 3a [25-Feb-2003] :
0bf0: 20 3c 63 61 66 65 6c 69 65 72 26 6e 61 6f 79 61 <cafelier&naoya
0c00: 5f 74 3e 2d 63 75 73 74 6f 6d 0a 2f 2f 20 50 6f _t>-custom.// Po
0c10: 77 65 72 65 64 20 62 79 20 43 6f 64 65 50 72 6f wered by CodePro
0c20: 63 65 73 73 6f 72 0a 0a cessor..