Estamos trabajando en computadoras distribuidas y se nos ocurrió un problema de complejidad que se reduce a un problema mínimo de cobertura de ruta. Actualmente no sabemos cómo resolverlo. El problema es el siguiente: Sea un número entero y sea un gráfico que contenga vértices. Rotulamos cada...
Estoy interesado en ejemplos de construcciones en la teoría de la complejidad que son mejores que las construcciones aleatorias. El único ejemplo de tal construcción que conozco es en el campo de los códigos de corrección de errores. Los códigos de geometría algebraica son mejores en algún rango...
Hay muchos ejemplos en combinatoria y ciencias de la computación en los que podemos analizar un problema de teoría de grafos, pero para el análogo de hipergrafía del problema, faltan nuestras herramientas. ¿Por qué crees que los problemas a menudo se vuelven mucho más difíciles con las hipergrafías...
Deje que sea un lenguaje sin contexto. Definir que es el cierre de pre y posfijo de , en otras palabras, contiene todos los 's prefijos y sufijos, y por lo tanto sí mismo. Mi pregunta: si tiene contexto y tiene una gramática no ambigua, ¿es lo mismo para ?p p c ( L ) L p p c ( L ) L L L p p c ( L...
En pocas palabras, los teoremas de la jerarquía del tiempo dicen que una máquina de Turing puede resolver más problemas si tiene más tiempo para el cálculo. En detalle para TM determinístico y funciones construibles en el tiempo con es y para TM no determinista y funciones construibles en el...
La publicación está relacionada con: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles ¿A qué distancia está el Lovasz de la capacidad de error cero de los gráficos regulares? ¿Hay algún ejemplo en el que se sepa que el límite de Lovasz no es igual a la...
Un programa span es una forma lineal-algebraica de especificar una función booleana presentada aquí . Recientemente, este modelo se usó para mostrar que el método negativo del adversario proporciona una caracterización estricta (al menos hasta ) de la complejidad de la consulta...
Considere el problema del conjunto dominante en gráficos generales, y sea el número de vértices en un gráfico. Un algoritmo de aproximación codicioso ofrece una garantía de aproximación del factor 1 + log n , es decir, es posible encontrar en el tiempo polinómico una solución S tal que | S | ≤ ( 1...
Para responder "qué problemas se pueden resolver con la informática", desarrollamos la teoría de la computabilidad. Para los problemas que son computables, ¿existe una teoría para responder la pregunta "¿Es el programa el que obtengo más simple"? No creo que la complejidad computacional responda...
Deje GGG un grafo conectado G=(V,E)G=(V,E)G = (V,E) con nodos V=1…nV=1…nV = 1 \dots n y los bordes EEE . Deje wiwiw_i denota el peso (número entero) de la gráfica GGG , con ∑iwi=m∑iwi=m\sum_i w_i = m el peso total en el gráfico. El peso promedio por nodo es w¯=m/nw¯=m/n\bar w = m/n . Sea...
Sabemos que el registro del rango de una matriz 0-1 es el límite inferior de la complejidad de comunicación determinista, y el registro del rango aproximado es el límite inferior de la complejidad de la comunicación aleatoria. La brecha más grande entre la complejidad de comunicación determinista y...
Aunque las separaciones exponenciales entre la complejidad cuántica de consultas con error limitado ( ) y la complejidad de consulta determinista ( D ( f ) ) o la complejidad aleatoria de consultas con error limitado ( R ( f ) ) son conocidas, solo se aplican a ciertas funciones parciales. Si las...
Soy un estudiante de maestría enfocado en sistemas distribuidos pero también interesado en informática teórica. Me preguntaba si hay una representación formal de un sistema distribuido encima de una máquina de turing. Es decir, ¿es posible extender (hacer una variante) el concepto de una máquina de...
Los intentos permiten el almacenamiento eficiente de listas de elementos. Los prefijos se comparten, por lo que ahorra espacio. Estoy buscando una forma similar de almacenar árboles de manera eficiente. Me gustaría poder verificar la membresía y agregar elementos, sabiendo si un árbol dado es un...
Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de...
Sabemos que encontrar el casco convexo de nortenorten puntos en un plano tiene un límite inferior de Ω ( n logn )Ω(norteIniciar sesiónnorte)\Omega(n\log n) en su tiempo de ejecución. Sin embargo, si los puntos se dan en el orden en que ocurren a lo largo de un polígono simple que tiene esos puntos...
Codicioso es un término no formal, pero podría ser (no estoy seguro, es por eso que estoy preguntando) que para ciertos problemas, la codicia puede formularse matemáticamente y así probarse que no existe un algoritmo codicioso óptimo. es
En el artículo seminal de Bernstein y Vazirani, "Teoría de la complejidad cuántica", muestran que una transformación unitaria dimensional puede ser aproximada eficientemente por un producto de lo que llaman "rotaciones casi triviales" y "cambios de fase casi triviales".rered Las "rotaciones casi...
Se ha trabajado bastante en problemas computacionales para órdenes parciales (por ejemplo, reconocimiento, número de salto, reconocimiento de gráficos de comparabilidad, etc.). Tengo curiosidad por saber qué trabajo específico a las redes se ha realizado. He buscado alrededor y no he encontrado...
Dado un grafo dirigido y dos vértices . Un par de rutas simples de a es un borde disjunto si no comparten un borde.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vpag1, p2p1,p2p_1,p_2sssttt Utilizando el flujo máximo, es fácil decidir si hay un par de caminos disjuntos...