Questions marquées «probability-theory»

Questions sur la branche des mathématiques concernée par la modélisation et l'analyse de phénomènes aléatoires.

1
Nombre de cliques dans les graphiques aléatoires
Il existe une famille de graphes aléatoires à nœuds ( due à Gilbert ). Chaque bord possible est inséré indépendamment dans avec une probabilité . Soit le nombre de cliques de taille dans .nG(n,p)G(n,p)G(n, p)nnnp X k k G ( n , p )G(n,p)G(n,p)G(n, p)pppXkXkX_kkkkG(n,p)G(n,p)G(n, p) Je sais que E(Xk)=(nk)⋅p(k2)E(Xk)=(nk)⋅p(k2)\mathbb{E}(X_k)=\tbinom{n}{k}\cdot …
1
Quelle est la chance que ce code se termine?
J'ai écrit ce code Python et je me suis demandé s'il ne se terminait pas simplement parfois (en supposant que nous avions une mémoire / temps infinie et aucune limite de profondeur de récursivité). Intuitivement, vous penseriez qu'il se termine, car à un moment donné, vous devez avoir de la …
2
Existe-t-il des travaux sur la création d'un cadre de théorie des nombres réels / probabilités dans COQ?
COQ est un prouveur de théorème interactif qui utilise le calcul des constructions inductives, c'est-à-dire qu'il s'appuie fortement sur les types inductifs. En utilisant celles-ci, les structures discrètes comme les nombres naturels, les nombres rationnels, les graphiques, les grammaires, la sémantique, etc. sont représentées de manière très concise. Cependant, depuis …
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.