Existe um exemplo de um problema natural que está no BPP, mas que não é conhecido por estar em RP ou
captura a idéia de eficientemente paralelizável, e uma interpretação disso são problemas que são solucionáveis no tempo O ( log c n ) usandoprocessadores paralelos O ( n k ) para algumas constantes c , k . Minha pergunta é se existe uma classe de complexidade análoga em que o tempo é n c e o...
Eu sei que a complexidade da maioria das variedades de cálculos lambda digitados sem a primitiva combinadora Y é limitada, ou seja, somente funções de complexidade limitada podem ser expressas, com o limite se tornando maior à medida que a expressividade do sistema de tipos cresce. Lembro que, por...
Estou curioso, em um sentido amplo, sobre o que é conhecido sobre algoritmos de paralelização em P. Encontrei o seguinte artigo da Wikipedia sobre o assunto: http://en.wikipedia.org/wiki/NC_%28complexity%29 O artigo contém a seguinte frase: Não se sabe se NC = P, mas a maioria dos...
László Babai provou recentemente que o problema do isomorfismo gráfico está no tempo quase-polinomial . Veja também sua palestra na Universidade de Chicago, nota das palestras de Jeremy Kun pós 1 da GLL , pós 2 da GLL , pós 3 da GLL . De acordo com o teorema de Ladner, se P≠NPP≠NPP \neq NP...
O BQP é igual ao BPP com acesso a um oráculo de subgrupo oculto da
Discussão : Ultimamente, tenho passado algum tempo pessoal aprendendo várias coisas sobre a complexidade da comunicação. Por exemplo, me familiarizei novamente com o capítulo relevante em Arora / Barak, comecei a ler alguns papéis e pedi o livro de Kushilevitz / Nisan. Intuitivamente, quero...
Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994,...
Linguagens de folha são uma maneira bonita de definir uniformemente muitas classes de complexidade. A maioria das classes de complexidade é geralmente especificada por um modelo de computação (por exemplo, TM determinística / aleatória) e um recurso vinculado (tempo de log, espaço poligonal etc.)....
Digamos que uma linguagem LLL seja P -densidade perto se houver um algoritmo de tempo polinomial que decida corretamente LLL em quase todas as entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap...
EDIT em 08/02/2011: Depois de encontrar e ler algumas referências, decidi separar a pergunta original em duas. Aqui está a parte referente a UP vs NP. Para a parte das classes sintáticas e semânticas, consulte Benefícios para as classes sintáticas e semânticas . U PUP\mathsf{UP} (o tempo...
Existem referências que fornecem detalhes sobre os limites inferiores do circuito para problemas difíceis específicos que surgem na criptografia, como fatoração inteira, problema de logaritmo discreto prime / composto e sua variante sobre o grupo de pontos de curvas elípticas (e suas variedades...
Seja uma função com valor inteiro tal que esteja em . Segue-se que está em ? Existem razões para acreditar que é improvável que isso ocorra sempre? Alguma referência que eu deva conhecer?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Surpreendentemente, essa situação surgiu (com uma constante muito...
Existe um exemplo de uma classe de gráficos para a qual o problema de coloração de vértice está em P, mas o conjunto independente de problema é NP
Paridade e são como gêmeos inseparáveis. Ou assim parece nos últimos 30 anos. À luz do resultado de Ryan, haverá um interesse renovado nas turmas pequenas.A C0 0AC0AC^0 Furst Saxe Sipser de Yao a Hastad são todas paridade e restrições aleatórias. Razborov / Smolensky é um polinômio aproximado com...
A Wikipedia listou quatro problemas que estão em mas foram conjecturados como estando fora de P : fatoração de número inteiro; Logaritmo discreto; Simulação de sistemas quânticos; Computando o polinômio Jones em certas raízes da unidade.B Q PBQPBQPPPP Existem outros problemas desse...
O zoológico de complexidade não tem muito a ver com o . Estou procurando um bom problema de que esteja nos níveis mais altos da hierarquia, isto é, um problema no mas não se sabe que está em
O famoso Isomorfismo Conjectura de Berman e Hartmanis diz que todos idiomas -completo são tempo polinomial isomorphic (p-isomorphic) entre si. A importância chave da conjectura é que ela implica P ≠ N P . Foi publicado em 1977, e um pedaço de provas foi que todos os N P problemas -Complete...
Problema: Recebemos um conjunto de paus, todos com comprimentos inteiros. A soma total de seus comprimentos é n (n + 1) / 2. Podemos separá-los para obter pedaços do tamanho em tempo polinomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Surpreendentemente, a única referência que encontro para esse...
Paridade-P é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação). Assim Paridade-P é basicamente PP atrofiado...