运城至天津高铁时刻表:一个数学问题