Ciencias de la computación teórica

En otro hilo , Joe Fitzsimons preguntó sobre "los mejores límites inferiores actuales en 3SAT". Me gustaría ir a otro lado: ¿Cuál es el mejor límite superior actual en 3SAT? En otras palabras, ¿cuál es la complejidad temporal del solucionador SAT más eficiente? En particular, ¿es concebible encontrar un algoritmo …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

¿Qué explicaciones teóricas existen para el éxito práctico de los solucionadores de SAT, y alguien puede dar una descripción y explicación "estilo wikipedia" uniéndolos a todos? Por analogía, el análisis suavizado ( versión arXiv ) para el algoritmo simplex hace un gran trabajo explicando por qué funciona tan bien en …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Estoy pensando en el siguiente problema: quiero encontrar una expresión regular que coincida con un conjunto particular de cadenas (por ejemplo, direcciones de correo electrónico válidas) y que no coincida con otras (direcciones de correo electrónico no válidas). Supongamos que por expresión regular nos referimos a una máquina de estados …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Inspirado por esta pregunta y en particular el párrafo final de la respuesta de Or, tengo la siguiente pregunta: ¿Conoces alguna aplicación de la teoría de la representación del grupo simétrico en TCS? El grupo simétrico es el grupo de todas las permutaciones de con composición de operación de grupo. …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

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 

Actualmente estoy escribiendo una encuesta sobre teoremas de jerarquía en TCS. Al buscar artículos relacionados, noté que la jerarquía es un concepto fundamental no solo en TCS y matemáticas, sino en numerosas ciencias, desde teología y sociología hasta biología y química. Al ver que la cantidad de información es enorme, …

42 cc.complexity-theory  reference-request  big-list  survey 

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 

¿Alguien sabe de aplicaciones interesantes de las bases de Gröbner a la informática teórica? Las bases de Gröbner se utilizan para resolver ecuaciones polinómicas de múltiples variables, un problema NP-difícil en general. Me preguntaba si se usaron algunos casos especiales manejables para proporcionar algoritmos / construcciones / pruebas eficientes en …

41 cc.complexity-theory  reference-request  algebra  polynomials 

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 

El campo de la computación distribuida se ha quedado lamentablemente corto en el desarrollo de una sola teoría matemática para describir algoritmos distribuidos. Existen varios 'modelos' y marcos de cómputo distribuido que simplemente no son compatibles entre sí. La gran explosión de propiedades temporales variables (asincronía, sincronía, sincronía parcial), varias …

41 big-picture  dc.distributed-comp 

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 

Me gustaría entender Applicativeen términos de teoría de categorías. La documentación de Applicativedice que es un functor monoidal fuerte y laxo . Primero, la página de Wikipedia sobre los functores monoidales dice que un functor monoidal es laxo o fuerte . Entonces, me parece que una de las fuentes está …

40 lo.logic  type-theory  functional-programming  ct.category-theory