FETによる計算とチェックの違い

FETは時間割を生成するソルバーですが、FET Timetable Explorerは生成された時間割を表示・編集するためのツールです。

なぜFETで生成ボタンを押すだけではいけないのか、という質問をよく受けます。もちろん、そうすることも可能です。ここでは、チェック機能が何を追加し、何を行わないのかを説明します。

FETは探索し、チェック機能は計算します。

FETは配置を試行します。 それは非常に得意です。しかし、探索が失敗しても、その探索が失敗したことしか分かりません。「あなたの設定したルールでは不可能である」のか、「今回は見つけられなかった」のかを区別することはできません。

チェック機能は代わりに算術を行います。 レッスンを配置することはありません。ルールによって残された余地を計算します：

これらの計算結果がゼロになった場合、どのような探索も成功することはなく、どれだけ待っても状況は変わりません。

時間。 FETの実行が失敗すると、長い時間がかかることがあります。チェック機能は数秒で回答します。

失敗から学べること。 FETはどのルールが原因かを告げずに停止します。チェック機能はルールを特定し、不可能なレッスンについてはどのルールがどの開始時間を削除したのかを順を追って表示します。

良い結果が意味すること。 成功したFETの実行は実際の時間割を作成しますが、チェック機能は決してそれを行いません。クリーンなチェック結果が出ても、時間割は一切作成されません。それは単に、失敗の原因となる説明を一つ取り除くだけです。

⛔ 時間割が作成可能かどうかは分かりません。 ここでは何も証明されません。すべてのチェックを通過したファイルであっても、依然として困難であったり、ルールを緩和しなければ配置できない場合があります。

⛔ FETにどれくらいの時間がかかるかは分かりません。 難易度の数値は、変更前後のファイルを比較するための温度計のようなものであり、予測ではありません。