Preguntas etiquetadas con machine-models

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 de algoritmos para, …

41 ds.algorithms  reference-request  soft-question  machine-models 

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 …

38 computability  turing-machines  machine-models  church-turing-thesis 

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 incluso sobre próximas supercomputadoras. …

20 reference-request  soft-question  machine-models 

Recientemente me topé con una construcción teórica bastante interesante. Una llamada máquina Gödel Es un solucionador de problemas general que es capaz de auto-optimización. Es adecuado para entornos reactivos. Según tengo entendido, se puede implementar como un programa para la máquina universal de Turing, aunque sus requisitos van mucho más …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

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 alumnos, este tiempo de ejecución puede requerir un modelo …

16 ds.algorithms  machine-models  computing-over-reals 

¿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 dinámica?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

¿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, ¿hay alguna forma …

14 machine-models 

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 …

13 cc.complexity-theory  machine-models  decision-trees 

¿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 representar estructuras de datos o incluso programar …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

¿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 mapReduce?

11 dc.parallel-comp  machine-models 

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. Ahora, modulo algunos tecnicismos con respecto …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

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 …

10 fl.formal-languages  computability  machine-models 

¿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 ?

9 reference-request  machine-models 

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 naturaleza a …

9 computability  machine-models  physics  natural-computing