É com acesso oráculo para N P maior do que apenas N P ? Pelo que entendi N P N P é apenas uma máquina de turing que pode fazer consultas a outra máquina N P , se sim, então N P pode simular N P N P ? Há algo de errado com esse
É com acesso oráculo para N P maior do que apenas N P ? Pelo que entendi N P N P é apenas uma máquina de turing que pode fazer consultas a outra máquina N P , se sim, então N P pode simular N P N P ? Há algo de errado com esse
Qual é a complexidade da computação ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in
Estou procurando uma especialização em Ciência da Computação Teórica; especificamente, estou interessado em teoria da complexidade e teoria probabilística de autômatos. Quando me formei em um ano, quais cursos avançados de matemática (como teoria de Galois ou análise harmônica, por exemplo) você...
A definição de P é uma linguagem que pode ser decidida por um algoritmo de tempo polinomial. A definição de P / poli pode ser entendida como uma linguagem que pode ser decidida por um circuito de tamanho polinomial (consulte http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Agora, por que...
Eu faço curso de Complexidade Computacional. Meu problema é que eu não entendo o método de relativização . Tentei encontrar um pouco de intuição em muitos livros didáticos, infelizmente, até agora sem sucesso. Apreciaria se alguém pudesse esclarecer esse assunto para que eu possa continuar sozinho....
Para raciocinar sobre coisas como NP-completeness, normalmente usamos muitas reduções de uma (por exemplo, reduções de Karp). Isso leva a imagens como esta: (sob conjecturas padrão). Tenho certeza de que todos estamos familiarizados com esse tipo de coisa. Que imagem temos, se trabalharmos com...
Considere o seguinte problema cuja instância de entrada é um gráfico simples e um número inteiro natural .GGGkkk Existe um conjunto tal que seja bipartido e ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Eu gostaria de mostrar que esse problema é -completo, reduzindo...
Existe um jogo clássico de livro de quebra-cabeças muito semelhante a um jogo de palavras cruzadas, exceto que uma lista de palavras é fornecida e, em seguida, é fornecido um tabuleiro composto por quadrados unitários, com alguns quadrados apagados como uma palavra cruzada, e alguns quadrados já...
Suponha que eu forneça um gráfico não direcionado com arestas ponderadas e diga que cada nó corresponde a um ponto no espaço 3D. Sempre que há uma aresta entre dois nós, o peso da aresta é a distância entre os pontos. Seu objetivo é reconstruir as posições relativas dos pontos, considerando apenas...
Em relação ao segmento Provando que a conversão de CNF para DNF é NP-Hard (e um segmento Math relacionado ): E a outra direção, de DNF a CNF? É fácil ou difícil? Na página 2 deste artigo , eles parecem sugerir que ambas as direções são igualmente difíceis quando dizem " Estamos interessados na...
Considere a seguinte declaração do problema: Dado um número inicial, você e seu amigo se revezam para subtrair um quadrado perfeito dele. O primeiro a chegar a zero vitórias. Por exemplo: Estado inicial: 37 Jogador1 subtrai 16. Estado: 21 Jogador2 subtrai 8. Estado: 13 Jogador1...
Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D S P A C...
Essa pergunta é um pouco contrária a uma pergunta anterior sobre conjuntos formados a partir de operações de conjunto em conjuntos NP-completos: Se o conjunto resultante da união, interseção ou produto cartesiano de dois conjuntos decidíveis e for NP completo, é pelo menos um de necessariamente NP...
Introdução e anotações: Aqui está uma versão nova e simples do meu algoritmo que parece terminar (de acordo com meus experimentos), e agora eu gostaria de provar isso. Deixe a notação referir-se a um ponto de dados dimensionais (um vetor). Eu tenho três conjuntos A, B e C, de modo que , , : p |...
A Wikipedia diz que a união por classificação sem compactação de caminho fornece uma complexidade de tempo amortizada de , e que a união por classificação e compactação de caminho fornece uma complexidade de tempo amortizada de (onde é o inverso da função Ackerman). No entanto, ele não menciona o...
Estou tentando argumentar que N não é igual a NP usando teoremas de hierarquia. Esse é o meu argumento, mas quando mostrei ao nosso professor e, após dedução, ele disse que isso é problemático, onde não consigo encontrar uma razão convincente para aceitar. Começamos assumindo que P=NPP=NPP=NP ....
Tivemos várias perguntas sobre a relação das reduções de Cook e Karp . É claro que as reduções de Cook (reduções de Turing no tempo polinomial) não definem a mesma noção de completude de NP que as reduções de Karp (reduções de muitos-um no tempo polinomial), que geralmente são usadas. Em...
Meu livro diz: "Nós definimos a função da seguinte forma: f ( 1 ) = 2 e f ( i + 1 ) = 2 f ( i ) 1.2 . Nota que, dado n , podemos facilmente encontrar em O ( n 1,5 ) tempo o número i de tal modo que n é ensanduichada entre f ( i ) e f ( i + 1f:N→Nf:N→Nf\colon
Se P=NPP=NP\mathbf{P} = \mathbf{NP} , então é L=NLL=NL\mathbf{L} = \mathbf{NL} ? Estou fazendo essa pergunta porque, para outras classes não determinísticas, parece que P=NPP=NP\mathbf{P} = \mathbf{NP} sempre estabelece que são iguais às suas contrapartes
Estou apenas começando a entrar na teoria da computação, que estuda o que pode ser calculado, com que rapidez, usando quanta memória e com qual modelo computacional. Eu tenho uma pergunta bem básica, mas realmente espero que alguns de vocês possam me ajudar a entender o conceito por trás disso:...