通过问题抽象和数学建模，这个现实问题就变成了。