Hamed has recently found a string t and suddenly became quite fond of it. He spent several days trying to find all occurrences of t in other strings he had. Finally he became tired and started thinking about the following problem. Given a string s how many ways are there to extract k ≥ 1 non-overlapping substrings from it such that each of them contains string t as a substring? More formally, you need to calculate the number of ways to choose two sequences a1, a2, ..., ak and b1, b2, ..., bk satisfying the following requirements:

  • k ≥ 1
  •   t is a substring of string saisai + 1... sbi (string s is considered as 1-indexed).

As the number of ways can be rather large print it modulo 109 + 7.

Input

Input consists of two lines containing strings s and t (1 ≤ |s|, |t| ≤ 105). Each string consists of lowercase Latin letters.

Output

Print the answer in a single line.


此题两种DP方式。

先预处理出来b串在a串中匹配的位置,然后开始DP。

设$f[i]$表示考虑到$i$位置,且$i$的最后一个字符串与b串是匹配的方案数。

显然如果$i$不是b的匹配位置,$f[i]=f[i-1]$。

如果$i$是b的匹配位置,首先考虑只有一个串, 那么答案就是$i-lb+1$,因为$1$到$i-lb+1$的所有位置都可以作为一个开始。

那如果是多个串呢?如果我们设最后一个串从位置$k$开始,那么前面的所有的方案数就是$\large \sum_{i=1}^{k}f[i]$,对于每个位置k求和,就是$\large \sum_{k=1}^{i-lb} \sum_{j=1}^{k} f[j]$。

这样只用记录一下f的前缀和和f的前缀和的前缀和就可以快速转移啦。

代码在后面贴。

还有一种方法,状态的定义略微的有些不同,设$f[i]$表示,到第i个位置之前总共有多少方案,其实就是前缀和了一下。

每次记录上一个匹配点,从上一个匹配点开始转移。

代码贴后面了。

找匹配点可以用kmp,或者hash都行。


方法1:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
using namespace std;
#define reg register
#define mod 1000000007
int la, lb;
char a[], b[];
unsigned long long hsha[], hshb[], fac[];
bool End[];
int f[], sum[], Ssum[];
int ans; int main()
{
scanf("%s%s", a + , b + );
la = strlen(a + ), lb = strlen(b + );
for (reg int i = ; i <= la ; i ++) hsha[i] = hsha[i - ] * + (a[i] - 'a' + );
for (reg int i = ; i <= lb ; i ++) hshb[i] = hshb[i - ] * + (b[i] - 'a' + );
fac[] = ;
for (reg int i = ; i <= max(la, lb) ; i ++) fac[i] = fac[i - ] * ;
for (reg int i = lb ; i <= la ; i ++)
if (hsha[i] - hsha[i - lb] * fac[lb] == hshb[lb]) End[i] = ;
for (reg int i = ; i <= la ; i ++)
{
if (!End[i]) f[i] = f[i-];
else f[i] = Ssum[i - lb] + i - lb + ;
sum[i] = sum[i-] + f[i];if(sum[i] >= mod) sum[i] -= mod;
Ssum[i] = Ssum[i-] + sum[i];if(Ssum[i] >= mod) Ssum[i] -= mod;
}
for (reg int i = ; i <= la ; i ++)
ans = (ans + f[i]) % mod;
cout << ans << endl;
return ;
}

方法2:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
using namespace std;
#define reg register
#define mod 1000000007
int la, lb;
char a[], b[];
int nxt[];
bool End[];
int f[], sum[]; int main()
{
scanf("%s%s", a + , b + );
la = strlen(a + ), lb = strlen(b + );
int k = ;
for (reg int i = ; i <= lb ; i ++)
{
while(k and b[i] != b[k + ]) k = nxt[k];
if (b[k + ] == b[i]) k ++;
nxt[i] = k;
}
k = ;
for (reg int i = ; i <= la ; i ++)
{
while(k and a[i] != b[k + ]) k = nxt[k];
if (b[k + ] == a[i]) k ++;
if (k == lb) End[i] = ;
}
int lst = -;
for (reg int i = ; i <= la ; i ++)
{
f[i] += f[i-];
if (End[i]) lst = i - lb + ;
if (lst != -) f[i] += sum[lst - ] + lst;
if (f[i] >= mod) f[i] -= mod;
sum[i] = sum[i-] + f[i];
if (sum[i] >= mod) sum[i] -= mod;
}
cout << f[la] << endl;
return ;
}

[CF494B] Obsessive String的更多相关文章

  1. [Codeforces-div.1 494B]Obsessive String

    [CF-div.1 B]Obsessive String 题目大意 两个字符串\(S,T\),求划分方案数使得一个集合中两两划分不相交且划分都包含字符串\(T\) 试题分析 kmp先求出那个位置匹配. ...

  2. [codeforces494B]Obsessive String

    [codeforces494B]Obsessive String 试题描述 Hamed has recently found a string t and suddenly became quite ...

  3. Codeforces Round #282 (Div. 1)B. Obsessive String KMP+DP

    B. Obsessive String   Hamed has recently found a string t and suddenly became quite fond of it. He s ...

  4. CodeForces 494B Obsessive String ——(字符串DP+KMP)

    这题的题意就很晦涩.题意是:问有多少种方法,把字符串s划分成不重叠的子串(可以不使用完s的所有字符,但是这些子串必须不重叠),使得t串是所有这些新串的子串.譬如第一个样例,"ababa&qu ...

  5. Codeforces Round #282 Div.1 B Obsessive String --DP

    题意: 给两个串S,T,问能找出多少的S的(a1,b1)(a2,b2)..(ak,bk),使Sa1---Sb1,...Sak---Sbk都包含子串T,其中k>=1,且(a1,b1)...(ak, ...

  6. Codeforces 494B Obsessive String

    http://www.codeforces.com/problemset/problem/494/B 题意:给出两个串S,T,求有几种将S分成若干个子串,满足T都是这若干个子串的子串. 思路:f[n] ...

  7. CF 494B 【Obsessive String】

    很有趣的一道题 这道题提议很难懂,其实就是让你求合法的集合数目.合法的集合定义为: 1.集合中的所有串都是s的子串,且互不重叠 2.集合中的所有串都含有子串t. 看到网上很多题解说要用kmp,但我就不 ...

  8. 【codeforces #282(div 1)】AB题解

    A. Treasure time limit per test 2 seconds memory limit per test 256 megabytes input standard input o ...

  9. DP × KMP

    几道用到KMP的DP题: hdu 5763    hdu 3689    hdu 3336    codeforces 494B    codevs 3945 关于KMP的nx数组: 如果在本文中看见 ...

随机推荐

  1. Winforn中DevExpress的TreeList中显示某路径下的所有目录和文件(附源码下载)

    场景 Winform中DevExpress的TreeList的入门使用教程(附源码下载): https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/deta ...

  2. 使用JAVA API获取hadoop集群的FileSystem

    所需要配置的参数:  Configuration conf = new Configuration();   conf.set("fs.defaultFS", "hdfs ...

  3. 转换地图 (康托展开+预处理+BFS)

    Problem Description 在小白成功的通过了第一轮面试后,他来到了第二轮面试.面试的题目有点难度了,为了考核你的思维能量,面试官给你一副(2x4)的初态地图,然后在给你一副(2x4)的终 ...

  4. Linux 笔记 - 第四章 Linux 文件和目录管理

    博客地址:http://www.moonxy.com 1. 绝对路径和相对路径 绝对路径:由根目录 "/" 写起的.如:/usr/local/mysql 相对路径:不是由根目录 & ...

  5. linux 操作系统级别监控 free命令

    free命令可以查看当前系统内存的使用情况 free -m 以MB为单位 free -k 以KB为单位 free -m 以MB为单位显示系统内存的使用情况,同理,也可以使用-k.-g等其他的单位显示 ...

  6. 49 (OC)* layoutSubviews和drawRect调用

    layoutSubviews:  简单的说就是你如果想调用此方法.不要直接调用,需要调用setNeedsLayout方法来刷新布局! drawRect:刷新布局 一:layoutSubviews在以下 ...

  7. 在vscode中配置python环境

    1.安装vscode和python3.7(安装路径在:E:\Python\Python37): 2.打开vscode,在左下角点击设置图标选择setting,搜索python path,在该路径下选择 ...

  8. SpringBoot集成Shiro 实现动态加载权限

    一.前言 本文小编将基于 SpringBoot 集成 Shiro 实现动态uri权限,由前端vue在页面配置uri,Java后端动态刷新权限,不用重启项目,以及在页面分配给用户 角色 . 按钮 .ur ...

  9. [python]python的异常处理

    异常处理:首先了解异常,程序出现逻辑错误或者用户输入不合法都会引发异常,而这些异常并不是致命的所以不会导致程序崩溃死掉.可以利用Python提供的异常处理机制在异常出现时及时捕获,并从内部自我消化. ...

  10. [python]兔子问题,斐波那契数列 递归&非递归

    假设一对幼年兔子需要一个月长成成年兔子,一对成年兔子一个月后每个月都可以繁衍出一对新的幼年兔子(即兔子诞生两个月后开始繁殖).不考虑死亡的情况,问第 N 个月时共有多少对兔子? 结果前几个月的兔子数量 ...