Perguntas com a marcação «oracles»

Defina - para ser a classe de idiomas modo que exista um idioma e para infinitos , e concordar em todos os casos de comprimento . (Ou seja, esta é a classe de idiomas que pode ser "resolvida infinitamente com frequência, em tempo subexponencial".)ioioioSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLLL′L′L'nnn Existe …

30 cc.complexity-theory  sat  oracles 

Em muitos domínios, existem técnicas canônicas que todo mundo que trabalha no campo deve dominar. Por exemplo, para reduções do espaço de log, o "truque de bit" para composição que consiste em não construir a saída completa da função composta, mas sempre pedindo para recalcular o resultado para cada bit …

28 cc.complexity-theory  oracles  relativization 

Em geral, a fita de consulta de um oráculo conta para a complexidade espacial de uma TM. No entanto, parece plausível permitir uma fita oracle somente para gravação (como é usada nas reduções de espaço L). Essa construção é útil? Isso produz resultados particularmente absurdos?

20 cc.complexity-theory  space-bounded  oracles 

Bem, o título praticamente diz tudo. A pergunta interessante acima foi feita pelo comentarista Jay no meu blog (veja aqui e aqui ). Suponho que a resposta é sim e que existe uma prova relativamente simples, mas não a vi de imediato. (Muito grosso modo, pode-se tentar mostrar que, se …

18 computability  oracles  random-oracles 

Suponha que é uma árvore de grau constante cuja estrutura não conhecemos. O problema é produzir a árvoreTTTTTT , solicitando consultas no formulário: "O nó xxx fica no caminho do nó aaa ao nó bbb ?". Suponha que cada consulta possa ser respondida em tempo constante por um oráculo. Sabemos …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Acabei de ler a pergunta " A fatoração inteira é um problema NP-completo? " ... então decidi gastar parte da minha reputação :-) fazendo outra pergunta com P ( Q é trivial ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Se é um oráculo que resolve …

18 cc.complexity-theory  oracles  factoring 

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 separados. Questão Como complicado são estes oráculos que …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

No "Quantum Computation and Quantum Information" de Mike e Ike, o algoritmo de Grover é explicado em grande detalhe. No entanto, no livro e em todas as explicações que encontrei on-line para o algoritmo de Grover, parece não haver menção de como o Oracle de Grover é construído, a menos …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

A maneira mais comum pela qual os oráculos ocorrem na teoria da complexidade é a seguinte: Um oráculo fixo é disponibilizado para, digamos, uma máquina de Turing com certos recursos limitados e estuda-se como o oráculo aumenta o poder computacional da máquina. Há, no entanto, outra maneira pela qual os …

14 cc.complexity-theory  oracles 

Em um artigo intitulado "Sobre a negação na cadeia de referência comum e no modelo aleatório do Oracle", Rafael Pass escreve: Observamos que, ao provar a segurança de acordo com a definição padrão de conhecimento zero no modelo RO [Oracle aleatório], o simulador tem duas vantagens sobre um simulador de …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é óbvio para onde procurar, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

É sabido que o problema da parada é incontestável. No entanto, é possível compactar exponencialmente as informações sobre o problema de parada, para que a descompactação seja computável. Mais precisamente, é possível calcular a partir de uma descrição de máquinas de Turing e de um conselho de n bits, a …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Eu estava lendo um artigo de Buhrman e Homer "Circuitos superpolinomiais , oráculos quase esparsos e a hierarquia exponencial" . Na parte inferior da página 2 eles observação de que os resultados de Kannan implica que NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} não têm circuitos de tamanho polinomiais. Sei que na hierarquia do tempo exponencial, …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Faz NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}espera? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mas parece-me que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} é "determinístico", o que me faz acreditar que isso é verdade. Existe uma prova simples (ou talvez apenas por definição)?

12 cc.complexity-theory  complexity-classes  oracles 

A Zoologia da Complexidade, por Greg Kuperberg, afirma que existe uma linguagem que - em outras palavras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - mas não fornece uma referência para este resultado. Por que isso se aplica? Ou onde uma …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation