Ciencias de la computación teórica

Si bien el teorema de Adleman muestra que , no conozco ninguna literatura que investigue la posible inclusión de B Q P ⊆ P / poly . ¿Qué consecuencias teóricas de la complejidad tendría tal inclusión?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} El teorema de Adleman a veces se llama "el progenitor …

20 reference-request  quantum-computing  derandomization  conditional-results 

Supongamos que queremos ordenar una lista de números reales. Supongamos que se nos da un cuadro negro que puede ordenar números reales al instante. ¿Cuánta ventaja podemos ganar usando esta caja negra?SSSnnnn−−√n\sqrt n Por ejemplo, ¿podemos ordenar los números con solo llamadas al cuadro negro? El mejor algoritmo que he …

20 ds.algorithms  sorting  decision-trees 

El siguiente problema interesante surgió en mi investigación recientemente: INSTANCIA: Gráfico .G ( V, E)G(V,E)G(V, E) SOLUCIÓN: Una finalización de ciclo impar sin acordes, definida como un superconjunto del conjunto de bordes E, de modo que el gráfico completado G ' ( V , E ' ) tiene la propiedad …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Estoy buscando material tutorial que cubra las pruebas de corrección del compilador, preferiblemente utilizando métodos de denotación, al nivel de un estudiante graduado principiante. Alternativamente, ¿conoce algunos ejemplos simples de compiladores que pueda usar para ilustrar los problemas? (El primer ejemplo que se me ocurrió fue un traductor de infix …

20 reference-request  pl.programming-languages  semantics  compilers 

Recientemente leí este resumen de los problemas relacionados con la diferencia entre los árboles y me interesó aprender cuál es el estado del arte para este problema. Además, suponga que entre sus operaciones de edición permitidas se encuentran el nodo tradicional de agregar / eliminar, edite el contenido y agregue …

20 ds.algorithms  tree  edit-distance 

Acabo de leer en la Wikipedia alemana que un gráfico infinito es un gráfico con un número infinito de nodos o un número infinito de bordes. Solo conozco aplicaciones y algoritmos para gráficos finitos. ¿Para qué sirven los gráficos infinitos? ¿Cuáles son las aplicaciones de esos? No puedo imaginar algoritmos …

20 graph-theory  co.combinatorics 

Dada una familia conjunto FF\mathcal{F} de subconjuntos de un universo UUU . Deje S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F y queremos responder es S1⊆S2S1⊆S2S_1 \subseteq S_2 . Estoy buscando una estructura de datos que me permita responder rápidamente a esto. Mi aplicación es de la teoría de grafos donde quiero ver si …

20 graph-algorithms  ds.data-structures  partial-order 

El teorema de PCP que no hay algoritmo de tiempo polinómico para MAX 3SAT para encontrar una asignación satisfacer cláusulas de una fórmula 3SAT satisfiable a menos que P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonPAG= NPAGP=NPP = NP Existe un algoritmo de tiempo polinomial que satisface trivial …

20 cc.complexity-theory  pcp 

Descargo de responsabilidad: no soy un teórico de CS. Viniendo del álgebra abstracta, estoy acostumbrado a lidiar con cosas que son iguales a un isomorfismo, pero tengo problemas para traducir este concepto a estructuras de datos. Primero pensé que los morfismos biyectivos teóricos establecidos serían suficientes, pero me encontré con …

20 ds.data-structures  algebra  ct.category-theory 

¿Cuáles son algunos resultados conocidos para encontrar una submatriz n-dimensional exacta dentro de una matriz n-dimensional? En 1D, es solo un problema de coincidencia de cadenas, KMP lo hace en tiempo lineal. En 2D, este documento muestra que se puede hacer en tiempo lineal con poco espacio extra. ¿Se puede …

20 ds.algorithms  reference-request  string-matching 

En complejidad parametrizada, ⊆ W [ 2 ] . Se conjetura que cada una de las contenciones es adecuada.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Si entonces .P = W [ P ]F P …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Suponga que un gráfico con vértices se presenta como un flujo de bordes, pero se permiten múltiples pases sobre el flujo.n msolGGnortennmetromm Monika Rauch Henzinger, Prabhakar Raghavan y Sridar Rajagopalan observaron que el espacio es necesario para determinar si hay un camino entre dos vértices dados en , si se …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Por ejemplo, en los lenguajes de programación es común escribir un compilador / intérprete X-in-X, pero en un nivel más general, muchos sistemas completos de Turing conocidos pueden simularse de formas impresionantes (por ejemplo, simulando el Juego de la vida de Conway en el Juego de la vida de Conway). …

20 computability  automata-theory  turing-machines 

El Theoem de Karp-Lipton establece que si , entonces P H colapsa a Σ P 2 . Por lo tanto, suponiendo separaciones entre Σ P 2 y Σ P 3 , ningún problema completo de N P pertenecerá a P / p o l y .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Estoy interesado …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

En esta pregunta , parece que hemos identificado un problema natural que es NP completo bajo reducciones aleatorias, pero posiblemente no bajo reducciones deterministas (aunque esto depende de qué suposiciones no comprobadas en la teoría de números sean verdaderas). ¿Hay algún otro problema conocido? ¿Hay algún problema natural que sea …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions