事前確認がすること

FETは長時間失敗し続けることがあります。1つの授業を配置不可能にする単一のルールは、それ自体を知らせません — ソルバーはただ探し続け、最終的に諦めるか、何も生成しません。

事前チェックはあなたのルールを読み込み、まず計算を行います。時間割が不可能であることを証明できる場合、数秒でその旨を伝え、原因となるルールを特定します。

どこにあるか

事前チェックは、時間割のデータ画面にある制約と共に配置されています。時間割を編集できる人が利用できます — ルールを作成する人のためのツールです。

各制約セクションの上部には1行の要約も表示されるため、探すときだけでなく、作業中に状況を確認できます。

レポート：判定、そしてその背後にあるルールと共に各発見事項。

計算が実行される場所

チェックはブラウザでは実行されません。あなたのブラウザはルールを読み込み、要約を当社のサーバーに送信します。当社のサーバーが計算を行い、結果を返送します。

要約には名前は含まれません。教師、部屋、科目、学生グループは数値として送信され、ブラウザがレポートを表示する前に名前を元に戻します。

当社はチェックから何も保存しません。チェックは、開くたびに現在のルールからレポートを再構築します。

それには知っておくべき実用的な結果があります：作業ツールとして使用できるほど高速です。ルールを変更し、戻って、もう一度確認してください。

実際に何を読み取っているか

あなたの制約、現状のまま — 解決済みの時間割ではありません。授業を配置することも、何も変更することもありません。

それが行うのは、残された余地に関する計算です：

• 教師が担当する時間数と、その教師に利用可能な残りの時間枠の数。
• 授業が合法的に開始できる時間帯は、それに影響するすべてのルールが適用された後。
• 両方とも行われるべき2つの授業が、教師、部屋、またはクラスを共有している間に同じ時間枠に強制されるかどうか。
• 授業のグループが、週に含まれるよりも多くの異なる日数を要求するかどうか。

計算によって余地がなくなった場合、それは難易度に関する意見ではありません。それは証明であり、チェックはその旨を伝えます。

それをどうするか

プロジェクトをFETに送信する前、および大きな変更を加えた後に実行してください。クリーンなレポートは、FETが迅速に解決することを保証するものではありません — それが伝えられないこと を参照してください — しかし、証明された不可能な発見を含むレポートは、解決が成功しないことを示しており、それは後で知るよりも前に知る価値があります。

レポートは4つの部分から構成されます

レポートは、発見事項の深刻さに応じて評価するものではありません。それは、証明できることによって、4つの種類に分類します：証明された不可能、間違い、このファイルを難しくするもの、およびこのファイルで実行されたこと。

各種類はタブであり、各タブには独自のカウントが表示されます。何も含まれていない種類にはタブがまったく表示されず、静かなファイルは、忙しいファイルよりも少ないタブを表示します。何かを含む最初のタブは自動的に開きます。

多くの発見事項があるグループは、カードではなくリストとして表示されます。リストの横にある行を選択すると、その背後にある計算が表示されます。

最初の種類だけが、FETが時間割を作成できないことを証明します。4種類の発見事項 を参照してください。

接続

接続は別の質問に答えます：何が間違っているか ではなく、この教師に何が関連付けられているか です。

教師、学生グループ、または部屋を選択してください。そのアクティビティ、それらを指定するルール、部屋や時間枠を共有するリソース、およびそれらのリンクの図が表示されます。図内の任意のノードを選択すると、そのノードにビューが移動します。

ノードの色はそれが何であるかを示します — 教師、学生グループ、部屋、またはルールです。ノードの周りのリングは、チェックがそれについて何かを発見したことを示します。実線の赤いリングはエラーを示します。破線の琥珀色のリングは警告を示します。ほとんどのファイルにはリングがまったくなく、それが通常の状態です。

2つのルールの間の破線の灰色の線は、それらが同じことを2回言っていることを意味します。

何も関連付けられていないエンティティは、要求するまで非表示になります。なぜなら、大きなファイルではアクティビティを持たない多くのものが宣言されているからです。

次のステップ

• 4種類の発見事項 — 各種類が実際に何を約束するか。
• 発見事項の修正
• それが伝えられないこと