Preguntas etiquetadas con search-problem

Supongamos que tengo un poset "S" y un predicado monótono "P" en S. Quiero encontrar uno o todos los elementos máximos de S que satisfagan a P. EDITAR : Estoy interesado en minimizar el número de evaluaciones de P . ¿Qué algoritmos existen para este problema y qué propiedades y …

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

En "Computación cuántica e información cuántica" de Mike e Ike, el algoritmo de Grover se explica con gran detalle. Sin embargo, en el libro, y en todas las explicaciones que he encontrado en línea para el algoritmo de Grover, parece que no se menciona cómo se construye el Oráculo de …

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

Si , entonces hay un algoritmo de espacio de registro que resuelve la versión de decisión de 2-SAT.L=NLL=NL\mathsf{L = NL} ¿Se sabe que implica que hay un algoritmo de espacio de registro para obtener una asignación satisfactoria , cuando se le da una instancia satisfactoria de 2-SAT como entrada?L=NLL=NL\mathsf{L = …

15 sat  search-problem  logspace 

Considere un poset finito sobre elementos, y un predicado monotónico desconocido sobre (es decir, para cualquier , , si y luego ) . Puedo evaluar proporcionando un nodo y descubriendo si P (x) se mantiene o no. Mi objetivo es determinar exactamente el conjunto de nodos x \ en X …

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

Estaba leyendo el artículo de Wikipedia sobre el problema de las ocho reinas. Se afirma que no existe una fórmula conocida para el número exacto de soluciones. Después de buscar un poco, encontré un artículo llamado "Sobre la dureza de contar problemas de mapeos completos". En este documento hay un …

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

Tengo una pregunta (con suerte simple, tal vez tonta) en el documento histórico de Babai que muestra que es cuasipolinomial.GIGI\mathsf{GI} Babai mostró cómo producir un certificado de que dos gráficas para i ∈ { 1 , 2 } son isomorfas, en el tiempo cuasipolinomiales en v = | V i …

13 graph-isomorphism  search-problem 

Es fácil ver que si entonces hay un total de problemas de búsqueda de N P que no se pueden resolver en tiempo polinómico (cree un problema de búsqueda total al tener tanto a los testigos como miembros como a los que no son miembros).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Lo contrario también …

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

La complejidad de clase PPAD fue inventado por Christos Papadimitriou en su seminal 1994 de papel . La clase está diseñada para capturar la complejidad de los problemas de búsqueda en los que la existencia de una solución está garantizada por el "argumento de paridad en gráficos dirigidos": si hay …

13 cc.complexity-theory  reductions  search-problem  ppad 

Considere un predicado monótono sobre el conjunto de potencia 2 | n | (ordenado por inclusión). Por "monotónico" quiero decir: ∀ x , y ∈ 2 | n | tal que x ⊂ y , si P ( x ) entonces P ( y ) . Estoy buscando un algoritmo …

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

Considere el siguiente problema. nnnv1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R}S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\}maxi∈Svimaxi∈Svi\max_{i \in S} v_i Este problema es fácil: podemos usar la búsqueda binaria para encontrar el argmax con consultas O(logn)O(log⁡n)O(\log n) . es decir, construir un árbol binario completo con nnn hojas correspondientes a los índices. Comienza en la raíz …

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

He estado pensando en la siguiente pregunta en varias ocasiones desde que vi esta pregunta sobre Criptografía . Pregunta Sea RRR una relación TFNP . ¿Puede un oráculo aleatorio ayudar a P / poly a romper RRR con una probabilidad no despreciable? Más formalmente, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Hace para …

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