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

Unesete sve podatke. Pritisnete Generiraj u FET-u. Zatim čekate.

Prođe deset minuta. Prođe sat vremena. Broj postavljenih aktivnosti nikad ne dosegne ukupan broj. Na kraju zaustavite generiranje 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 ih je ispravna. Jedno od njih nije, a vi ga ne možete vidjeti.

Na primjer:

• Razred od 31 učenika smije koristiti samo prostorije s 30 mjesta.
• Nastavnik ima 26 sati nastave, ali je dostupan samo za 24 termina.
• Pravilo ostavlja aktivnost bez dopuštenog vremena početka u tjednu.
• Četiri sata nastave moraju biti u različite dane, ali grupa učenika ima nastavu samo tri dana.

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

Zašto vam pretraga to ne govori

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

Neuspješna pretraga govori vam samo jedno: ova pretraga nije pronašla poredak. Ne može razlikovati "vaša ograničenja ovo čine nemogućim" od "ovaj put ga nisam pronašao". Stoga promijenite težinu, pokušate ponovno i ponovno čekate.

Tako se gube sati. Vrijeme odlazi na pretragu koja nikad nije mogla uspjeti, a ne na rješavanje.

Prvo provjera, onda pretraga

Postoji brže pitanje koje možete postaviti prije generiranja: je li ovaj raspored uopće moguć?

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

• broj sati koje nastavnik mora održati u odnosu na broj dostupnih termina
• vremena početka koja aktivnost još uvijek ima nakon primjene svih pravila
• jesu li dva sata nastave koja se oba moraju održati prisilno smještena u isti termin
• zahtijeva li grupa sati nastave više dana nego što tjedan ima

Kada jedan od ovih brojeva dosegne 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 ako možete djelovati na temelju njega. Svaki nalaz jednostavnim riječima govori što nije u redu i imenuje uključena pravila.

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

Nalazi su podijeljeni u grupe. Dokazano nemoguće sadrži probleme koje nijedan rješavač ne može zaobići. Druge grupe sadrže vjerojatne pogreš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čunalu. Vaš preglednik šalje samo sažetak na naš poslužitelj, a sažetak ne sadrži imena: nastavnici, prostorije i grupe učenika prenose se 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 nalazi se uz ograničenja na zaslonu s podacima. Svaki odjeljak s ograničenjima također prikazuje sažetak u jednom retku na vrhu. Promijenite ograničenje i ponovno provjerite dok radite. Pogledajte Što radi pred-provjera.

Što 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 neuspjeha. Pretraga je i dalje posao FET-a.

Stoga koristite oboje, ovim redoslijedom:

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

Pročitajte cijelu usporedbu u Kako se provjera razlikuje od rješavanja pomoću FET-a.

Prije sljedećeg dugog čekanja

Sljedeći put kada generiranje traje predugo, zaustavite ga. Prvo provjerite datoteku. Ako ograničenje čini raspored nemogućim, saznat ćete to u sekundama i vidjeti o kojem se radi.

Provjerite svoju FET datoteku →