Perguntas sobre problemas de decisão que podem ser resolvidos em máquinas de Turing não determinísticas em polinômio de tempo no comprimento da entrada.
Existem muitas tentativas de provar ou P ≠ N P , e naturalmente muitas pessoas pensam sobre a questão, tendo idéias para provar qualquer direção.P=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Eu sei que existem abordagens que comprovadamente não funcionam, e provavelmente há...
Eu tenho um entendimento de alto nível do problema e entendo que, se fosse absolutamente "comprovado" ser verdadeiro com uma solução fornecida, isso abriria a porta para a solução de vários problemas no campo da ciência da computação.P=NPP=NPP=NP Minha pergunta é: se alguém publicasse uma prova...
Existem problemas completos de NP que provaram algoritmos de tempo subexponencial? Estou solicitando informações gerais de casos, não estou falando de casos especiais tratáveis aqui. Por subexponencial, quero dizer uma ordem de crescimento acima dos polinômios, mas menor que exponencial, por...
Existem problemas conhecidos em (e não em ) que não são completos? Meu entendimento é que atualmente não há problemas conhecidos, mas não foi descartada como uma possibilidade. P N PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} Se houver um problema (e não ), mas não , isso seria resultado de nenhum...
Um colega meu e eu acabamos de fazer algumas anotações de um de nossos professores. As notas indicam que existem tarefas que são possíveis de resolver em tempo polinomial (estão na classe de PF), mas NÃO são verificáveis em tempo polinomial (NÃO são da classe de NPF). Para elaborar sobre essas...
Quando eu estava explicando a prova de Baker-Gill-Solovay de que existe um oráculo com o qual podemos ter, , e um oráculo com o qual podemos ter para um amigo, surgiu uma pergunta sobre por que essas técnicas são inadequadas para provar o problema , e não pude dar uma resposta...
Ocorreu a muitos que em todas as provas de integridade de que li (que me lembro), é sempre trivial mostrar que existe um problema em e mostrando que é -hard é a ... parte mais difícil. Quais problemas -completos são esses cujos verificadores de tempo polinomial são altamente não triviais?NP NP...
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...
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ê...
É possível que e a cardinalidade de P sejam iguais à cardinalidade de N P ? Ou P ≠ N P significa que P e N P devem ter cardinalidades diferentes?P ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N
O teorema de Galois efetivamente diz que não se pode expressar as raízes de um polinômio de grau> = 5 usando funções racionais de coeficientes e radicais - não se pode ler que se está dizendo que, dado um polinômio, não há algoritmo determinístico para encontrar as raízes? Agora considere uma...
Houve alguma pesquisa sobre a complexidade da prova de uma resolução para o problema P = NP? Caso contrário, dada a falta de progresso no problema, não seria razoável conjeturar que qualquer prova que resolva o problema P = NP exigirá um número super-polinomial de
Se fato é igual a N P , como isso aprimora nossos algoritmos para fatorar números inteiros mais rapidamente. Em outras palavras, que tipo de insight esse fato nos daria para entender melhor a fatoração inteira?PP{\sf P}N PNP{\sf
Tenho certeza de que alguém já pensou nisso antes ou imediatamente o descartou, mas por que a teoria da dicotomia de Schaefer, juntamente com o teorema de Mahaney sobre conjuntos esparsos, não implica P = NP? Aqui está o meu raciocínio: Crie um idioma que seja igual a SAT cruzado por um conjunto...
Meu palestrante fez a declaração Qualquer problema finito não pode ser NP-Complete Ele estava falando sobre o Sudoku na época dizendo algo do tipo: para um Sudoku 8x8, existe um conjunto finito de soluções, mas não me lembro exatamente o que ele disse. Anotei a nota que citei, mas que ainda...
Este é o meu primeiro post depois de ser um usuário passivo há algum tempo. Desejo fazer algumas perguntas, se puder. Eu não sou um matemático, mas minha pergunta se refere ao campo da matemática / ciência da computação. Em particular, o problema P vs NP. Estou ciente de que esse é um problema que...
Vi neste post no stackoverflow que existem alguns algoritmos relativamente rápidos para peneirar um intervalo de números para ver se há um primo nesse intervalo. No entanto, isso significa que o problema geral de decisão de: (existe um primo em um intervalo?) Está em P. (Havia muitas respostas para...
Estou ciente de que isso parece uma pergunta muito estúpida (ou óbvia demais para afirmar). No entanto, estou confuso em algum momento. Podemos mostrar que P NP=== se e somente se pudermos projetar um algoritmo que resolva qualquer instância de problema em NP em tempo polinomial. No entanto, eu...
Eu tenho essa "prova" muito simples de NP = CoNP e acho que fiz algo errado em algum lugar, mas não consigo encontrar o que está errado. Alguém pode me ajudar? Seja A um problema no PN, e M seja o decisor para A. Seja B o complemento, ou seja, B está no CoNP. Como M é um decisor, você também pode...
Esta é provavelmente uma pergunta estúpida, mas eu simplesmente não entendo. Em outra questão, eles apresentaram o teorema da dicotomia de Schaefer . Para mim, parece que prova que todo problema de CSP está em P ou em NP-complete, mas não no meio. Como todo problema de NP pode ser transformado no...