Ciencias de la Computación

Encontré el problema P vs NP hace algún tiempo y recientemente he trabajado en el problema de la suma de subconjuntos. He leído el artículo de Wikipedia sobre el problema de la suma de subconjuntos, así como la pregunta Algoritmo de suma de subconjuntos He analizado el problema y encontrado …

8 algorithms  dynamic-programming 

Estoy aprendiendo programación en ML (OCaml), y antes pregunté sobre las funciones de tipo ML'a -> 'b . Ahora he estado experimentando un poco con funciones de tipo 'a list -> 'b list. Hay algunos ejemplos simples obvios: let rec loop l = loop l let return_empty l = [] …

8 programming-languages  typing  functional-programming 

Estoy tratando de atacar a TAOCP una vez más, dada la gran pesadez literal de los volúmenes que tengo problemas para comprometerme en serio. En TAOCP 1 Knuth escribe, página 8, conceptos básicos :: Dejar AAAser un conjunto finito de letras. DejarA∗A∗A^* ser el conjunto de todas las cadenas en …

7 formal-languages  turing-machines  computation-models