{"id":843,"date":"2013-10-25T05:08:27","date_gmt":"2013-10-24T21:08:27","guid":{"rendered":"http:\/\/www.shuizilong.com\/house\/?p=843"},"modified":"2013-10-25T05:25:59","modified_gmt":"2013-10-24T21:25:59","slug":"abbyy-cup-3-0-g3-good-substrings","status":"publish","type":"post","link":"https:\/\/www.shuizilong.com\/house\/archives\/abbyy-cup-3-0-g3-good-substrings\/","title":{"rendered":"ABBYY Cup 3.0 G3. Good Substrings"},"content":{"rendered":"

Brief description:<\/h3>\n

\u7ed9\u5b9a\u4e00\u6bb5 Text\u3001\u4ee5\u53ca nn \u4e2a Pattern\u3002\u8981\u6c42\u8fd9\u4e2a Text \u4e2d\u5408\u6cd5\u7684\u5b50\u4e32\u6570\u76ee\uff0c\u4f7f\u5f97\u5bf9\u4e8e\u7b2c ii \u4e2a Pattern\uff0c\u6070\u597d\u80fd\u591f\u5339\u914d [l_ii, r_ii] \u4e4b\u95f4\u6b21\u3002
\n\uff08nn \u2264 10\uff09
\n<\/p>\n

Analysis:<\/h3>\n

SAM-DP\u3002<\/p>\n

\u6211\u4eec\u628a\u6d89\u53ca\u5230\u7684\u6240\u6709\u5b57\u7b26\u4e32\uff08Text && Patterns\uff09\uff0c\u4f9d\u6b21\u63d2\u5165\u5230 SAM\u3002\uff08\u76f8\u90bb\u7684\u5b57\u7b26\u4e32\u4e4b\u95f4\uff0c\u7528\u5f7c\u6b64\u4e0d\u540c\u7684\u5206\u9694\u7b26\u9694\u5f00\uff0c\u4ee5\u4fdd\u8bc1\u5404\u5b57\u7b26\u4e32\u4e4b\u95f4\u5728 SAM \u4e2d\u4e0d\u4f1a\u76f8\u4e92\u5e72\u6270\uff09
\ndp[ii][u] \u8868\u793a\uff1a\u7ed3\u70b9 u \u6240\u8868\u793a\u7684\u5b50\u4e32\u96c6\u5408\uff0c\u5bf9\u4e8e\u7b2c ii \u4e2a\u5b57\u7b26\u4e32\u7684\u5339\u914d\u6b21\u6570\u3002<\/p>\n

http:\/\/codeforces.com\/contest\/316\/submission\/4749994<\/a><\/p>\n

\r\nnamespace SAM{\r\n\r\n    const int SN = int(5e4) + 1, NN = 11, N = 2*NN*SN + 9, Z = 26;\r\n\r\n    int trans[N][Z+NN], fail[N], len[N], tail, tot; char str[SN];\r\n\r\n    inline int new_node(){\r\n        \/\/ RST(trans[tot);\r\n        tail = tot;\r\n        return tot++;\r\n    }\r\n    inline int new_node(int u){\r\n        CPY(trans[tot], trans[u]), fail[tot] = fail[u];\r\n        return tot++;\r\n    }\r\n\r\n#define v trans[u][c]\r\n#define f fail[u]\r\n#define ff fail[uu]\r\n\r\n    inline int h(int u){\r\n        return len[u] - len[f];\r\n    }\r\n\r\n    void Ext(int c){\r\n        int u = tail, uu = new_node(); len[uu] = len[u] + 1;\r\n        while (u && !v) v = uu, u = f;\r\n        if (!u && !v) v = uu, ff = 0;\r\n        else{\r\n            if (len[v] == len[u] + 1) ff = v;\r\n            else{\r\n                int _v = v, vv = new_node(_v); len[vv] = len[u] + 1;\r\n                fail[_v] = ff = vv;\r\n                while (v == _v) v = vv, u = f;\r\n            }\r\n        }\r\n    }\r\n\r\n    int dp[NN][N], l[NN], r[NN]; bool vis[N];\r\n    int nn, ans;\r\n#define c (*cur - 'a')\r\n    void Init(){\r\n        tot = 0, new_node();\r\n        gets(str); REP_S(cur, str) Ext(c); Ext(Z);\r\n        REP_1_C(ii, RD(nn)){\r\n            RS(str); RD(l[ii], r[ii]);\r\n            REP_S(cur, str) Ext(c); Ext(Z+ii);\r\n        }\r\n    }\r\n#undef c\r\n\r\n    inline bool legal(int u){\r\n        if (!u || !dp[0][u]) return 0;\r\n        REP_1(ii, nn) if (dp[ii][u] < l[ii] || r[ii] < dp[ii][u]) return 0;\r\n        return 1;\r\n    }\r\n\r\n    void dfs(int u = 0){\r\n        if (vis[u]) return; vis[u] = 1;\r\n\r\n        REP(ii, nn+1) if (trans[u][Z+ii]) dp[ii][u] = 1;\r\n\r\n        REP(c, Z) if (v){\r\n            dfs(v); REP(ii, nn+1) dp[ii][u] += dp[ii][v];\r\n        }\r\n\r\n        if (legal(u)) ans += h(u);\r\n    }\r\n\r\n} using namespace SAM;\r\n\r\nint main(){\r\n\r\n#ifndef ONLINE_JUDGE\r\n    freopen("in.txt", "r", stdin);\r\n    \/\/freopen("out.txt", "w", stdout);\r\n#endif\r\n\r\n    Init(); dfs(); OT(ans);\r\n}\r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"
Brief description: \u7ed9\u5b9a\u4e00\u6bb5 Text\u3001\u4ee5\u53ca nn \u4e2a Pattern\u3002\u8981\u6c42\u8fd9\u4e2a Text \u4e2d\u5408\u6cd5\u7684\u5b50\u4e32\u6570\u76ee\uff0c\u4f7f\u5f97\u5bf9\u4e8e\u7b2c ii \u4e2a Pattern\uff0c\u6070\u597d\u80fd\u591f\u5339\u914d [l_ii, r_ii] \u4e4b\u95f4\u6b21\u3002 \uff08nn \u2264 10\uff09<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","enabled":false}}},"categories":[18],"tags":[123],"class_list":["post-843","post","type-post","status-publish","format-standard","hentry","category-codeforces","tag-123"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p2tdP7-dB","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/posts\/843","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/comments?post=843"}],"version-history":[{"count":1,"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/posts\/843\/revisions"}],"predecessor-version":[{"id":844,"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/posts\/843\/revisions\/844"}],"wp:attachment":[{"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/media?parent=843"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/categories?post=843"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.shuizilong.com\/house\/wp-json\/wp\/v2\/tags?post=843"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}