Cette question a été migrée à partir de Computer Science Stack Exchange car il est possible d'y répondre sur Theoretical Computer Science Stack Exchange. Migré il y a 3 ans . Dans l'article scientifique de 2016 " Réalisation d'un algorithme de Shor évolutif " [ 1 ], les auteurs factorisent …
L'accès à un oracle fournirait une accélération super-polynomiale majeure pour tout dans N P - P (en supposant que l'ensemble n'est pas vide). Il est cependant moins clair combien P bénéficierait de cet accès Oracle. Bien sûr, l'accélération dans P ne peut pas être super-polynomiale, mais elle peut quand même …
Regardons l'avenir dans une trentaine d'années. Soyons optimistes et supposons que les domaines liés à l'apprentissage automatique continuent de se développer aussi rapidement que ce que nous avons vu au cours des 10 dernières années. Ce serait formidable, mais alors quel serait le rôle de l'algorithmique traditionnelle dans un tel …
Pour une constante , on peut déterminer en temps linéaire, étant donné un graphe d'entrée G , si sa largeur d'arbre est ≤ k . Cependant, lorsque k et G sont donnés en entrée, le problème est NP-difficile. ( Source ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Cependant, lorsque le graphe d'entrée est …
Il est bien connu que de nombreux paramètres de graphique importants montrent une concentration (forte) sur des graphiques aléatoires, au moins dans une certaine plage de probabilité de bord. Quelques exemples typiques sont le nombre chromatique, la clique maximale, l'ensemble indépendant maximal, la correspondance maximale, le numéro de domination, le …
La théorie de la complexité, à travers des concepts tels que la complétude NP, fait la distinction entre les problèmes de calcul qui ont des solutions relativement efficaces et ceux qui sont insolubles. La complexité "fine" vise à affiner cette distinction qualitative en un guide quantitatif quant au temps exact …
Soit deux langues régulières données par les NFA en entrée.M 1 , M 2L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Supposons que nous souhaitons vérifier si . Cela peut clairement être fait par un algorithme quadratique qui calcule l'automate produit de , mais je me demandais si quelque chose de plus efficace était connu.M 1 , …
J'ai lu dans de nombreux articles que déterminer la constante de Cheeger d'un graphe est -hard. Cela semble être un théorème populaire, mais je n'ai jamais trouvé ni citation ni preuve pour cette affirmation. À qui dois-je donner du crédit? Dans un vieux document (Isoperimetric Numbers of Graphs, J. Comb. …
Un polynôme est une projection monotone d'un polynôme g ( y 1 , … , y m ) si m = poly ( n ) , et il y a une affectation π : { y 1 , … , y m } → { x 1 , … , …
Étant donné deux chaînes x et y, je veux créer une taille minimale DFA qui accepte x et rejette y. Une façon de le faire est la recherche par force brute. Vous énumérez les DFA en commençant par le plus petit. Vous essayez chaque DFA jusqu'à ce que vous en …
Un important article de 2003 de Childs et al.a introduit le "problème des arbres conjoints": un problème admettant une accélération quantique exponentielle qui ne ressemble à pratiquement aucun autre problème de ce genre que nous connaissons. Dans ce problème, on nous donne un graphique exponentiellement grand comme celui illustré ci-dessous, …
Actuellement, Bitcoin dispose d'un système de preuve de travail (PoW) utilisant SHA256. D'autres fonctions de hachage utilisent des graphiques d'utilisation du système de preuve de travail, l'inversion partielle de la fonction de hachage. Est-il possible d'utiliser un problème de décision dans la théorie des nœuds comme la reconnaissance de nœuds …
Pour un alphabet fini fixe , un langage formel sur est régulier s'il existe un automate fini déterministe (DFA) sur qui accepte exactement .L ΣΣΣ\SigmaLLLΣΣ\SigmaLΣΣ\SigmaLLL Je m'intéresse aux langues qui sont "presque" régulières dans le sens où elles peuvent être reconnues par des familles d'automates de taille qui ne croissent …
Je sais que trivialement la fonction OR sur nnn variables X1, … , Xnx1,…,xnx_1,\ldots, x_n peut être représentée exactement par le polynôme p ( x1, … , Xn)p(x1,…,xn)p(x_1,\ldots,x_n) comme tel: p ( x1, … , Xn) = 1 - ∏ni = 1( 1 - xje)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , …
J'essaie actuellement de trouver des problèmes EXPSPACE-complets (principalement pour trouver l'inspiration pour une réduction), et je suis surpris par le petit nombre de résultats à venir. Jusqu'à présent, je les ai trouvés et j'ai du mal à élargir la liste: universalité (ou autres propriétés) des expressions régulières avec exponentiation. problèmes …
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.