Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

1
P / poly
P/ poly= NP/ polyP/poly=NP/polyP/poly = NP/poly impliqueNP⊆ P/ polyNP⊆P/polyNP \subseteq P/poly , qui à son tour a des conséquences intéressantes comme l'effondrement de la hiérarchie polynomiale. Y a-t-il des implications intéressantes pour P/ poly≠ NP/ polyP/poly≠NP/polyP/poly \neq NP/poly ?
4
Problèmes non connus pour être PSPACE-complete
Quels sont les problèmes avec les propriétés suivantes: 1) ils sont la restriction de problèmes (peut-être bien connus) qui sont PSPACE-complets; 2) les versions restreintes sont dans PSPACE, mais c'est un problème ouvert si elles sont complètes pour PSPACE (ou même si elles sont NP-hard). Quatre exemples de "puzzles & …
1
Ces jeux de coloriage ont-ils été résolus?
Dans l'article "Sur la complexité de certains jeux de coloriage", Bodlaender pose quelques questions ouvertes sur la complexité de décider si le joueur 1 ou 2 a une stratégie gagnante dans certains jeux de coloriage de graphiques. Est-ce que quelqu'un sait s'ils ont été résolus? 1) Dans une partie, deux …
2
Portée de la barrière des preuves naturelles
La barrière des preuves naturelles de Razborov et Rudich déclare que sous des hypothèses cryptographiques crédibles, on ne peut pas espérer séparer NP de P / poly en trouvant des propriétés combinatoires de fonctions constructives, grandes et utiles. Il existe plusieurs résultats bien connus qui parviennent à échapper à la …
2
Comment le calcul lambda capture-t-il exactement la notion intuitive de calculabilité?
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons que les MT n'existent pas - alors comment …
1
Applications pratiques des jeux de parité
Existe-t-il des exemples d'applications pratiques des jeux de parité, c'est-à-dire des systèmes, dans le monde réel, qui peuvent être représentés comme des jeux de parité? La documentation généralement associée sur les jeux de parité n'a presque jamais d'exemple pratique de cette application.
3
Utilisations des catégories
Je ne suis pas un informaticien théorique. Je suis un théoricien stable de l'homotopie utilisant -categories. J'ai vu des applications de la théorie des catégories et de la théorie des topos à l'informatique théorique, et je me demandais s'il y avait un moyen d'utiliser -catégories (et de préférence pour moi, …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.