Address
Solution
- 非常有意思,思路非常棒的题目
- 发现一个很优秀的条件:对于 1 ≤ i ≤ n 1\le i\le n 1≤i≤n , 1 ≤ j ≤ m 1\le j\le m 1≤j≤m 满足 0 ≤ x i , j ≤ m 0\le x_{i,j}\le m 0≤xi,j≤m ,并且对于任意的 1 ≤ i ≤ n 1\le i\le n 1≤i≤n , 1 ≤ j < m 1\le j<m 1≤j<m 满足 x i , j < x i , j + 1 x_{i,j}<x_{i,j+1} xi,j<xi,j+1
- 这个条件告诉我们:这个数组每行都是 [ 0 , m ] [0,m] [0,m] 内的数扔掉其中一个之后再按顺序排列的
- 如 m = 3 m=3 m=3 时 x i , j x_{i,j} xi,j 一行内的合法方案只有 4 4 4 种( 1 , 2 , 3 1,2,3 1,2,3 , 0 , 2 , 3 0,2,3 0,2,3 , 0 , 1 , 3 0,1,3 0,1,3 , 0 , 1 , 2 0,1,2 0,1,2 )
- 于是我们把问题转化成了一个序列 a i ∈ [ 0 , m ] ( 1 ≤ i ≤ n ) a_i\in[0,m](1\le i\le n) ai∈[0,m](1≤i≤n) 的计数(即 a i a_i ai 在第 i i i 行没有出现过)
- 而对于 x i , j < x i − 1 , j + 1 x_{i,j}<x_{i-1,j+1} xi,j<xi−1,j+1 的限制,分析一下可以发现,这等价于对于每个 1 < i ≤ n 1<i\le n 1<i≤n 都有 a i ≥ a i − 1 − 1 a_i\ge a_{i-1}-1 ai≥ai−1−1
- 可以假设 a 0 = 0 a_0=0 a0=0 ,那么上面的条件对于