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

Eu preciso saber em que classe de CFL está fechada, ou seja, qual conjunto é o complemento de CFL. Eu sei que o CFL não está fechado no complemento e sei que P está fechado no complemento. Como CFL PI pode dizer que o complemento de CFL está incluído em …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

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 . Então, produz …

10 complexity-theory  time-complexity  p-vs-np 

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 subtrai 4. Estado: 9 Jogador2 …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Aprendi hoje que a análise de algoritmos difere com base no modelo computacional. É algo em que nunca pensei ou ouvi falar. Um exemplo dado a mim, que o ilustrou ainda mais, pelo usuário @chi foi: Por exemplo, considere a tarefa: dado retorne . Na RAM, isso pode ser resolvido …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Isenção de responsabilidade: Eu sei que já existem perguntas semelhantes aqui e no Stackoverflow. Mas eles são todos sobre colisões, o que não é o que estou pedindo. Minha pergunta é: por que a pesquisa sem colisões O(1)em primeiro lugar? Vamos supor que eu tenho essa hashtable: Hash Content ------------- …

10 complexity-theory  hash  hash-tables  performance 

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 determinísticas.

10 complexity-theory  p-vs-np 

Dado um conjunto de pontos e um raio . Qual é a complexidade de encontrar o ponto com maior número de pontos a uma distância menor que . Por exemplo, aquele que maximiza ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Um algoritmo de força bruta seria ultrapassar …

10 algorithms  complexity-theory  computational-geometry 

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 rígido? Eu sei …

10 complexity-theory  np-hard  np  np-intermediate 

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 …

10 complexity-theory  logic  satisfiability  normal-forms 

Os exemplos comuns de problemas difíceis de NP (clique, 3-SAT, cobertura de vértices etc.) são do tipo em que não sabemos se a resposta é "sim" ou "não" anteriormente. Suponha que tenhamos um problema no qual sabemos que a resposta é sim, além disso, podemos verificar uma testemunha em tempo …

10 complexity-theory  np-hard  search-problem 

Dado dois inteiros e n na representação binária, qual é a complexidade de calcular o tamanho de bit de x n ?xxxnnnxnxnx^n Uma maneira de fazer isso é calcular calculando uma aproximação do log 2 ( x ) com precisão suficiente. Parece que o cálculo do log 2 ( x …

10 complexity-theory  time-complexity  binary-arithmetic 

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á possuem uma carta …

10 complexity-theory  np-complete  board-games 

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, …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

Se , a hierarquia cai para seu segundo nível (pelo teorema de Karp-Lipton). Mas e quanto a e ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Tentei provar que o está contido no (a outra direção é trivial se ), mas sem sucesso, e nem tenho certeza de que seja verdade.BPPBPP\sf BPPNPNP\sf …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

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 reduções de Turing (ou seja, reduções …

10 complexity-theory  reductions  complexity-classes