#P11285. [COTS 2017] 周期 Ciklusi

[COTS 2017] 周期 Ciklusi

Description

给定简单无向图 G=(V,E)G=(V,E),其中 V{1,2,,n}V\subset \{1,2,\ldots,n\}

给定正整数 kkGG 中只有编号之差不大于 kk 的点间有连边。换言之,(u,v)E    1uvk(u,v)\in E\iff 1\le |u-v|\le k

定义 GG 的一条回路为一个长度为 m=Vm=|V| 的序列 a0,a1,,am1a_0,a_1,\cdots,a_{m-1},满足:

  • 0i<m\forall 0\le i\lt m,都有 (ai,a(i+1)modm)E(a_i,a_{(i+1)\bmod m})\in E
  • a0,a1,,am1a_0,a_1,\cdots,a_{m-1} 恰好取遍 VV 中的每一个元素。

定义两条回路 a,aa,a' 本质相同,当且仅当它们循环同构。形式化地说,两条回路 a,aa,a' 本质相同,当且仅当存在非负整数 kk,使得 $a_0=a'_{k\bmod m},a_1=a'_{(1+k)\bmod m},\cdots,a_{m-1}=a'_{(m-1+k)\bmod m}$。

求出 GG 中本质不同的回路条数,答案对 (109+7)(10^9+7) 取模。

Input Format

第一行,两个正整数 n,kn,k

第二行,一个长度为 nn01\texttt{01}ss。当且仅当 si=1s_i=1 时,iVi\in V

保证 V+3n|V|+3\le |n|

Output Format

输出一行一个整数,表示答案对 (109+7)(10^9+7) 取模后的结果。

6 3
100010
2
8 4
10000001
72
10 5
0010000100
428

Hint

对于 100%100\% 的数据,保证:

  • 1n1001\le n\le 100
  • 3k53\le k\le 5
  • V+3n|V|+3\le n
子任务编号 nn\le kk\le 得分
1 1 20 20 55 10 10
2 2 100 100 33 40 40
3 3 55 50 50