RECHERCHE
PAPIERVerdict : légerComplexité 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·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.
Traduit et résumé par IA à partir de l'article d'arXiv ↗ · Comment Fellow travaille
#théorie-computationnelle#modèles-probabilistes#complexité#circuits-arithmétiques
Une question sur cet article ?
Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.