Kufizimi që pamundëson orarin tuaj FET
Një kufizim i gabuar mund ta bëjë një skedar FET të pamundur dhe kërkimi të zgjasë me orë; kontrollojeni skedarin më parë, është falas dhe zgjat pak sekonda.
Ju përfundoni të dhënat. Shtypni Gjenero në FET. Pastaj prisni.
Kalojnë dhjetë minuta. Kalon një orë. Numri i veprimtarive të vendosura nuk e arrin kurrë totalin. Në fund, ju e ndaloni gjenerimin dhe nuk keni asnjë orar. Më keq akoma, nuk e dini pse.
Problemi është shpesh një kufizim i vetëm
Një orar shkolle ka qindra kufizime. Shumica e tyre janë të sakta. Njëri prej tyre nuk është, dhe ju nuk mund ta shihni atë.
Për shembull:
- Një klasë me 31 nxënës mund të përdorë vetëm klasa me 30 vende.
- Një mësues ka 26 orë mësimi, por është i disponueshëm vetëm për 24 periudha.
- Një rregull e lë një veprimtari pa asnjë kohë të ligjshme fillimi gjatë javës.
- Katër mësime duhet të jenë në ditë të ndryshme, por grupi i nxënësve mëson vetëm tre ditë.
Secila prej këtyre e bën orarin të pamundur. Asnjë rregullim nuk mund ta përmbushë atë. Por skedari duket normal. FET e hap atë dhe fillon të kërkojë.
Pse kërkimi nuk jua tregon
FET është shumë i mirë në punën e tij. Ai kërkon për një rregullim që i bindet çdo kufizimi. FET refuzon disa skedarë menjëherë. Për shumë probleme të tjera, ai fillon një kërkim që nuk mund të ketë sukses.
Një kërkim që dështon ju tregon vetëm një gjë: ky kërkim nuk gjeti një rregullim. Ai nuk mund të dallojë "kufizimet tuaja e bëjnë këtë të pamundur" nga "nuk e gjeta këtë herë". Kështu që ju ndryshoni një peshë, provoni përsëri dhe prisni përsëri.
Aty shkojnë orët. Koha shkon në një kërkim që nuk mund të kishte sukses kurrë, jo në zgjidhje.
Numëroni së pari, pastaj kërkoni
Ka një pyetje më të shpejtë për të bërë para se të gjeneroni: a është ky orar i mundur fare?
Kjo pyetje nuk ka nevojë për një kërkim. Ka nevojë për aritmetikë. Verifikimi lexon kufizimet tuaja dhe numëron hapësirën që ato lënë:
- orët që një mësues duhet të japë mësim, kundrejt periudhave që mbeten të disponueshme
- kohët e fillimit që një veprimtari ka ende, pasi të jetë zbatuar çdo rregull
- nëse dy mësime që duhet të ndodhin të dyja detyrohen të jenë në të njëjtën periudhë
- nëse një grup mësimesh ka nevojë për më shumë ditë sesa ka java
Kur një nga këto numërime arrin zero, orari është i pamundur. Ky nuk është një hamendësim për vështirësinë. Është një provë, dhe verifikimi e jep atë në sekonda.
Ai emërton rregullin
Një provë është e dobishme vetëm kur mund të veproni mbi të. Çdo gjetje tregon se çfarë nuk shkon, me fjalë të thjeshta, dhe emërton rregullat e përfshira.
Në shembullin e mësipërm, Matematikë · 9A ka 31 nxënës. Klasa më e madhe që lejon kufizimi Klasa e preferuar e veprimtarisë ka 30 vende. Zgjidhja është e qartë: lejoni një klasë më të madhe, ose ndani klasën.
Gjetjet janë në grupe. E provuar e pamundur përmban problemet që asnjë zgjidhës nuk mund t'i kalojë. Grupet e tjera përmbajnë gabime të mundshme dhe gjërat që e bëjnë një skedar të vështirë. Lexoni më shumë te Katër llojet e gjetjeve.
Dy vende për ta përdorur
Pa një llogari: ndihmësi i FET. Shkoni te fetviewer.com/check dhe zgjidhni skedarin tuaj .fet. Është falas dhe nuk ka kufizim në riverifikime. Skedari juaj qëndron në kompjuterin tuaj. Shfletuesi juaj dërgon vetëm një përmbledhje në serverin tonë, dhe përmbledhja nuk përmban emra: mësuesit, klasat dhe grupet e nxënësve udhëtojnë si numra. Ne nuk ruajmë asgjë. Shihni Verifikimi i një skedari pa një llogari.
Brenda llogarisë suaj: Para-nisja. Kur importoni orarin tuaj, faqja Para-nisja qëndron me kufizimet në ekranin e të dhënave. Çdo seksion kufizimesh gjithashtu tregon një përmbledhje me një rresht në krye. Ndryshoni një kufizim dhe verifikoni përsëri ndërsa punoni. Shihni Çfarë bën verifikimi para-nisjes.
Çfarë nuk mund t'ju tregojë
Verifikimi provon rastet e pamundura. Ai nuk mund të provojë se një skedar do të zgjidhet, dhe nuk mund t'ju tregojë sa kohë do t'i duhet FET-it. Një verifikim i pastër heq një arsye për dështim. Kërkimi është ende puna e FET-it.
Pra, përdorni të dyja, në këtë rend:
- Verifikoni skedarin.
- Korrigjoni atë që provon verifikimi.
- Pastaj lëreni FET të kërkojë.
Lexoni krahasimin e plotë te Si ndryshon verifikimi nga lënia e FET-it të zgjidhë.
Para pritjes së gjatë të radhës
Herën tjetër që një gjenerim zgjat shumë, ndalojeni atë. Verifikoni skedarin së pari. Nëse një kufizim e bën orarin të pamundur, ju e zbuloni në sekonda, dhe shihni se cili është ai.