状态机的简化-建模竞赛题第2赛季第23轮解答