Preguntas etiquetadas con time-complexity

13
¿Versión restringida del problema Clique?

Considere la siguiente versión del problema Clique donde la entrada es de tamaño se nos pide que encontremos una camarilla de tamaño . La restricción es que el procedimiento de decisión no puede cambiar el gráfico de entrada en ninguna otra representación y no puede usar ninguna otra representación...

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