Langkau ke kandungan utama

Bagaimana pemeriksaan berbeza daripada membiarkan FET menyelesaikan

FET mencari susunan jadual waktu, manakala aplikasi ini hanya memaparkan dan membolehkan anda menyunting jadual waktu yang telah siap.

Orang sering bertanya mengapa mereka tidak sepatutnya menekan jana dalam FET dan melihat apa yang berlaku. Anda boleh berbuat demikian. Ini menjelaskan perkara yang ditambah oleh semakan ini, dan perkara yang tidak dilakukannya.

FET mencari. Semakan mengira.

FET mencuba susunan. Ia sangat mahir dalam hal itu. Tetapi carian yang gagal hanya memberitahu anda bahawa carian ini gagal. Ia tidak dapat membezakan antara "peraturan anda menjadikan ini mustahil" dengan "saya tidak menemuinya kali ini".

Semakan melakukan aritmetik sebaliknya. Ia tidak pernah meletakkan satu pelajaran pun. Ia mengira ruang yang ditinggalkan oleh peraturan anda:

  • jam yang perlu dipenuhi oleh seorang pengajar berbanding slot yang masih ada
  • waktu mula yang masih ada bagi satu pelajaran setelah setiap peraturan digunakan
  • sama ada dua pelajaran yang kedua-duanya mesti berlaku dipaksa ke dalam slot yang sama
  • sama ada sekumpulan pelajaran memerlukan lebih banyak hari daripada yang terkandung dalam seminggu

Apabila salah satu kiraan tersebut mencapai sifar, tiada carian yang boleh berjaya, dan tiada jumlah masa menunggu yang akan mengubahnya.

Perbezaan praktikal

Masa. Percubaan FET yang gagal boleh mengambil masa yang lama. Semakan menjawab dalam beberapa saat.

Apa yang anda pelajari daripada kegagalan. FET berhenti tanpa menyatakan peraturan mana yang menjadi punca. Semakan menamakan peraturan tersebut, dan bagi pelajaran yang mustahil, ia menunjukkan peraturan mana yang membuang waktu mula yang mana, mengikut urutan.

Apa maksud keputusan yang baik. Percubaan FET yang berjaya memberikan anda jadual waktu yang sebenar — yang tidak pernah dilakukan oleh semakan. Semakan yang bersih tidak memberikan anda sebarang jadual waktu. Ia hanya menghapuskan satu penjelasan bagi kegagalan.

Gunakan kedua-duanya, mengikut urutan ini

  1. Jalankan semakan dahulu. Jika ia membuktikan sesuatu itu mustahil, percubaan FET tidak boleh berjaya, jadi menjalankan satu percubaan adalah masa yang dibazirkan tanpa mempelajari apa-apa.
  2. Betulkan apa yang dibuktikannya. Ia menamakan peraturan dan menunjukkan jejaknya.
  3. Kemudian biarkan FET mencari. Itu adalah bahagian yang hanya dilakukan oleh FET.
  4. Bawa keputusan itu kembali untuk dibaca, dicetak dan dikongsi.

Apa yang semakan tidak dapat beritahu anda

⛔ Ia tidak dapat memberitahu anda bahawa jadual waktu adalah mungkin. Tiada apa-apa di sini yang membuktikan perkara itu. Fail boleh melepasi setiap semakan dan masih sukar, atau memerlukan peraturan dilonggarkan sebelum ia berjaya.

⛔ Ia tidak dapat memberitahu anda berapa lama FET akan mengambil masa. Nombor kesukaran adalah bacaan suhu untuk membandingkan fail anda sendiri sebelum dan selepas perubahan, bukan satu ramalan.

Lihat Apa yang ia tidak dapat beritahu anda.

Ke mana seterusnya