En 1937, Turing describió una máquina de Turing. Desde entonces, se han descrito muchos modelos de computación en un intento de encontrar un modelo que sea como una computadora real pero que sea lo suficientemente simple como para diseñar y analizar algoritmos. Como resultado, tenemos una docena...
Paul Wegner y Dina Goldin han publicado durante más de una década documentos y libros argumentando principalmente que la tesis de la Iglesia-Turing a menudo se tergiversa en la comunidad de Teoría del CS y en otros lugares. Es decir, se presenta como que abarca todo el cómputo cuando, de hecho,...
Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos. Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o...
Una pregunta reciente discutió el algoritmo de programación dinámica ahora clásico para TSP, debido independientemente a Bellman y Held-Karp . Universalmente se informa que el algoritmo se ejecuta en tiempo O(2nn2)O(2nortenorte2)O(2^n n^2) . Sin embargo, como señaló recientemente uno de mis...
¿Qué tan bien se ha investigado el siguiente problema en TCS? (¡Pido disculpas si la declaración del problema suena vaga!) Dado un modelo de computación MC (máquina de Turing, autómatas celulares, máquina Kolmogorov-Uspenskii ... etc.) y un modelo de ruido que podría afectar la computación de MC,...
¿Cuál es la clase de complejidad asociada con los algoritmos de búsqueda exhaustiva? (si hay uno) ¿Es NP o PSPACE? ¿Existen modelos restringidos de cómputo que capturen la clase de algoritmos de búsqueda exhaustiva similares a los modelos para programación codiciosa y
¿Es posible construir una implementación mecánica de un solo propósito (no completa de Turing) de, por ejemplo, Microsoft Word? ¿Es posible implementar cosas como iteradores, funciones de primer orden, toda la gama de técnicas de programación? ¿Podrían los engranajes y otras partes mecánicas...
El título es un poco engañoso: pero espero que la pregunta no sea: El nuevo resultado de Grønlund y Pettie que muestra que 3SUM solo tiene la complejidad del árbol de decisión me hizo preguntarme:O ( n3 / 2)O(norte3/ /2)O(n^{3/2}) ¿Hay un ejemplo simple de un problema con una complejidad de...
Mientras era estudiante de EE asistí a algunas conferencias que presentaban una buena caracterización de los circuitos booleanos en términos de cuántos bucles anidados tienen. En complejidad, los circuitos booleanos a menudo se consideran dags, pero en los ciclos reales de hardware son comunes....
¿Es correcto llamar al framework mapReduce un tipo de framework de programación paralela síncrona masiva sin retención de memoria local dentro de los procesadores entre sincronizaciones? Si no, ¿qué modelo de programación paralela encapsula con mayor precisión el marco
Esta pregunta es acerca de si hay alguna lona de Turing reversible conocida, donde "reversible" significa en el sentido de Axelsen y Glück , y "tarpit" es un concepto mucho más informal (y podría no ser una muy buena elección de palabra), pero haré todo lo posible para explicar lo que quiero decir...
Ejemplos bien conocidos de computación inspirada en fenómenos naturales son las computadoras cuánticas y las computadoras de ADN. ¿Qué se sabe sobre el potencial y / o las limitaciones de la informática con las leyes o la gravedad de Maxwell? Es decir, ¿incorporar las soluciones "rápidas" de la...
¿Existe un marco / formalismo que defina modelos computacionales basados en proteínas distintas al modelo de ADN de Adleman o este trabajo de Cherry y Qian