Οι τέσσερις τρόποι αναζήτησης
Ο έλεγχος ταξινομεί κάθε εύρημα σε τέσσερα είδη, από τα οποία μόνο το πρώτο αποδεικνύει ότι το FET δεν μπορεί να δημιουργήσει το ωρολόγιο.
Τα περισσότερα εργαλεία ελέγχου ταξινομούν τα ευρήματά τους ανάλογα με το πόσο σοβαρά τα θεωρούν. Αυτό εδώ τα ταξινομεί με βάση αυτά που μπορεί να αποδείξει. Η αναφορά εμφανίζει τέσσερα είδη, πάντα με αυτή τη σειρά.
Κάθε είδος είναι μια καρτέλα με τον δικό της μετρητή. Ένα είδος που δεν βρήκε τίποτα δεν έχει καρτέλα, οπότε δεν θα δείτε καμία κενή.
Αποδεδειγμένα αδύνατα
Στην οθόνη: Αριθμητική, όχι εικασία.
Ο έλεγχος καταλήγει σε κάθε εύρημα εδώ μετρώντας. Συγκρίνει τις δεσμευμένες ώρες με τις ελεύθερες χρονικές περιόδους. Μειώνει τις έγκυρες ώρες έναρξης μιας δραστηριότητας σε καμία. Βρίσκει δύο δραστηριότητες που πρέπει να εκτελούνται ταυτόχρονα και να μοιράζονται έναν εκπαιδευτικό.
Μπορείτε να ενεργήσετε με βάση αυτά τα ευρήματα χωρίς να τα ελέγξετε οι ίδιοι. Αν η αναφορά λέει ότι μια δραστηριότητα δεν έχει έγκυρη ώρα έναρξης, ούτε ο επιλυτής μπορεί να βρει.
Αυτή είναι η δέσμευση του εργαλείου. Ο έλεγχος δεν αναφέρει ποτέ εδώ ένα εύρημα που δεν μπορεί να αποδείξει. Ένα εργαλείο που δίνει έστω και έναν ψευδή συναγερμό είναι ένα εργαλείο που παύετε να εμπιστεύεστε.
Λάθη
Στην οθόνη: Κάτι εδώ πιθανότατα δεν είναι αυτό που εννοούσατε.
Αυτά τα ευρήματα δεν εμποδίζουν την επίλυση. Δείχνουν ότι οι κανόνες σας λένε κάτι που πιθανότατα δεν σκοπεύατε.
- Ένας κανόνας αναφέρεται σε κάτι που δεν υπάρχει πλέον.
- Ένας κανόνας στοχεύει μια δραστηριότητα που έχετε απενεργοποιήσει.
- Δύο κανόνες λένε ακριβώς το ίδιο πράγμα.
- Μια ήπια προτίμηση δεν μπορεί ποτέ να εφαρμοστεί, οπότε το FET την αγνοεί.
Κανένα από αυτά δεν καθιστά ένα ωρολόγιο αδύνατο. Οι κανόνες που κανείς δεν καταλαβαίνει προκαλούν το μυστήριο της επόμενης περιόδου.
Τι καθιστά αυτό το αρχείο δύσκολο
Στην οθόνη: Αυτό δεν είναι πρόβλημα. Είναι η δουλειά που πρέπει να κάνει ο επιλυτής.
Τίποτα εδώ δεν είναι λάθος. Αυτό το είδος περιγράφει την πίεση στο αρχείο σας. Ονομάζει τις δραστηριότητες που δεν έχουν σχεδόν καθόλου περιθώριο. Ονομάζει τα μέρη της εβδομάδας που είναι πιεσμένα.
⚠ Διαβάστε αυτό το είδος πριν κάνετε την εβδομάδα πιο πιεστική.
Η επικεφαλίδα αλλάζει για ένα επιλυμένο αρχείο. Τότε γράφει Τι έκανε αυτό το αρχείο δύσκολο, επειδή η εργασία έχει ολοκληρωθεί.
Τι εκτελέστηκε σε αυτό το αρχείο
Στην οθόνη: Τύποι κανόνων που παραθέτουμε και μετράμε, ποτέ δεν κρίνουμε.
Αυτό το είδος είναι διακριτικό και αναφέρεται στον ίδιο τον έλεγχο παρά στο αρχείο σας. Παραθέτει τους τύπους κανόνων που μέτρησε. Σας ενημερώνει πότε η λειτουργία του επιλυτή σας εμποδίζει την εκτέλεση ενός ελέγχου. Σας ενημερώνει πότε ο έλεγχος σταμάτησε πρόωρα σε ένα πολύ μεγάλο αρχείο.
Διαβάστε αυτό το είδος όταν η αναφορά φαίνεται πιο άδεια από ό,τι περιμένατε. Συνήθως εξηγεί το γιατί.
Μια καρτέλα που λείπει δεν αποτελεί εγγύηση
Ο έλεγχος αναφέρει ό,τι μπορεί να αποδείξει. Δεν συνεπάγεται ότι όλα τα άλλα είναι σωστά.
Η απουσία της καρτέλας «Αποδεδειγμένα αδύνατα» σημαίνει «τίποτα δεν αποδείχθηκε αδύνατο». Δεν σημαίνει «αυτό θα επιλυθεί».
⚠ Αυτή είναι η πιο σημαντική πρόταση στη σελίδα, και η οθόνη καθιστά εύκολο να σας ξεφύγει: η καρτέλα απλώς απουσιάζει, οπότε δεν υπάρχει τίποτα να διαβάσετε και τίποτα να πατήσετε. Η απουσία είναι το καλό αποτέλεσμα, όχι το πλήρες.
Ένα ωρολόγιο μπορεί να είναι αριθμητικά εφικτό και παρόλα αυτά να πάρει πολύ χρόνο στο FET. Μπορεί ακόμα να χρειάζεται χαλάρωση των κανόνων πριν βρεθεί λύση. Δείτε το Τι δεν μπορεί να σας πει.