Preguntas etiquetadas con ho.history-overview

Solo estoy leyendo sobre el cálculo lambda para "conocerlo". Lo veo como una forma alternativa de cálculo en lugar de la máquina de Turing. Es una forma interesante de hacer cosas con funciones / reducciones (hablando en términos generales). Sin embargo, algunas preguntas me siguen molestando: ¿Cuál es el punto …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Esta es una "pregunta histórica" ​​más de lo que es una pregunta de investigación, pero ¿fue la reducción clásica a la búsqueda de orden en el algoritmo de factorización de Shor inicialmente descubierta por Peter Shor, o se sabía previamente? ¿Existe algún documento que describa la reducción anterior a Shor, …

79 quantum-computing  ho.history-overview  factoring 

Mi pregunta hoy es (como siempre) un poco tonta; pero le pediría que lo considere amablemente. Quería saber sobre la génesis y / o motivación detrás del concepto de ancho de árbol. Estoy seguro de que entiendo que se usa en algoritmos FPT, pero no creo que esa sea la …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Me gustaría escribir una encuesta sobre las aplicaciones de la topología en informática. Planeo cubrir la historia de las ideas topológicas en Ciencias de la Computación y también destacar algunos desarrollos actuales. Sería extremadamente útil si alguien pudiera dar su opinión sobre cualquiera de las preguntas a continuación. ¿Hay documentos …

61 reference-request  ho.history-overview  topology  survey 

Tengo entendido que el modelo de Turing se ha convertido en el "estándar" al describir el cálculo. Me interesa saber por qué este es el caso, es decir, por qué el modelo TM se ha vuelto más utilizado que otros modelos teóricamente equivalentes (que yo sepa), por ejemplo, μ-Recursion de …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Si pudieras cambiar el nombre de la programación dinámica, ¿cómo lo llamarías?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

En el clásico artículo de 1979 de Andrew Chi-Chih Yao, hace referencia a "MO Rabin y AC Yao, en preparación". Esto es por el resultado de que la complejidad de la comunicación de error acotado de la función de igualdad EQ N (si dos enteros en el rango de 0 …

40 ho.history-overview  communication-complexity 

Este problema está inspirado en esta pregunta de MO , que me pareció muy interesante. ¿Cuál es el problema abierto más antiguo en TCS? Claramente esta pregunta necesita alguna aclaración. Primero, ¿qué es TCS? Creo que la existencia de números perfectos impares no es TCS. Yo diría que el décimo …

36 soft-question  open-problem  ho.history-overview 

Alan Turing , uno de los pioneros de la informática (teórica), hizo muchas contribuciones científicas seminales a nuestro campo, incluida la definición de máquinas de Turing, la tesis de Church-Turing, la indecidibilidad y la prueba de Turing. Sin embargo, sus descubrimientos importantes no se limitan a los que enumeré. En …

34 soft-question  ho.history-overview 

Tengo una pregunta historica. Estoy tratando de determinar la referencia para el hecho de que la capacidad de coloración en 3 de los gráficos (alternativamente, la capacidad de coloración en para k ≥ 3 dada ) es NP-difícil.kkkk≥3k≥3k\geq 3 La respuesta tentadora es "el documento original de Karp", pero eso …

33 np-hardness  ho.history-overview 

"Sabemos" que lleva el nombre de Steve Cook y N C lleva el nombre de Nick Pippenger. Si no me equivoco, Steve Cook nombró a NC en honor a Nick Pippenger, y me dijeron que lo contrario también es cierto. Sin embargo, no he podido encontrar ninguna evidencia de este …

33 cc.complexity-theory  ho.history-overview 

En un par de preguntas recientes ( q1 q2 ), se ha debatido sobre "Teoría A" versus "Teoría B", aparentemente para capturar la división entre el estudio de los lenguajes de lógica y programación y el estudio de algoritmos y complejidad. Esta terminología era nueva para mí, y una búsqueda …

30 ho.history-overview  terminology 

En su libro, Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov creía que cada lenguaje en P tiene circuitos de tamaño lineal. No se menciona ninguna referencia y no pude encontrar nada en línea. ¿Alguien sabe más sobre esto?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Grothendieck ha fallecido . Tuvo un impacto masivo en las matemáticas del siglo XX que continuaron hasta el siglo XXI. Esta pregunta se hace algo en el estilo / espíritu, por ejemplo, de las Contribuciones de Alan Turing a la informática . ¿Cuáles son las principales influencias de Grothendieck en …

27 big-picture  ct.category-theory  ho.history-overview 

¿Por qué los lenguajes regulares (y de esas expresiones regulares) se llaman "regulares"? Hay mucha regularidad también en los idiomas sin contexto de otros tipos de idiomas. Supongo que, al principio, el adjetivo "regular" se ha utilizado para diferenciar ese tipo de idiomas de otros lenguajes "no regulares" o de …

27 regular-expressions  regular-language  ho.history-overview