{"id":614,"date":"2017-05-24T14:24:00","date_gmt":"2017-05-24T06:24:00","guid":{"rendered":"http:\/\/kylelv.com\/?p=614"},"modified":"2020-03-04T14:26:35","modified_gmt":"2020-03-04T06:26:35","slug":"bzoj-3238-ahoi2013%e5%b7%ae%e5%bc%82-%e5%90%8e%e7%bc%80%e6%95%b0%e7%bb%84","status":"publish","type":"post","link":"https:\/\/blog.kylelv.com\/?p=614","title":{"rendered":"bzoj 3238: [Ahoi2013]\u5dee\u5f02 &#8212; \u540e\u7f00\u6570\u7ec4"},"content":{"rendered":"\n<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_73 counter-hierarchy ez-toc-counter ez-toc-grey ez-toc-container-direction\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">Contents<\/p>\n<label for=\"ez-toc-cssicon-toggle-item-69fdef6093b9c\" class=\"ez-toc-cssicon-toggle-label\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewBox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewBox=\"0 0 24 24\" version=\"1.2\" baseProfile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/label><input type=\"checkbox\"  id=\"ez-toc-cssicon-toggle-item-69fdef6093b9c\"  aria-label=\"Toggle\" \/><nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#3238_Ahoi2013%E5%B7%AE%E5%BC%82\" title=\"3238: [Ahoi2013]\u5dee\u5f02\">3238: [Ahoi2013]\u5dee\u5f02<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#Description\" title=\"Description\">Description<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#Input\" title=\"Input\">Input<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#Output\" title=\"Output\">Output<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-5\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#Sample_Input\" title=\"Sample Input\">Sample Input<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-6\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#Sample_Output\" title=\"Sample Output\">Sample Output<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-7\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#HINT\" title=\"HINT\">HINT<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-8\" href=\"https:\/\/blog.kylelv.com\/?p=614\/#Source\" title=\"Source\">Source<\/a><\/li><\/ul><\/nav><\/div>\n<h2 class=\"has-text-align-center wp-block-heading\"><span class=\"ez-toc-section\" id=\"3238_Ahoi2013%E5%B7%AE%E5%BC%82\"><\/span>3238: [Ahoi2013]\u5dee\u5f02<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"has-text-align-center\">Time Limit:&nbsp;20 Sec&nbsp;&nbsp;Memory Limit:&nbsp;512 MB<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Description\"><\/span>Description<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"770\" height=\"196\" src=\"http:\/\/kylelv.com\/wp-content\/uploads\/2020\/03\/3238_0.gif\" alt=\"\" class=\"wp-image-615\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Input\"><\/span>Input<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p>\u4e00\u884c\uff0c\u4e00\u4e2a\u5b57\u7b26\u4e32S<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Output\"><\/span>Output<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p>\u4e00\u884c\uff0c\u4e00\u4e2a\u6574\u6570\uff0c\u8868\u793a\u6240\u6c42\u503c<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Sample_Input\"><\/span>Sample Input<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p>cacao<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Sample_Output\"><\/span>Sample Output<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p>54<\/p>\n\n\n\n<p><\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"HINT\"><\/span>HINT<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p><br><br>2&lt;=N&lt;=500000,S\u7531\u5c0f\u5199\u82f1\u6587\u5b57\u6bcd\u7ec4\u6210<br><br><\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Source\"><\/span>Source<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p>\u540e\u7f00\u6570\u7ec4+\u5355\u8c03\u6808\u6c34\u8fc7\u3002\u3002\u3002<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>#include&lt;map>\n#include&lt;cmath>\n#include&lt;queue>\n#include&lt;cstdio>\n#include&lt;cstring>\n#include&lt;iostream>\n#include&lt;algorithm>\nusing namespace std;\n#define inf 1000000007\n#define ll long long\n#define N 500010\nint v&#91;N],rk1&#91;N],rk2&#91;N],sa1&#91;N],sa2&#91;N],n,a&#91;N],ht&#91;N];\nint l&#91;N],r&#91;N],q&#91;N],tot;\nint *sa=sa1,*SA=sa2,*rk=rk1,*RK=rk2;\nchar s&#91;N];\nll ans;\nint main()\n{\n    scanf(\"%s\",s+1);\n    n=strlen(s+1);\n    for(int i=1;i&lt;=n;i++){a&#91;i]=s&#91;i]-'a'+1;v&#91;a&#91;i]]++;}\n    for(int i=1;i&lt;=30;i++) v&#91;i]+=v&#91;i-1];\n    for(int i=n;i;i--) sa&#91;v&#91;a&#91;i]]--]=i;\n    for(int i=1;i&lt;=n;i++) rk&#91;sa&#91;i]]=rk&#91;sa&#91;i-1]]+(a&#91;sa&#91;i]]!=a&#91;sa&#91;i-1]]);\n    for(int k=1;k&lt;=n;k&lt;&lt;=1)\n    {\n        for(int i=1;i&lt;=n;i++) v&#91;rk&#91;sa&#91;i]]]=i;\n        for(int i=n;i;i--) if(sa&#91;i]>k) SA&#91;v&#91;rk&#91;sa&#91;i]-k]]--]=sa&#91;i]-k;\n        for(int i=n-k+1;i&lt;=n;i++) SA&#91;v&#91;rk&#91;i]]--]=i;\n        for(int i=1;i&lt;=n;i++) RK&#91;SA&#91;i]]=RK&#91;SA&#91;i-1]]+(rk&#91;SA&#91;i]]!=rk&#91;SA&#91;i-1]]||rk&#91;SA&#91;i]+k]!=rk&#91;SA&#91;i-1]+k]);\n        swap(sa,SA);swap(rk,RK);\n    }\n    int k=0,j;\n    for(int i=1;i&lt;n;i++)\n    {\n        j=sa&#91;rk&#91;i]-1];\n        while(s&#91;i+k]==s&#91;j+k]) k++;\n        ht&#91;rk&#91;i]]=k;\n        if(k) k--;\n    }\n    ht&#91;0]=-inf;\n    for(int i=1;i&lt;=n;i++)\n    {\n        while(ht&#91;i]&lt;=ht&#91;q&#91;tot]]) tot--;\n        l&#91;i]=q&#91;tot]+1; q&#91;++tot]=i;\n    }\n    ht&#91;n+1]=-inf;tot=0;q&#91;0]=n+1;\n    for(int i=n;i;i--)\n    {\n        while(ht&#91;i]&lt;ht&#91;q&#91;tot]]) tot--;\n        r&#91;i]=q&#91;tot]-1; q&#91;++tot]=i;\n    }\n    ans=(ll)(n+1)*n*(n-1)\/2;\n    for(int i=1;i&lt;=n;i++) ans-=2LL*(i-l&#91;i]+1)*(r&#91;i]-i+1)*ht&#91;i];\n    printf(\"%lld\\n\",ans);\n    return 0;\n}<\/code><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>3238: [Ahoi2013]\u5dee\u5f02 Time Limit:&nbsp;20 Sec&nbsp;&nbsp;M [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[36],"class_list":["post-614","post","type-post","status-publish","format-standard","hentry","category-bzoj","tag-36"],"_links":{"self":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts\/614","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=614"}],"version-history":[{"count":1,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts\/614\/revisions"}],"predecessor-version":[{"id":616,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts\/614\/revisions\/616"}],"wp:attachment":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=614"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=614"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=614"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}