Ciencias de la Computación

Normalmente en los algoritmos no nos importa la comparación, la suma o la resta de números, suponemos que se ejecutan en el tiempo . Por ejemplo, suponemos esto cuando decimos que la clasificación basada en la comparación es , pero cuando los números son demasiado grandes para caber en los …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Sé que las operaciones a nivel de bits son tan rápidas en los procesadores modernos, porque pueden operar en 32 o 64 bits en paralelo, por lo que las operaciones a nivel de bits solo requieren un ciclo de reloj. Sin embargo, la adición es una operación compleja que consiste …

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Pregunta: "Ciertas propiedades de un lenguaje de programación pueden requerir que la única forma de ejecutar el código escrito en él sea mediante interpretación. En otras palabras, la compilación en un código de máquina nativo de una CPU tradicional no es posible. ¿Cuáles son estas propiedades?" Compiladores: Principios y práctica …

72 programming-languages  compilers  interpreters 

A menudo se dice que la búsqueda de tabla hash funciona en tiempo constante: se calcula el valor hash, lo que le da un índice para una búsqueda de matriz. Sin embargo, esto ignora las colisiones; en el peor de los casos, todos los elementos caen en el mismo depósito …

71 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

¿Cómo pueden las computadoras decir la hora y la fecha correctas cada vez? Cada vez que cierro la computadora (la apago) todas las conexiones y procesos se detienen. ¿Cómo es que cuando vuelvo a abrir la computadora indica la hora exacta exacta? ¿La computadora no se apaga por completo cuando …

69 computer-architecture  clocks 

Hace unos años, MapReduce fue aclamado como la revolución de la programación distribuida. También ha habido críticas, pero en general hubo un entusiasmo exagerado. ¡Incluso se patentó! [1] El nombre recuerda mapy está reduceen la programación funcional, pero cuando leo (Wikipedia) Paso del mapa: el nodo maestro toma la entrada, …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

Soy un estudiante universitario de CS. Entiendo cómo se le ocurrió a Turing su máquina abstracta (modelar a una persona haciendo un cálculo), pero me parece una abstracción incómoda y poco elegante. ¿Por qué consideramos una "cinta" y una cabeza de máquina que escribe símbolos, cambia de estado y desplaza …

68 turing-machines  computation-models 

He oído hablar de inducción (estructural). Le permite construir estructuras finitas a partir de otras más pequeñas y le ofrece principios de prueba para razonar sobre tales estructuras. La idea es lo suficientemente clara. ¿Pero qué pasa con la coinducción? ¿Como funciona? ¿Cómo se puede decir algo concluyente sobre una …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

La gente suele decir que los analizadores LR (k) son más potentes que los analizadores LL (k) . Estas declaraciones son vagas la mayor parte del tiempo; en particular, ¿deberíamos comparar las clases para una fija o la unión sobre todas las k ? Entonces, ¿cómo es realmente la situación? …

67 formal-languages  formal-grammars  parsers  reference-question 

Como ingeniero de software, escribo mucho código para productos industriales. Cosas relativamente complicadas con clases, hilos, algunos esfuerzos de diseño, pero también algunos compromisos para el rendimiento. Realizo muchas pruebas, y estoy cansado de probar, así que me interesé en las herramientas de prueba formales, como Coq, Isabelle ... ¿Podría …

66 programming-languages  program-correctness  software-verification 

Me gustaría saber si ha habido algún trabajo que relacione el código legal con la complejidad. En particular, supongamos que tenemos el problema de decisión "Dado este libro de leyes y este conjunto particular de circunstancias, ¿es el acusado culpable?" ¿A qué clase de complejidad pertenece? Hay resultados que han …

64 complexity-theory  np-complete  decision-problem 

Actualmente estoy terminando mi maestría en informática. Estoy interesado en lenguajes de programación, especialmente en sistemas de tipos. Me interesé en la investigación en este campo y el próximo semestre comenzaré un doctorado sobre el tema. Ahora aquí está la verdadera pregunta: ¿cómo puedo explicar lo que (quiero) hacer a …

64 programming-languages  education  typing  research 

Me pregunto si es posible construir compiladores para lenguajes dinámicos como Ruby para tener un rendimiento similar y comparable a C / C ++. Por lo que entiendo sobre los compiladores, tomemos Ruby, por ejemplo, compilar el código Ruby nunca puede ser eficiente porque la forma en que Ruby maneja …

64 programming-languages  compilers 

En lenguajes como C, se espera que el programador inserte llamadas gratis. ¿Por qué el compilador no hace esto automáticamente? Los humanos lo hacen en un tiempo razonable (ignorando los errores), por lo que no es imposible. EDITAR: Para referencia futura, aquí hay otra discusión que tiene un ejemplo interesante.

63 compilers  memory-management  garbage-collection 

Te dan una matriz de 2 n2n2n elementos una1, una2, ... , unnorte, b1, b2, ... bnortea1,a2,…,an,b1,b2,…bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n La tarea es intercalar la matriz, utilizando un algoritmo en el lugar para que la matriz resultante se vea como si1, una1, b2, una2, ... , …

62 algorithms  arrays  permutations  in-place