Ο περιορισμός που καθιστά το ωρολόγιό σας FET αδύνατο

Ολοκληρώνετε τα δεδομένα. Πατάτε Δημιουργία στο FET. Και μετά περιμένετε.

Περνούν δέκα λεπτά. Περνάει μία ώρα. Ο αριθμός των τοποθετημένων δραστηριοτήτων δεν φτάνει ποτέ στο σύνολο. Στο τέλος, σταματάτε τη δημιουργία και δεν έχετε ωρολόγιο. Το χειρότερο, δεν ξέρετε γιατί.

Το πρόβλημα είναι συχνά ένας περιορισμός

Ένα σχολικό ωρολόγιο έχει εκατοντάδες περιορισμούς. Οι περισσότεροι είναι σωστοί. Ένας από αυτούς δεν είναι, και δεν μπορείτε να τον δείτε.

Για παράδειγμα:

• Ένα τμήμα 31 μαθητών μπορεί να χρησιμοποιεί μόνο αίθουσες με 30 θέσεις.
• Ένας εκπαιδευτικός έχει 26 ώρες μαθημάτων, αλλά είναι διαθέσιμος μόνο για 24 χρονικές περιόδους.
• Ένας κανόνας αφήνει μια δραστηριότητα χωρίς καμία έγκυρη ώρα έναρξης μέσα στην εβδομάδα.
• Τέσσερα μαθήματα πρέπει να γίνονται σε διαφορετικές ημέρες, αλλά το τμήμα μαθητών έχει μάθημα μόνο τρεις ημέρες.

Κάθε ένα από αυτά καθιστά το ωρολόγιο αδύνατο. Καμία διάταξη δεν μπορεί να το ικανοποιήσει. Αλλά το αρχείο φαίνεται φυσιολογικό. Το FET το ανοίγει και αρχίζει την αναζήτηση.

Γιατί η αναζήτηση δεν σας ενημερώνει

Το FET είναι πολύ καλό στη δουλειά του. Αναζητά μια διάταξη που υπακούει σε κάθε περιορισμό. Το FET απορρίπτει ορισμένα αρχεία αμέσως. Για πολλά άλλα προβλήματα, ξεκινά μια αναζήτηση που δεν μπορεί να επιτύχει.

Μια αναζήτηση που αποτυγχάνει σας λέει μόνο ένα πράγμα: αυτή η αναζήτηση δεν βρήκε κάποια διάταξη. Δεν μπορεί να διακρίνει το «οι περιορισμοί σας το καθιστούν αδύνατο» από το «δεν το βρήκα αυτή τη φορά». Έτσι, αλλάζετε μια βαρύτητα, προσπαθείτε ξανά, και περιμένετε ξανά.

Εκεί χάνονται οι ώρες. Ο χρόνος αφιερώνεται σε μια αναζήτηση που δεν θα μπορούσε ποτέ να επιτύχει, όχι στην επίλυση.

Πρώτα μέτρημα, μετά αναζήτηση

Υπάρχει μια πιο γρήγορη ερώτηση που μπορείτε να κάνετε πριν από τη δημιουργία: είναι αυτό το ωρολόγιο εφικτό;

Αυτή η ερώτηση δεν χρειάζεται αναζήτηση. Χρειάζεται αριθμητική. Ο έλεγχος διαβάζει τους περιορισμούς σας και μετράει τον χώρο που αφήνουν:

• τις ώρες που πρέπει να διδάξει ένας εκπαιδευτικός, σε σχέση με τις χρονικές περιόδους που παραμένουν διαθέσιμες
• τις ώρες έναρξης που εξακολουθεί να έχει μια δραστηριότητα, αφού εφαρμοστεί κάθε κανόνας
• αν δύο μαθήματα που πρέπει και τα δύο να πραγματοποιηθούν αναγκάζονται να μπουν στην ίδια χρονική περίοδο
• αν μια ομάδα μαθημάτων χρειάζεται περισσότερες ημέρες από όσες έχει η εβδομάδα

Όταν ένα από αυτά τα μετρήματα φτάσει στο μηδέν, το ωρολόγιο είναι αδύνατο. Δεν είναι μια εικασία για τη δυσκολία. Είναι μια απόδειξη, και ο έλεγχος την παρέχει σε δευτερόλεπτα.

Ονομάζει τον κανόνα

Μια απόδειξη είναι χρήσιμη μόνο όταν μπορείτε να ενεργήσετε βάσει αυτής. Κάθε εύρημα λέει τι είναι λάθος, με απλά λόγια, και ονομάζει τους κανόνες που εμπλέκονται.

Στο παραπάνω παράδειγμα, το Μαθηματικά · 9A έχει 31 μαθητές. Η μεγαλύτερη αίθουσα που επιτρέπει ο περιορισμός Προτιμώμενη αίθουσα δραστηριότητας έχει 30 θέσεις. Η διόρθωση είναι σαφής: επιτρέψτε μια μεγαλύτερη αίθουσα, ή χωρίστε το τμήμα.

Τα ευρήματα είναι σε ομάδες. Η ομάδα Αποδεδειγμένα αδύνατο περιέχει τα προβλήματα που κανένας επιλυτής δεν μπορεί να ξεπεράσει. Οι άλλες ομάδες περιέχουν πιθανά λάθη και τα στοιχεία που κάνουν ένα αρχείο δύσκολο. Διαβάστε περισσότερα στο Τα τέσσερα είδη ευρημάτων.

Δύο μέρη για να το χρησιμοποιήσετε

Χωρίς λογαριασμό: ο βοηθός FET. Πηγαίνετε στο fetviewer.com/check και επιλέξτε το .fet αρχείο σας. Είναι δωρεάν και δεν υπάρχει όριο στους επανελέγχους. Το αρχείο σας παραμένει στον υπολογιστή σας. Ο περιηγητής σας στέλνει μόνο μια περίληψη στον διακομιστή μας, και η περίληψη δεν περιέχει ονόματα: εκπαιδευτικοί, αίθουσες και τμήματα μαθητών αποστέλλονται ως αριθμοί. Δεν αποθηκεύουμε τίποτα. Δείτε το Έλεγχος αρχείου χωρίς λογαριασμό.

Μέσα στον λογαριασμό σας: Προέλεγχος. Όταν εισάγετε το ωρολόγιό σας, η σελίδα Προέλεγχος βρίσκεται μαζί με τους περιορισμούς στην οθόνη δεδομένων. Κάθε ενότητα περιορισμών εμφανίζει επίσης μια περίληψη μιας γραμμής στην κορυφή. Αλλάξτε έναν περιορισμό, και ελέγξτε ξανά καθώς εργάζεστε. Δείτε το Τι κάνει ο προέλεγχος.

Τι δεν μπορεί να σας πει

Ο έλεγχος αποδεικνύει τις αδύνατες περιπτώσεις. Δεν μπορεί να αποδείξει ότι ένα αρχείο θα επιλυθεί, και δεν μπορεί να σας πει πόσο χρόνο θα πάρει το FET. Ένας καθαρός έλεγχος αφαιρεί έναν λόγο αποτυχίας. Η αναζήτηση παραμένει δουλειά του FET.

Επομένως, χρησιμοποιήστε και τα δύο, με αυτή τη σειρά:

1. Ελέγξτε το αρχείο.
2. Διορθώστε ό,τι αποδεικνύει ο έλεγχος.
3. Έπειτα, αφήστε το FET να κάνει αναζήτηση.

Διαβάστε την πλήρη σύγκριση στο Πώς διαφέρει ο έλεγχος από την επίλυση με το FET.

Πριν την επόμενη μεγάλη αναμονή

Την επόμενη φορά που μια δημιουργία διαρκεί πάρα πολύ, σταματήστε την. Ελέγξτε πρώτα το αρχείο. Αν ένας περιορισμός καθιστά το ωρολόγιο αδύνατο, το ανακαλύπτετε σε δευτερόλεπτα, και βλέπετε ποιος είναι.

Ελέγξτε το αρχείο FET σας →