Perguntas com a marcação «complexity-theory»

FUNDO: Recentemente, tentei resolver um problema difícil que obtém como entrada uma matriz de números. Para , a única solução que encontrei foi ter um tratamento diferente para cada uma das ordenações dos 3 números. Ou seja, existe uma solução para o caso , outra solução para , etc. (o …

7 complexity-theory  programming-languages  kolmogorov-complexity 

Deixei ΠΠ\Pium problema de contagem parametrizado , em que o parâmetro é o custo da solução, por exemplo, contar o número dekkkde vértice de tamanho médio em um gráfico, parametrizado por kkk. Assuma isso ΠΠ\Pi é #W#W\#W[1] -complete (um problema conhecido, por exemplo, seria contar o número de caminhos simples …

7 complexity-theory  approximation  counting  parameterized-complexity 

Problema (tl; dr) Dada uma gramática livre de contexto, , encontre um conjunto de strings que conduzam a toda produção que ela possui pelo menos uma vez.GGGGGG Como e com que rapidez isso pode ser feito? fundo Estou trabalhando em um compilador cujo analisador é implementado com uma ferramenta semelhante …

7 complexity-theory  context-free  formal-grammars 

A classe fechada sob complemento ou é desconhecida? Procurei online, mas não consegui encontrar nada.NPNP\sf NP

7 complexity-theory  closure-properties  complexity-classes  np 

Um problema é NP-completo se: Está em NP. Todos os problemas no NP podem reduzir a isso. É o número 2 que me preocupa aqui. Eu ficaria muito surpreso se soubéssemos todos os problemas no NP. Com base nessa premissa, como podemos ter certeza de que algum problema está completo …

7 complexity-theory  np-complete  np 

Entendo que essa é uma pergunta um pouco vaga, mas há resultados para P vs. NP, como a questão não pode ser facilmente resolvida usando oráculos. Existem resultados como este que foram mostrados para P vs. NP, mas não foram mostrados para P vs PSPACE, de modo que há esperança …

7 complexity-theory  time-complexity  space-complexity 

Há um resultado básico na complexidade do circuito que diz: Existe uma linguagem que não pode ser resolvida com circuitos do tamanho .o(2nn)o(2nn)o(\frac{2^n}{n}) O argumento é um argumento simples de contagem do número de funções booleanas e do número de circuitos distintos. Veja, por exemplo, estas notas de aula . …

7 complexity-theory  lower-bounds  circuits 

A seguinte matriz ocupa 10.000 slots na memória: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Mas pode-se facilmente representar a mesma matriz que: a = {len:10000, get: λ idx -> idx} O que é muito mais compacto. Da mesma forma, existem várias matrizes que podem ser representadas compactamente: a = {a:1000, get: λ idx …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

Eu ouvi aqui que o problema ciclo hamiltoniano é polinomial em gráficos de treewidth limitada. Estou interessado em exemplos / referências a diferentes problemas que são essencialmente difíceis, mas que possuem complexidade polinomial em gráficos de largura de árvore limitada.

7 complexity-theory  graph-theory  reference-request  np  polynomial-time 

É sabido que qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis ​​( veja aqui ). Se o uso de novas variáveis ​​não for permitido, isso nem sempre é possível (por exemplo, a fórmula da cláusula única:(x1 1∨x2∨x3∨x4)(x1 1∨x2∨x3∨x4)(x_1 \lor x_2 \lor x_3 …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Deixei ϕϕ\phi ser uma fórmula 3-CNF sobre variáveis x1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_n. Toda variávelxixix_i, i∈[n]i∈[n]i \in [n], ocorre igualmente muitas vezes como um literal positivo e como um literal negativo em ϕϕ\phi. É NP-completo decidir a satisfação de tal fórmula? Supondo que seja, eu estaria interessado em saber se ele tem um nome …

7 complexity-theory  np-complete  satisfiability  decision-problem 

Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis ​​que , onde todas as variáveis ​​são negadas. É …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

Por uma máquina de Turing de baunilha, quero dizer uma máquina de Turing com uma fita (sem fitas especiais de entrada ou saída). O problema é como se segue: a fita é inicialmente vazia, com excepção de uma série de s e s terminadas por um caractere de fim-de-corda. A …

7 complexity-theory  turing-machines  time-complexity  lower-bounds 

Suponha que eu tenha um problema de decisão e o codifique para um idioma . Agora, também posso codificá-lo para um idioma diferente .DDDL ⊂ { 0 , 1}∗eu⊂{0 0,1 1}∗L \subset \{0,1\}^*eu′eu′L' Existe algum teorema relacionando a complexidade temporal de e ?eueuLeu′eu′L' Como a complexidade temporal de um problema …

7 complexity-theory  terminology  time-complexity 

Eu li que computadores quânticos podem resolver 'certos problemas' exponencialmente melhor do que computadores clássicos. Como eu acho que entendo, NÃO é o mesmo dizer que computadores quânticos pegam quaisquer problemas EXPTIME-complete, 2-EXPTIME, ... e os convertem em tempo linear ou tempo constante. Eu gostaria de saber algo mais sobre …

7 complexity-theory  time-complexity  quantum-computing