Points essentiels
- Une contrainte dure est une règle de faisabilité. L’emploi du temps doit la respecter.
- Commencez par les conflits d’enseignant, de classe et de salle, les cours requis, les indisponibilités et la journée d’enseignement.
- N’utilisez pas les contraintes dures pour des préférences qui peuvent être arbitrées avec une pénalité.
- Si l’ensemble dur est impossible, le bon signal est l’infaisabilité, pas une violation cachée.
Qu’est-ce qui appartient à l’ensemble dur?
Placez une règle dans l’ensemble dur lorsqu’une violation rendrait l’emploi du temps inutilisable. Les exemples standards sont les conflits, les cours requis manquants, l’indisponibilité des enseignants et les activités hors journée d’enseignement.
Cette distinction compte parce que le solveur traite les règles dures autrement que les préférences. Il doit respecter chaque règle dure. Il ne peut optimiser les contraintes souples qu’après avoir trouvé un ensemble dur faisable.
Contraintes dures courantes
Utilisez votre politique locale d’emploi du temps, mais vérifiez d’abord ces contraintes dures.
- Aucun enseignant n’est planifié à deux endroits dans la même période
- Aucune classe ou groupe d’élèves n’a deux cours dans la même période
- Aucune salle n’est affectée à deux activités au même moment
- Chaque cours requis est planifié
- Les enseignants ne sont pas planifiés pendant leurs périodes indisponibles
- Toutes les activités se trouvent dans la journée d’enseignement
Comment classer une contrainte dure
Classez chaque règle selon son effet sur la faisabilité. Gardez une question simple: l’emploi du temps peut-il être utilisé si cette règle est rompue?
- Écrivez la règle en langage clair.
- Vérifiez si elle empêche un conflit d’enseignant, de classe ou de salle.
- Vérifiez si elle protège un cours requis ou une période indisponible.
- Vérifiez si elle maintient les activités dans la journée d’enseignement.
- Déplacez les préférences comme la répartition ou les journées compactes vers l’ensemble souple.
- Exécutez l’ensemble dur et traitez l’infaisabilité comme un signal de revue du modèle.
Pourquoi trop de règles dures créent de l’infaisabilité
Une contrainte dure n’est pas une préférence forte. Si trop de préférences deviennent obligatoires, il peut ne pas exister d’emploi du temps faisable. Le solveur n’a pas le droit d’échanger une règle dure contre une autre.
Utilisez les contraintes dures pour les règles qui ne doivent jamais être rompues. Utilisez les contraintes souples pour les objectifs de qualité comme la répartition des cours, les trous des enseignants, les journées compactes ou l’évitement de certaines matières en dernière période.
Liste de vérification de l’ensemble dur
Utilisez cette liste avant la génération.
- Les règles de conflit d’enseignant, de classe et de salle sont présentes
- Les cours requis sont inclus dans le modèle
- Les périodes indisponibles des enseignants sont marquées
- Les limites de la journée d’enseignement sont présentes
- Les préférences ne sont pas marquées dures par habitude
- Chaque résultat infaisable mène à une revue du modèle avant de rétrograder une règle
Comment contraintes dures et souples fonctionnent ensemble
Le premier objectif est la faisabilité: chaque règle dure doit être respectée. Le second objectif est la qualité: le solveur minimise les pénalités des contraintes souples.
Cet ordre aide à expliquer un résultat. Un emploi du temps qui respecte toutes les règles dures peut encore avoir une mauvaise répartition ou des trous pour les enseignants. Ce sont des problèmes de qualité à régler dans l’ensemble souple, pas des raisons d’affaiblir l’ensemble dur.
Questions des planificateurs sur les contraintes dures
Qu’est-ce qui rend une règle d’emploi du temps dure?
Une règle dure doit être respectée pour que l’emploi du temps soit utilisable. Si elle peut être enfreinte avec une pénalité, c’est une contrainte souple.
L’indisponibilité d’un enseignant est-elle toujours dure?
Les périodes indisponibles sont dures, car l’enseignant ne doit pas y être planifié. Les périodes libres préférées sont souples, car le solveur les respecte seulement si le planning le permet.
Que faire si l’ensemble dur ne peut pas être résolu?
Le générateur doit signaler l’infaisabilité. Examinez les données et l’ensemble dur avant de transformer une préférence en règle obligatoire.