Comment la vérification diffère de la résolution par FET
FET recherche une organisation, alors que la vérification compte les contraintes : l'un peut vous dire en quelques secondes qu'un planning est impossible, l'autre ne peut absolument pas le faire.
Les gens demandent souvent pourquoi ils ne devraient pas simplement appuyer sur générer dans FET et voir ce qui se passe. Vous pouvez le faire. Ceci explique ce que la vérification ajoute, et ce qu'elle ne fait pas.
FET cherche. La vérification compte.
FET essaie des arrangements. Il est très doué pour cela. Mais une recherche qui échoue vous indique seulement que cette recherche a échoué. Il ne peut pas distinguer "vos règles rendent cela impossible" de "je ne l'ai pas trouvé cette fois-ci".
La vérification fait de l'arithmétique. Elle ne place jamais une activité. Elle compte l'espace que vos règles laissent :
- les heures qu'un Enseignant doit effectuer par rapport aux créneaux qu'il lui reste
- les heures de début qu'une Activité possède encore une fois que chaque règle a été appliquée
- si deux Activités qui doivent toutes deux avoir lieu sont forcées dans le même créneau
- si un groupe d'Activités nécessite plus de Jours que la semaine n'en contient
Lorsque l'un de ces comptes atteint zéro, aucune recherche ne peut aboutir, et aucune attente ne changera cela.
La différence pratique
Temps. Une exécution de FET qui échoue peut prendre beaucoup de temps. La vérification répond en quelques secondes.
Ce que vous apprenez d'un échec. FET s'arrête sans dire quelles règles étaient en cause. La vérification les nomme, et pour une Activité impossible, elle montre quelle règle a supprimé quelle heure de début, dans l'ordre.
Ce qu'un bon résultat signifie. Une exécution de FET qui réussit vous donne un Planning réel — ce que la vérification ne fait jamais. Une vérification propre ne vous donne aucun Planning du tout. Elle élimine seulement une explication d'échec.
Utilisez les deux, dans cet ordre
- Exécutez la vérification en premier. Si elle prouve que quelque chose est impossible, une exécution de FET ne peut pas réussir, donc en lancer une est du temps passé à ne rien apprendre.
- Corrigez ce qu'elle a prouvé. Elle nomme les règles et montre la trace.
- Ensuite, laissez FET chercher. C'est la partie que seul FET fait.
- Ramenez le résultat pour le lire, l'imprimer et le partager.
Ce que la vérification ne peut pas vous dire
⛔ Elle ne peut pas vous dire qu'un Planning est possible. Rien ici ne prouve cela. Un fichier peut passer chaque vérification et rester difficile, ou nécessiter que des règles soient assouplies avant qu'il n'aboutisse.
⛔ Elle ne peut pas vous dire combien de temps FET prendra. Le nombre de difficulté est une lecture de température pour comparer votre propre fichier avant et après un changement, pas une prédiction.
Voir Ce qu'elle ne peut pas vous dire.