O Theoem de Karp-Lipton afirma que se , então colapso em . Portanto, assumindo separações entre e , nenhum pertencerá a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Em seu artigo (p. 503), Garey e Johnson comentam: ... pode haver um problema de NP-completo que não é nem NP-completo no sentido forte nem solucionável por um algoritmo de tempo pseudo-polinomial ... Alguém conhece alguns problemas de candidatos com as propriedades mencionadas acima? Penso...
O problema de decisão CNF-SAT pode ser descrito da seguinte maneira: Entrada: uma fórmula booleana na forma normal conjuntiva.ϕϕ\phi Pergunta: Existe uma atribuição de variável que satisfaça ?ϕϕ\phi Estou considerando várias abordagens diferentes para resolver o CNF-SAT com uma máquina de Turing...
Paridade-P é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação). Assim Paridade-P é basicamente PP atrofiado...
Existe um exemplo explícito conhecido de um algoritmo com a propriedade tal que, se P≠NPP≠NPP\neq NP , esse algoritmo não é executado no tempo polinomial e se P=NPP=NPP=NP , ele é executado no tempo
Estou interessado na conexões entre aprendizagem "caos", ou, mais amplamente, sistemas dinâmicos, eo pergunta. Aqui está um exemplo do tipo de literatura que estou procurando:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária e Zoltán Toroczkai. "Dureza de otimização como caos transitório em uma abordagem...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
O famoso Isomorfismo Conjectura de Berman e Hartmanis diz que todos idiomas -completo são tempo polinomial isomorphic (p-isomorphic) entre si. A importância chave da conjectura é que ela implica P ≠ N P . Foi publicado em 1977, e um pedaço de provas foi que todos os N P problemas -Complete...
Eu acho que seria uma boa idéia fazer uma lista de teoremas afirmando que P não é igual a NP se, e somente se, tais e tais saídas, alguma classe de complexidade estiver contida em outra classe de complexidade e assim por diante.
Seja 0≤p≤10≤p≤10\le p\le 1 e considere o problema de decisão CLICK p entrada: número inteiro s , gráfico G com t vértices e arestas Pergunta: O conter uma clique sobre, pelo menos, vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil sGGGsss Uma instância de CLIQUE pp_p contém...
Uma rede de comutadores (o nome é inventado) é criada com três tipos de nós: um nó Iniciar um nó final um ou mais nós do Switch O nó do comutador possui 3 saídas: Esquerda, Cima, Direita; possui dois estados L e R e um estado alvo TL ou TR . Cada switch pode ser percorrido com as seguintes...
Eu li que a programação linear inteira é solucionável em tempo polinominal se o número de variáveis for fixo, ou seja, n ∈ O ( 1 ) . Se o número de variáveis cresce logaritmicamente, ou seja, n ∈ O ( log 2 ( N ) ) para uma determinada entrada de tamanho , o problema ainda pode ser solucionado...
Gowers recentemente delineou um problema, que ele chama de "determinação discreta de Borel", cuja solução está relacionada à comprovação dos limites mais baixos do circuito. Você pode fornecer um resumo da abordagem adaptada a um público de teóricos da complexidade? O que seria necessário para...
Todos sabemos que mostrar tem barreiras. Todos nós estudamos essas barreiras porque acreditamos que P ≠ N PP≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP . No entanto, assuma e há pessoas sábias que acreditam que essa possibilidade existe . Se esse for realmente o caso, o próprio fato de não termos visto bons...
De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o...
FewP é a classe de NPNPNP -os problemas com polinomial ligada do número de soluções (no tamanho da entrada). Não é conhecido nenhum NPNPNP problema -completo em fewPfewPfewP . Estou interessado em até onde podemos esticar essa observação. Existe alguma naturais NPNPNP problema -completo com...
É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante...
Existe , uma linguagem completa NP ou P que possui alguma família de grupos de simetria (ou grupóides , mas as perguntas algorítmicas ficam mais abertas) atuando (em tempo polinomial) nos conjuntos que haja poucas órbitas, ou seja, para que para grande o suficiente e alguns , e tal que possa ser...
O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são
Aqui está o problema: Temos um quadrado com alguns números de 1..N em algumas células. É necessário determinar se ele pode ser concluído em um quadrado mágico. Exemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ Esse problema está completo?...