fundo Sabe-se que existe um oráculo AAA tal que, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . É sabido até que a separação se aplica a um oráculo aleatório. Informalmente, pode-se interpretar isto para dizer que há muitas oráculos para os quais PSPACEPSPACEPSPACE e PHPHPH são...
Um circuito booleano não determinístico possui, além das entradas ordinárias , um conjunto de entradas "não determinísticas" . Um circuito não determinístico aceita a entrada se existir modo que a saída do circuito esteja ligada . Análoga a (a classe de linguagens decidíveis por circuitos...
É possível converter um CNF em outro CNF tal que Ψ ( C )CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) A função pode ser calculada em tempo polinomial a partir de algum parâmetro aleatório secreto .rΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) tem uma solução se e somente se tiver uma solução.CC\mathcal C Qualquer...
Quais são alguns dos principais problemas de complexidade computacional aberta que surgem das linguagens de programação, especialmente a análise e compilação de programas? Estou procurando problemas nas linhas "da complexidade temporal da inferência do tipo Hindley-Milner" ou "da complexidade...
A famosa Imagem do Mundo de Neil Immerman é a seguinte (clique para ampliar): Sua classe "Verdadeiramente viável" não inclui nenhuma outra classe; minha pergunta é então: O que é um problema de AC 0 considerado não prático e por...
O problema de automorfismo livre de ponto corrigido por solicita um automorfismo gráfico que move pelo menos k ( n ) nós. O problema é N P - completo se k ( n ) = n c para qualquer ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. No entanto, se , o problema é o tempo polinomial Turing...
LogCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto. Da mesma forma, LogDCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto determinístico. Consulte este artigo da Wikipedia para alguns problemas naturais...
Uma lacuna que eu sempre sabia que realmente não entendo é entre complexidade computacional não uniforme e uniforme, onde a complexidade do circuito representa a versão não uniforme e as máquinas de Turing são onde as coisas são uniformes. Suponho que "uniforme" é uma maneira de restringir a classe...
Suponha que recebamos uma matriz n por n, M, com entradas inteiras. Podemos decidir em P se existe uma permutação tal que, para todas as permutações , tenhamos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Meu σ( I )≠ ¸ Meu π( I )ΠMEuσ(Eu)≠ΠMEuπ(Eu)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observações É claro que se...
Antecedentes : No artigo UGC original de Subhash Khot ( PDF ), ele prova a dureza UG de decidir se uma determinada instância CSP com restrições de todo o formato Não igual a todos (a, b, c) ao longo de um alfabeto ternário admite uma tarefa que satisfaça 1 - das restrições ou se não existem...
Nisan provou em "Geradores Psico-Aleatórios para Computação Limitada ao Espaço", que existe um gerador pseudo-aleatório que "engana" os cálculos limitados pelo espaço. Essa construção vale para todos os oráculos (pelo menos para consultas não
Eu estive pensando em uma variante do hex , onde, em vez de os dois jogadores fazerem movimentos alternadamente, cada turno que um jogador escolhido aleatoriamente faz um movimento. Quão difícil é determinar as chances de cada jogador vencer? Obviamente, esse problema está no PSPACE, mas não pode...
Esta pergunta é sobre a página 125 do livro "Autômatos celulares em espaços hiperbólicos: volume 2" Por Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Na opinião do autor, a questão P = NP está mal colocada, porque no...
Uma função f: { 0 , 1 }∗→ { 0 , 1 }∗f:{0 0,1 1}∗→{0 0,1 1}∗f \colon \{0, 1\}^* \to \{0, 1\}^* é unidirecional se fff puder ser calculada por um algoritmo de tempo polinomial, mas para cada algoritmo de tempo polinomial aleatório UMAUMAA , Pr [ f( A ( f( x ) ) ) = f( x ) ] < 1 / p ( n...
Seja K(x)K(x)K(x) denotado a complexidade Kolmogorov de uma string . Existe uma cadeia de caracteres tal que . (Aqui é a concatenação de consigo). Uma pergunta semelhante, mas diferente, foi feita aqui , mas o contra-exemplo dado na resposta a essa pergunta não funciona para
É sabido que as fórmulas aleatórias de CNF sobre n variáveis com cláusulas c n são insatisfatórias (isto é, são contradições) com alta probabilidade, para uma constante suficientemente grande c . Assim, as fórmulas aleatórias de k- CNF (para c suficientemente grandes) constituem uma distribuição...
O que devo ler para entender esse problema? O poder dos circuitos quânticos de pequena profundidade. Is ? Em outras palavras, a parte "quântica" de qualquer algoritmo quântico pode ser compactada até a profundidade do polilog (n), desde que desejemos realizar um pós-processamento clássico em...
Há evidências teóricas de que a construção ingênua de produto cartesiano para a interseção de DFAs é "o melhor que podemos fazer". E a concatenação de dois DFAs? A construção trivial envolve a conversão de cada DFA em um NFA, adicionando uma transição épsilon e determinando o NFA resultante....
A análise de casos piores e médios são medidas bem conhecidas para a complexidade de um algoritmo. A análise suavizada recentemente surgiu como outro paradigma para explicar por que alguns algoritmos exponenciais no pior dos casos funcionam tão bem na prática, por exemplo, o algoritmo...
O problema a seguir é PTIME ou coNP-hard: Dadas duas expressões booleanas e e 2 nas variáveis x 1 , … , x n , sem negação (ou seja, as expressões são totalmente construídas via ∧ e ∨ ). Decida se e 1 ≡ e 2 , ou seja, eles têm o mesmo valor para todas as atribuições às variáveis.e1 1e1...