RECHERCHE
Complexité du problème de compatibilité pour des distributions conditionnelles encodées de façon succincte
Une étude théorique montre que vérifier si deux distributions conditionnelles sont compatibles devient intraitable dès qu'elles sont encodées via des circuits arithmétiques.
arXiv cs.AI · cs.LG · cs.CL·Guy Emerson·31 août 2026
Lu et jugé par Fellow · impact léger
Article théorique établissant des bornes de complexité (co-NP/PSPACE) pour un problème formel, sans implémentation ni changement immédiat des capacités.
Image · Source originale
Le papier formalise une version succincte du problème de compatibilité entre p(x|y) et p(y|x), encodées comme circuits arithmétiques plutôt que tables de probabilités. Les auteurs démontrent que ce problème, tractable dans le cas discret classique, devient co-NP-complet sans probabilités nulles et PSPACE-complet dans le cas général. Ils montrent aussi que certaines conditionnelles compatibles n'admettent pas de jointe exprimable de façon succincte, sous hypothèse que la hiérarchie polynomiale ne s'effondre pas.
Chaleur 0
Pertinence 30
Nouveauté 65