できないこと

レポートの限界、保証されないこと、ソルバーモードごとのチェック、難易度番号の解釈。

このチェックは意図的に保守的です。どこで停止するかを知ることで、停止しない部分を信頼できます。

クリーンなレポートは解決を保証するものではありません

このチェックは不可能性を証明します。可能性を証明することはできません。

到達できるすべてのものは問題ありませんでした。その後FETが配置を見つけるかどうか、そしてどれくらいの時間がかかるかは、解決によってのみ答えられる別の問題です。

時間割はここでのすべてのチェックをパスしても、依然として本当に難しい場合があります — なぜなら、難易度は何千もの授業にわたる選択肢がどのように相互作用するかに関わるものであり、単一のカウントが不足することではないからです。

難易度数は指標です

レポートには難易度スコアが含まれており、それは評決ではなく指標であると明記されています。それを体温計の読み取り値として扱ってください。変更前後の時間割を比較するのに役立ち、成功を予測するものではありません。

高い数値は、どこにプレッシャーがあるかを確認する理由であり、失敗を予測する理由ではありません。

一部のカウントはソルバーモードに依存します

ほとんどのチェックはすべてのモードで実行されます。 授業が合法的に開始できる場所、すべてのルールが適用された後に残るもの、そしてそれが関連する授業に何を意味するか — モードが何であれ、日は日であり、スロットはスロットです。

停止するのは、週を数えるものです。 週あたりの時間数と週が持つスロット数、科目が広がるべき日数、週内の授業間のギャップ。期間モードでは、週は見た目通りの単位ではなく、全日リストを横断して読み取られたカウントは、実際よりも多くの余裕があると言うでしょう。それは証明が決して間違ってはならない唯一の方向であるため、これらのチェックは推測されるのではなく保留されます。

衛生チェック — ぶら下がっている参照、無効化されたアクティビティを対象とするルール、重複 — は、どのモードにいても適用されます。

あるセクションが予想よりも少ない発見を報告した場合、ルールを確認する前にモードを確認する価値があります。ソルバーモードを参照してください。

一部のものは意図的に存在しません

FETが自身のために提供するルールは、ファイルが書き込まれる際に追加されるため、欠落しているとは報告されません。それを報告することは、実際には決して間違っていないことに対する永続的な誤報となるでしょう。

より一般的に言えば、チェックが判断できない場合、推測するのではなく何も言いません。その沈黙は意図的な選択であり、証明された不可能な発見が検証なしに信頼できる理由です。

意図はチェックされません

ここにあるものは、あなたの学校が実際に何を必要としているかを知りません。時間割は、証明可能に可能であり、迅速に解決できても、すべての理科の授業を金曜日の午後に配置する可能性があります。

このチェックは構築可能かに答えます。それがそうあるべきかどうかは、依然としてあなた次第です。