#agc055c. [agc055_c]Weird LIS

[agc055_c]Weird LIS

f(p)f(p) 表示排列 pp 的最长上升子序列长度。

PiP_i 表示排列 pp 去掉第 ii 个数的序列。求有多少长为 NN,值域为 [2,M][2,M] 的序列 aa 使得:存在一个排列 ppi\forall if(Pi)=aif(P_i)=a_i

答案对素数 QQ 取膜。