Perguntas com a marcação «lower-bounds»

Considere a seguinte pergunta natural: Dada uma linguagem finita , qual é a menor gramática livre de contexto que gera L ?eueuLeueuL Nós podemos fazer a pergunta mais interessante, especificando uma sequência de línguas , por exemplo L n é o conjunto de todas as permutações de { 1 , …

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

São conhecidos resultados que descartam a existência de estruturas de dados "boas demais para serem verdadeiras"? Por exemplo: pode-se adicionar e J o i n funcionalidade de um estrutura de dados de manutenção (ver a fim Dietz e Sleator STOC '87 ) e ainda assim obter S ( 1 ) …

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

O problema #SAT é o problema canônico # P-complete. É um problema de função e não de decisão. Ele pergunta, dada uma fórmula booleana na lógica proposicional, quantas atribuições satisfatórias F possui. Quais são os melhores limites inferiores no #SAT?FFFFFF

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

Existem vários resultados conhecidos do tamanho do circuito com base em restrições aleatórias e no Switching Lemma .A C0 0AC0\mathsf{AC^0} Podemos desenvolver um resultado do Switching Lemma para provar um tamanho inferior para os circuitos (semelhante às provas do limite inferior para )? A C 0T C0 0TC0\mathsf{TC^0}A C0 0AC0\mathsf{AC^0} …

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

É fácil verificar se, dada a grade dimensional d dos pontos inteiros , com a adjacência regular, é possível encontrar um separador de tamanho n d - 1 (basta escolher qualquer hiperplano médio e remover todos os seus vértices). Também não é muito difícil (mas definitivamente não é imediato) verificar …

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

Existem várias provas para o limite inferior loglinear do problema de singularidade / distinção de elementos (baseado em árvores de computação algébrica ou argumentos contraditórios), mas estou procurando uma que seja simples o suficiente para usar em um primeiro curso de análise e design de algoritmos. O mesmo "nível de …

13 cc.complexity-theory  lower-bounds  proofs 

É sabido que o problema da parada é incontestável. No entanto, é possível compactar exponencialmente as informações sobre o problema de parada, para que a descompactação seja computável. Mais precisamente, é possível calcular a partir de uma descrição de máquinas de Turing e de um conselho de n bits, a …

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

Seja o tamanho mínimo de um circuito aritmético (não monótono) ( + , × , - ) que computa um dado polinômio multilinear 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 

em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊ …

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

Como alguém mostra que uma determinada propriedade não pode ser expressa em 2-CNF (2-SAT)? Existem jogos, como jogos de seixos? Parece que o clássico jogo de pedras negras e preto e branco é inadequado para isso (eles são completos para o PSPACE, de acordo com Hertel e Pitassi, SIAM J …

12 sat  lower-bounds  combinatorial-game-theory 

Qual é o algoritmo mais eficiente (em complexidade de tempo), conhecida hoje em dia para o Divisibity decisão Problema: dados dois inteiros, digamos, e b , faz uma divisão b ? Deixe claro que o que eu peço não é (necessariamente) um algoritmo para o Cálculo Restante. Eu só quero …

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

O peso de uma cadeia binária x ∈ { 0 , 1 } n é o número de unidades na cadeia. O que acontece se estivermos interessados ​​em calcular uma função monótona em entradas com poucas?| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Sabemos que decidir se um gráfico …

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

Quais são os problemas padrão dos quais podemos reduzir para provar limites inferiores?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Obviamente, declare outros problemas além de classificação e distinção de elementos.

12 cc.complexity-theory  lower-bounds 

Isso pretende ser uma pergunta de acompanhamento do post anterior de Robin Kothari sobre resultados de dureza do tempo polinomial . Especificamente, estou interessado em ver algumas provas de dureza para problemas que se acredita terem limites mais baixos, e digo aproximadamente para permitir melhorias ligeiramente sub-cúbicas ao brincar com …

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

Essa pergunta é inspirada em uma pergunta existente sobre se uma pilha pode ser simulada usando duas filas no tempo amortizado por operação da pilha. A resposta parece ser desconhecida. Aqui está uma pergunta mais específica, correspondente ao caso especial em que todas as operações PUSH são executadas primeiro, seguidas …

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