团体程序设计天梯赛(CCCC) L3009 长城 方法证明