Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de...
Acabo de encontrar esta oración en la página 6 de "Computadoras e Intractabilidad" de Garey y Johnson. Cualquier algoritmo cuya función de complejidad de tiempo no pueda estar tan limitada se llama algoritmo de tiempo exponencial (aunque debe tenerse en cuenta que esta definición incluye ciertas...
Estoy estudiando lenguajes formales y sistemas de bases de producción (sistemas de bases de reglas) y estoy un poco confundido acerca de por qué estas dos palabras "producción" y "regla" significan lo mismo en tantos contextos en informática. En inglés no parecen significar lo mismo. No soy...
Todavía estoy un poco confundido con los términos "longitud de entrada" y "tamaño de entrada" cuando se usan para analizar y describir el límite superior asintomático de un algoritmo Parece que la longitud de entrada para el algoritmo depende mucho del tipo de datos y del algoritmo del que está...
Me preguntaba si alguien sabía el origen del modelo de servidor del cliente. ¿De dónde viene el término (papel, aplicación de software,
¿Qué significa la clase de complejidad ? Sé que ⊕ P es la clase de complejidad que contiene los lenguajes A para los cuales existe una máquina de Turing no determinista de tiempo polinomial M tal que x ∈ A si el número de estados de aceptación de la máquina M en la entrada x es impar.⊕ P⊕...
Soy nuevo en el aprendizaje automático. He leído varios documentos en los que han empleado el aprendizaje profundo para diversas aplicaciones y han usado el término "previo" en la mayoría de los casos de diseño de modelos, digamos anterior en la estimación de la postura del cuerpo humano. ¿Alguien...
¿Qué significa cuando decimos que un algoritmo es asintóticamente más eficiente que ?YXXXYYY XXX será una mejor opción para todas las entradas. XXX será una mejor opción para todas las entradas, excepto las entradas pequeñas. XXX será una mejor opción para todas las entradas, excepto las entradas...
No sé si fue una broma, pero una vez que leí lo que se conoce como una definición formal de un archivo en un sistema de versiones como git, hg o svn. Era algo así como un objeto matemático como un homeomorfismo. ¿Fue una broma o hay realmente una teoría de la informática sobre los sistemas de...
Si no es así, ¿qué significa cuando para algún estado qqq y algún símbolo unaaa , δ( q, Un )δ(q,a)\delta(q, a) no
Estaba leyendo la pregunta ¿ Consistencia e integridad implican solidez? y la primera declaración dice: Entiendo que la solidez implica consistencia. Lo que me intrigó bastante porque pensé que la solidez era una afirmación más débil que la consistencia (es decir, pensé que los sistemas...
Creo que entiendo cómo la deforestación consume y produce una lista al mismo tiempo (desde una función de plegado y desplegado; vea esta buena respuesta en CodeReview aquí ), pero cuando comparé eso con la entrada de wikipedia sobre la técnica que habló sobre 'eliminar árboles 'de un...
Se dice que la teoría de la computabilidad también se llama teoría de la recursividad. ¿Por qué se llama así? ¿Por qué la recursión tiene tanta
Quiero especificar qué significa dar un álgebra como entrada a un algoritmo y no encontré mucha literatura al respecto. Primero, quiero preguntar si puede recomendar un libro o documento que aborde el tema del análisis de complejidad de álgebras sobre campos y defina claramente el problema de...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
De Wikipedia : El tipo de problema computacional: los problemas más utilizados son los problemas de decisión . Sin embargo, las clases de complejidad se pueden definir en función de problemas de función, problemas de conteo, problemas de optimización, problemas de promesa, etc. También vi que...
En un primer árbol de profundidad, los bordes definen el árbol (es decir, los bordes que se usaron en el recorrido). Hay algunos bordes sobrantes que conectan algunos de los otros nodos. ¿Cuál es la diferencia entre un borde cruzado y un borde delantero? De wikipedia: Según este árbol de...
Estoy mirando el cálculo de construcciones y su lugar en el Cubo Lambda . Si entiendo correctamente, se puede pensar que cada eje del cubo agrega otra operación que involucra tipos al cálculo de tipo simple, . El primer eje agrega operadores de tipo a término, los segundos operadores de tipo a...
Necesito una definición concisa del "estado de un objeto" en la programación orientada a objetos (para un artículo). Durante aproximadamente medio día busqué un documento que pueda citar sobre este tema, pero no pude encontrar uno. Todos los documentos que encontré eran principalmente documentos...
¿"Inductivamente" y "recursivamente" significan muy similares? Por ejemplo, si hay un algoritmo que determina un vector n-dim mediante la determinación de sus primeros componentes k + 1 en función de que se hayan determinado sus primeros componentes k, y se inicializa con el primer componente,...