DNF non ambigus optimaux et conjecture d'Alon-Saks-Seymour réfutée

Les auteurs construisent des DNF non ambigus de largeur O(n) avec une complexité de certificat 0 en Ω(n²). Cette structure permet une réfutation optimale de la conjecture d'Alon-Saks-Seymour et une borne inférieure optimale en complexité de communication pour le problème Clique vs Independent Set, améliorant les résultats de Balodis et al. (FOCS 2021). Des applications en théorie de l'apprentissage et complexité de requêtes sont également présentées.