Questions marquées «pr.probability»

Questions en théorie des probabilités

32
Livre sur la probabilité

Alors que j'ai réussi quelques cours sur la théorie des probabilités, tant au lycée qu'à l'université, j'ai du mal à lire les articles TCS en matière de probabilité. Il semble que les auteurs des articles du TCS connaissent très bien la probabilité. Ils fonctionnent comme par magie avec des...

31
Inverser Chernoff lié

Y a-t-il une borne inverse de Chernoff qui limite la probabilité de queue au moins autant. c'est-à-dire si X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_n sont des variables aléatoires binomiales indépendantes et μ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] . Alors peut-on prouver...

21
Limites sur

Si est une fonction convexe, l'inégalité de Jensen indique que , et mutatis mutandis lorsque est concave. De toute évidence, dans le pire des cas, vous ne pouvez pas dépasser la limite en termes de pour un convexe , mais existe-t-il une limite qui va dans ce sens si est convexe mais "pas trop...

17
La complexité de l'échantillonnage (approximativement) de la transformée de Fourier d'une fonction booléenne

Une chose que les ordinateurs quantiques peuvent faire (peut-être même avec seulement des circuits quantiques BPP + log-depth) est d'échantillonner approximativement la transformée de Fourier d'une fonction booléenne évaluée en P.±1±1\pm 1 Ici et ci-dessous quand je parle d'échantillonner la...

15
Maintenir l'ordre dans une liste en

Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel...

14
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?

Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: seq :: a -> b -> b...