1877E

总结题目约束其实就是，所选数下标组成的集合和未选数值组成的集合相同。 我们发现该约束把值和下标联系在了一起，所以我们不妨考虑建出图来显式地表示二者，即，我们由 \(i\) 向 \(a_i\) 连边，然后考虑整张图。 首先这肯定是个内向基环树森林，然后我们要对其黑白染色，设黑色表示选择，白色表示未选择 ......