Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
A l'inverse de l'inégalité de Fano?
L'inégalité de Fano peut être exprimée sous de nombreuses formes, et une particulièrement utile est due (avec une modification mineure) à Oded Regev : Soit une variable aléatoire, et soit où est un processus aléatoire. Supposons l'existence d'une procédure qui, avec puisse reconstruire avec une probabilité . Alors Y = …
1
Quel est l'avantage de concevoir des algorithmes distribués déterministes?
Les algorithmes distribués qui résistent aux défaillances peuvent être déterministes ou probabilistes. Prenons par exemple le problème du consensus. Paxos est déterministe dans le sens où, étant donné l'hypothèse qu'il fait, il fonctionne toujours . En revanche, le consensus randomisé fonctionne avec une probabilité donnée. Quel est l'avantage de concevoir …
2
Pourquoi la linéarisation est-elle une propriété de sécurité et pourquoi les propriétés de sécurité sont-elles des ensembles fermés?
Dans le chapitre 13 «Objets atomiques» du livre «Algorithmes distribués» de Nancy Lynch, la linéarisation (également connue sous le nom d'atomicité) s'est avérée être une propriété de sécurité. C'est-à-dire que sa propriété de trace correspondante est non vide, fermée par préfixe et fermée par limite , comme défini dans la …
2
Almost-2-SAT NP-hard?
Un problème CNF SAT NP est-il difficile lorsque le nombre total (mais pas la largeur) des clauses de 3 termes ou plus est limité au-dessus par une constante? Qu'en est-il spécifiquement quand il n'y a qu'une seule clause de ce type?
1
Complexité de la convolution dans l'anneau max / plus
Nous pouvons faire la convolution en pour les polynômes plus / multiplier avec FFT. Cependant, l'approche ne semble pas très généralisable aux anneaux en général. Y a-t-il eu des progrès par rapport à la convolution naïve pour l'anneau max / plus?O(nlogn)O(nlog⁡n)O(n\log n)O(n2)O(n2)O(n^2) Je dois noter que l'on peut transformer soft-max …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.