Preguntas etiquetadas con lower-bounds

Considere la siguiente pregunta natural: dado un lenguaje finito , ¿cuál es la gramática libre de contexto más pequeña que genera ?LLLLLL Podemos hacer la pregunta más interesante especificando una secuencia de idiomas , por ejemplo, es el conjunto de todas las permutaciones de : intuitivamente, un CFG para "necesitaría" …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

¿Se conocen los resultados que descartan la existencia de estructuras de datos "demasiado buenas para ser verdaderas"? Por ejemplo: ¿se puede agregar la funcionalidad y J o i n a una estructura de datos de mantenimiento de pedidos (ver Dietz y Sleator STOC '87 ) y aún obtener operaciones de …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

El problema #SAT es el problema canónico # P-complete. Es un problema funcional más que un problema de decisión. Pregunta, dada una fórmula booleana en lógica proposicional, cuántas asignaciones satisfactorias tiene¿Cuáles son los mejores límites inferiores en #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Hay varios conocidos AC0AC0\mathsf{AC^0} de límite inferior de tamaño de circuito basados ​​en restricciones aleatorias y el Lema de conmutación . ¿Podemos desarrollar un resultado de Lema de conmutación para probar un tamaño de límite inferior para circuitos TC0TC0\mathsf{TC^0} (similar a las pruebas de límite inferior para AC0AC0\mathsf{AC^0} )? ¿O …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Hay varias pruebas del límite inferior loglineal para el problema de unicidad / distinción del elemento (basado en árboles de cálculo algebraico o argumentos adversos), pero estoy buscando uno que sea lo suficientemente simple como para usar en un primer curso en el análisis y diseño de algoritmos. El mismo …

13 cc.complexity-theory  lower-bounds  proofs 

Es fácil verificar que, dada la cuadrícula d dimensional de los puntos enteros , con la adyacencia regular, se puede encontrar un separador de tamaño n d - 1 (simplemente elija cualquier hiperplano medio y elimine todos sus vértices). Tampoco es demasiado difícil (pero definitivamente no es inmediato) verificar que …

13 reference-request  cg.comp-geom  lower-bounds 

Es bien sabido que el problema de detención es indiscutible. Sin embargo, es posible "comprimir" exponencialmente la información sobre el problema de detención, de modo que descomprimirla sea computable. Más precisamente, es posible calcular a partir de una descripción de máquinas de Turing y un consejo de n bits que …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Sea el tamaño mínimo de un circuito aritmético (no monótono) ( + , × , - ) que calcula un polinomio multilineal dado f ( x 1 , … , x n ) = ∑ e ∈ E c e n ∏ i = 1 x e i iA ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

en 1979 Hopcroft / Ullman escribió que L ⊆ P ⊆ NP ⊆ PSpace es conocido, pero L ⊊ PSpace es la única contención adecuada (y trivial) conocida, aunque se conjetura que todas son contenciones adecuadas, y "donde las cosas siguen en pie" ~ 4 décadas después . desde entonces, …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

¿Cómo se demuestra que una determinada propiedad no se puede expresar en 2-CNF (2-SAT)? ¿Hay algún juego, como los juegos de guijarros? Parece que el clásico juego de guijarros negros y el juego de guijarros blanco y negro no son adecuados para esto (son completos para PSPACE, según Hertel y …

12 sat  lower-bounds  combinatorial-game-theory 

¿Cuál es el más eficiente (en la complejidad del tiempo) algoritmo conocido hoy en día para la Divisibity Decisión Problema: dados dos números enteros, por ejemplo y b , hace una división B ? Que quede claro que lo que pido no es (necesariamente) un algoritmo para el cálculo del …

12 time-complexity  lower-bounds  nt.number-theory  primes 

El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados ​​en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

¿Cuáles son los problemas estándar que podemos reducir para probar los límites inferiores de ?Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Por supuesto, otros problemas de estado además de la clasificación y la distinción de elementos.

12 cc.complexity-theory  lower-bounds 

Esto pretende ser una pregunta de seguimiento a la publicación anterior de Robin Kothari sobre los resultados de la dureza del tiempo polinomial . Específicamente, estoy interesado en ver algunas pruebas de dureza para problemas que se cree que tienen límites inferiores aproximadamente , y digo aproximadamente para permitir mejoras …

12 graph-theory  cg.comp-geom  lower-bounds 

Esta pregunta está inspirada en una pregunta existente sobre si una pila se puede simular usando dos colas en el tiempo amortizado por operación de pila. La respuesta parece ser desconocida. Aquí hay una pregunta más específica, correspondiente al caso especial en el que todas las operaciones PUSH se realizan …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting