NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Considérons maintenant familles de circuits avec portes d'oracle - disons, , où A est une classe complexe de circuit contenant logspace avec accès oracle à une autre classe B , par des portes d'oracle annexés à la base de A . Existe-t-il des exemples pathologiques similaires dans …
Je traduis un livre sur LISP et naturellement il touche certains éléments de -calculus. Ainsi, une notion d'extensionnalité y est mentionnée aux côtés de certains modèles de -calculus, à savoir: et D ^ \ infty (oui, avec l'infini en haut). Et on dit que \ mathcal {P} _ \ omega …
Etant donné un état quantique choisi uniformément au hasard parmi un ensemble de N états mixtes ρ 1 . . . ρ N , quelle est la probabilité moyenne maximale d'identifier correctement A ?ρAρA\rho_ANNNρ1...ρNρ1...ρN\rho_1 ... \rho_NAAA Ce problème peut être transformé en un problème de distinction à deux états en …
Ceci est similaire à SAT, sauf que nous connaissons l'affectation de chaque variable, mais ne connaissons l'affectation d'aucun opérateur booléen. Dans ce cas, trouver l'affectation de chaque opérateur pour que l'expression évalue à une valeur booléenne donnée un problème NPC? En fait, je me demandais si trouver l'affectation des opérateurs …
On nous donne un matroïde. Notre objectif est de trouver un ensemble d'éléments de taille minimale ayant une intersection non vide avec chaque base du matroïde. Le problème est-il étudié auparavant? Est-ce en P? Par exemple, dans un matroïde couvrant un arbre, l'ensemble de frappe minimum doit être une coupe …
Réponse: inconnue Un grand merci à tous ceux qui ont contribué à affiner cette question et les définitions qui y sont associées. Les définitions de ce wiki ont fourni le point de départ du plus récent wiki TCS " P contient-il des langues dont l'existence est indépendante de PA ou …
Il a été montré dans l'article "Programmation entière avec un nombre fixe de variables" que les programmations entières avec un nombre constant de contraintes (ou variables) peuvent être résolues polynomialement. Cela vaut-il pour la programmation 0-1?
Soit une matrice ( ) réelle avec la propriété que toute collection de colonnes est de rang complet.k ≤ n A kk × nk×nk\times nk ≤ nk≤nk\le nUNEUNE{\bf A}kkk Q: Existe - t-il un moyen efficace de trouver de manière déterministe un vecteur tel que la matrice augmentée conserve la …
Je lis Harrow, Hassidim et Lloyd's paper Quantum algorithms for linear systems of equations . Sur la troisième page de ce document, ils écrivent Ensuite, nous appliquons l'évolution hamiltonienne conditionnelle on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T- 1τ= 0| τ⟩ ⟨ T permet|C⊗ ei A τto/ …
Un théorème de produit direct, de manière informelle, dit que calculer instances d'une fonction est plus difficile que calculer une fois.f fkkkFffFff Les théorèmes typiques du produit direct (par exemple, le lemme XOR de Yao) examinent la complexité du cas moyen et soutiennent (très grossièrement) que ne peut pas être …
Dana Angluin ( 1987 ; pdf ) définit un modèle d'apprentissage avec des requêtes d'appartenance et des requêtes théoriques (contre-exemples d'une fonction proposée). Elle montre qu'un langage régulier qui est représenté par un DFA minimal de états peut être appris en temps polynomial (où les fonctions proposées sont des DFA) …
Je recherche une technique générale qui peut m'aider à prouver non seulement que les automates Buchi sont un modèle plus expressif que LTL, mais que la formule spécifique peut / ne peut pas être exprimée en LTL. Par exemple, " se produit au moins sur des positions paires" peut être …
Le problème de la partition à 3 cliques est le problème de déterminer si les sommets d'un graphe, disons , peuvent être partitionnés en 3 cliques. Ce problème est NP-difficile par une simple réduction du problème de la colorabilité 3. Il n'est pas difficile de voir que la réponse à …
Je connais l'algorithme de descente de gradient qui peut trouver le minimum local (maximum) d'une fonction donnée. Y a-t-il une modification de la descente du gradient qui permet de trouver le minimum absolu (maximum), où la fonction a plusieurs extrema locaux? Existe-t-il des techniques générales, comment améliorer un algorithme qui …
EDIT (Par Tara B): Je serais toujours intéressé par une référence à une preuve de cela, car je devais le prouver moi-même pour mon propre papier. Je cherche la preuve du Théorème 4 qui apparaît dans cet article: Une hiérarchie infinie d'intersections de langues sans contexte par Liu et Weiner. …
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.