Kekangan yang menjadikan jadual waktu FET anda mustahil
Satu kekangan yang salah boleh menyebabkan fail FET mustahil dijana dan carian berjalan berjam-jam, jadi semak fail dahulu kerana ia percuma dan mengambil masa beberapa saat.
Anda siapkan data. Anda tekan Jana dalam FET. Kemudian anda tunggu.
Sepuluh minit berlalu. Sejam berlalu. Bilangan aktiviti yang ditempatkan tidak pernah mencapai jumlah keseluruhan. Akhirnya, anda menghentikan penjanaan dan anda tidak mempunyai jadual waktu. Lebih teruk lagi, anda tidak tahu mengapa.
Masalahnya sering kali satu kekangan
Jadual waktu sekolah mempunyai ratusan kekangan. Kebanyakannya betul. Salah satu daripadanya tidak, dan anda tidak dapat melihatnya.
Contohnya:
- Sebuah kelas dengan 31 orang pelajar hanya boleh menggunakan bilik dengan 30 tempat duduk.
- Seorang pengajar mempunyai 26 jam pelajaran, tetapi hanya tersedia untuk 24 slot.
- Satu peraturan menyebabkan aktiviti tiada masa mula yang sah dalam seminggu.
- Empat pelajaran mesti pada hari yang berbeza, tetapi kumpulan pelajar itu belajar hanya pada tiga hari.
Setiap satu daripadanya menjadikan jadual waktu itu mustahil. Tiada susunan yang dapat memenuhinya. Tetapi fail itu kelihatan normal. FET membukanya dan mula mencari.
Mengapa carian tidak memberitahu anda
FET sangat bagus dalam tugasnya. Ia mencari susunan yang mematuhi setiap kekangan. FET menolak sesetengah fail serta-merta. Untuk banyak masalah lain, ia memulakan carian yang tidak boleh berjaya.
Carian yang gagal hanya memberitahu anda satu perkara: carian ini tidak menemui susunan. Ia tidak dapat membezakan antara "kekangan anda menjadikan ini mustahil" dengan "saya tidak menemuinya kali ini". Jadi anda menukar pemberat, anda cuba lagi, dan anda tunggu lagi.
Di situlah masa berjam-jam dihabiskan. Masa dihabiskan untuk carian yang tidak akan berjaya, bukan untuk penyelesaian.
Kira dahulu, kemudian cari
Ada soalan yang lebih pantas untuk ditanya sebelum anda menjana: adakah jadual waktu ini mungkin sama sekali?
Soalan itu tidak memerlukan carian. Ia memerlukan aritmetik. Semakan ini membaca kekangan anda dan mengira ruang yang ditinggalkannya:
- bilangan jam yang mesti diajar oleh seorang pengajar, berbanding slot yang masih tersedia
- masa mula yang masih ada untuk sesuatu aktiviti, selepas setiap peraturan dikenakan
- sama ada dua pelajaran yang kedua-duanya mesti berlaku dipaksa masuk ke dalam slot yang sama
- sama ada sekumpulan pelajaran memerlukan lebih banyak hari daripada yang ada dalam seminggu
Apabila salah satu kiraan ini mencapai sifar, jadual waktu itu adalah mustahil. Itu bukan tekaan tentang kesukaran. Ia adalah bukti, dan semakan memberikannya dalam beberapa saat.
Ia menamakan peraturan
Sesuatu bukti hanya berguna apabila anda boleh bertindak ke atasnya. Setiap penemuan menyatakan apa yang salah, dalam kata-kata yang mudah, dan menamakan peraturan yang terlibat.
Dalam contoh di atas, Matematik · 9A mempunyai 31 orang pelajar. Bilik terbesar yang dibenarkan oleh kekangan Bilik pilihan aktiviti mempunyai 30 tempat duduk. Pembetulannya jelas: benarkan bilik yang lebih besar, atau pisahkan kelas.
Penemuan-penemuan ini dikumpulkan. Terbukti mustahil mengandungi masalah yang tidak dapat diatasi oleh mana-mana penyelesai. Kumpulan lain mengandungi kemungkinan kesilapan dan perkara yang menyukarkan fail. Baca lebih lanjut dalam Empat jenis penemuan.
Dua tempat untuk menggunakannya
Tanpa akaun: pembantu FET. Pergi ke fetviewer.com/check dan pilih fail .fet anda. Ia percuma dan tiada had untuk semakan semula. Fail anda kekal di komputer anda. Pelayar web anda hanya menghantar ringkasan ke pelayan kami, dan ringkasan itu tidak mengandungi nama: pengajar, bilik dan kumpulan pelajar dihantar sebagai nombor. Kami tidak menyimpan apa-apa. Lihat Menyemak fail tanpa akaun.
Di dalam akaun anda: Pra-penerbangan. Apabila anda mengimport jadual waktu anda, halaman Pra-penerbangan terletak bersama kekangan pada skrin data. Setiap bahagian kekangan juga menunjukkan ringkasan satu baris di bahagian atas. Ubah kekangan, dan semak semula semasa anda bekerja. Lihat Apa yang dilakukan oleh semakan pra-penerbangan.
Apa yang ia tidak dapat beritahu anda
Semakan ini membuktikan kes-kes yang mustahil. Ia tidak dapat membuktikan bahawa fail akan selesai, dan ia tidak dapat memberitahu anda berapa lama masa yang akan diambil oleh FET. Semakan yang bersih menghapuskan satu sebab kegagalan. Carian masih kerja FET.
Jadi gunakan kedua-duanya, dalam urutan ini:
- Semak fail.
- Perbetulkan apa yang dibuktikan oleh semakan.
- Kemudian biarkan FET mencari.
Baca perbandingan penuh dalam Bagaimana semakan berbeza daripada membiarkan FET menyelesaikan.
Sebelum menunggu lama yang seterusnya
Lain kali penjanaan berjalan terlalu lama, hentikannya. Semak fail dahulu. Jika ada kekangan yang menjadikan jadual waktu itu mustahil, anda akan mengetahuinya dalam beberapa saat, dan anda akan melihat yang mana satu.