Vérification de couverture
Vérifier une grille
Collez un système 1/N/2, déclarez les signes que vous aviez cochés, et vérifiez exactement ce qu’il garantit — quel que soit l’outil qui l’a produit. Le calcul est exhaustif, il tourne dans votre navigateur, et vos lignes n’en sortent pas.
Choisir le format
Le format fixe le nombre de matchs attendu sur chaque ligne. Aucune ligne n’est complétée ni tronquée pour entrer dans le format.
Coller les lignes
Une ligne par combinaison, avec les symboles 1, N et 2. Les séparateurs espace, tabulation, virgule et point-virgule sont acceptés, « n » minuscule est lu comme « N ». Les lignes vides sont ignorées, celles commençant par « # » sont des commentaires.
0 ligne lue · 0 distincte · 0 rejetée
Déclarer les signes cochés
C’est vous qui déclarez l’espace vérifié, pas vos lignes. Un système réduit omet très souvent des signes que son auteur avait pourtant cochés : les lignes seules ne permettent donc pas de reconstituer la grille d’origine.
Choisir la garantie annoncée
Indiquez la garantie que ce système prétend offrir. Elle sera confrontée à ce qu’il tient réellement.
N-1 — au moins une ligne se trompe sur 1 match au maximum.
Vérifier
Collez au moins une ligne pour lancer la vérification.
Comment la vérification fonctionne
La vérification est exhaustive, jamais échantillonnée. Chaque scénario de l’espace que vous avez déclaré est énuméré, puis comparé à chacune de vos lignes. Un scénario est couvert si au moins une ligne s’en écarte d’un nombre de matchs inférieur ou égal à la tolérance demandée.
- S’il existe un seul scénario non couvert, la garantie est fausse et ce scénario vous est montré.
- Le scénario affiché est toujours le premier dans l’ordre canonique 1 < N < 2 : la même saisie donne toujours le même contre-exemple.
- La vérification ne porte que sur l’espace déclaré. Elle ne dit rien des résultats qui en sortiraient.
- Le calcul s’exécute dans un worker de votre navigateur. Vos lignes ne sont envoyées à aucun serveur et ne sont pas conservées.
Limites locales : 1 000 000 scénarios, 5 000 lignes, 20 matchs, et 20 000 000 comparaisons. Au-delà, la vérification est refusée explicitement plutôt qu’approximée.
Vérifié avec le contrat DuoDesk Coverage Verifier v1.0.0.