En général, la bande de requête d'un oracle compte pour la complexité spatiale d'une MT. Cependant, il semble plausible d'autoriser une bande oracle en écriture seule (comme celle utilisée dans les réductions d'espace L). Une telle construction est-elle utile? Cela donne-t-il des résultats...
La classe de complexité PPAD (par exemple, le calcul de divers équilibres de Nash) peut être définie comme l'ensemble des problèmes de recherche totaux polytemporaires réductibles en FIN DE LIGNE : FIN DE LIGNE : Étant donné les circuits S et P avec n bits d'entrée et n bits de sortie tels que P (0...
L'auto-référentialité du problème P / NP a parfois été mise en évidence comme un obstacle à sa résolution, voir, par exemple, l'article de Scott Aaronson, P vs NP est-il formellement indépendant ? L'une des nombreuses résolutions envisageables pour P / NP serait une démonstration que le problème...
[Remarque: je crois que cette question ne dépend en aucune façon de l'exactitude ou de l'inexactitude du document de Deolalikar.] Sur le blog de Scott Aaronson Shtetl Optimized , dans la discussion sur la récente tentative de Deolalikar sur P vs NP, Leonid Gurvits a fait le commentaire suivant :...
Il existe une grande littérature sur les «tests de propriétés» - le problème de faire un petit nombre de requêtes de boîte noire à une fonction pour distinguer deux cas:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff is a member of some class of functions CC\mathcal{C} fff is εε\varepsilon-far from...
Avec certains algorithmes randomisés, vous pouvez dérandomiser l'algorithme, en supprimant (à un coût possible en temps d'exécution) l'utilisation de bits aléatoires et en maximisant une limite inférieure sur l'objectif (généralement calculé en utilisant le fait que les théorèmes concernent les...
Les langages foliaires sont une belle façon de définir uniformément de nombreuses classes de complexité. La plupart des classes de complexité sont généralement spécifiées par un modèle de calcul (par exemple, TM déterministe / randomisé) et une ressource liée (temps logarithmique, espace poly,...
En lisant quelques discussions récentes sur l'informatique quantique ( ici , ici et ici ), je me souviens d'une question intéressante sur la puissance d'une sorte de machine de conservation de -norm.ℓpℓp\ell_p Pour les personnes travaillant dans la théorie de la complexité allant vers la complexité...
Une chaîne d'addition est une séquence d'entiers positifs où et chaque index , nous avons pour certains indices . La longueur de la chaîne d'addition est ; la cible de la chaîne d'addition est .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i n x n(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots,...
Dans le document "A Compendium of Problems Complete for P" de Greenlaw, Hoover et Ruzzo (PS) (PDF) , il y a une liste de problèmes dans P qui ne sont pas connus pour être en NC et pas connus pour être P-complete non plus. . (Cette liste résume tous les problèmes ouverts dans l'excellente enquête de...
Supposons que nous ayons une matrice n par n. Est-il possible de réorganiser ses lignes et colonnes de manière à obtenir une matrice triangulaire supérieure? Cette question est motivée par ce problème: Ordre topologique positif Le problème de décision d'origine est au moins aussi difficile que...
Soit une fonction. Nous voulons estimer la moyenne de ; c'est-à-dire: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )F: { 0 , 1 }n→ ( 2- n, 1 ]F:{0,1}n→(2-n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]FFfE [f( n ) ] = 2- n∑x ∈ { 0 , 1 }nF( x
Immerman et Szelepcsenyi indépendamment prouvé que . En utilisant leur technique de comptage inductif, Borodin et al ont prouvé que S A C i est fermé sous complémentation, pour i > 0 . Avant le théorème de Reingold ( S L = L ), Nisan et Ta-Shma ont prouvé S L = c o S L , en utilisant des...
J'utilisais Jung ( http://jung.sourceforge.net/ ) pour visualiser le classement des pages et je l'ai trouvé un peu lent et difficile à mettre à l'échelle au-delà de 100 nœuds. Je me demandais quels autres outils les gens utilisent pour l'analyse et la visualisation des réseaux / réseaux...
Un problème classique dans la théorie des probabilités est d'exprimer la probabilité d'un événement en termes d'événements plus spécifiques. Dans le cas le plus simple, on peut dire . Write Let pour l'événement .A B A ∩ BP[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]P[UNE∪B]=P[UNE]+P[B]-P[UNE∩B]P[A \cup...
Supposons que nous ayons un problème paramétré par un paramètre de valeur réelle p qui soit "facile" à résoudre lorsque et "difficile" lorsque p = p 1 pour certaines valeurs p 0 , p 1 .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Un exemple est le comptage des configurations de spin sur les...
Je recherche une bonne enquête sur les algorithmes et la complexité de l'algèbre linéaire (opérations comme le rang, l'inverse, les valeurs propres, ... pour les matrices booléennes, et entières / rationnelles) en mettant l'accent sur les algorithmes parallèles ( hiérarchie N C ) et polytemporels ....
La plupart des articles sont maintenant rédigés en collaboration, et les collaborateurs sont souvent situés dans des endroits différents. J'ai toujours utilisé des systèmes de contrôle de version pour mes documents et mon code, et j'ai également trouvé le contrôle de version critique pour les...
Dans la classe de complexité , il y a des problèmes supposés NE PAS être dans la classe , c'est-à-dire des problèmes avec des algorithmes parallèles déterministes. Le problème du débit maximal en est un exemple. Et il y a des problèmes que l'on croyait être dans , mais aucune preuve n'a encore été...
Il est bien connu que l'exponentiation modulaire (la partie principale d'une opération RSA) est coûteux en calcul, et pour autant que je comprends les choses, la technique d' exponentiation modulaire de Montgomery est la méthode préférée. L'exponentiation modulaire est également mise en évidence...