P / poly est la classe de problèmes de décision pouvant être résolus par une famille de circuits booléens de taille polynomiale. Il peut également être défini comme une machine de Turing à temps polynomial qui reçoit une chaîne de conseils de taille polynomiale en n et basée uniquement sur …
Une question récente (voir les conséquences de NP = PSPACE ) a demandé des conséquences "désagréables" de . Les réponses liste assez peu de conséquences de l' effondrement, y compris N P = c o N P et d' autres, en fournissant beaucoup de raisons de croire N P ≠ …
Les éléments suivants peuvent-ils tous tenir simultanément? LsLsL_s est contenu dansLs+1Ls+1L_{s+1} pour tous les entiers positifssss . { 0 , 1 }L=⋃sLsL=⋃sLsL = \bigcup_s L_s est la langue de tous les mots finis sur .{0,1}{0,1}\{0,1\} Il y a une classe de complexité et une notion de réduction appropriée pour telle …
Le théorème de prétention parallèle de Raz est un résultat important dans le PCP, l'inapproximation, etc. Le théorème est fomalisé comme suit. Un jeu , où S , T , A , B sont des ensembles finis, π est une distribution sur S × T et un prédicat V : …
Chaque fois que j'enseigne la NP-Complétude, les étudiants demandent "y a-t-il des problèmes connus pour ne pas appartenir à NP?" Comment répondriez-vous? Je leur donne généralement un problème indécidable à titre d'exemple, mais cela ne tourne souvent pas bien: (a) si je leur donne le problème de l'arrêt, ils pensent …
De nombreuses classes de complexité définies avec les machines de Turing ont des définitions en termes de circuits uniformes. Par exemple, P peut également être défini en utilisant des circuits de taille polynomiale uniforme, et de même BPP, NP, BQP, etc. peuvent être définis avec des circuits uniformes. Existe-t-il donc …
La classe de complexité PPAD est généralement définie en indiquant que End-Of-The-Line est PPAD-complete. La fin de ligne est un problème de recherche. L'entrée consiste en un graphe orienté dans lequel chaque nœud a au plus en degré et en degré 1. Le graphe est donné par une fonction calculable …
Considérons le jeu suivant sur un graphique pondéré dirigé avec une puce à un nœud.GGG Tous les nœuds de sont marqués par A ou B.GGG Il y a deux joueurs Alice et Bob. Le but d'Alice (Bob) est de déplacer la puce vers un nœud marqué par A (B). Initialement, …
Imaginons que nous ayons deux ensembles mmm de points X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Quelle est la complexité (temporelle) des tests s'ils diffèrent uniquement par la rotation? : il existe une matrice de rotation OOT=OTO=IOOT=OTO=IOO^T=O^TO=I telle que X=OYX=OYX=OY ? Il y a un problème de représentation des valeurs réelles ici - pour …
Le théorème de la hiérarchie temporelle stipule que les machines de turing peuvent résoudre plus de problèmes si elles ont (assez) plus de temps. Tient-il d'une manière ou d'une autre si l'espace est limité asymptotiquement? Comment liéDTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) au DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} pousse assez vite? Je m'intéresse particulièrement au …
'Étant donné a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , y a-t-il x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' est NPNP\mathsf{NP} -complet. À quelle classe de complexité «Étant donné a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , y a-t-il x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c »?
La page wikipedia sur PSPACE mentionne que l'inclusion n'est pas connue pour être stricte (malheureusement sans références).NL ⊂ PHNL⊂PHNL\subset PH Q1: Qu'en est-il de et L ⊂ P # P - sont-ils connus pour être stricts?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Si non, existe-t-il une classe établie …
Pouvons-nous prouver que pour chaque langue qui n'est pas -hard (cela suppose ), ? Sinon, cela peut-il être prouvé sous des hypothèses raisonnables?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
Je lisais un article de Buhrman et Homer "Circuits superpolynomiaux , oracles presque clairsemés et hiérarchie exponentielle" . Au bas de la page 2, ils remarquent que les résultats de Kannan impliquent que n'a pas de circuits de taille polynomiale. Je sais que dans la hiérarchie de temps exponentielle, est …
Est-ce que NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}maintenez? Clairement NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mais il me semble que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} est "déterministe" ce qui me fait croire que c'est vrai. Existe-t-il une preuve simple (ou peut-être juste par définition)?
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.