Je cherche une référence (pas une preuve, que je peux faire) à l'extension suivante de Chernoff. Laissez sont des variables aléatoires booléennes, pas nécessairement indépendantes . Au lieu de cela, il est garanti que P r ( X i = 1 | C ) < p pour chaque i et …
Supposons que l'on ait un algorithme randomisé (BPP) UNEAA utilisant rrr bits de caractère aléatoire. Les moyens naturels d'amplifier sa probabilité de réussite à 1 - δ1−δ1-\delta , pour tout δ> 0δ>0\delta>0 choisi , sont Exécutions indépendantes + vote majoritaire: exécutez UNEAA indépendamment T= Θ ( log( 1 / δ)T=Θ(log(1/δ)T=\Theta(\log(1/\delta) …
Il y a un chercheur montrant que l'effacement d'un bit doit consommer de l'énergie, maintenant y a-t-il des recherches sur la consommation moyenne d'énergie d'un algorithme avec une complexité de calcul ? Je suppose que la complexité de calcul F ( n ) est corrélée à la consommation moyenne d'énergie, …
Qui a été la première personne à démontrer qu'une langue est en NP si un certificat pour la langue peut être vérifié en temps polynomial? Avons-nous un document qui le prouve formellement? Quand la communauté TCS a-t-elle commencé à mettre l'accent sur le non-déterminisme en faveur de la vérifiabilité? Je …
Disons qu'un graphe a la propriété si ses sommets peuvent être ordonnés de telle sorte que le graphe induit par les sommets a pour tout . En d'autres termes, l'ajout du sommet suivant dans notre classement n'affecte pas la métrique de distance du graphique actuel.M v 1 , v 2 …
Je recherche un document d'enquête sur les concepts importants dans le domaine des automates quantiques. J'ai trouvé Quantum Automata Theory - A Review by Hirvensalo, mais cela semble trop succinct pour saisir le sujet. Existe-t-il une enquête assez complète sur le thème des automates quantiques? Pouvez-vous également me signaler la …
Compte tenu composite N∈NN∈NN\in\Bbb N tamis de champ numérique général est le meilleur algorithme de factorisation connu pour factorisation entier de NNN . Il s'agit d'un algorithme randomisé et nous obtenons une complexité attendue de O(e649√(logN)13(loglogN)23)O(e649(logN)13(loglogN)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)à facteurNNN. J'ai cherché des informations sur la complexité du pire …
Je suis un majeur en mathématiques intéressé par TCS. Je veux auto-étudier les algorithmes et leur complexité pour résoudre les problèmes théoriques du groupe comme trouver l'ordre des éléments, l'énumération des coset, trouver le générateur, tester si un sous-ensemble donné génère le groupe. Quel livre dois-je lire?
en 1979 Hopcroft / Ullman a écrit que L ⊆ P ⊆ NP ⊆ PSpace est connu mais L ⊊ PSpace est le seul confinement approprié (et trivial) connu bien que tous soient supposés être des confinements appropriés, et "où les choses se tiennent encore" ~ 4 décennies plus tard …
Je lis des sondages de Trevisan et Lovett sur les applications de la combinatoire additive en TCS. La majorité de ces applications relèvent de la complexité de calcul , par exemple, les limites inférieures. Je me demande si la combinatoire additive a également trouvé des applications dans la conception d'algorithmes …
Je suis certain que je ne suis pas le premier à entretenir l'idée que je vais présenter. Cependant, il serait utile que je puisse trouver de la documentation liée à l'idée. L'idée est de construire une machine de Turing M avec la propriété que si P = NP alors M …
Nous connaissons donc tous la borne inférieure de l'arbre de de ⌈ log 2 n ! ⌉ sur le nombre le plus défavorable de comparaisons effectuées par un algorithme de tri comparatif (déterministe). Elle ne s'applique pas au tri par comparaison aléatoire (si nous mesurons les comparaisons attendues pour l'entrée …
En répondant à cette question sur cstheory , j'ai (officieusement) prouvé à la volée le théorème suivant: Théorème : Pour tout fixe, le probem du cycle hamiltonien reste NP-complet même s'il est limité à des graphes bipartites planaires non orientés de degré 3 maximum qui ne contiennent pas de cycles …
Donc, une recherche rapide sur le Web m'a amené à croire que "APXHardness implique qu'aucun QPTAS n'existe pour un problème à moins que [une certaine classe de complexité] ne soit incluse dans une [autre classe de complexité]" et c'est bien connu aussi! Il semble que tout le monde le sait, …
Les langages Dyck sont définis par la grammaire suivante S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sur l'ensemble des symboles { ( 1 , … , ( k , ) 1 , … , ) k } . Langues Intuitivement Dyck sont les langues de parenthèses équilibré de k genre différent. Par exemple, …
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.