数学逻辑优化排班

1