Questions marquées «natural-proofs»

Exemples de jouets pour les obstacles à

Existe-t-il des exemples de jouets qui fournissent des informations «essentielles» sur la compréhension des trois obstacles connus au problème P= NPP=NPP = NP - la relativisation, les preuves naturelles et l'algèbre?

28 cc.complexity-theory relativization p-vs-np natural-proofs barriers

Théorème de la hiérarchie pour la taille du circuit

Je pense qu'un théorème de hiérarchie des tailles pour la complexité des circuits peut être une percée majeure dans le domaine. Est-ce une approche intéressante de la séparation des classes? La motivation de la question est que nous devons dire il existe une fonction qui ne peut pas être calculée …

18 cc.complexity-theory circuit-complexity lower-bounds natural-proofs hierarchy-theorems

Fonction monotone aléatoire

Dans le document Natural Proofs de Razborov-Rudich , page 6, dans la partie, ils expliquent qu'il existe de "solides preuves de limites inférieures contre les modèles de circuits monotones " et comment elles s'intègrent dans l'image, il y a les phrases suivantes: Ici, le problème n'est pas la constructivité - …

15 cc.complexity-theory circuit-complexity randomness natural-proofs boolean-functions

Obstacles et complexité du circuit monotone

Les preuves naturelles sont une barrière pour prouver les limites inférieures de la complexité des circuits des fonctions booléennes. Ils ne signifient pas directement une telle barrière à prouver minorations sur le complexité du circuit. Y a-t-il des progrès vers l'identification de tels obstacles? Y a-t-il d'autres obstacles dans le …

15 cc.complexity-theory circuit-complexity barriers natural-proofs

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.