#2641. AT_dp_r Walk

AT_dp_r Walk

题目描述

给定一个有 NN 个顶点的简单有向图 GG。顶点编号为 1,2,,N1, 2, \ldots, N

对于每一对 i,ji, j1i,jN1 \leq i, j \leq N),是否存在从顶点 ii 到顶点 jj 的有向边由整数 ai,ja_{i, j} 给出。若 ai,j=1a_{i, j} = 1,则表示存在从 iijj 的有向边;若 ai,j=0a_{i, j} = 0,则不存在。

请问在图 GG 中,长度为 KK 的有向路径共有多少条?请输出答案对 109+710^9 + 7 取模的结果。注意,可以多次经过同一条边的路径也要计入。

输入格式

输入通过标准输入给出,格式如下:

NN KK
a1,1a_{1,1} \ldots a1,Na_{1,N}
::
aN,1a_{N,1} \ldots aN,Na_{N,N}

输出格式

请输出图 GG 中长度为 KK 的有向路径的总数,对 109+710^9 + 7 取模。

4 2
0 1 0 0
0 0 1 1
0 0 0 1
1 0 0 0
6
3 3
0 1 0
1 0 1
0 0 0
3
6 2
0 0 0 0 0 0
0 0 1 0 0 0
0 0 0 0 0 0
0 0 0 0 1 0
0 0 0 0 0 1
0 0 0 0 0 0
1
1 1
0
0
10 1000000000000000000
0 0 1 1 0 0 0 1 1 0
0 0 0 0 0 1 1 1 0 0
0 1 0 0 0 1 0 1 0 1
1 1 1 0 1 1 0 1 1 0
0 1 1 1 0 1 0 1 1 1
0 0 0 1 0 0 1 0 1 0
0 0 0 1 1 0 0 1 0 1
1 0 0 0 1 0 1 0 0 0
0 0 0 0 0 1 0 0 0 0
1 0 1 1 1 0 1 1 1 0
957538352

提示

数据范围

  • 所有输入均为整数。
  • 1N501 \leq N \leq 50
  • 1K10181 \leq K \leq 10^{18}
  • ai,ja_{i, j} 仅为 0011
  • ai,i=0a_{i, i} = 0

样例解释 1

GG 如下所示。

长度为 22 的有向路径共有如下 66 条:

  • 1231 \to 2 \to 3
  • 1241 \to 2 \to 4
  • 2342 \to 3 \to 4
  • 2412 \to 4 \to 1
  • 3413 \to 4 \to 1
  • 4124 \to 1 \to 2

样例解释 2

GG 如下所示。

长度为 33 的有向路径共有如下 33 条:

  • 12121 \to 2 \to 1 \to 2
  • 21212 \to 1 \to 2 \to 1
  • 21232 \to 1 \to 2 \to 3

样例解释 3

GG 如下所示。

长度为 22 的有向路径共有如下 11 条:

  • 4564 \to 5 \to 6