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

Isso é algo que não consegui encontrar - mas sempre achei interessante que o lema de bombeamento fosse apenas um lema (especialmente porque ele tem o mesmo nome para idiomas regulares, idiomas livres de contexto, etc ...) Para que é um lema?

8 complexity-theory  regular-languages  finite-automata 

Minha pergunta é a seguinte. Assuma issoΠΠ\Pié um problema difícil de NP. Dada uma instância arbitráriaIII do ΠΠ\Pi e suponha que um adversário sabe que essa instância é fácil de resolver, é possível encontrar um algoritmo determinístico de tempo polinomial para resolver essa instância específica III? Por exemplo: suponha que …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Depois de corrigirmos um verificador determinístico de tempo polinomial V (entrada, certificado), seu problema NP correspondente é a pergunta: Para esta entrada, existe um certificado (tamanho polinomial) de tal forma que V (entrada, certificado) retorne True? O problema de contagem associado (classe #P) é: Quantos certificados existem para que V …

8 complexity-theory 

Eu acho que essas duas classes devem ser as mesmas, mas não consigo encontrar nenhuma literatura sobre isso e tenho um conhecimento limitado sobre o assunto. Esse é o meu raciocínio, e eu gostaria de saber se (1) isso já é conhecido ou (2) eu entendi mal algo ou (3) …

8 complexity-theory  complexity-classes  quantum-computing 

Acabamos de terminar nossa lição "Construtibilidade do tempo" na aula na semana passada e, por exemplo, mostramos que nk,2nnk,2nn^k, 2^n são totalmente construtíveis no tempo, ou seja, existe uma máquina de Turing (determinística para várias fitas) que, para nnn dado, pára após exatamente f(n)f(n)f(n) etapas, e apenas perguntei se poderíamos …

8 complexity-theory  turing-machines  time-complexity 

Eu ficaria surpreso se esse não fosse um problema bem estudado, mas não tenho certeza do que mais procurar nesse momento: você recebe um conjunto de códigos binários. nnn-vetores S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. O problema é encontrar outro conjunto de bináriosnnn-vetores B ⊂ { 0 , 1}nB⊂{0,1}nB …

8 complexity-theory  arithmetic  matrices  linear-algebra 

Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de complexidade que os autômatos …

8 complexity-theory  automata  reference-request  complexity-classes 

Acabamos de aprender sobre a auto-redutibilidade nas aulas. Meu professor e nosso livro não se comprometeram a dizer que todos os problemas em PN são auto-redutíveis, mas não parecia haver exemplos de problemas que não sejam. Fiquei me perguntando se existem exemplos, ou se é apenas uma situação em que …

8 complexity-theory  reductions  decision-problem  np 

Questões: Pode haver um hash (criptograficamente seguro) que preserva a topologia de informações de {0,1}∗{0,1}∗\{0,1\}^{*}? Podemos adicionar um predicado de proximidade eficientemente computável que, dado hk(x)hk(x)h_k(x) e hk(y)hk(y)h_k(y) (ou yyy próprio) nos diz se yyyestá muito perto dexxx (por exemplo, a distância de Levenshtein ou distância de Hamming de xxx …

8 complexity-theory  cryptography  hash  string-metrics  topology 

Recebi n objetos e um conjunto de n permutações desses n objetos (de n! Permutações totais). Existe uma verdadeira permutação subjacente, que eu sei que é uma entre o conjunto de n permutações, mas não sei qual. Um oráculo, no entanto, conhece a verdadeira permutação. Para encontrar a permutação verdadeira, …

8 complexity-theory  lower-bounds  search-problem  permutations 

Um AT apareceu hoje para perguntar algumas coisas sobre NP e co-NP. Também chegamos a um ponto em que fiquei perplexo: como é o diagrama de Venn de P, NPI, NP e co-NP assumindo P ≠ NP (o outro caso é chato)? Parece haver quatro opções básicas. NP ∩ co-NP …

8 complexity-theory  reference-request  complexity-classes  np 

Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados finitos. Eles parecem radicalmente diferentes: As máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

Suponha ΠΠ\Pi é um problema de decisão decidível. Faz ¸ ∉ NPΠ∉NP\Pi\not \in NP implicar ΠΠ\Pi é NPNPNP-Difícil? Edit: se assumirmos que existe ¸ ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPentão terminamos. Podemos refutar a reivindicação sem suposições desconhecidas?

8 complexity-theory  np-hard  complexity-classes  np 

A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de processadores. O que estou procurando …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Tentei procurar on-line, mas não consegui encontrar nenhuma declaração definitiva. Faria sentido para mim que Union e Intersection de duas linguagens NPC produzissem uma linguagem não necessariamente na NPC. Também é verdade que os idiomas NPC não estão fechados nas operações complemento, concatenação e estrela kleene?

8 complexity-theory  np-complete  closure-properties