我在hydro上整了一个弱化版题面（测试数据只有CSP给的大样例），链接在这里，可以去看看，试一下那四个样例的成绩（最大那个 $n$ 很接近极限，可以参考）