◆ Marge ≥ 3 : classification complète — 622 560 cas vérifiés, 0 violation ; 63 160
T-T3 — theoreme — statut : établi
Définition
Marge ≥ 3 : classification complète — 622 560 cas vérifiés, 0 violation ; 63 160 réalisations certifiées KO-6 (amendement Krajewski : m_ij ≤ 3, k ≤ 3, dim ≤ 24)
Détails
Statut affiché : démontré / certifié C12.1. Nœuds / URL : idem + `src/enumeration.py`, `data/results/solutions_63160.json`
Sources dans l'écosystème
Aucune donnée disponible pour le moment.
Correspondances
| Source | Nature | Cible | Commentaire |
|---|---|---|---|
| N-PORT | cite | T-T3 | Programme K3-NOETIC : T1 dim 7 a R=3 ; T3 622560 cas 0 violation ; T4 33148 solutions ; loi KO-6 rangs 5 et 7 interdits |
Prédictions liées
Aucune donnée disponible pour le moment.
Programmes liés
Aucune donnée disponible pour le moment.