如果数组 "f的长度为 "n，而数组 "invf的长度为 "m，则此函数返回一个约束条件，确保

• 对于区间 " [0, n-1]中的所有 " i，如果 " f[i]在 " [0, m-1]中，则为 " invf[f[i]] == i
• 对于区间 " [0, m-1]中的所有 " j，如果 " invf[j]在 " [0, n-1]中，则为 " f[invf[j]] == j。