Questions marquées «complexity-classes»

Classes de complexité informatique et leurs relations


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 …




1
Quelle est la complexité du comptage du nombre de solutions d'un problème P-Space Complete? Que diriez-vous des classes plus complexes?
Je suppose qu'il s'appellerait # P-Space mais je n'ai trouvé qu'un seul article le mentionnant vaguement. Que diriez-vous de la version de comptage des problèmes EXP-TIME-Complete, NEXP-Complete ainsi que EXP-SPACE-Complete? Y a-t-il des travaux antérieurs que l'on peut citer en ce qui concerne cela ou tout autre type d'inclusion ou …


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 …


3
Quels algorithmes peuvent être exprimés en utilisant un langage fonctionnel total avec des opérateurs de données parallèles?
Imaginez un langage de programmation fonctionnel dont les seuls types de données sont des scalaires numériques et des imbrications arbitraires de tableaux. La langue ne dispose d'aucun moyen d'itération illimitée, les éléments suivants sont donc interdits: boucles explicites (pas très utiles sans effets secondaires de toute façon) récursivité fonctions arbitraires …

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
Les oracles sont-ils associatifs?
Cette question peut avoir une réponse évidente ... mais voici la question de toute façon. Intuitivement, c'est la déclaration plausible suivante - "une machine avec un sous-programme A qui à son tour a un sous-programme B est la même chose qu'une machine avec un sous-programme A qui a accès au …

1
Quelle est la complexité de ce jeu?
Ceci est une généralisation de ma question précédente . Que soit une machine déterministe polynomial qui peut poser des questions à un oracle . Initialement, est vide mais cela peut être modifié après un jeu qui sera décrit ci-dessous. Soit une chaîne.MMMUNEUNEAUNEUNEAXXx Considérez le jeu Alice et Bob suivant. Initialement, …

1
Ce jeu EXPSPACE est-il complet?
Que soit une machine déterministe polynomial qui peut poser des questions à un oracle A . Initialement, A est vide mais cela peut être modifié après un jeu qui sera décrit ci-dessous. Soit x une chaîne.MMMUNEUNEAUNEUNEAXXx Considérez le jeu Alice et Bob suivant. Initialement, Alice et Bob ont respectivement et …

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.