判断题：战国时代的军事家孙膑运用运筹学和对策论的思想，帮助田忌在赛马中胜了齐王