Lompat ke isi utama

Batasan yang membuat jadwal FET Anda tidak mungkin

Importing from FET 4 menit baca

Satu batasan yang salah dapat membuat file FET mustahil diselesaikan dan pencarian bisa berjalan berjam-jam, jadi periksa file terlebih dahulu karena gratis dan hanya butuh beberapa detik.

Anda selesai memasukkan data. Anda menekan Hasilkan di FET. Lalu Anda menunggu.

Sepuluh menit berlalu. Satu jam berlalu. Jumlah kegiatan yang ditempatkan tidak pernah mencapai total. Pada akhirnya, Anda menghentikan proses pembuatan dan Anda tidak memiliki jadwal. Lebih buruknya lagi, Anda tidak tahu mengapa.

Masalahnya sering kali adalah satu batasan

Sebuah jadwal sekolah memiliki ratusan batasan. Sebagian besar benar. Salah satunya tidak, dan Anda tidak dapat melihatnya.

Contohnya:

  • Sebuah kelas dengan 31 siswa hanya boleh menggunakan ruang dengan 30 kursi.
  • Seorang guru memiliki 26 jam pelajaran, tetapi hanya tersedia selama 24 slot.
  • Sebuah aturan membuat suatu kegiatan tidak memiliki waktu mulai yang sah dalam seminggu.
  • Empat pelajaran harus berada di hari yang berbeda, tetapi kelompok siswa tersebut hanya belajar selama tiga hari.

Masing-masing hal ini membuat jadwal menjadi mustahil. Tidak ada pengaturan yang dapat memenuhinya. Tetapi file tersebut terlihat normal. FET membukanya dan mulai mencari.

Mengapa pencarian tidak memberitahu Anda

FET sangat baik dalam tugasnya. Ia mencari pengaturan yang mematuhi setiap batasan. FET langsung menolak beberapa file. Untuk banyak masalah lain, ia memulai pencarian yang tidak dapat berhasil.

Pencarian yang gagal hanya memberitahu Anda satu hal: pencarian ini tidak menemukan pengaturan. Ia tidak dapat membedakan antara "batasan Anda membuat ini mustahil" dengan "saya tidak menemukannya kali ini". Jadi Anda mengubah bobot, Anda mencoba lagi, dan Anda menunggu lagi.

Di situlah waktu berjam-jam terbuang. Waktu dihabiskan untuk pencarian yang tidak akan pernah berhasil, bukan untuk penyelesaian.

Hitung dulu, baru cari

Ada pertanyaan yang lebih cepat untuk diajukan sebelum Anda membuat jadwal: apakah jadwal ini mungkin dibuat?

Pertanyaan itu tidak memerlukan pencarian. Ia memerlukan aritmetika. Pemeriksaan ini membaca batasan Anda dan menghitung ruang gerak yang tersisa:

  • jumlah jam seorang guru harus mengajar, dibandingkan dengan slot yang masih tersedia
  • waktu mulai yang masih dimiliki suatu kegiatan, setelah setiap aturan diterapkan
  • apakah dua pelajaran yang keduanya harus terjadi dipaksa masuk ke dalam slot yang sama
  • apakah sekelompok pelajaran membutuhkan lebih banyak hari daripada yang tersedia dalam seminggu

Ketika salah satu dari hitungan ini mencapai nol, jadwal tersebut mustahil dibuat. Itu bukan tebakan tentang kesulitan. Itu adalah bukti, dan pemeriksaan memberikannya dalam hitungan detik.

Ia menyebutkan aturannya

Sebuah bukti hanya berguna jika Anda dapat menindaklanjutinya. Setiap temuan menyatakan apa yang salah, dengan kata-kata sederhana, dan menyebutkan aturan yang terlibat.

Satu temuan, dibuka: kelas memiliki 31 siswa, dan ruang terbesar yang boleh digunakan berkapasitas 30 kursi. Aturan yang terlibat disebutkan namanya
Satu temuan, dibuka: kelas memiliki 31 siswa, dan ruang terbesar yang boleh digunakan berkapasitas 30 kursi. Aturan yang terlibat disebutkan namanya

Pada contoh di atas, Matematika · 9A memiliki 31 siswa. Ruang terbesar yang diizinkan oleh batasan Ruang pilihan kegiatan berkapasitas 30 kursi. Perbaikannya jelas: izinkan ruang yang lebih besar, atau bagi kelasnya.

Temuan-temuan dikelompokkan. Terbukti mustahil berisi masalah-masalah yang tidak dapat diatasi oleh pemecah mana pun. Kelompok lain berisi kemungkinan kesalahan dan hal-hal yang membuat file menjadi sulit. Baca lebih lanjut di Empat jenis temuan.

Dua tempat untuk menggunakannya

Tanpa akun: alat bantu FET. Buka fetviewer.com/check dan pilih file .fet Anda. Layanan ini gratis dan tidak ada batasan untuk pemeriksaan ulang. File Anda tetap berada di komputer Anda. Browser Anda hanya mengirimkan ringkasan ke server kami, dan ringkasan tersebut tidak berisi nama: guru, ruang, dan kelompok siswa dikirim sebagai angka. Kami tidak menyimpan apa pun. Lihat Memeriksa file tanpa akun.

Di dalam akun Anda: Pemeriksaan Awal. Saat Anda mengimpor jadwal Anda, halaman Pemeriksaan Awal berada bersama batasan di layar data. Setiap bagian batasan juga menampilkan ringkasan satu baris di bagian atas. Ubah sebuah batasan, dan periksa lagi saat Anda bekerja. Lihat Apa yang dilakukan pemeriksaan awal.

Apa yang tidak dapat diberitahukannya kepada Anda

Pemeriksaan ini membuktikan kasus-kasus yang mustahil. Ia tidak dapat membuktikan bahwa sebuah file akan terselesaikan, dan tidak dapat memberitahu Anda berapa lama waktu yang dibutuhkan FET. Pemeriksaan yang bersih menghilangkan satu alasan kegagalan. Pencarian tetap menjadi tugas FET.

Jadi gunakan keduanya, dalam urutan ini:

  1. Periksa file.
  2. Perbaiki apa yang dibuktikan oleh pemeriksaan.
  3. Lalu biarkan FET mencari.

Baca perbandingan lengkapnya di Bagaimana pemeriksaan berbeda dari membiarkan FET menyelesaikan.

Sebelum menunggu lama berikutnya

Lain kali proses pembuatan berjalan terlalu lama, hentikan. Periksa file terlebih dahulu. Jika sebuah batasan membuat jadwal mustahil, Anda akan mengetahuinya dalam hitungan detik, dan Anda akan melihat yang mana.

Periksa file FET Anda →