Ciencias de la Computación

Sé poca teoría del tipo dependiente. De wikipedia: Un tipo dependiente es un tipo cuya definición depende de un valor. Y de mi curso de teoría de tipos recuerdo que un tipo dependiente es: Familia de tipos indexados por un tipo. Pero tengo una confusión con respecto a los tipos …

18 dependent-types  hoare-logic 

Me sorprende que la gente siga agregando nuevos tipos en las teorías de tipos, pero nadie parece mencionar una teoría mínima (o no puedo encontrarla). Pensé que los matemáticos aman las cosas mínimas, ¿no? Si entiendo correctamente, en una teoría de tipos con un carácter impredecible Prop, la abstracción λ …

18 type-theory  dependent-types 

La pregunta subyacente: ¿Qué hace el cálculo lambda por nosotros que no podemos hacer con las propiedades básicas de la función y la notación generalmente aprendidas en el álgebra de la escuela secundaria? En primer lugar, ¿qué significa abstracto en el contexto del cálculo lambda? Mi comprensión de la palabra …

18 lambda-calculus  programming-paradigms 

La memoria se usa para muchas cosas, según tengo entendido. Sirve como caché de disco y contiene las instrucciones de los programas, y su pila y montón. Aquí hay un experimento mental. Si a uno no le importa la velocidad o el tiempo que le toma a una computadora hacer …

18 computability  memory-management  memory-hardware 

Tengo una pequeña pregunta de historia, a saber, como dice el título, estoy buscando los primeros usos de los árboles (como estructura de datos, árbol de búsqueda, lo que sea) en informática.

18 data-structures  reference-request  trees  history 

El conjunto de Mandelbrot es una hermosa criatura en matemáticas. Hay muchas imágenes hermosas de este conjunto creado con alta precisión, por lo que obviamente este conjunto es "computable" en algún sentido. Sin embargo, lo que me preocupa es el hecho de que ni siquiera es enumerable recursivamente, simplemente porque …

18 computability 

Se dice que 'Eugene Goostman', un programa de computadora desarrollado para simular a un niño de 13 años, logró convencer al 33 por ciento de los jueces de que era humano, y así pasó la prueba de Turing. El programa de computadora, también conocido como chatbot, pretendía ser un niño …

18 reference-request  artificial-intelligence  history  turing-test 

La ordenación rápida aleatoria es una extensión de la ordenación rápida en la que el elemento pivote se elige aleatoriamente. ¿Cuál puede ser la peor complejidad de tiempo de este algoritmo? Según yo, debería ser , ya que el peor de los casos ocurre cuando el pivote elegido al azar …

18 algorithm-analysis  runtime-analysis  sorting  quicksort 

La definición principal de Turing machine (TM), al menos en mi propio libro de texto de referencia (Hopcroft + Ullman 1979) es determinista. Por lo tanto, mi propia comprensión del problema de detención es principalmente para TM determinista, aunque soy consciente de que puede considerarse para otros tipos de autómatas. …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Al pensar en un problema, me di cuenta de que necesitaba crear un algoritmo eficiente para resolver la siguiente tarea: El problema: se nos da una caja cuadrada bidimensional del lado nnn cuyos lados son paralelos a los ejes. Podemos verlo a través de la parte superior. Sin embargo, también …

18 algorithms  data-structures  time-complexity  computational-geometry 

Los problemas de corte son problemas en los que cierto objeto grande debe cortarse en varios objetos pequeños. Por ejemplo, imagine que tiene una fábrica que trabaja con grandes hojas de vidrio en bruto, de anchura y la longitud . Hay varios compradores, cada uno de los cuales quiere un …

18 reference-request  computational-geometry  lower-bounds  packing 

¿Existe un algoritmo / procedimiento sistemático para probar si un lenguaje no tiene contexto? En otras palabras, dado un idioma especificado en forma algebraica (piense en algo como ), pruebe si el idioma está libre de contexto o no . Imagine que estamos escribiendo un servicio web para ayudar a …

18 algorithms  formal-languages  context-free  decision-problem 

Dado un dado sesgado del lado , ¿cómo puede generarse un número aleatorio en el rango manera uniforme? La distribución de probabilidad de las caras del dado no se conoce, todo lo que se sabe es que cada cara tiene una probabilidad distinta de cero y que la distribución de …

18 probability-theory  randomized-algorithms  random-number-generator 

Considere el siguiente programa de computadora muy simple: for i = 1 to n: y[i] = x[p[i]] Aquí e y son matrices de n elementos de bytes, y p es una matriz de palabras de n elementos. Aquí n es grande, por ejemplo, n = 2 31 (de modo que …

18 parallel-computing  cpu-cache  memory-hardware 

Estoy interesado en una pequeña variante de mosaico, el rompecabezas: cada borde de un mosaico (cuadrado) está etiquetado con un símbolo de , y se pueden colocar dos mosaicos adyacentes uno al otro si el símbolo en el borde frontal de un mosaico es y el símbolo en el borde …

18 complexity-theory  np-complete  tiling