Vérificateur DFS Codeforces

Cet outil s’adresse aux programmeurs compétitifs qui résolvent des problèmes Codeforces où le comportement DFS est déterminant. Il accepte une description du graphe, le contexte du problème et une soumission ou une politique de traversée optionnelle pour valider le comportement attendu. En se concentrant sur l’ordre de traversée, le traitement des arêtes et la couverture des composants, il aide à identifier des erreurs subtiles de logique DFS avant la soumission. Conceptuellement, le vérificateur construit un modèle de graphe à partir des nœuds et des arêtes fournis, respecte les arêtes dirigées ou non dirigées, et effectue un DFS de référence selon un ordre de voisins défini. Il simule ensuite la traversée du candidat, compare la séquence produite et l’ensemble des nœuds visités avec la référence, et signale les écarts tels que visites prématurées, nœuds manqués ou traitement incorrect des cycles et des arêtes retour. Il prend en charge l’indexation 1-based CF et peut fonctionner avec ou sans exécution réelle du code, selon le cas d’utilisation. Bénéficiaires: participants CF, entraîneurs enseignant les propriétés DFS, et opérateurs de plateforme recherchant des vérifications de problèmes reproductibles. Différenciateurs: représentations de graphe flexibles, ordre de traversal déterministe, rapports de divergences détaillés et gestion robuste des cas limites comme nœuds isolés, multi-arêtes et boucles sans intégration complète du juge. Fonctionnalités clés: validation d’entrée, normalisation du graphe, simulation DFS, comparaison des résultats et résumés de divergences exportables. Cas d’utilisation typiques: exercices pratiques, vérifications d’éditoriaux et démonstrations en classe. Des exemples montrent comment des écarts dans l’ordre de visite ou le choix des voisins influent sur les résultats, facilitant le débogage rapide et la compréhension du comportement DFS.