Ciencias de la computación teórica

He estado aprendiendo algunas partes de la teoría de categorías. Ciertamente es una forma diferente de ver las cosas. (Resumen muy aproximado para aquellos que no lo han visto: la teoría de categorías ofrece formas de expresar todo tipo de comportamiento matemático únicamente en términos de relaciones funcionales entre objetos. …

103 pl.programming-languages  lo.logic  ct.category-theory 

Después de la publicación Qué libros deberían leer todos , noté que hay libros recientes cuyos borradores están disponibles en línea. Por ejemplo, la entrada de Algoritmos de aproximación de la publicación anterior cita un libro de 2011 (aún por publicar) titulado El diseño de algoritmos de aproximación . Creo …

99 reference-request  big-list  books 

En los últimos años se han desarrollado muchos algoritmos de búsqueda de rutas que pueden calcular la mejor ruta en respuesta a los cambios del gráfico mucho más rápido que A *: ¿qué son y en qué se diferencian? ¿Son para diferentes situaciones, o algunas otras obsoletas? Estos son los …

96 ds.algorithms  shortest-path 

Me estoy preparando para una charla dirigida a estudiantes de matemáticas de pregrado y, como parte de ella, estoy considerando discutir el concepto de capacidad de decisión. Quiero dar un ejemplo de un problema que actualmente no sabemos que sea decidible o indecidible. Existen muchos problemas de este tipo, pero …

92 computability  decidability 

Me gustaría pedir ayuda para compilar una lista de tantas conferencias y talleres relacionados con TCS como sea posible. Mi principal motivación para hacer esto es planificar la posible cobertura del blog de más lugares teóricos: encontrar corresponsales que asistan a estos eventos que estén dispuestos a escribir entradas breves …

90 soft-question  big-list  conferences 

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 

Perdón por el título pegadizo. Quiero entender, ¿qué se debe hacer para refutar la tesis de la Iglesia-Turing? ¡En algún lugar que leí es matemáticamente imposible hacerlo! ¿Por qué? Turing, Rosser, etc., utilizaron diferentes términos para diferenciar entre: "lo que se puede calcular" y "lo que se puede calcular mediante …

83 computability  proofs  hypercomputation 

¿Cuál es el trabajo publicado más divertido relacionado con TCS que conoces? Por favor incluya solo aquellos que están destinados a ser divertidos. Se prefieren las obras que están explícitamente diseñadas para ser inteligentemente humorísticas (en lugar de, por ejemplo, una colección publicada de chistes cortos sobre teoría de la …

80 reference-request  soft-question  big-list 

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 

Actualmente soy un estudiante de pregrado, destinado a graduarme este año. Después de la graduación, estoy considerando trabajar para obtener un master / doctorado en TCS. He comenzado a preguntarme qué campos de las matemáticas se consideran útiles para TCS, especialmente la teoría de la complejidad (clásica). ¿Qué campos consideras …

79 cc.complexity-theory  soft-question  advice-request 

A la luz del anuncio del primer chip fotónico cuántico programable del mundo , me preguntaba cómo sería un software para una computadora que utiliza enredos cuánticos. Uno de los primeros programas que escribí fue algo como for i = 1 to 10 print i next i ¿Alguien puede dar …

76 quantum-computing 

Es posible que esta pregunta no se adapte aquí, pero no pude encontrar un lugar mejor para preguntar (estaba cerrado en SO). Encuentro trabajos de investigación en informática difíciles de entender. Por supuesto, los temas son complicados. Pero después de que entiendo un documento, por lo general, puedo decírselo a …

75 soft-question  research-practice 

Enumere ejemplos en los que se utilizó por primera vez un teorema de las matemáticas que normalmente no se consideraba aplicable en informática para probar un resultado en informática. Los mejores ejemplos son aquellos en los que la conexión no era obvia, pero una vez que se descubrió, es claramente …

74 reference-request  soft-question  big-list  topology 

Es bien sabido que, en general, el orden de los cuantificadores universales y existenciales no puede invertirse. En otras palabras, para una fórmula lógica general ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Por otro lado, sabemos que el lado derecho es más restrictivo que el …

73 lo.logic  big-picture  proof-techniques 

En una respuesta a una pregunta anterior , mencioné la creencia común pero falsa de que la eliminación "gaussiana" se ejecuta en el tiempo O(n3)O(n3)O(n^3) . Si bien es obvio que el algoritmo utiliza operaciones aritméticas O(n3)O(n3)O(n^3) , la implementación descuidada puede crear números con exponencialmente muchos bits. Como un …

72 ds.algorithms  reference-request  linear-algebra