题解里说到:
首先可以考虑容斥,即对于每个 i∈[0,n−1]i \in [0,n-1]i∈[0,n−1] 都计算出至少有 iii 对点不满足条件的排列数量,
这句话是严格错误的,不是至少,而是钦定 i 对点不满足条件,其他任意的排列数。
这两句话是严格不同的。
而且如果是至少的话,直接用他的 f0−f1f_0-f_1f0−f1 就应该是答案。
严重误导容斥新手,请求撤下第一篇题解