Ciencias de la Computación

Dadas dos cadenas, ¿cómo puede verificar si son una permutación entre sí utilizando el espacio O (1)? No se permite modificar las cadenas de ninguna manera. Nota: O (1) espacio en relación con la longitud de la cadena Y el tamaño del alfabeto.

13 algorithms  strings  space-complexity 

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 hablante nativo de …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Mientras realizaba la tarea actual para mis cursos formales de idiomas y autómatas, me quedé atascado en ejercicios que involucran idiomas unarios (espero que sea el término correcto), es decir, idiomas que se basan en una sola letra. Sin embargo, no quiero preguntar sobre los ejercicios específicos, sino sobre una …

13 formal-languages  regular-languages 

Mañana es mi presentación y quiero aclarar mis conceptos ... He leído que en DFA, "Para cada estado, se debe definir la transición en todos los símbolos posibles (alfabeto)". ¿Es obligatorio para cada estado definir la transición en todos los símbolos posibles en DFA? Si no es así, ¿puede dar …

13 automata  finite-automata  nondeterminism 

Estaba pensando en pruebas y me encontré con una observación interesante. Por lo tanto, las pruebas son equivalentes a los programas a través del isomorfismo de Curry-Howard, y las pruebas circulares corresponden a una recursión infinita. Pero sabemos por el problema de detención que, en general, es indecidible probar si …

13 logic  curry-howard 

Parece que he encontrado una forma genérica de convertir cualquier procedimiento recursivo a recursión de cola: Defina un subprocedimiento auxiliar con un parámetro adicional "resultado". Aplique lo que se aplicaría al valor de retorno del procedimiento a ese parámetro. Llame a este procedimiento auxiliar para comenzar. El valor inicial para …

13 algorithms  logic  recursion  lisp 

Sigo escuchando acerca de cómo uno debe aprender la teoría de categorías para comprender realmente la teoría del lenguaje de programación. Hasta ahora, he aprendido una gran cantidad de PL sin siquiera entrar en el ámbito de las categorías. Sin embargo, pensé que era hora de dar el salto para …

13 reference-request  programming-languages  type-theory  category-theory 

Una expresión combinatoria (digamos en la base SK) puede considerarse como una función que asigna expresiones de cálculo combinador a expresiones de cálculo combinador. Es decir, se puede pensar en una expresión como una función X : L → L , donde L es el conjunto de todas las expresiones …

13 lambda-calculus  combinatory-logic 

Mi profesor hizo la declaración Cualquier problema finito no puede ser NP-Complete Estaba hablando de Sudoku en ese momento diciendo algo similar a que para un Sudoku 8x8 hay un conjunto finito de soluciones, pero no puedo recordar exactamente lo que dijo. Escribí la nota que he citado pero que …

13 np-complete  np 

Si P es igual a NP, ¿será posible diseñar un sistema de criptosistema donde el algoritmo de criptoanálisis óptimo tome, por ejemplo, el cuadrado del tiempo empleado por los algoritmos legítimos de cifrado y descifrado? ¿Ya existen tales algoritmos?

13 cryptography  encryption 

Tengo la definición de un algoritmo in situ del profesor, pero no lo entiendo. Los algoritmos in situ se refieren a algoritmos que funcionan con memoria Θ (1). Qué significa eso?

13 algorithms  terminology  landau-notation 

¿Cuándo decimos que una red neuronal artificial es un perceptrón multicapa ? ¿Y cuándo decimos que una red neuronal artificial es una multicapa ? ¿El término perceptrón está relacionado con la regla de aprendizaje para actualizar los pesos? ¿O está relacionado con las unidades neuronales?

13 neural-networks  perceptron 

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 funciones de complejidad de …

13 algorithms  terminology  polynomial-time 

Sin embargo, muchos problemas indecidibles "famosos" son al menos semidecidibles, y su complemento es indecidible. Un ejemplo sobre todo puede ser el problema de detención y su complemento. Sin embargo, ¿alguien puede darme un ejemplo en el que tanto un problema como su complemento sean indecidibles y no semidecidibles? Pensé …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Vi en esta publicación en stackoverflow que hay algunos algoritmos relativamente rápidos para tamizar un intervalo de números para ver si hay un primo en ese intervalo. Sin embargo, ¿esto significa que el problema de decisión general de: (¿Existe una prima en un intervalo?) Está en P. (Hubo muchas respuestas …

13 complexity-theory  np  polynomial-time  primes