Apribojimas, dėl kurio jūsų FET tvarkaraštis neįmanomas
Vienas klaidingas apribojimas gali padaryti FET failą neišsprendžiamu, o paieška gali trukti valandas, tad pirmiausia patikrinkite failą – tai nemokama ir trunka kelias sekundes.
Jūs suvedate duomenis. FET programoje paspaudžiate Generuoti. Tada laukiate.
Praeina dešimt minučių. Praeina valanda. Paskirtų veiklų skaičius niekada nepasiekia bendro skaičiaus. Galiausiai sustabdote generavimą ir neturite tvarkaraščio. Blogiausia, kad nežinote kodėl.
Problema dažnai yra vienas apribojimas
Mokyklos tvarkaraštis turi šimtus apribojimų. Dauguma jų yra teisingi. Vienas iš jų – ne, ir jūs jo nematote.
Pavyzdžiui:
- 31 mokinio klasė gali naudotis tik kabinetais, kuriuose yra 30 vietų.
- Dėstytojas turi 26 pamokų valandas, bet yra pasiekiamas tik 24 laiko tarpsnius.
- Taisyklė palieka veiklą be jokio galimo pradžios laiko per savaitę.
- Keturios pamokos turi vykti skirtingomis dienomis, bet mokinių grupė mokosi tik tris dienas.
Kiekvienas iš šių atvejų padaro tvarkaraštį neįmanomu. Joks išdėstymas negali jo patenkinti. Tačiau failas atrodo normalus. FET jį atidaro ir pradeda paiešką.
Kodėl paieška jums to nepasako
FET labai gerai atlieka savo darbą. Ji ieško išdėstymo, kuris atitiktų kiekvieną apribojimą. Kai kuriuos failus FET atmeta iš karto. Daugeliui kitų problemų ji pradeda paiešką, kuri negali būti sėkminga.
Nesėkminga paieška pasako tik vieną dalyką: ši paieška nerado išdėstymo. Ji negali atskirti „jūsų apribojimai tai padaro neįmanomu“ nuo „šį kartą neradau“. Taigi jūs pakeičiate svorį, bandote dar kartą ir vėl laukiate.
Štai kur dingsta valandos. Laikas skiriamas paieškai, kuri niekada negalėjo būti sėkminga, o ne sprendimui.
Pirmiausia skaičiuokite, tada ieškokite
Prieš generuojant yra greitesnis klausimas, kurį reikia užduoti: ar šis tvarkaraštis apskritai įmanomas?
Šiam klausimui nereikia paieškos. Jam reikia aritmetikos. Patikrinimas nuskaito jūsų apribojimus ir suskaičiuoja, kiek erdvės jie palieka:
- dėstytojo privalomų dėstyti valandų skaičių, palyginti su laisvų laiko tarpsnių skaičiumi
- galimus veiklos pradžios laikus, likusius pritaikius visas taisykles
- ar dvi pamokos, kurios abi privalo įvykti, yra priverstinai talpinamos į tą patį laiko tarpą
- ar pamokų grupei reikia daugiau dienų, nei jų yra savaitėje
Kai vienas iš šių skaičiavimų pasiekia nulį, tvarkaraštis yra neįmanomas. Tai nėra spėjimas apie sudėtingumą. Tai yra įrodymas, ir patikrinimas jį pateikia per kelias sekundes.
Jis įvardija taisyklę
Įrodymas naudingas tik tada, kai galite pagal jį veikti. Kiekviena išvada paprastais žodžiais nurodo, kas yra negerai, ir įvardija susijusias taisykles.
Pavyzdyje aukščiau, Matematika · 9A turi 31 mokinį. Didžiausiame kabinete, kurį leidžia apribojimas Veiklai pageidaujamas kabinetas, yra 30 vietų. Sprendimas aiškus: leisti naudoti didesnį kabinetą arba padalinti klasę.
Išvados yra sugrupuotos. Įrodyta, kad neįmanoma yra problemos, kurių joks sprendiklis negali įveikti. Kitose grupėse yra tikėtinos klaidos ir dalykai, kurie apsunkina failą. Daugiau skaitykite Keturi išvadų tipai.
Dvi vietos, kur jį naudoti
Be paskyros: FET pagalbinė priemonė. Eikite į fetviewer.com/check ir pasirinkite savo .fet failą. Tai nemokama ir pakartotinių patikrinimų skaičius neribojamas. Jūsų failas lieka jūsų kompiuteryje. Jūsų naršyklė į mūsų serverį siunčia tik suvestinę, kurioje nėra jokių pavadinimų: dėstytojai, kabinetai ir mokinių grupės perduodami kaip skaičiai. Mes nieko nesaugome. Žiūrėkite Failo tikrinimas be paskyros.
Savo paskyroje: Pirminis patikrinimas. Kai importuojate savo tvarkaraštį, Pirminio patikrinimo puslapis yra šalia apribojimų duomenų ekrane. Kiekvienos apribojimų skilties viršuje taip pat rodoma vienos eilutės suvestinė. Pakeiskite apribojimą ir patikrinkite dar kartą dirbdami. Žiūrėkite Ką atlieka pirminis patikrinimas.
Ko jis negali jums pasakyti
Patikrinimas įrodo neįmanomus atvejus. Jis negali įrodyti, kad failas bus išspręstas, ir negali pasakyti, kiek laiko užtruks FET. Švarus patikrinimas pašalina vieną nesėkmės priežastį. Paieška vis tiek yra FET darbas.
Taigi naudokite abu, šia tvarka:
- Patikrinkite failą.
- Ištaisykite tai, ką įrodo patikrinimas.
- Tada leiskite FET ieškoti.
Visą palyginimą skaitykite Kuo patikrinimas skiriasi nuo sprendimo su FET.
Prieš kitą ilgą laukimą
Kitą kartą, kai generavimas truks per ilgai, sustabdykite jį. Pirmiausia patikrinkite failą. Jei apribojimas padaro tvarkaraštį neįmanomu, sužinosite per kelias sekundes ir pamatysite, kuris būtent.