Questions marquées «cc.complexity-theory»

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

2
Complexité en ligne droite des monômes
Soit kkk un champ. Comme d'habitude, pour un f∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}] nous définissons L(f)L(f)L(f) comme la complexité linéaire de fff sur kkk . Soit FFF l'ensemble des monômes de fff , à savoir les monômes qui apparaissent en fff avec un coefficient non nul. Est-il vrai que ∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le …
2
Comment juger que la définition de la complexité de calcul des réels est naturelle ou appropriée?
Comme nous le savons, la définition de la complexité de calcul de l'algorithme est presque sans controverse, mais la définition de la complexité de calcul des réels ou des modèles de calcul sur les réels n'est pas dans un tel cas. Nous connaissons le modèle et le modèle de Blum …
4
Problèmes polynomiaux dans les classes de graphes définis par des sous-graphes cycliques induits interdits
Crossposted de MO . Soit une classe de graphes définie par un nombre fini de sous-graphes induits interdits, tous cycliques (contenant au moins un cycle).CCC Existe-t-il des problèmes de graphes NP-difficiles qui peuvent être résolus en temps polynomial pour autre que Clique et Clique cover?CCC Si je me souviens bien, …
1
Presque toujours presque raison
Je suis à la recherche d'une classe de complexité qui se rapporte à APX comme BPP se rapporte à P. J'ai déjà posé la même question ici , mais peut-être TCS serait un endroit plus fructueux pour les réponses. La raison de la question est que dans les problèmes pratiques, …
1
Modèle de calcul dans SETH
Impagliazzo, Paturi et Calabro, Impagliazzo, Paturi ont introduit l'hypothèse de temps exponentiel (ETH) et l'hypothèse de temps fortement exponentiel (SETH). En gros, SETH dit qu'il n'y a pas d'algorithme qui résout SAT dans le temps . 1,99n1.99n1.99^n Je me demandais ce que cela signifierait pour briser SETH. Nous devons certainement …
2
Intuition pour la classe UP
La classe UP est définie comme telle: La classe de problèmes de décision pouvant être résolus par une machine NP telle que Si la réponse est «oui», exactement un chemin de calcul est accepté. Si la réponse est «non», tous les chemins de calcul sont rejetés. J'essaie de développer l'intuition …
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.