Asosiy mazmunga o‘tish

FET dars jadvalingizni imkonsiz qiluvchi cheklov

Importing from FET 4 daqiqa o'qish

Bitta noto‘g‘ri cheklov FET faylini imkonsiz qilishi va qidiruv soatlab davom etishi mumkin, shuning uchun faylni avval tekshiring — bu bepul va bir necha soniya vaqt oladi.

Siz ma'lumotlarni kiritib bo'ldingiz. FET dasturida Yaratish tugmasini bosasiz. So'ngra kutasiz.

O'n daqiqa o'tadi. Bir soat o'tadi. Joylashtirilgan mashg'ulotlar soni hech qachon umumiy songa yetmaydi. Oxir-oqibat, siz generatsiyani to'xtatasiz va sizda dars jadvali bo'lmaydi. Eng yomoni, siz buning sababini bilmaysiz.

Muammo ko'pincha bitta cheklovda bo'ladi

Maktab dars jadvalida yuzlab cheklovlar mavjud. Ularning aksariyati to'g'ri. Ulardan biri noto'g'ri va siz uni ko'ra olmaysiz.

Masalan:

  • 31 nafar o'quvchisi bor sinf faqat 30 o'rinli xonalardan foydalanishi mumkin.
  • O'qituvchining 26 soatlik darsi bor, lekin u faqat 24 vaqt oralig'ida bo'sh.
  • Qoida mashg'ulot uchun hafta davomida birorta ham mumkin bo'lgan boshlanish vaqtini qoldirmaydi.
  • To'rtta dars turli kunlarda bo'lishi kerak, lekin talabalar guruhi faqat uch kun o'qiydi.

Bularning har biri dars jadvalini tuzishni imkonsiz qiladi. Hech qanday tartib uni qanoatlantira olmaydi. Ammo fayl normal ko'rinadi. FET uni ochadi va qidirishni boshlaydi.

Nima uchun qidiruv sizga bu haqda aytmaydi

FET o'z ishini juda yaxshi bajaradi. U har bir cheklovga bo'ysunadigan tartibni qidiradi. FET ba'zi fayllarni darhol rad etadi. Boshqa ko'plab muammolar uchun esa u muvaffaqiyatli bo'la olmaydigan qidiruvni boshlaydi.

Muvaffaqiyatsiz qidiruv sizga faqat bitta narsani aytadi: bu qidiruv tartib topa olmadi. U "bu safar topa olmadim" bilan "sizning cheklovlaringiz buni imkonsiz qilmoqda" o'rtasidagi farqni ayta olmaydi. Shunday qilib, siz biror koeffitsientni o'zgartirasiz, qayta urinib ko'rasiz va yana kutasiz.

Soatlar ana shunga sarflanadi. Vaqt yechim topishga emas, balki hech qachon muvaffaqiyatli bo'la olmaydigan qidiruvga ketadi.

Avval sanang, keyin qidiring

Generatsiya qilishdan oldin so'rash mumkin bo'lgan tezroq savol bor: bu dars jadvalini umuman tuzish mumkinmi?

Bu savol qidiruvni talab qilmaydi. U arifmetikani talab qiladi. Tekshiruv sizning cheklovlaringizni o'qiydi va ular qoldirgan imkoniyatlarni sanaydi:

  • o'qituvchi o'qitishi kerak bo'lgan soatlar sonini mavjud bo'sh vaqt oraliqlari bilan solishtirish
  • har bir qoida qo'llanilgandan so'ng mashg'ulot uchun qolgan boshlanish vaqtlari
  • bir vaqtda o'tilishi kerak bo'lgan ikkita darsning bir xil vaqt oralig'iga majburan qo'yilganligi
  • bir guruh darslar uchun haftadagi kunlardan ko'proq kun kerakligi

Ushbu hisoblardan biri nolga yetganda, dars jadvalini tuzish imkonsiz bo'ladi. Bu qiyinlik haqidagi taxmin emas. Bu isbot va tekshiruv uni soniyalar ichida taqdim etadi.

U qoidani nomlaydi

Isbot faqat unga asoslanib harakat qila olsangizgina foydalidir. Har bir topilma nima noto'g'ri ekanligini oddiy so'zlar bilan aytadi va tegishli qoidalarni nomlaydi.

One finding, opened: the class has 31 students, and the biggest room it may use seats 30. The rule involved is named
Bitta topilma, ochilgan: sinfda 31 nafar o'quvchi bor va u foydalanishi mumkin bo'lgan eng katta xona 30 o'rinli. Tegishli qoida nomlangan

Yuqoridagi misolda, Matematika · 9A sinfida 31 nafar o'quvchi bor. Mashg'ulot uchun afzal ko'rilgan xona cheklovi ruxsat bergan eng katta xona 30 o'rinli. Yechim aniq: kattaroq xonaga ruxsat bering yoki sinfni bo'ling.

Topilmalar guruhlarga ajratilgan. Imkonsizligi isbotlangan bo'limida hech bir yechim topuvchi dastur o'ta olmaydigan muammolar joylashgan. Boshqa guruhlarda ehtimoliy xatolar va faylni murakkablashtiradigan narsalar mavjud. Batafsil ma'lumotni Topilmalarning to'rt turi sahifasida o'qing.

Uni ishlatish uchun ikkita joy

Hisobsiz: FET yordamchisi. fetviewer.com/check manziliga o'ting va o'zingizning .fet faylingizni tanlang. Bu bepul va qayta tekshirishlar soni cheklanmagan. Faylingiz kompyuteringizda qoladi. Brauzeringiz serverimizga faqat xulosani yuboradi va bu xulosada nomlar bo'lmaydi: o'qituvchilar, xonalar va talabalar guruhlari raqamlar sifatida uzatiladi. Biz hech narsani saqlamaymiz. Faylni hisobsiz tekshirish sahifasiga qarang.

Hisobingiz ichida: Dastlabki tekshiruv. Dars jadvalingizni import qilganingizda, Dastlabki tekshiruv sahifasi ma'lumotlar ekranidagi cheklovlar bilan birga joylashgan bo'ladi. Har bir cheklovlar bo'limining yuqori qismida bir qatorli xulosa ham ko'rsatiladi. Biror cheklovni o'zgartiring va ishlayotgan vaqtingizda qayta tekshiring. Dastlabki tekshiruv nima qiladi sahifasiga qarang.

U sizga nimalarni ayta olmaydi

Tekshiruv imkonsiz holatlarni isbotlaydi. U faylning albatta yechim topishini isbotlay olmaydi va FET qancha vaqt olishini ayta olmaydi. Toza tekshiruv muvaffaqiyatsizlikning bitta sababini yo'q qiladi. Qidiruv hali ham FET'ning ishi bo'lib qoladi.

Shunday ekan, ikkalasidan ham shu tartibda foydalaning:

  1. Faylni tekshiring.
  2. Tekshiruv isbotlagan narsalarni tuzating.
  3. Keyin FET'ga qidirishga ruxsat bering.

To'liq taqqoslashni Tekshiruvning FET yechim topishidan farqi sahifasida o'qing.

Keyingi uzoq kutishdan oldin

Keyingi safar generatsiya juda uzoq davom etsa, uni to'xtating. Avval faylni tekshiring. Agar biror cheklov dars jadvalini imkonsiz qilsa, siz buni soniyalar ichida bilib olasiz va aynan qaysi biri ekanligini ko'rasiz.

FET faylingizni tekshiring →