一个小时以后,原既白没有找到。
这件事起初只是让他有一点烦躁。
问题明明已经比刚才更清楚:不是在一张静态课表上减少冲突,而是在教师请假、场地临时失效、课程调整不断发生的情况下,让整个排课系统仍然能够快速恢复。
按照他过去的经验,只要再往上一层,把“课表”看成一个不断变化的约束系统,把每一次临时事件看成局部扰动,理论上应该存在一种更统一的描述。
于是他重新画图,把时间、教师、课程、教室分别变成变量,又尝试把“调整代价”定义出来,希望找到一个既能生成初始课表、又能在局部变化时最小修改的结构。
纸换了三张,符号越来越漂亮,真正能交给教务老师使用的东西却越来越远。
唐岑最先察觉不对。
她原本跟着原既白整理约束,二十分钟以后已经开始不断看表,最后把笔往桌上一放,问现在距离展示还有多久。
林沛看了一眼手机,说四十六分钟。
唐岑没有批评谁,只问如果现在有个老师突然请假,他们这套东西能不能告诉教务处下一步先做什么。
原既白说模型还差一点,等目标函数和约束关系稳定以后,可以直接求新的最优解。
林沛坐在对面听了一会儿,忽然问:“求多久?”原既白停了一下,因为这个问题他确实没有算过。
林沛又问,如果学校没有求解器,教务老师是不是要等他们先装一套软件。
唐岑看了两个人一眼,起身把最初那张题目重新贴到白板上,说:“我们先保证四十分钟以后有东西能讲。”
原既白并不认为她说错,可身体里还是升起一种不舒服。
他很少在一个问题上走到这里以后被迫退回去,尤其是那种“高处已经隐约在那里,只差最后一步”的感觉太熟悉了。
他甚至觉得,如果现在再给自己半小时,那个结构就会出来。
林沛却已经拿笔在白板上写了三个最简单的动作:先锁定不能动的课;再寻找同年级、同课程可互换的位置;如果仍然冲突,优先调整对连续教学影响最小的课程。
下面又补了一行——每一次调整最多影响几节课,要有上限。
“这不就是人工规则?”原既白问。
林沛点头:“对。”
“那遇到复杂情况还是会崩。”
“可能。”
“也不能保证最优。”
“不能。”
原既白看着白板,有一点难以接受。
“那这算什么方案?”
林沛没有马上回嘴。
他把刚才从教务老师那里问来的几张便签排在桌上,其中一张写着“临时请假一般上午七点以后才知道”,另一张写着“教务员通常只有二十分钟调整”。
过了一会儿,他才说:“算一个今天两小时内能做出来、明天教务老师真能试的方案。
最优以后再说。”
房间里安静了一下。
原既白第一次很清楚地感觉到,这不是“不同方法各有优劣”那么简单。
他的模型在理论上当然更完整,甚至如果真做成,长期一定比几条人工规则更有价值;但此时此刻,距离展示只剩四十分钟,它还不能运行。
林沛那几条看上去粗糙得甚至有点难看的规则,却已经可以拿去问教务老师:这种顺序有没有用,哪些地方会失效。
一个小时以前,原既白还觉得访谈是在浪费时间,现在真正浪费掉最多时间的人反而是自己。
本章未完,请翻下一页继续阅读.........
这件事起初只是让他有一点烦躁。
问题明明已经比刚才更清楚:不是在一张静态课表上减少冲突,而是在教师请假、场地临时失效、课程调整不断发生的情况下,让整个排课系统仍然能够快速恢复。
按照他过去的经验,只要再往上一层,把“课表”看成一个不断变化的约束系统,把每一次临时事件看成局部扰动,理论上应该存在一种更统一的描述。
于是他重新画图,把时间、教师、课程、教室分别变成变量,又尝试把“调整代价”定义出来,希望找到一个既能生成初始课表、又能在局部变化时最小修改的结构。
纸换了三张,符号越来越漂亮,真正能交给教务老师使用的东西却越来越远。
唐岑最先察觉不对。
她原本跟着原既白整理约束,二十分钟以后已经开始不断看表,最后把笔往桌上一放,问现在距离展示还有多久。
林沛看了一眼手机,说四十六分钟。
唐岑没有批评谁,只问如果现在有个老师突然请假,他们这套东西能不能告诉教务处下一步先做什么。
原既白说模型还差一点,等目标函数和约束关系稳定以后,可以直接求新的最优解。
林沛坐在对面听了一会儿,忽然问:“求多久?”原既白停了一下,因为这个问题他确实没有算过。
林沛又问,如果学校没有求解器,教务老师是不是要等他们先装一套软件。
唐岑看了两个人一眼,起身把最初那张题目重新贴到白板上,说:“我们先保证四十分钟以后有东西能讲。”
原既白并不认为她说错,可身体里还是升起一种不舒服。
他很少在一个问题上走到这里以后被迫退回去,尤其是那种“高处已经隐约在那里,只差最后一步”的感觉太熟悉了。
他甚至觉得,如果现在再给自己半小时,那个结构就会出来。
林沛却已经拿笔在白板上写了三个最简单的动作:先锁定不能动的课;再寻找同年级、同课程可互换的位置;如果仍然冲突,优先调整对连续教学影响最小的课程。
下面又补了一行——每一次调整最多影响几节课,要有上限。
“这不就是人工规则?”原既白问。
林沛点头:“对。”
“那遇到复杂情况还是会崩。”
“可能。”
“也不能保证最优。”
“不能。”
原既白看着白板,有一点难以接受。
“那这算什么方案?”
林沛没有马上回嘴。
他把刚才从教务老师那里问来的几张便签排在桌上,其中一张写着“临时请假一般上午七点以后才知道”,另一张写着“教务员通常只有二十分钟调整”。
过了一会儿,他才说:“算一个今天两小时内能做出来、明天教务老师真能试的方案。
最优以后再说。”
房间里安静了一下。
原既白第一次很清楚地感觉到,这不是“不同方法各有优劣”那么简单。
他的模型在理论上当然更完整,甚至如果真做成,长期一定比几条人工规则更有价值;但此时此刻,距离展示只剩四十分钟,它还不能运行。
林沛那几条看上去粗糙得甚至有点难看的规则,却已经可以拿去问教务老师:这种顺序有没有用,哪些地方会失效。
一个小时以前,原既白还觉得访谈是在浪费时间,现在真正浪费掉最多时间的人反而是自己。
本章未完,请翻下一页继续阅读.........