Ograničenje koje čini vaš FET raspored nemogućim

Završite unos podataka. Pritisnete Generiši u FET-u. Zatim čekate.

Prođe deset minuta. Prođe sat vremena. Broj postavljenih aktivnosti nikada ne dostigne ukupan broj. Na kraju, zaustavite generisanje i nemate raspored. Što je još gore, ne znate zašto.

Problem je često jedno ograničenje

Školski raspored ima stotine ograničenja. Većina njih je ispravna. Jedno od njih nije, a vi ga ne možete vidjeti.

Na primjer:

• Razred od 31 učenika može koristiti samo prostorije sa 30 mjesta.
• Nastavnik ima 26 sati nastave, ali je dostupan samo za 24 termina.
• Pravilo ostavlja aktivnost bez dozvoljenog vremena početka u sedmici.
• Četiri časa moraju biti u različitim danima, ali grupa učenika ima nastavu samo tri dana.

Svaki od ovih primjera čini raspored nemogućim. Nijedan aranžman ga ne može zadovoljiti. Ali datoteka izgleda normalno. FET je otvara i počinje pretragu.

Zašto vam pretraga ne kaže

FET je veoma dobar u svom poslu. On traži aranžman koji poštuje svako ograničenje. FET odmah odbija neke datoteke. Za mnoge druge probleme, započinje pretragu koja ne može uspjeti.

Neuspješna pretraga vam govori samo jednu stvar: ova pretraga nije pronašla aranžman. Ne može razlikovati „vaša ograničenja ovo čine nemogućim“ od „ovaj put ga nisam pronašao“. Tako da promijenite težinu, pokušate ponovo i ponovo čekate.

Tako se gube sati. Vrijeme se troši na pretragu koja nikada nije mogla uspjeti, a ne na rješavanje.

Prvo izračunajte, a zatim tražite

Postoji brže pitanje koje treba postaviti prije nego što generišete: da li je ovaj raspored uopće moguć?

To pitanje ne zahtijeva pretragu. Zahtijeva aritmetiku. Provjera čita vaša ograničenja i broji prostor koji ostavljaju:

• broj sati koje nastavnik mora predavati, u odnosu na termine koji ostaju dostupni
• vremena početka koja aktivnost još uvijek ima, nakon primjene svakog pravila
• da li su dva časa koja se oba moraju održati prisiljena u isti termin
• da li grupa časova treba više dana nego što sedmica ima

Kada jedan od ovih brojeva dostigne nulu, raspored je nemoguć. To nije nagađanje o težini. To je dokaz, a provjera ga daje u sekundama.

Imenuje pravilo

Dokaz je koristan samo kada možete djelovati na osnovu njega. Svaki nalaz jednostavnim riječima kaže šta nije u redu i imenuje uključena pravila.

U gornjem primjeru, Matematika · 9A ima 31 učenika. Najveća prostorija koju dozvoljava ograničenje Preferirana prostorija za aktivnost ima 30 mjesta. Rješenje je jasno: dozvolite veću prostoriju ili podijelite razred.

Nalazi su u grupama. Dokazano nemoguće sadrži probleme koje nijedan rješavač ne može prevazići. Druge grupe sadrže vjerovatne greške i stvari koje datoteku čine teškom. Pročitajte više u Četiri vrste nalaza.

Dva mjesta za korištenje

Bez računa: FET pomoćnik. Idite na fetviewer.com/check i odaberite svoju .fet datoteku. Besplatno je i nema ograničenja u broju ponovnih provjera. Vaša datoteka ostaje na vašem računaru. Vaš preglednik šalje samo sažetak na naš server, a sažetak ne sadrži imena: nastavnici, prostorije i grupe učenika se prenose kao brojevi. Ne pohranjujemo ništa. Pogledajte Provjera datoteke bez računa.

Unutar vašeg računa: Pred-provjera. Kada uvezete svoj raspored, stranica Pred-provjera se nalazi uz ograničenja na ekranu s podacima. Svaki odjeljak s ograničenjima također prikazuje sažetak u jednom redu na vrhu. Promijenite ograničenje i provjerite ponovo dok radite. Pogledajte Šta radi pred-provjera.

Šta vam ne može reći

Provjera dokazuje nemoguće slučajeve. Ne može dokazati da će se datoteka riješiti i ne može vam reći koliko će FET-u trebati vremena. Čista provjera uklanja jedan razlog za neuspjeh. Pretraga je i dalje posao FET-a.

Zato koristite oboje, ovim redoslijedom:

1. Provjerite datoteku.
2. Ispravite ono što provjera dokaže.
3. Zatim pustite FET da traži.

Pročitajte cjelokupno poređenje u Kako se provjera razlikuje od rješavanja pomoću FET-a.

Prije sljedećeg dugog čekanja

Sljedeći put kada generisanje traje predugo, zaustavite ga. Prvo provjerite datoteku. Ako ograničenje čini raspored nemogućim, saznat ćete za nekoliko sekundi i vidjet ćete koje je to ograničenje.

Provjerite svoju FET datoteku →