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

Talvez isso seja bastante simples, mas tenho alguns problemas para obter essa redução. Eu quero reduzir a soma de subconjuntos à partição, mas neste momento não vejo a relação! É possível reduzir esse problema usando uma redução de Levin? Se você não entende, escreva para esclarecimentos!

20 complexity-theory  np-complete  reductions 

Eu tive problemas para aceitar a visão teórica da complexidade de "resolvido com eficiência por algoritmo paralelo", que é dada pela classe NC : NC é a classe de problemas que podem ser resolvidos por um algoritmo paralelo em tempo em p ( n ) ∈ S ( n k …

20 complexity-theory  reference-request  parallel-computing 

bbba c Nab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Eu me pergunto em quais grupos de complexidade (por exemplo, para computadores clássicos e quânticos) se enquadram e quais abordagens (por exemplo, algoritmos) são as melhores para realizar essa tarefa. O link da Wikipedia acima não oferece tempos de execução muito concretos. Espero algo mais …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

Existem problemas no que têm algoritmos aleatórios que ultrapassam limites inferiores em algoritmos determinísticos? Mais concretamente, conhecemos algum para o qual ? Aqui \ mathsf {PTIME} (f (n)) significa o conjunto de idiomas decidíveis por uma TM aleatória com erro de limite constante (um ou dois lados) nas etapas f …

20 algorithms  complexity-theory  randomized-algorithms 

Deixe-me começar por observar que este é um problema de lição de casa; forneça apenas conselhos e observações relacionadas; NENHUMA RESPOSTA DIRETA por favor . Com isso dito, aqui está o problema que estou olhando: Vamos MEIA CLIQUE = { | é um gráfico não direcionado com um subgráfico completo …

20 complexity-theory  np-complete  reductions 

Como posso provar que a conversão de CNF para DNF é NP-Hard? Não estou pedindo uma resposta, apenas algumas sugestões sobre como proceder para provar isso.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

De acordo com Immerman , a classe de complexidade associada às consultas SQL é exatamente a classe de consultas seguras em (consultas de primeira ordem e operador de contagem): o SQL captura consultas seguras. (Em outras palavras, todas as consultas SQL têm uma complexidade em \ mathsf {Q (FO (COUNT))} …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Considere duas possibilidades para o problema P vs. NP: P = NP e P NP.≠≠\neq Seja Q um dos problemas conhecidos de NP-hard. Para provar P = NP, precisamos projetar um algoritmo de tempo polinomial único A para Q e provar que A resolve Q corretamente. Para provar P NP, …

20 complexity-theory  p-vs-np 

Muitas vezes, se as complexidades estão tendo constantes como 3n, negligenciamos essa constante e dizemos O (n) e não O (3n). Não consigo entender como podemos negligenciar essa mudança tríplice? Alguma coisa está variando 3 vezes mais rapidamente que outra! Por que negligenciamos esse fato?

20 complexity-theory  asymptotics  landau-notation 

Na multiplicação de matrizes de Strassen, afirmamos um fato estranho (pelo menos para mim): a multiplicação de matrizes de dois 2 x 2 exige 7 multiplicações. Pergunta: Como provar que é impossível multiplicar duas matrizes 2 x 2 em 6 multiplicações? Observe que as matrizes estão sobre números inteiros.

19 algorithms  complexity-theory  lower-bounds 

É necessário que um problema difícil de NP seja computável? Acho que não, mas não tenho certeza.

19 complexity-theory  computability  np-hard 

Estou estudando a complexidade computacional e fiquei pensando por que os problemas do NP-Complete (NPC) são uma classe importante. Acho óbvio por que estamos interessados ​​em mostrar que um determinado problema de NP é difícil de NP. Eu também entendo a definição de NPC, e que mostrar um determinado problema …

19 complexity-theory  np-complete 

Estou procurando exemplos de problemas que tenham um limite inferior de ) para a entrada x .Ω ( | x |2Ω(|x|2\Omega(|x|^2xxx O problema precisa ter as seguintes propriedades: prova de tempo de execução para qualquer algoritmo - primeira prioridade é ter o mais simples possível argumento limite inferior.Ω ( n2)Ω(n2)\Omega(n^2) …

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

No artigo Complexidade do Problema de Frobenius, de Ramírez-Alfonsín, um problema foi comprovado como NP-completo usando reduções de Turing. Isso é possível? Como exatamente? Eu pensei que isso só era possível por um tempo polinomial de muitas reduções. Há alguma referência sobre isso? Existem duas noções diferentes de dureza NP, …

19 complexity-theory  time-complexity  np-complete  reductions 

Para cada função computável existe um problema que pode ser resolvido na melhor das hipóteses em ou existe uma função computável modo que todo problema que pode ser resolvido em possa também pode ser resolvido em tempo?fffΘ(f(n))Θ(f(n))\Theta(f(n))fffO(f(n))O(f(n))O(f(n))o(f(n))o(f(n))o(f(n)) Esta pergunta surgiu na minha cabeça ontem. Estou pensando nisso há um tempo, …

19 complexity-theory