Перейти до основного вмісту

Що воно не може вам сказати

Чесні обмеження — що чистий звіт не обіцяє, які перевірки залежать від режиму розв'язувача, і чому показник складності не є вироком.

Перевірка є навмисно консервативною. Знання того, де вона зупиняється, дозволяє довіряти тій частині, яка не зупиняється.

Чистий звіт не є обіцянкою розв'язання

Перевірка доводить неможливість. Вона не може довести можливість.

Все, до чого вона може дістатися, виявилося в порядку. Чи знайде FET потім розміщення, і скільки часу це займе, це інше питання, на яке відповідає лише розв'язання.

Розклад може пройти кожну перевірку тут і все одно бути справді складним — тому що складність полягає в тому, як вибори взаємодіють між тисячами занять, а не в тому, що якийсь один підрахунок виявився недостатнім.

Показник складності є індикатором

Звіт містить показник складності, і на ньому зазначено, що це індикатор, а не вирок. Ставтеся до нього як до показника температури: корисного для порівняння вашого розкладу із самим собою до та після зміни, а не як до прогнозу успіху.

Високе число є причиною подивитися, де є тиск, а не причиною очікувати невдачі.

Деякий підрахунок залежить від вашого режиму розв'язання

Більшість перевірок виконується в кожному режимі. Де заняття може законно розпочатися, що залишають правила після їх застосування, і що це означає для пов'язаних з ним занять — день є днем, а часовий інтервал є часовим інтервалом, незалежно від режиму.

Зупиняється все, що рахує тиждень. Години на тиждень проти часових інтервалів, які містить тиждень, скільки днів має охоплювати дисципліна, проміжки між заняттями протягом тижня. У режимі семестрів тиждень не є тією одиницею, якою він здається, і підрахунок, виконаний по всьому списку днів, показав би, що у вас БІЛЬШЕ місця, ніж є насправді. Це єдиний напрямок, у якому доказ ніколи не повинен бути помилковим, тому ці перевірки призупиняються, а не вгадуються.

Перевірки гігієни — висячі посилання, правила, спрямовані на вимкнені заняття, дублікати — застосовуються незалежно від режиму, в якому ви перебуваєте.

Якщо розділ повідомляє про менше знахідок, ніж ви очікували, варто перевірити режим, перш ніж перевіряти правила. Дивіться Режими розв'язання.

Деякі речі відсутні навмисно

Правило, яке FET надає для себе, не повідомляється як відсутнє, оскільки воно додається при записі файлу. Повідомлення про це було б постійною хибною тривогою щодо речі, яка насправді ніколи не є неправильною.

Загалом: якщо перевірка не може прийняти рішення, вона нічого не говорить, а не вгадує. Ця тиша є свідомим вибором, і це причина, чому до доведеної неможливої знахідки можна довіряти без перевірки.

Вона не перевіряє ваші наміри

Ніщо тут не знає, що насправді потрібно вашій школі. Розклад може бути доведено можливим, швидко розв'язатися і все одно розмістити кожен урок природничих наук на п'ятницю після обіду.

Перевірка відповідає на питання чи можна це побудувати. Чи варто це робити, вирішувати вам.

Куди рухатися далі