La contrainte qui rend votre planning FET impossible
Une mauvaise contrainte peut rendre un fichier FET impossible et la recherche peut durer des heures, alors vérifiez le fichier d'abord : c'est gratuit et ne prend que quelques secondes.
Vous terminez la saisie des données. Vous appuyez sur Générer dans FET. Puis vous attendez.
Dix minutes passent. Une heure passe. Le nombre d'activités placées n'atteint jamais le total. Finalement, vous arrêtez la génération et vous n'avez pas de planning. Pire, vous ne savez pas pourquoi.
Le problème est souvent une seule contrainte
Un planning scolaire comporte des centaines de contraintes. La plupart sont correctes. L'une d'entre elles ne l'est pas, et vous ne pouvez pas la voir.
Par exemple :
- Une classe de 31 apprenants ne peut utiliser que des salles de 30 places.
- Un enseignant a 26 heures de cours, mais n'est disponible que pour 24 créneaux.
- Une règle ne laisse à une activité aucune heure de début légale dans la semaine.
- Quatre cours doivent avoir lieu des jours différents, mais le groupe d'apprenants n'a cours que trois jours par semaine.
Chacun de ces cas rend le planning impossible. Aucun agencement ne peut y satisfaire. Mais le fichier semble normal. FET l'ouvre et commence la recherche.
Pourquoi la recherche ne vous le dit pas
FET est très bon dans ce qu'il fait. Il cherche un agencement qui respecte chaque contrainte. FET refuse certains fichiers immédiatement. Pour de nombreux autres problèmes, il lance une recherche qui ne peut pas aboutir.
Une recherche qui échoue ne vous dit qu'une chose : cette recherche n'a pas trouvé d'agencement. Elle ne peut pas faire la différence entre « vos contraintes rendent cela impossible » et « je ne l'ai pas trouvé cette fois-ci ». Alors vous changez une pondération, vous réessayez, et vous attendez à nouveau.
C'est là que les heures s'envolent. Le temps est consacré à une recherche qui ne pouvait jamais aboutir, pas à la résolution.
Compter d'abord, puis chercher
Il y a une question plus rapide à poser avant de générer : ce planning est-il seulement possible ?
Cette question ne nécessite pas de recherche. Elle nécessite de l'arithmétique. La vérification lit vos contraintes et compte la marge de manœuvre qu'elles laissent :
- les heures qu'un enseignant doit donner, par rapport aux créneaux qui restent disponibles
- les heures de début qu'une activité conserve, après application de toutes les règles
- si deux cours qui doivent tous deux avoir lieu sont forcés dans le même créneau
- si un groupe de cours nécessite plus de jours que la semaine n'en compte
Quand l'un de ces comptes atteint zéro, le planning est impossible. Ce n'est pas une supposition sur la difficulté. C'est une preuve, et la vérification la fournit en quelques secondes.
Elle nomme la règle
Une preuve n'est utile que si vous pouvez agir en conséquence. Chaque résultat indique ce qui ne va pas, en termes simples, et nomme les règles impliquées.
Dans l'exemple ci-dessus, Mathématiques · 9A a 31 apprenants. La plus grande salle que la contrainte Salle préférée pour l'activité autorise a 30 places. La solution est claire : autoriser une salle plus grande, ou diviser la classe.
Les résultats sont regroupés. Preuve d'impossibilité contient les problèmes qu'aucun solveur ne peut contourner. Les autres groupes contiennent les erreurs probables et les éléments qui rendent un fichier difficile. Pour en savoir plus, lisez Les quatre types de résultats.
Deux endroits où l'utiliser
Sans compte : l'assistant FET. Allez sur fetviewer.com/check et choisissez votre fichier .fet. C'est gratuit et il n'y a pas de limite au nombre de vérifications. Votre fichier reste sur votre ordinateur. Votre navigateur n'envoie qu'un résumé à notre serveur, et ce résumé ne contient aucun nom : les enseignants, les salles et les groupes d'apprenants sont transmis sous forme de numéros. Nous ne stockons rien. Voir Vérifier un fichier sans compte.
Dans votre compte : Pré-vol. Lorsque vous importez votre planning, la page Pré-vol se trouve avec les contraintes sur l'écran des données. Chaque section de contraintes affiche également un résumé d'une ligne en haut. Modifiez une contrainte et vérifiez à nouveau pendant que vous travaillez. Voir Ce que fait la vérification pré-vol.
Ce qu'elle ne peut pas vous dire
La vérification prouve les cas impossibles. Elle ne peut pas prouver qu'un fichier sera résolu, ni vous dire combien de temps FET mettra. Une vérification sans erreur élimine une cause d'échec. La recherche reste le travail de FET.
Alors, utilisez les deux, dans cet ordre :
- Vérifiez le fichier.
- Corrigez ce que la vérification prouve.
- Puis laissez FET chercher.
Lisez la comparaison complète dans En quoi la vérification diffère de la résolution par FET.
Avant la prochaine longue attente
La prochaine fois qu'une génération dure trop longtemps, arrêtez-la. Vérifiez d'abord le fichier. Si une contrainte rend le planning impossible, vous le saurez en quelques secondes, et vous verrez laquelle.