Perguntas com a marcação «spanning-trees»

A árvore geradora de um grafo não direcionado conectado G é uma árvore com todos os vértices e algum número de arestas de G.

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 =>...