Pruebas de identidad polinomio es el ejemplo típico de un problema conocido para estar en co-RP , pero no se sabe que en P . Sobre los circuitos aritméticos , de hecho parece difícil, ya que el grado del polinomio puede hacerse exponencialmente grande mediante la cuadratura repetida. Esta pregunta...
Hice el siguiente programa de Haskell (sin golf) para el desafío del código de golf de calcular los primeros valores de A229037 .nnn Esta es mi propuesta de solución para calcular el º valor:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = [x | x <- [1..], isGood x...
No he podido encontrar un gráfico que represente o un texto que responda a la siguiente pregunta: ¿Existe una relación directa entre la complejidad de un algoritmo (como el mejor / peor caso de clasificación rápida) y la clase de autómatas que pueden implementar el algoritmo. Por ejemplo, ¿hay un...
Me sorprendería si este no es un problema bien estudiado, pero no estoy seguro de qué más buscar en este momento: se le da un conjunto de -vectores binarios . El problema es encontrar otro conjunto de -vectores binarios , con un tamaño mínimo, de modo que cada vector en puede expresarse por los...
En la teoría de tipos podcast ep. 3 , Dan Licata afirma que el hecho de que para cada entrada, insertortort y mergesort den el mismo resultado no implica que el resultado sea igual cuando se usa como funciones de orden superior como argumentos para una tercera función, es decir map insertionsort,...
Entiendo lo que es, pero no veo cómo sirve para algoritmos ni nada. Tal vez me estoy perdiendo algo. Necesito que alguien me dé un ejemplo de cómo se puede usar para poder entenderlo
Necesito una estructura de datos para almacenar un número de elementos, cada uno de los cuales está asociado con un tiempo diferente . varía y, aunque tiene un límite superior teórico, este es muchos órdenes de magnitud más grande de lo que se usa típicamente.nnntitit_innn A través de mi...
Acabamos de terminar nuestra clase de "Construcibilidad de tiempo" en clase la semana pasada y, por el bien de nosotros, mostramos que nk,2nnk,2nn^k, 2^n son completamente construibles en el tiempo, es decir, existe una máquina de Turing (determinista de múltiples cintas) que para nnn dado, se...
Estoy tratando de estimar la complejidad de un algoritmo que he escrito para el descompilador Reko , donde estoy tratando de "deshacer" la transformación realizada por un compilador a una división entera por una constantex / nX/ /nortex / n. El compilador ha convertido la división en una...
Pensé que cualquier FOT es un subconjunto de FOL, pero ese no parece ser el caso, porque FOL está completo (cada fórmula es válida o inválida), mientras que algunos FOT (como la aritmética de enteros lineales) no están completos. Entonces, ¿es FOL más expresivo que cualquiera de FOT? O...
Sobre el estado del arte que estoy adelantando a la teoría de tipos, tengo todas estas preguntas relacionadas con la historia de los tipos. ¿De dónde vino la idea de tipo ? (Parece que todo comienza cuando Russell y Whitehead proponen una forma de evitar la contradicción que hoy conocemos como...
L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la longitud de es impar 1 está en el medio dewww∧∧ \wedge w}w}w\} Entonces el alfabeto es . Mi problema es que no puedo hacer un seguimiento de la igualdad de caracteres antes y después de . Un DFA limitado para la longitud inferior a...
Cuando leí sobre la tesis de la Iglesia-Turing, parece ser una afirmación común de que "la realidad física es computable por Turing". ¿Cuál es la base de este reclamo? ¿Hay algún resultado teórico en este sentido? Por contexto, soy un investigador que trabaja en simulaciones físicas, así que, por...
Digamos que quería crear mi propio lenguaje de programación. Suponiendo que he tomado todas las decisiones sobre cómo quiero que se vea y actúe, ¿solo necesito escribir un compilador para ello? Por ejemplo, ¿el código Java de alto nivel no es solo texto y este texto está en el formato correcto...
Karlheinz Brandenburg representa un codificador de MP3 como este: Fuente: MP3 y AAC explicados Marqué el FFT ya que no estoy seguro de por qué es realmente necesario realizar uno. ¿Por qué no puede aplicarse el modelo psicoacústico a las llamadas líneas después de la transformada discreta de...
Tengo un conjunto de números y quiero calcular el subconjunto máximo de modo que la suma de cualquiera de sus dos elementos no sea divisible por un entero KKK. Traté de resolver este problema, pero encontré la solución cuadrática, que no es una respuesta eficiente. K< 100 , N<...
Estaba leyendo el artículo Conceptos fundamentales en lenguajes de programación de C. Strachey el otro día, en el que leía algo que me resultaba bastante extraño. Citando directamente (con la parte extraña resaltada por mí): Frente a la situación tal como existe hoy, donde existe un método...
El análisis de flujo de datos funciona sobre un gráfico de flujo de control. Cuando un idioma considerado admite excepciones, el gráfico de flujo de control puede explotar. ¿Cuáles son las técnicas estándar para lidiar con esta explosión? ¿Podemos ignorar los bordes inducidos por la excepción? Los...
Definición. Dado un gráficoG=(V,E)sol=(V,mi)G=(V,E) y dos vértices sss y ttt, la kkk-shortest-caminos problema es encontrar el kkk caminos sencillos más cortos entre sss y ttt en solsolG. Tenga en cuenta que la longitud de estos caminos no es necesariamente igual, y los vértices sss y ttt son...
Se sabe que existe una propiedad de "bombeo" (las palabras de cierta longitud implican la existencia de bucles en el mecanismo de definición del lenguaje) para los lenguajes regulares y libres de contexto y algunos más (generalmente utilizados para refutar la pertenencia de un idioma a una...