Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

4
Problemas gráficos que son NP-Completo en gráficos dirigidos pero polinomio en gráficos no dirigidos
Estoy buscando problemas que se sabe que son NPC para gráficos dirigidos pero tienen un algoritmo polinomial para gráficos no dirigidos. He visto la pregunta sobre los problemas "dirigidos" al revés que son más fáciles que su variante "no dirigida" , pero estoy buscando dureza en el lado dirigido. Por …
2
¿Qué tan pequeño puede ser un NFA, en comparación con el mínimo autómata finito inequívoco (UFA) del mismo idioma regular?
Los autómatas finitos no ambiguos (UFA) son un tipo especial de autómatas finitos no deterministas (NFA). Un NFA se llama inequívoco si cada palabra tiene como máximo una ruta de aceptación.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Esto significa .D FA ⊂ UFA ⊂ NFUNreFUN⊂UFUN⊂norteFUNDFA\subset UFA\subset NFA Resultados de autómatas relacionados conocidos: La …
1
Enfoque de Gowers "determinación de Borel discretizada"
Gowers ha esbozado recientemente un problema, que él llama "determinación Borel discreta", cuya solución está relacionada con probar los límites inferiores del circuito. ¿Puede proporcionar un resumen del enfoque que se adapta a una audiencia de teóricos de la complejidad? ¿Qué se necesitaría para que este enfoque demuestre algo , …
2
Acerca de las gráficas planas generalizadas y las gráficas planas externas generalizadas
Cualquier gráfico plano , respectivamente, externo-plano satisfaceG=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6 , respectivamente, , para cada subgrafo G ′ = ( V ' , E ' ) de G . Además, las gráficas planas (externas) se pueden reconocer en tiempo polinómico.|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le 2|V'|-3G′=(V′,E′)G′=(V′,E′)G'=(V',E')GGG Lo que se sabe sobre los gráficos modo que (resp. ) …
1
¿Hay variantes de autómatas visiblemente pushdown que permiten empujar palabras en la pila?
Me pregunto, ¿hay algún trabajo o investigación que trate con autómatas visiblemente pushdown, pero que permita que las palabras, en lugar de letras simples, sean empujadas a la pila. Alternativamente, una construcción que permita que los símbolos se presionen en las transiciones ϵϵ\epsilon podría lograr el mismo objetivo. Obviamente, tales …
2
Nuevo algoritmo para el registro discreto y sus implicaciones para la computación cuántica
Un nuevo artículo salió reclamando algoritmo cuasi-polinomial para Logarithm discreto. http://arxiv.org/abs/1306.4244 Si es correcto, ¿significa que ya no tenemos una separación exponencial en la complejidad de un algoritmo clásico y su versión cuántica para el problema del logaritmo discreto? ¿Tiene esto alguna implicación para la teoría de la complejidad cuántica?
4
Enseñanza de TCS de secundaria - programas existentes
Me ofrecieron enseñar un nuevo programa de escuela secundaria TCS, que requiere la construcción de un plan de estudios. Me gustaría mucho escuchar opiniones y sugerencias sobre esto. Primero, ¿alguien sabe de las escuelas secundarias donde se ha enseñado un programa TCS con éxito (o sin éxito)? La idea es …
16 teaching 
5
Puntos de referencia únicos
Esta pregunta probablemente esté en el límite entre el tema y fuera del tema, sin embargo, he visto preguntas similares aquí, por lo tanto, lo haré. Estoy implementando un solucionador Unique -SAT, cuya entrada es una fórmula -CNF que tiene como máximo asignación satisfactoria. Para probar su comportamiento práctico, necesito …
16 sat 
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.