Estoy familiarizado con una docena de lenguajes de programación que tienen excepciones de alguna manera, sin embargo, llegué a ser testigo de dos tendencias "patológicas". No parece haber un patrón común o jerarquía de excepciones. Básicamente, cada idioma presenta su propia versión, y si las...
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 número...
¿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...
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 solo una fracción insignificante de los datos cabe en...
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 probabilidad es la misma...
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 hay...
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 se selecciona en...
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 ucraniano de...
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...
Gracias al teorema de corte mínimo de flujo máximo, sabemos que podemos usar cualquier algoritmo para calcular un flujo máximo en un gráfico de red para calcular un corte -min. Por lo tanto, la complejidad de calcular un corte mínimo ( s , t ) no es más que la complejidad de calcular un flujo...
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...
Sé que las computadoras cuánticas pueden procesar una superposición de todos los estados posibles con un solo paso a través de la lógica. Eso parece ser lo que las personas señalan como lo que hace que las computadoras cuánticas sean especiales o útiles. Sin embargo, después de haber procesado...
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
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 el procesamiento, ¿cuál es la...
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...
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...
En el documento "Un tipo de datos JSON replicado libre de conflictos" , encontré esta notación para definir formalmente "reglas": ¿Cómo se llama esta notación? ¿Cómo lo leo? Por ejemplo: el DOC regla no tiene nada en su "numerador", ¿por qué no? Las reglas EXECy GETparecen tener dos términos...
Ajuste: expresiones regulares con referencias lenguaje unario (alfabeto de 1 símbolo) ¿Se puede resolver el siguiente problema en esta configuración: Dada una expresión regular con referencias inversas, ¿define un lenguaje regular? Por ejemplo, (aa+)\1define un lenguaje regular, mientras...
Tengo un problema de decisión NP-completo. Dada una instancia del problema, me gustaría diseñar un algoritmo que genere SÍ, si el problema es factible, y, de lo contrario, NO. (Por supuesto, si el algoritmo no es óptimo, cometerá errores). No puedo encontrar ningún algoritmo de aproximación para...
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...