Apa yang dilakukan oleh semakan awal

FET boleh mengambil masa yang lama untuk gagal. Satu peraturan tunggal yang menjadikan satu pelajaran tidak dapat ditempatkan tidak akan mengumumkan dirinya — penyelesai hanya mencari, dan mencari, dan akhirnya menyerah atau tidak menghasilkan apa-apa.

Pemeriksaan pra-penerbangan membaca peraturan anda dan melakukan pengiraan terlebih dahulu. Jika ia dapat membuktikan bahawa jadual waktu adalah mustahil, ia akan menyatakan demikian dalam beberapa saat dan menamakan peraturan yang bertanggungjawab.

Di mana ia berada

Pra-penerbangan berada bersama kekangan pada skrin data jadual waktu. Ia tersedia untuk orang yang boleh mengedit jadual waktu — ia adalah alat untuk orang yang membina peraturan.

Setiap bahagian kekangan juga mempunyai ringkasan satu baris di bahagian atas, jadi anda melihat keadaan semasa anda bekerja dan bukan hanya apabila anda mencarinya.

Laporan: keputusan, kemudian setiap penemuan dengan peraturan di belakangnya.

Di mana pengiraan dijalankan

Pemeriksaan tidak dijalankan dalam pelayar anda. Pelayar anda membaca peraturan anda dan menghantar ringkasan ke pelayan kami. Pelayan kami melakukan pengiraan dan menghantar penemuan kembali.

Ringkasan tidak mengandungi nama. Pengajar, bilik, Subjek dan kumpulan pelajar dihantar sebagai nombor, dan pelayar anda meletakkan semula nama sebelum ia menunjukkan laporan.

Kami tidak menyimpan apa-apa daripada pemeriksaan. Pemeriksaan membina laporan semula daripada peraturan semasa anda setiap kali anda membukanya.

Itu mempunyai akibat praktikal yang patut diketahui: ia cukup pantas untuk digunakan sebagai alat kerja. Ubah peraturan, kembali, lihat semula.

Apa yang sebenarnya dibaca

Kekangan anda, sebagaimana adanya — bukan jadual waktu yang telah diselesaikan. Ia tidak pernah menempatkan pelajaran dan tidak pernah mengubah apa-apa.

Apa yang dilakukannya adalah pengiraan pada ruang yang anda tinggalkan:

• Berapa jam seorang Pengajar komited, berbanding berapa banyak slot yang masih tersedia untuk mereka.
• Waktu mula mana yang boleh diambil oleh pelajaran secara sah, setelah setiap peraturan yang menyentuhnya telah diterapkan.
• Sama ada dua pelajaran yang mesti berlaku kedua-duanya dipaksa ke dalam slot yang sama semasa berkongsi Pengajar, bilik atau kelas.
• Sama ada sekumpulan pelajaran menuntut lebih banyak hari yang berbeza daripada yang terkandung dalam seminggu.

Apabila pengiraan tidak meninggalkan ruang, itu bukan pendapat tentang kesukaran. Ia adalah bukti, dan pemeriksaan menyatakan demikian.

Apa yang perlu dilakukan dengannya

Jalankannya sebelum anda menghantar projek ke FET, dan sekali lagi selepas perubahan besar. Laporan yang bersih bukanlah janji bahawa FET akan menyelesaikan dengan cepat — lihat Apa yang tidak dapat diberitahu kepada anda — tetapi laporan dengan penemuan yang terbukti mustahil di dalamnya memberitahu anda bahawa penyelesaian tidak dapat berjaya, yang patut diketahui sebelum dan bukannya selepas.

Laporan ini dalam empat bahagian

Laporan tidak menilai penemuan berdasarkan betapa seriusnya ia dirasakan. Ia menyusunnya mengikut apa yang dapat dibuktikan, kepada empat jenis: Terbukti mustahil, Kesilapan, Apa yang menjadikan fail ini sukar, dan Apa yang dijalankan pada fail ini.

Setiap jenis adalah tab, dan setiap tab membawa kiraannya sendiri. Jenis yang tiada apa-apa di dalamnya tidak mempunyai tab sama sekali, jadi fail yang senyap menunjukkan lebih sedikit tab daripada yang sibuk. Tab pertama yang mengandungi sesuatu akan terbuka dengan sendirinya.

Kumpulan dengan banyak penemuan menunjukkannya sebagai senarai dan bukannya sebagai kad. Pilih baris untuk melihat pengiraan di belakangnya di sebelah senarai.

Hanya jenis pertama membuktikan bahawa FET tidak dapat membina jadual waktu. Lihat Empat jenis penemuan.

Sambungan

Sambungan menjawab soalan yang berbeza: bukan apa yang salah, tetapi apa yang dilampirkan pada Pengajar ini.

Pilih Pengajar, kumpulan pelajar atau bilik. Anda akan mendapat aktiviti mereka, peraturan yang menamakan mereka, sumber yang mereka kongsi bilik atau slot dengannya, dan gambaran pautan tersebut. Pilih mana-mana nod dalam gambar untuk mengalihkan paparan kepadanya.

Warna nod menyatakan apa itu — Pengajar, kumpulan pelajar, bilik atau peraturan. Cincin di sekeliling nod menyatakan pemeriksaan menemui sesuatu mengenainya. Cincin merah padu menandakan ralat. Cincin ambar putus-putus menandakan amaran. Kebanyakan fail tidak mempunyai cincin sama sekali, dan itu adalah keadaan biasa.

Garisan kelabu putus-putus antara dua peraturan bermakna ia menyatakan perkara yang sama dua kali.

Entiti yang tiada apa-apa dilampirkan disembunyikan sehingga anda memintanya, kerana fail besar mengisytiharkan banyak yang tidak membawa aktiviti.

Ke mana hendak pergi seterusnya

• Empat jenis penemuan — apa yang sebenarnya dijanjikan oleh setiap jenis.
• Memperbaiki apa yang ditemui
• Apa yang tidak dapat diberitahu kepada anda