决赛权 运动员 总决赛 圣彼得堡大学 唯一性 计算机 中山大学 清华大学 2001年 圆满结束 逻辑判断 代表队 组合类型 设计竞赛 上海交通大学