Ciencias de la computación teórica

Me preguntaba cuál es la lista de problemas computacionales naturales actuales para los que no existe una ventaja de complejidad conocida en el uso de una computadora cuántica. Para empezar, creo que el cálculo de la distancia de edición es uno para el cual el algoritmo cuántico más rápido conocido …

11 ds.algorithms  quantum-computing  big-list 

Cuando miro el análisis de Earley, se ve muy elegante, y me pregunto por qué las técnicas GLR se vuelven populares. ¿Alguien sabe qué estaba mal con Earley al analizar que Tomita creó GLR? ¿Actuación? Cualquier publicación sobre estas discusiones es muy apreciada.

11 parsing 

¿Hay ejemplos concretos (o una rica fuente de) de aplicación de números adic en informática?ppp

11 survey 

Denote por el grado mínimo de salida en G , y por δ - ( G ) el grado mínimo de entrada.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) En una pregunta relacionada , mencioné la extensión de Ghouila-Houri del teorema de Dirac sobre los ciclos hamiltonianos , que sugiere que si entonces G es hamiltoniano.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq …

11 reference-request  graph-theory 

Como mencionó @Marzio, el siguiente juego se conoce como Geografía Generalizada . Dado un gráfico y un vértice inicial , el juego se define de la siguiente manera:v ∈ VG = ( V, E)sol=(V,mi)G=(V,E)v ∈ Vv∈Vv \in V En cada turno (dos jugadores alternando), un jugador elige u ∈ N( …

11 graph-theory  graph-algorithms  gt.game-theory 

Un gráfico plano es un gráfico que se puede incrustar en el plano, sin tener bordes cruzados. Supongamos que sea ​​una hipergrafía k -uniforme, es decir, una hipergrafía tal que todas sus hiperedificaciones tengan el tamaño k.G=(X,E)G=(X,E)G=(X,E)kkk Se han realizado algunos trabajos para incrustar hipergrafías en el plano (con el …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

El problema de N-queen es este: Entrada: N Salida: una colocación de N "reinas" en un tablero de ajedrez de NXN de modo que no haya dos reinas en la misma fila, columna o diagonal. Al hacer una búsqueda en Google sobre esto, descubrí que muchas diapositivas de muchos profesores …

11 cc.complexity-theory  np-hardness  csp 

De acuerdo con el libro Topological Graph Theory de Gross y Tucker, dada una incrustación celular de un gráfico en una superficie (por 'superficie' me refiero aquí a una esfera con algunos asas, y debajo de refiere a la esfera con exactamente tiradores), se puede definir un multigrafo dual tratando …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Trabajo en un laboratorio de neurociencia computacional que cuantifica la información mutua entre pares o grupos de neuronas. Recientemente, el jefe cambió su enfoque para medir la "complejidad de la dinámica neuronal". Al seguir esa línea de investigación, algunas personas en mi grupo parecen equiparar "complejo" con "tiene una alta …

11 cc.complexity-theory  it.information-theory 

Los algoritmos de aproximación pueden dar salida hasta algún factor constante. Esto es un poco menos satisfactorio que los algoritmos exactos. Sin embargo, los factores constantes se ignoran en la complejidad del tiempo. Entonces, me pregunto si el siguiente truco es posible o si fue utilizado, para resolver algún problema …

11 ds.algorithms  big-list  approximation-algorithms 

Esta pregunta puede no ser técnica. Como hablante no nativo y TA para la clase de algoritmo, siempre me pregunté qué significa gadget en 'gadget de cláusula' o 'gadget variable'. El diccionario dice que un gadget es una máquina o un dispositivo, pero no estoy seguro de qué significado coloquial …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Estoy interesado en una variación SAT donde la fórmula CNF es monótona (no se niegan variables). Tal fórmula es obviamente satisfactoria. Pero digamos que el número de variables verdaderas es una medida de cuán buena es nuestra solución. Entonces tenemos el siguiente problema: MÍNIMO VERDADERO MONOTONE 3SAT INSTANCIA: Conjunto U …

11 cc.complexity-theory  np-hardness  sat 

¿Hay problemas cuya complejidad de caso promedio es la misma que su peor complejidad de caso? ¿Cuáles son las propiedades subyacentes de estos problemas que hacen posible reducir el peor de los casos al caso promedio posible?

11 cc.complexity-theory  reductions  average-case-complexity 

¿Ha habido algún trabajo para recuperar la pendiente de un segmento de línea desde su digitalización? Uno no puede hacer esto con perfecta precisión, por supuesto; lo que uno quiere es un método para derivar de una línea digitalizada un intervalo de posibles pendientes. (El concepto de una línea digitalizada …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Esta pregunta puede tener una respuesta obvia ... pero aquí está la pregunta de todos modos. Intuitivamente, es la siguiente declaración plausible: "una máquina con una subrutina A que a su vez tiene una subrutina B es lo mismo que una máquina con una subrutina A que tiene acceso a …

11 complexity-classes  oracles