移至主內容

它不能告訴你什麼

實際的限制,包括清晰報告不承諾什麼、哪些檢查取決於您的求解器模式,以及為何難度數值並非定論。

檢查是刻意保守的。知道它在哪裡停止,才能讓您信任它沒有停止的部分。

乾淨的報告不保證能解決

檢查證明了不可能。它無法證明可能性。

它能觸及的一切都沒問題。FET 是否能找到一個安排,以及需要多長時間,是只有透過解決才能回答的不同問題。

一個課表可以通過這裡的每一項檢查,但仍然非常困難 — 因為困難在於數千堂課之間的選擇如何相互作用,而不是任何單一計數不足。

難度數字是一個指標

報告帶有一個難度分數,並且它本身就說明這是一個指標,而非結論。將其視為溫度讀數:可用於在更改前後比較您的課表,而不是預測成功。

高數字是查看壓力所在的原因,而不是預期失敗的原因。

某些計數取決於您的求解器模式

大多數檢查在所有模式下運行。一堂課可以合法開始的地方,所有規則應用後剩餘的內容,以及這對與其相關的課程意味著什麼 — 無論何種模式,一天就是一天,一個時間段就是一個時間段。

停止的是任何計算週數的內容。每週的時數與一週所包含的時間段,一個學科必須分佈在多少天,以及一週內課程之間的間隔。在「學期」模式下,一週並非它看起來的單位,並且遍歷整個日期列表的計數會顯示您擁有的空間比實際更多。這是證明絕不能出錯的方向,因此這些檢查被保留而不是猜測。

衛生檢查 — 懸空引用、針對已關閉活動的規則、重複項 — 無論您處於何種模式都適用。

如果某個部分報告的發現比您預期的少,則在檢查規則之前,值得檢查模式。請參閱 求解器模式。

有些事情是故意缺席的

FET 為自己提供的規則不會被報告為缺失,因為它在寫入文件時會被添加。報告它將是對從未真正出錯的事情發出永久性虛假警報。

更一般地說:當檢查無法決定時,它會保持沉默而不是猜測。這種沉默是刻意的選擇,這也是一個被證明不可能的發現可以無需驗證即可信任的原因。

它不檢查您的意圖

這裡沒有任何東西知道您的學校實際需要什麼。一個課表可以被證明是可能的,快速解決,但仍然將所有科學課安排在週五下午。

檢查回答了這是否可以建立。至於是否應該建立,仍然由您決定。

接下來去哪裡