数据范围是 $a_i \ne i,b_i \ne i$ 而不是 $a_i \le i,b_i \le i$。