Questions marquées «randomized-algorithms»

Questions sur les algorithmes dont le comportement est déterminé non seulement par son entrée mais aussi par une source de nombres aléatoires.

16
Perdu dans un concert «unidirectionnel»

Vous et un ami vous êtes perdus sur la ligne à un concert, et vous ne savez pas lequel d'entre vous est plus avancé. Formellement, chacun a une coordonnée entière et ne peut marcher que vers une coordonnée plus élevée ou rester en place. En supposant que vous et votre ami suivez exactement le même...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...