当 i 与 j 是属于 $0$ 到 $n-1$ 的整数，且输入数组 a 是构成一个 $0$ 到 $n-1$ 的排列，当程序结束时，以下三个判定有多少个是恒成立的（ ）。

甲：b[a[i]] == i

乙：a[b[i]] == i

丙：a[a[i]] == b[b[i]]

{{ select(1) }}

• $0$ 个
• $1$ 个
• $2$ 个
• $3$ 个