Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou um pouco confuso com alguma terminologia que encontrei em relação à complexidade dos problemas de otimização. Em uma classe de algoritmos,...
Estou procurando algumas dicas em uma pergunta feita pelo meu instrutor. Então, acabei de descobrir que esse problema de decisão é :NP-completeNP-complete\sf{NP\text{-}complete} Em um gráfico , existe uma árvore de abrangência em que contém um conjunto exato de como folhas. Eu descobri que...
Recentemente, eu estava lendo sobre algoritmos para verificar a bisimilaridade e li que o problema é P-completo . Além disso, uma consequência disso é que é improvável que esse problema, ou qualquer problema com P-complete, possua algoritmos paralelos eficientes. Qual é a intuição por trás dessa...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Neste artigo da Wikipedia sobre o problema do Clique na teoria dos grafos , afirma no início que o problema de
Gostaria de começar a pergunta dizendo que sou programador e não tenho muita experiência em teoria da complexidade. Uma coisa que eu notei é que, embora muitos problemas sejam NP-completos, quando estendidos a problemas de otimização, alguns são muito mais difíceis de aproximar do que outros. Um...
Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema de Ladner...
Aqui está o problema. Dado , em que cada . Existe um subconjunto com tamanho máximo de tal que para todos os ? Estou tentando reduzir esse problema para o SAT. Minha idéia de uma solução seria ter uma variável para cada um de 1 a . Para cada , crie uma cláusula se . Então e todas essas cláusulas...
Uma motivação possível para o estudo de classes de complexidade computacional é entender o poder de diferentes tipos de recursos computacionais (aleatoriedade, não determinismo, efeitos quânticos etc.). Se olharmos para essa perspectiva, parece que podemos obter um axioma plausível para qualquer...
O problema da soma de subconjuntos é um problema NP-completo clássico: Dada uma lista de números e um destino , existe um subconjunto de números de que soma ?k L keuLLkkkeuLLkkk Um aluno me perguntou se essa variante do problema chamada de "produto de subconjunto" está NP-completa: Dada uma...
Então eu entendo a ideia de que o problema de decisão é definido como Existe um caminho P tal que o custo seja menor que C? e você pode facilmente verificar se isso é verdade, verificando o caminho que você recebe. No entanto, e se não houver um caminho que atenda a esse critério? Como você...
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 ) processadores com c , k ∈ N .O ( logcn...
A Wikipedia declara o problema da soma do subconjunto como encontrar um subconjunto de um determinado conjunto múltiplo de números inteiros, cuja soma é zero. Além disso, afirma que é equivalente a encontrar um subconjunto com soma para qualquer dado .ssssss Então, acredito que, como são...
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
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?...
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...
Encontrei as seguintes dúvidas sobre a complexidade das Torres de Hanói , sobre as quais gostaria de seus comentários. Está em NP? Resposta da tentativa: Suponha que Peggy (provador) resolva o problema e o envie a Victor (verificador). Victor pode ver facilmente que o estado final da solução...
Isso é inspirado em uma pergunta da entrevista . Recebemos uma matriz de números inteiros a1,…,ana1,…,ana_1, \dots, a_n e precisamos determinar se existem distintos, de modo quei<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i isto é,...
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...
Suponhamos que temos um gráfico dirigido e dois nós e . Gostaria de saber se já existem algoritmos para calcular o seguinte problema de decisão:G=(V,E)G=(V,E)G=(V,E)AAABBB Existem pelo menos dois caminhos entre e do mesmo comprimento?AAABBB E a complexidade? Posso resolvê-lo em tempo...
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...