Preguntas etiquetadas con soft-question

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 

Parece claro que varios subcampos de la informática teórica se han visto significativamente afectados por los resultados de la física teórica. Dos ejemplos de esto son Computación cuántica Resultados de mecánica estadística utilizados en análisis de complejidad / algoritmos heurísticos. Entonces mi pregunta es ¿hay áreas importantes que me estoy …

42 soft-question  quantum-computing  statistical-physics  physics 

Las computadoras reales tienen memoria limitada y solo un número finito de estados. Por lo tanto, son esencialmente autómatas finitos. ¿Por qué los informáticos teóricos usan las máquinas de Turing (y otros modelos equivalentes) para estudiar computadoras? ¿Cuál es el punto de estudiar estos modelos mucho más fuertes con respecto …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Soy un estudiante graduado de segundo año en teoría. He estado trabajando en un problema durante el último año (en teoría de gráficos / algoritmos). Hasta ayer pensé que me estaba yendo bien (estaba ampliando un teorema de un artículo). Hoy me di cuenta de que he cometido un simple …

41 soft-question  research-practice 

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 

En MathOverflow, Timothy Gowers hizo una pregunta titulada " Demostrar que el rigor es importante ". La mayor parte de la discusión allí fue sobre casos que muestran la importancia de la prueba, de los cuales las personas en CSTheory probablemente no necesitan estar convencidos. En mi experiencia, las pruebas …

41 big-list  soft-question  proofs 

A pesar de varios años de clases, todavía estoy perdido cuando se trata de elegir un tema de investigación. He estado revisando documentos de diferentes áreas y hablado con profesores, y estoy empezando a pensar que este es el enfoque equivocado. He leído que ayuda a encontrar un problema interesante …

41 soft-question  research-practice  advice-request  career 

Soy estudiante de doctorado de cuarto año en informática teórica. Me gustaría quedarme en la academia, así que estoy pensando en la mejor manera de avanzar en mi carrera. Obviamente, la mejor manera de hacerlo es escribir muchos documentos buenos, pero otra pregunta es si debería tratar de que más …

40 soft-question  career 

DESCARGO DE RESPONSABILIDAD: Esta es una pregunta abierta y los puritanos de intercambio de pila probablemente sentirían una necesidad extraordinaria de votar hacia el olvido. Sin embargo, no puedo pensar en ningún otro foro más apropiado y prometedor para obtener respuesta a esta pregunta. Mientras trabajo en un problema de …

40 soft-question  advice-request 

Soy un estudiante de doctorado de tercer año en un área de CS teórica que me gustaría recibir consejos para una situación difícil con mi asesor. Mi asesor no está involucrado en mis proyectos de investigación en absoluto. En particular, se me ocurrieron todas mis ideas en papel y las …

39 soft-question  advice-request 

Mi departamento a menudo me pide que dé charlas a los alumnos de último año de secundaria sobre los elementos más matemáticos de la informática. Hago mi mejor esfuerzo para elegir temas de TCS que puedan inspirar su interés (que en su mayoría implica algo que ver con el problema …

38 soft-question  teaching 

Siempre hay una forma de aplicación en temas relacionados con la informática teórica. Pero los libros de texto y los cursos de pregrado generalmente no explican la razón por la que la teoría de autómatas es un tema importante y si todavía tiene aplicaciones en la práctica. Por lo tanto, …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Me encanta hacer TCS en mi tiempo libre. Últimamente he estado tratando de investigar un poco como hobby. Estoy buscando información adicional de las personas que hacen esto a tiempo completo: - ¿Crees que es posible hacer esto "solo por diversión"? No tengo intención de obtener un doctorado. - ¿Qué …

37 soft-question  advice-request  research-practice 

¿Qué debe hacer cuando ve una pregunta planteada en público, decir aquí en stack-exchange, que conoce la respuesta, porque está investigando como parte del proyecto de investigación actual? Por ejemplo, veo una pregunta de TCS.SX a la que sé la respuesta, porque trabajé en el problema recientemente. Todavía no he …

37 soft-question  research-practice  authorship