Preguntas etiquetadas con lower-bounds

Es bien sabido que la complejidad de la consulta cuántica de error acotado de la función es Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Ahora la pregunta es ¿y si queremos que nuestro algoritmo cuántico tenga éxito para cada entrada con probabilidad1-εen lugar de la habitual2/3. Ahora, en términos deϵ,¿cuáles serían los límites …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Editar: ahora hay una pregunta de seguimiento relacionada con esta publicación. Definiciones Sean y enteros. Usamos la notación .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Se dice que una matriz es una matriz de color to- si se cumple lo siguiente:c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk tenemos para todo ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

En la complejidad del árbol de decisión de una función booleana, un método de límite inferior muy conocido es encontrar un polinomio (aproximado) que represente la función. Paturi dio una caracterización para funciones booleanas simétricas (parciales y totales) en términos de una cantidad denotada :ΓΓ\Gamma Teorema ( Paturi ): Sea …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

El teorema de la jerarquía de tiempo permite mostrar que, por ejemplo, hay problemas en P que una máquina de Turing no puede resolver en un tiempo menor que const * n ^ 2. Pero dale algunos consejos a la máquina Turing y todas las apuestas están canceladas. Todavía no …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Primero, disculpas si esta pregunta es apropiada o trivial para este sitio. Soy un físico que busca ayuda fuera de su zona de confort. En PRL 87 167902 (2001) se afirma que "... para un arbitrariamente pequeño existe un código de corrección de errores con (para alguna constante ) tal …

8 reference-request  lower-bounds  quantum-information 

Se le da una matriz binaria de tamaño .nortenn Quiero mostrar que ningún algoritmo puede hacer lo siguiente (o sorprenderse y descubrir que estos algoritmos existen después de todo): 1) Preprocese la matriz de entrada con tiempo ilimitado, pero solo con bits .O ( n )O(n)O(n) 2) Responda consultas en …

8 ds.algorithms  lower-bounds  it.information-theory 

En https://en.wikipedia.org/wiki/Geometric_complexity_theory se menciona que ".. Ketan Mulmuley cree que el programa, si es viable, es probable que tome alrededor de 100 años antes de que pueda resolver el problema P vs. NP". Parece indicar que el único programa actualmente viable podría enfrentar serios obstáculos. ¿Cuáles son algunos de los …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Estoy buscando más problemas en con límites inferiores de complejidad temporal clásica. Algunas personas podrían preguntarse cómo podría probar un límite tan bajo. Vea abajo.PPP Límites inferiores exponenciales: Reclamación: Si tiene un problema que es E X P T I M E -completo bajo reducciones polinómicas, entonces hay una constante …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

¿Es la complejidad de la comunicación (CC) el único enfoque conocido para los algoritmos de transmisión de límites inferiores? ¿Existen otras técnicas, incluso si los límites inferiores condicionales ? En general, ¿estamos satisfechos con el progreso logrado a través de CC? ¿O buscar técnicas alternativas (aunque sean condicionales) sería una …

8 lower-bounds  streaming-algorithms  proof-techniques 

Relacionado con una pregunta reciente ( Límites en el tamaño del NFA más pequeño para L_k-distinct ) Noam Nisan solicitó un método para proporcionar un límite inferior mejor para el tamaño de un NFA que el que obtenemos de los límites de complejidad de la comunicación. Lo que sigue es …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

¿Existen límites inferiores no triviales en el tiempo de ejecución de los algoritmos gráficos en RAM / PRAM / modelos de computación? No estoy buscando los resultados de NP-Hardness aquí. El siguiente es un resultado que pude encontrar [ver ref L92]: 3-Colorear un ciclo n requiere tiempo .Ω ( log∗n …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

esta es una reescritura de otra pregunta reciente mía [1] que no se dijo bien (tenía una simplificación semi obvia, mea culpa) pero creo que todavía hay una pregunta no trivial en el fondo. He visto problemas similares en la literatura pero no este en particular. lo escribirá en términos …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Deje ser una matriz cuadrada dada. ¿Hay alguna evidencia de que superar los límites inferiores cuadráticos para B de modo que det ( B ) = per ( A ) pueda ser difícil?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) ¿Hay alguna conjetura plausible que implique que probar límites más bajos es difícil? ¿Hay alguna …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Estoy buscando una referencia para la complejidad de la comunicación aleatoria unidireccional (clásica) cuando el universo puede ser grande. Digamos que Alice y Bob tienen conjuntos de tamaño elegidos de un universo de tamaño y Bob quiere determinar si la intersección de sus conjuntos está vacía o no. Me gustaría …

8 cc.complexity-theory  reference-request  lower-bounds  communication-complexity 

Me gustaría verificar el estado del límite inferior del espacio para resolver el problema de conectividad en la transmisión en pases. El se indicó en la literatura, pero parece ser por un problema ligeramente diferente. ¿Me he perdido algo? Detalles abajo. Ω ( n / p )pagsppΩ ( n / …

8 lower-bounds  data-streams