#P547. 「LibreOJ β Round #7」匹配字符串

    ID: 1931 传统题 1500ms 512MiB 尝试: 0 已通过: 0 难度: (无) 上传者: 标签>数学矩阵DFT(含 NTT)及FFT组合计数分块及按大小分类Lucas 定理递推LibreOJ β Round

「LibreOJ β Round #7」匹配字符串

题目描述

对于一个 01 串(即由字符 0 和 1 组成的字符串)ss,我们称 ss 合法,当且仅当串 ss 的任意一个长度为 mm 的子串 ss',不为全 1 串。

请求出所有长度为 nn 的 01 串中,有多少合法的串,答案对 6553765537 取模。

输入格式

输入共一行,包含两个正整数 n,mn,m

输出格式

输出共一行,表示所求的和对 6553765537 取模的结果。

5 2
13
2018 7
27940

数据范围与提示

对于所有的数据,满足 1n,m687215739041\le n,m\le 68721573904

详细的数据限制及约定如下(留空表示和上述所有数据的约定相同):

Subtask # 分值 nn mm
1 66 18\le 18
2 77 109\le 10^9 2\le 2
3 1515 106\le 10^6
4 1010 109\le 10^9 50\le 50
5 1414 500\le 500
6 1515 4295098369\le 4295098369 -
7 1818 17180393476\le 17180393476
8 1515 -