Perguntas com a marcação «data-structures»

14
Hashing Universal na Prática

HHHh : U→ { 0 , … , M- 1 }h:você→{0 0,...,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, X ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤ 1M∀x,y∈você,x≠y⇒Prh∈H[h(x)=h(y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} O conceito de hash universal agora faz parte padrão...

11
Implementação de estrutura de dados imutável (persistente) semelhante a uma matriz com indexação rápida, acréscimo, pré-acréscimo, iteração

Estou procurando uma estrutura de dados persistente semelhante à matriz (mas imutável), permitindo operações rápidas de indexação, acréscimo, pré-acréscimo e iteração (boa localidade). O Clojure fornece Vector persistente, mas é apenas para anexação rápida. O vetor de Scala efetivamente anexa e...

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: 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 =>...