Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

7
Notion formelle pour la complexité énergétique des problèmes de calcul
La complexité informatique comprend l’étude de la complexité temporelle ou spatiale des problèmes informatiques. Du point de vue de l'informatique mobile, l'énergie est une ressource informatique précieuse. Alors, existe-t-il une adaptation bien étudiée des machines de Turing qui prend en compte l'énergie consommée lors de l'exécution d'algorithmes? De même, existe-t-il …
2
Si P = NP, pourrions-nous obtenir des preuves de la conjecture de Goldbach, etc.?
Ceci est une question naïve, de mon expertise; excuses à l'avance. La conjecture de Goldbach et de nombreuses autres questions non résolues en mathématiques peuvent être écrites sous forme de formules courtes dans le calcul des prédicats. Par exemple, le document de Cook "Les ordinateurs peuvent-ils découvrir systématiquement des preuves …
3
NC = P conséquences?
Le zoo de complexité souligne dans l'entrée sur EXP que si L = P, alors PSPACE = EXP. Depuis NPSPACE = PSPACE par Savitch, dans la mesure où je peux dire, l’argument de remplissage de base sous-jacent s'étend pour montrer que Nous savons également que L NL NC P via …
3
Conséquences de l'affacturage dans P?
L'affacturage n'est pas connu pour être NP-complet. Cette question portait sur les conséquences de la factorisation de NP-complet. Curieusement, personne n’a demandé les conséquences de l’affacturage dans P (peut-être parce qu’une telle question est triviale). Donc mes questions sont: Quelles seraient les conséquences théoriques de l'affacturage en P? Comment l'image …
17
La dureté monte en complexité informatique?
Le problème de bande passante minimum est de trouver un ordre des nœuds de graphe sur une ligne entière qui minimise la distance la plus grande entre deux nœuds adjacents quelconques. Une chenille est un arbre formé à partir de la trajectoire principale par la croissance de trajectoires dont les …
10
Principaux nouveaux articles sur la complexité informatique
Nous entendons souvent parler de recherches classiques et de publications dans le domaine de la complexité informatique (Turing, Cook, Karp, Hartmanis, Razborov, etc.). Je me demandais s'il y avait des articles récemment publiés considérés comme essentiels et à lire absolument. Récemment, je veux dire dans les 5/10 dernières années.
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.