Questions marquées «cc.complexity-theory»

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

1
Les gens regardent-ils l'imbrication des boucles dans les circuits booléens?
Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels, ils sont courants. Maintenant, modulo …
2
Dureté des séparateurs de sommet
Pour un graphe donné , le problème du séparateur demande s'il existe un ensemble de sommets ou d'arêtes de petite cardinalité (ou poids) dont la suppression divise G en deux graphes disjoints de tailles approximativement égales. C'est ce qu'on appelle le problème du séparateur de sommets lorsque l'ensemble supprimé est …
3
Deux variantes de NP
Voici deux variantes de la définition de NP. Ils définissent (presque certainement) des classes de complexité distinctes, mais ma question est: existe-t-il des exemples naturels de problèmes qui correspondent à ces classes? (Mon seuil pour ce qui compte comme naturel ici est un peu plus bas que d'habitude.) Classe 1 …
2
Exemple de quelque chose de différent pour les oracles génériques et aléatoires?
Soit un oracle générique au sens de la catégorie Cohen / Baire. Soit un oracle aléatoire.ggGRRR Existe-t-il des classes de complexité A et B avec ou le dans l'autre sens, UNEg= BgetUNER≠ BRUNEg=BgetUNER≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RUNEg≠ BgetUNER= BR?UNEg≠BgetUNER=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La question a été inspirée par un commentaire de Scott Aaronson .
2
Minimum True Monotone 3SAT
Je m'intéresse à une variation SAT où la formule CNF est monotone (aucune variable n'est niée). Une telle formule est évidemment satisfaisable. Mais disons que le nombre de vraies variables est une mesure de la qualité de notre solution. Nous avons donc le problème suivant: VÉRITABLE MONOTONE 3SAT MINIMUM INSTANCE: …
1
Une obstruction comme ETH
Nous savons que sous ETHETHETH nous ne pouvons pas résoudre KKK -SUM en temps F( K) p o l y( n K)F(K)poly(nK)f(K)poly(nK) sous n'importe quelle fonction F( K)F(K)f(K) (généralement 2O ( K)2O(K)2^{O(K)} ). Y a-t-il une conjecture qui empêche une complexité ( journaln )O ( K)(Journal⁡n)O(K)(\log n)^{O(K)} (ceci est entièrement …
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.