Perguntas com a marcação «search-problem»

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 …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

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 

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, …

15 sat  search-problem  logspace 

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) é válido ou não. Meu objetivo é determinar exatamente …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

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, que se mostra …

14 cc.complexity-theory  counting-complexity  search-problem 

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 | .Gi=(Vi,Ei)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| Babai …

13 graph-isomorphism  search-problem 

É 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 PNP\mathsf{NP} …

13 cc.complexity-theory  reference-request  search-problem 

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 desequilibrado em um gráfico direcionado, deverá …

13 cc.complexity-theory  reductions  search-problem  ppad 

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 os elementos mínimos de PPP , ou seja, a x∈2|n|x∈2|n|x …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

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 …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

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 formalmente, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Faz para todos os …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles