J'ai récemment rencontré un article de Coudron et Yuen sur l'expansion aléatoire à l'aide d'appareils quantiques. Le résultat principal du travail est qu'il est possible de générer un caractère aléatoire "infini" à partir d'un nombre constant de sources (c'est-à-dire que le nombre de bits...
Dans une formule CNF opposée en lecture deux, chaque variable apparaît deux fois, une fois positive et une fois négative. Je m'intéresse au problème , qui consiste à calculer la parité du nombre d'assignations satisfaisantes d'une formule CNF opposée lue deux
Soit soit un graphe acyclique orienté , et soit λ est une fonction de marquage en correspondance chaque sommet v ∈ V à une étiquette λ ( v ) dans un alphabet fini L . Écriture n : = | V | , une sorte topologique de G est une bijection σ de { 1 , … , n } à V (c'est-à-dire un ordre deG = ( V,...
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=...
En général, décider si une équation diophantienne a des solutions entières équivaut au problème d'arrêt. Je crois que décider si une équation diophantienne quadratique a une solution est NP-complet. Existe-t-il une restriction supplémentaire sur les équations impliquées qui génère un problème de...
Question générale Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme? Voici quelques questions plus spécifiques: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Pour toutes les fonctions constructibles spatiales f(n)f(n)f(n) ,...
Je m'intéresse au problème classique INCLUSION DE LA LANGUE RÉGULIÈRE. Étant donné une expression régulière , nous notons L ( E ) le langage régulier qui lui est associé. (Les expressions régulières sont sur un alphabet fixe Σ , avec les opérations union, Kleene-star et concaténation.)EEEL (...
D'après le théorème de la hiérarchie spatiale, on sait que si fff est constructible dans l'espace, alors DSPACE ( 2f(n)2f(n)2f(n) ) n'est pas égal à DSPACE ( f(n))f(n))f(n)) . Ici, par DSPACE ( f(n))f(n))f(n)) je veux dire la classe de tous les problèmes qui peuvent être résolus dans l'espace...
Quelles sont les preuves que ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP est la classe de langues pour laquelle il existe une machine de Turing probabiliste qui fonctionne en temps polynomial et répond toujours Oui sur une entrée appartenant à la langue et répond Non avec une probabilité d'au moins la...
Est-il possible (barre oblique pouvez-vous fournir un exemple) de réduire la complexité de calcul d'un problème en utilisant un algorithme parallèle qui ne nécessite pas un certain nombre de processeurs par rapport à la taille
Par BPP / linéaire, je me réfère aux machines BPP avec conseil linéaire, qui remplissent la promesse quand on leur donne le conseil "correct", et la dérandomisation devrait nous donner, disons, un algorithme P / linéaire ou (SUBEXP / linéaire). Si nous utilisons des hypothèses non uniformes, je...
Montrer une fonction qui est constructible dans l'espace mais pas dans le temps.F( n )f(n)f(n) Ce problème est-il lié à une éventuelle séparation entre les classes de complexité DTIME (f (n)) et SPACE (f
Un système d'étoile est une famille de sous - ensembles de n de n éléments-set S . Un système d'étoile est graphique s'il y a un graphe G ( V , E ) de telle sorte que F est la famille des quartiers de sommet dans G . Il est N P- complet de décider si un système d'étoiles donné est graphique.FFFSSSG...
Exemples de variantes bornées d'ensembles indécidables:NPNPNP Problème d'arrêt limité = { | La machine NTM M arrête et accepte x dans les étapes t }( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMXxxttt Mosaïque délimitée = { | il y a un carrelage d'un carré de zone t 2 par des tuiles de T }( T, 1t)(T,1t)(T,...
Je m'intéresse aux instances individuelles "dures" de problèmes NP-complets. Ryan Williams a discuté du problème SAT0 sur le blog de Richard Lipton . SAT0 demande si une instance SAT a la solution spécifique composée de tous les 0. Cela m'a fait penser à la construction d'instances SAT susceptibles...
Avons-nous des classes de complexité concernant, disons, la complexité moyenne des cas? Par exemple, existe-t-il une classe de complexité (nommée) pour les problèmes qui prennent le temps polynomial attendu pour se décider? Une autre question considère la meilleure complexité de cas , illustrée...
Supposons que P≠NPP≠NPP \neq NP Soit utiliser la notation suivante pour la tétration (ie.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | est la taille de l'instance x. Soit L une langue, L|f( i ) ≤ | x | < g( i ):...
Les générateurs invulnérables sont définis comme suit: Soit une relation NP, et M une machine qui accepte L ( R ) . Informellement, un programme est un générateur invulnérable si, sur l'entrée 1 n , il produit des paires instance-témoin ( x , w ) ∈ R , avec | x | = N , selon une répartition en...
Existe-t-il une classe de complexité contenant des homologues en ligne de problèmes d'optimisation? Sinon, comment définir une telle classe? Nous savons que de nombreux problèmes ont leur version en ligne: par exemple, la version en ligne du problème d'emballage de bac. Les problèmes en ligne sont...
Je me demande de savoir wether il y a la langue rares (même construit par diagolanization retardée) dans NPI sous l'hypothèse que .P≠ NPP≠NPP \neq