洛谷 P3951 小凯的疑惑(赛瓦维斯特定理)