Este é um exemplo em minhas anotações de aula. Esta função possui complexidade de tempoO(nlogn)O(nlogn)O(n \log n)? Como o pior caso é a função entra em elseramificação e 2 loops aninhados com complexidade de tempo delognlogn\log n e nnn, então é O(nlogn)O(nlogn)O(n \log n). Estou certo? int j...
Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso...
A classe de complexidade #P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp é definida como #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) =...
Digamos que recebemos nnn conjuntos e o tamanho de sua união é mmm. Gostaríamos de construir um pequeno conjunto que contenha pelo menoskkk do nnn determinados conjuntos. Vamos supor que mmm é menor do que algum polinômio em nnn, ou seja: m<P(n)m<P(n)m < P(n). Nesse caso, existe um...
Eu tenho dois programas de espaço de log FFF e GGG. Programa FFF receberá entrada na matriz A [ 1 .. n ]UMA[1 ..n]A[1..n] e criará a matriz de saída B [ 1 .. n ]B[1 ..n]B[1..n]. Programa GGG receberá como entrada BBB como criado por FFF e criar a partir dele a matriz de saída C[ 1 .. n ]C[1...
Tenho dificuldades para entender a definição da classe Max-SNP (variante de otimização de NP estrito ), portanto, tenho que seguir a pergunta básica: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the
O título da pergunta expressa o que estou procurando - isso é para me ajudar a entender melhor os pré-requisitos para o Teorema da Hierarquia de Tempo Não Determinístico Por exemplo, o livro Arora-Barak explica o teorema usando e - mas, eu posso ver que também! Portanto, estou tentando entender...
Estou interessado em conhecer a complexidade do problema NAE-HORN-SAT (nem todos iguais). Sabemos que o HORNSAT é completo, mas, por outro lado, o NAE-SAT é completo. Quero saber o que podemos dizer sobre o problema NAE-HORN-SAT. Deixe-me definir o problema
Sabe-se que para , .f(n)≥lognf(n)≥lognf(n) \geq \log nNSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)) E se ? Eles também são
O que um algoritmo pseudo-polinomial nos diz sobre o problema que resolve? Não vejo como o tempo de execução melhora se o algoritmo for exponencial no comprimento da entrada e polinomial no valor da entrada; Então, como explicar essa mudança de exponencial para
Em http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Defina, como a máquina de Turing determinística que opera da seguinte forma em uma entrada . A máquina trata como um programa determinístico e simula na entrada . Ao mesmo tempo, a máquina executa um contador que...
Eu acho que metade da batalha em responder a essa pergunta está em formulá-la com precisão! Um mecanismo de pesquisa não aparece muito, então eu queria saber se essa é uma pergunta bem conhecida ou bem estudada. Meus pensamentos: Eu acho que a maneira mais direta de formular essa pergunta é como...
Infelizmente, minha formação em complexidade computacional ainda é fraca, mas estou trabalhando nisso. Pelo que entendi, a questão da existência de funções de mão única é muito importante no campo. Suponha que existam funções unidirecionais, como pode ser demonstrado que existem funções...
Eu estava pensando em como a natureza pode calcular com eficiência problemas ridículos (ou seja, PN) com facilidade. Por exemplo, um sistema quântico requer um vetor de elemento para representar o estado, onde é apenas o número de partículas. A natureza não precisa de mais tempo, apesar da natureza...
Estou fazendo algumas pesquisas sobre os NFAs e problemas de inclusão com eles. Eu sei que, em geral, os problemas de inclusão e a conversão para uma NFA inequívoca são ambos completos do PSPACE. Gostaria de saber, existem subclasses de NFA para as quais elas podem ser decididas com eficiência? Em...
É claro que qualquer idioma em pode ser calculado em .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Minha pergunta é se o inverso é verdadeiro: is ?2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq...
Eu li que computadores quânticos podem resolver 'certos problemas' exponencialmente melhor do que computadores clássicos. Como eu acho que entendo, NÃO é o mesmo dizer que computadores quânticos pegam quaisquer problemas EXPTIME-complete, 2-EXPTIME, ... e os convertem em tempo linear ou tempo...
Suponha que eu tenha um problema de decisão e o codifique para um idioma . Agora, também posso codificá-lo para um idioma diferente .DDDL ⊂ { 0 , 1}∗eu⊂{0 0,1 1}∗L \subset \{0,1\}^*eu′eu′L' Existe algum teorema relacionando a complexidade temporal de e ?eueuLeu′eu′L' Como a complexidade temporal...
Por uma máquina de Turing de baunilha, quero dizer uma máquina de Turing com uma fita (sem fitas especiais de entrada ou saída). O problema é como se segue: a fita é inicialmente vazia, com excepção de uma série de s e s terminadas por um caractere de fim-de-corda. A cabeça da fita começa no...
Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis que , onde todas as variáveis são...