洛谷P1291 [SHOI2002]百事世界杯之旅 期望+数学证明