Al desarrollar algoritmos en computación cuántica, noté que hay dos modelos principales en los que se hace esto. Algunos algoritmos - como para el problema del árbol de Hamilton NAND (Farhi, Goldstone, Guttman) - trabajo mediante el diseño de un hamiltoniano y un estado inicial y, a continuación,...
Estoy tratando de entender la existencia de lenguajes no reconocibles. Para obtener esto, necesito saber por qué una máquina Turing reconoce solo un idioma, no varios. ¿Por qué es
La literatura es bastante clara que las RAM de costo unitario con multiplicación primitiva no son razonables, ya que no puede ser simulado por máquinas de Turing en tiempo polinómico puede resolver problemas completos de PSPACE en tiempo polinómico Sin embargo, todas las referencias que puedo...
Si tenemos algún programa de computadora arbitrario que pueda modificar sus instrucciones, ¿es posible simular ese programa con un programa que no pueda modificar sus instrucciones? Editar: Soy nuevo en stackexchange, así que no estoy seguro si se me permite hacer una NUEVA pregunta aquí, pero...
Me he preguntado por qué las cintas / cintas no son parte de la definición formal de una máquina de Turing. Considere, por ejemplo, la definición formal de una máquina de Turing en la página de Wikipedia . La definición, siguiendo a Hopcroft y Ullman, incluye: el conjunto finito de estados , el...
Un algoritmo de máquina de Turing de tiempo polinómico se considera eficiente si su tiempo de ejecución, en el peor de los casos, está limitado por una función polinómica en el tamaño de entrada. Soy consciente de la fuerte tesis de Church-Turing: Cualquier modelo razonable de cálculo puede...
Tenía la impresión de que nuestras computadoras, siendo finitas, en última instancia no son más poderosas que las máquinas de estado finito (extraordinariamente grandes). Sin embargo, las máquinas de Turing con límites lineales también son finitas, pero parece que los lenguajes regulares son...
Este es probablemente un pensamiento tonto, pero supongamos que tenemos una computadora que está programada para realizar una secuencia infinita de cálculos y supongamos que el cálculo de tarda segundos en completarse. Entonces esta computadora puede hacer un número infinito de cálculos en un...
En el análisis de algoritmos, asumimos una máquina de acceso aleatorio (RAM) genérica de un procesador. Hasta donde yo sé, la máquina RAM no es más eficiente que la máquina Turing. Todos los algoritmos se pueden implementar en la máquina Turing. Entonces mis preguntas son: Si la máquina de Turing...
Hoy he aprendido que el análisis de algoritmos difiere según el modelo computacional. Es algo en lo que nunca he pensado ni oído hablar. Un ejemplo que me dio, que lo ilustró aún más, por el usuario @chi fue: Por ejemplo, considere la tarea: dado devuelve . En RAM esto se puede resolver...
Quisiera citar a Nielsen & Chuang, Computación Cuántica e Información Cuántica, edición del décimo aniversario, página 5 (énfasis mío): Una clase de desafíos para la fuerte tesis de Iglesia-Turing proviene del campo de la computación analógica. En los años posteriores a Turing, muchos...
Deje una cadena de entrada como . Luego, si un NFA se encuentra actualmente en el estado r (y ha leído la entrada hasta el alfabeto w i ), antes de leer el siguiente símbolo de entrada, el NFA se divide en dos NFA, uno en el estado r y otro en s , si hay una transición del tipo r ϵ → s . Si hay un...
Este es un seguimiento de otra pregunta aquí , y espero que no sea demasiado filosófico. Como señaló Raphael en un comentario sobre mi pregunta anterior, realmente no entiendo la definición de "computable", pero de acuerdo con algunos documentos que leí, la definición tampoco está muy clara cuando...
Que yo sepa, no existe un algoritmo de peor caso que resuelva el siguiente problema:O ( n )O(norte)O(n) Dada una secuencia de longitud consiste en enteros finitos, encuentre la permutación donde cada elemento es menor o igual que su sucesor.nortenorten ¿Pero hay una prueba de que no existe, en...
En una pregunta anterior ¿ Qué es exactamente un algoritmo? , Pregunté si tener un "algoritmo" que devuelve el valor de una función basada en una matriz de valores calculados previamente era un algoritmo. Una de las respuestas que me llamó la atención fue esta: El ejemplo factorial se introduce...
Estoy tratando de vincular circuitos lógicos combinacionales (computadoras basadas solo en puertas lógicas) con todo lo que aprendí recientemente en Teoría de la Computación. Me preguntaba si los circuitos lógicos combinacionales pueden implementar cálculos de la misma manera que las máquinas de...
En los últimos dos años, construí una computadora mecánica impulsada por canicas e hice un juego con ella. Es similar al antiguo Digi-Comp II, excepto por dos diferencias clave: Las piezas son reposicionables en el tablero. Puede conectar múltiples 'bits' juntos usando engranajes. Cuando uno de...
Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema de Computer Science Stack Exchange. Cerrado hace 3 años . Las computadoras y los...
Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que puede calcular, sino...
Estoy tratando de atacar a TAOCP una vez más, dada la gran pesadez literal de los volúmenes que tengo problemas para comprometerme en serio. En TAOCP 1 Knuth escribe, página 8, conceptos básicos :: Dejar AAAser un conjunto finito de letras. DejarA∗A∗A^* ser el conjunto de todas las cadenas en...