Questions marquées «barriers»

3
Constructivité dans la preuve naturelle et la complexité géométrique
Récemment, Ryan Willams a prouvé que la constructivité dans la preuve naturelle est inévitable pour dériver une séparation des classes de complexité: et . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} La constructivité dans la preuve naturelle est une condition que toutes les preuves combinatoires dans la complexité du circuit …
4
Preuves, barrières et P vs NP
Il est bien connu que toute preuve résolvant la question P vs NP doit surmonter la relativisation , les preuves naturelles et les barrières d' algèbre . Le diagramme suivant partitionne "l'espace de preuve" en différentes régions. Par exemple, correspond à l'ensemble des preuves qui relativisent et naturalisent. (théorie de …
2
Comment l'approche géométrique de Mulmuley-Sohoni pour produire des bornes inférieures évite-t-elle de produire des preuves naturelles (au sens de Razborov-Rudich)?
La formulation exacte du titre est due à Anand Kulkarni (qui a proposé la création de ce site). Cette question a été posée à titre d'exemple, mais je suis incroyablement curieux. Je connais très peu de choses sur la géométrie algébrique, et en fait, je n'ai aussi qu'une compréhension superficielle …
1
Obstacles à afficher
Nous savons tous que montrer a des barrières. Nous avons tous étudié ces barrières parce que nous croyons .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Cependant, supposez et il y a des gens sages qui croient que cette possibilité existe . Si c'est effectivement le cas, le fait même que nous n'ayons pas vu …
15 p-vs-np  barriers 
2
Y a-t-il une explication à la difficulté de prouver des bornes inférieures quadratiques pour des problèmes NP intéressants?
Ceci fait suite à ma question précédente: Meilleure complexité temporelle déterministe connue borne inférieure pour un problème naturel dans NP Je trouve déconcertant que nous n'ayons pas été en mesure de prouver de limite inférieure de temps déterministe quadratique pour un problème NP intéressant pour lequel les gens se soucient …
4
La diagonalisation capture-t-elle l'essence de la séparation des classes?
Je ne me souviens pas d'avoir vu une séparation de classes non basée sur des résultats de diagonalisation et de relativisation. La diagonalisation pourrait toujours être utilisée pour séparer les classes connues restantes, car des arguments non relativisants pourraient toujours être utilisés dans la conclusion de la diagonalisation ou dans …
2
Obstacles à la séparation d'autres classes de complexité
Do Natural preuves , relativisation et algébrisation affectent également la séparation des autres classes de complexité comme etc?L ≠ NL ≠ NP≠ c o NP≠ PH≠ PSPUNE CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Par exemple barrière des preuves naturelles doit affecter toute preuve de puisqu'elle séparera P ≠ N …
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.