Какво прави предварителната проверка
Проверка, която чете вашите ограничения и показва дали изобщо може да бъде съставено разписание – преди да прекарате една вечер, за да разберете.
FET може да прекара дълго време в неуспех. Едно-единствено правило, което прави едно занятие неразполагаемо, не се обявява — решателят просто търси, и търси, и в крайна сметка се отказва или не произвежда нищо.
Предварителната проверка чете вашите правила и първо извършва изчисленията. Когато може да докаже, че разписанието е невъзможно, то го казва за секунди и назовава отговорните правила.
Къде се намира
Предварителната проверка се намира до ограниченията на екрана с данни на разписанието. Тя е достъпна за хора, които могат да редактират разписанието — това е инструмент за човека, който създава правилата.
Всяка секция с ограничения също така съдържа едноредово резюме в горната част, така че да виждате състоянието на нещата, докато работите, а не само когато го търсите.
Докладът: заключение, след това всяко откритие с правилата зад него.
Къде се извършват изчисленията
Проверката не се изпълнява във вашия браузър. Вашият браузър чете вашите правила и изпраща резюме до нашия сървър. Нашият сървър извършва изчисленията и изпраща откритията обратно.
Резюмето не съдържа имена. Преподаватели, стаи, дисциплини и студентски групи пътуват като числа, а вашият браузър възстановява имената, преди да покаже доклада.
Ние не съхраняваме нищо от проверката. Проверката изгражда доклада отново от вашите текущи правила всеки път, когато го отворите.
Това има практическа последица, която си струва да се знае: тя е достатъчно бърза, за да се използва като работен инструмент. Променете правило, върнете се, погледнете отново.
Какво всъщност чете
Вашите ограничения, такива каквито са — не решено разписание. То никога не разполага занятие и никога не променя нищо.
Това, което прави, са изчисления върху останалото ви пространство:
- Колко часа преподавател е ангажиран, спрямо колко слота му остават свободни.
- Кои начални часове може законно да заеме едно занятие, след като всяко правило, което го засяга, е приложено.
- Дали две занятия, които трябва да се случат и двете, са принудени в един и същ слот, докато споделят преподавател, стая или група.
- Дали група занятия изисква повече различни дни, отколкото седмицата съдържа.
Когато изчисленията не оставят място, това не е мнение за трудност. Това е доказателство и проверката го казва.
Какво да правите с него
Изпълнете го, преди да изпратите проект на FET, и отново след голяма промяна. Чистият доклад не е обещание, че FET ще реши бързо — вижте Какво не може да ви каже — но доклад с доказано невъзможно откритие в него ви казва, че решението не може да успее, което си струва да се знае преди, а не след това.
Докладът е в четири части
Докладът не оценява откритията по това колко сериозни изглеждат. Той ги сортира по това, което може да докаже, в четири вида: Доказано невъзможно, Грешки, Какво прави този файл труден и Какво се изпълни върху този файл.
Всеки вид е раздел и всеки раздел има собствен брой. Вид, който не съдържа нищо, няма раздел изобщо, така че тих файл показва по-малко раздели от натоварен. Първият раздел с нещо в него се отваря сам.
Група с много открития ги показва като списък, а не като карти. Изберете ред, за да видите изчисленията зад него до списъка.
Само първият вид доказва, че FET не може да изгради разписанието. Вижте Четирите вида открития.
Връзки
Връзки отговаря на различен въпрос: не какво е грешно, а какво е прикрепено към този преподавател.
Изберете преподавател, студентска група или стая. Получавате техните занятия, правилата, които ги назовават, ресурсите, с които споделят стая или слот, и картина на тези връзки. Изберете всеки възел в картината, за да преместите изгледа към него.
Цветът на възел показва какво е той — преподавател, студентска група, стая или правило. Пръстен около възел показва, че проверката е открила нещо за него. Плътен червен пръстен отбелязва грешка. Прекъснат кехлибарен пръстен отбелязва предупреждение. Повечето файлове нямат никакви пръстени и това е нормалното състояние.
Прекъсната сива линия между две правила означава, че казват едно и също нещо два пъти.
Обектите без нищо прикрепено са скрити, докато не ги поискате, защото голям файл декларира много, които не съдържат занятия.
Къде да продължите
- Четирите вида открития — какво всъщност обещава всеки вид.
- Отстраняване на това, което открива
- Какво не може да ви каже