Suponha que eu possua um poset "S" e um predicado monotônico "P" em S. Quero encontrar um ou todos os elementos máximos de S satisfazendo P. EDIT : Estou interessado em minimizar o número de avaliações do P . Quais algoritmos existem para esse problema e quais propriedades e operações adicionais...
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 que já...
Considere (X,≤)(X,≤)(X, \leq) um poset finita sobre itens, e um predicado monótona desconhecido através (isto é, para qualquer , , se e , em seguida, ). Eu posso avaliar fornecendo um nó e descobrindo sennnPPPXXXxxxy∈Xy∈Xy \in XP(x)P(x)P(x)x≤yx≤yx \leq yP(y)P(y)P(y)PPPx∈Xx∈Xx \in XP(x)P(x)P(x) é...
Se , então há um algoritmo logspace que resolve a versão decisão de 2-sab.L = N Leu=Neu\mathsf{L = NL} É conhecido como implicando que há um algoritmo logspace para obter uma atribuição de satisfazer , quando dado um exemplo satisfatível 2-sab como entrada?L = N Leu=Neu\mathsf{L = NL} Se não, e...
Eu estava lendo o artigo da Wikipedia sobre o problema das oito rainhas. Afirma-se que, não existe uma fórmula conhecida para o número exato de soluções. Após algumas pesquisas, encontrei um artigo chamado "Sobre a dureza de contar problemas de mapeamentos completos". Neste artigo, há um problema,...
É fácil de ver que, se então há total de procurar problemas que não podem ser resolvidos em tempo polinomial (criar um problema total de busca tendo tanto as testemunhas de filiação como as testemunhas de não filiação).N PN P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N...
Complexidade classe PPAD foi inventado por Christos Papadimitriou em seu seminal 1994 papel . A classe é projetada para capturar a complexidade dos problemas de pesquisa, onde a existência de uma solução é garantida pelo "argumento Paridade em gráficos direcionados": se houver um vértice...
Eu tenho uma pergunta (espero que simples, talvez idiota) no artigo de referência de Babai, mostrando que é quase-polinomial.GIGI\mathsf{GI} Babai mostrou como produzir um certificado com dois gráficos para i ∈ { 1 , 2 } são isomórficos, no tempo quase-polinomiais em v = | V i |...
Considere um predicado monotônico PPP sobre o conjunto de potências 2|n|2|n|2^{|n|}(ordenado por inclusão). Por "monotônico", quero dizer: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}tal que x⊂yx⊂yx \subset y , se P(x)P(x)P(x) então P(y)P(y)P(y) . Eu estou procurando um algoritmo para encontrar todos...
Considere o seguinte problema. Existem valores desconhecidos v 1 , ⋯ , v n ∈ R . A tarefa é encontrar o índice do maior usando apenas consultas do seguinte formulário. Uma consulta é especificada por um conjunto S ⊆ { 1 , ⋯ , n } e a resposta correspondente é max i ∈ S v i . O objetivo é usar o...
Eu estive pensando sobre a seguinte pergunta em vários momentos desde que vi essa pergunta sobre criptografia . Questão Seja RRR uma relação TFNP . Um oráculo aleatório pode ajudar P / poli a romper RRR com probabilidade não desprezível? Mais