Preguntas etiquetadas con spanning-trees

El árbol de expansión de un grafo G conectado no dirigido es un árbol que tiene todos los vértices y cierto número de aristas de G.

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: 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...