跳转到主要内容

它无法告知

报告的真实局限——清晰的报告不保证什么,哪些检查依赖于您的求解器模式,以及为什么难度值并非最终结论。

检查是刻意保守的。知道它在哪里停止,才能让你信任它没有停止的部分。

整洁的报告不代表一定能解决

检查证明了不可能性。它无法证明可能性。

它能触及的一切都运行良好。至于FET是否能找到一个安排,以及需要多长时间,这是一个只有通过求解才能回答的不同问题。

一份课表可以顺利通过这里的每一项检查,但仍然可能非常困难——因为难度在于数千节课的选择如何相互作用,而不是任何单一计数不足。

难度数字是一个指标

报告包含一个难度分数,并且它本身就说明这是一个指标而非定论。将其视为一个温度读数:它有助于比较你的课表在更改前后的情况,而不是对成功的预测。

高数字是查看压力所在的原因,而不是预期失败的原因。

某些计数取决于你的求解器模式

大多数检查在所有模式下运行。一节课可以合法开始的位置,所有规则应用后剩下的内容,以及这对与之相关的课程意味着什么——无论何种模式,一天就是一天,一个时段就是一个时段。

停止的是任何计算周的检查。每周的课时与一周所包含的时段,一个主题必须跨越多少天,一周内课程之间的间隔。在学期模式下,一周并非它看起来的单位,并且对整个日期列表进行计数会显示你拥有的空间比实际更多。这是证明绝不能出错的方向,因此这些检查被保留而不是猜测。

卫生检查——悬空引用、针对已关闭活动的规则、重复项——无论你处于何种模式都适用。

如果某个部分报告的发现少于你的预期,那么在检查规则之前,值得检查一下模式。请参阅求解器模式。

有些内容是故意缺席的

FET为自身提供的规则不会被报告为缺失,因为它在文件写入时会被添加。报告它将是对一个从未真正出错的事物的永久性虚假警报。

更普遍地说:当检查无法决定时,它会保持沉默而不是猜测。这种沉默是故意的选择,也是一个被证明不可能的发现可以无需验证即可信任的原因。

它不检查你的意图

这里没有任何东西知道你的学校实际需要什么。一份课表可以被证明是可行的,快速解决,但仍然可能把所有科学课都安排在周五下午。

检查回答的是这能否构建。至于是否应该构建,则由你决定。

接下来去哪里