AT_abc267_g [ABC267G] Increasing K Times

给定一个正整数序列 $A=(a_1,a_2,\ldots,a_n)$，问有多少个 $1\sim n$ 的排列 $P=(p_1,p_2,\ldots,p_n)$ 满足： - 存在恰好 $k$ 个整数 $i(1\leqslant i\leqslant n-1)$ 满足 $a_{p_i}

第一行两个整数 $n,k$，含义如题意所示。 第二行 $n$ 个整数，第 $i$ 个整数表示 $a_i$。

输出一个整数，表示满足条件的排列 $P$ 个数。

$2\leqslant n\leqslant 5000,0\leqslant k\leqslant n-1,1\leqslant a_i\leqslant n$ **样例解释** 只有四个排列 $P$ 满足条件，分别是 $(1,3,2,4),(1,4,2,3),(2,3,1,4),(2,4,1,3)$。