Informatique théorique search-problem

5

Généralisations de recherche binaire pour les posets?

Supposons que j'ai un poset "S" et un prédicat monotone "P" sur S. Je veux trouver un ou tous les éléments maximaux de S satisfaisant P. EDIT : Je suis intéressé à minimiser le nombre d' évaluations de P . Quels algorithmes existent pour ce problème et quelles propriétés et …

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

1

Construction d'Oracle pour l'algorithme de Grover

Dans "Quantum Computation and Quantum Information" de Mike et Ike, l'algorithme de Grover est expliqué en détail. Cependant, dans le livre, et dans toutes les explications que j'ai trouvées en ligne pour l'algorithme de Grover, il ne semble pas y avoir de mention de la façon dont l'Oracle de Grover …

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

1

Complexité de la version de recherche de 2-SAT en supposant

Si , alors il y a un algorithme de logspace qui résout la version de décision de 2-SAT.L=NLL=NL\mathsf{L = NL} Est-il connu que implique qu'il existe un algorithme d'espace de journalisation pour obtenir une affectation satisfaisante , lorsqu'il reçoit une instance 2-SAT satisfaisante en entrée?L=NLL=NL\mathsf{L = NL} Sinon, qu'en est-il …

15 sat search-problem logspace

4

Pire nombre de questions nécessaires pour apprendre un prédicat monotone sur un poset

Considérons un poset fini sur éléments, et un prédicat monotone inconnu sur (c'est-à-dire pour tout , , si et alors ) . Je peux évaluer en fournissant un nœud et en déterminant si est vrai ou non. Mon objectif est de déterminer exactement l'ensemble des nœuds tel que valide, en …

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

2

Au-dessus de #P et comptage des problèmes de recherche

Je lisais l'article de wikipedia sur le problème des huit reines. Il est indiqué qu'il n'existe pas de formule connue pour le nombre exact de solutions. Après quelques recherches, j'ai trouvé un article intitulé "Sur la dureté des problèmes de comptage des mappings complets". Dans cet article, il y a …

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

2

Est-ce que l'algorithme quasipolynomial time Babai génère réellement l'isomorphisme?

J'ai une question (espérons-le simple, peut-être stupide) sur le document historique de Babai montrant que est quasipolynomial.G Igje\mathsf{GI} Babai a montré comment produire un certificat que deux graphes pour sont isomorphes, en temps quasi-polynomial dans.gje= ( Vje, Eje)gje=(Vje,Eje)G_i=(V_i,E_i)je ∈ { 1 , 2 }je∈{1,2}i\in\{1,2\}v = |Vje|v=|Vje|v=|V_i| Babai a-t-il réellement montré …

13 graph-isomorphism search-problem

2

L'existence d'un problème de recherche total non résoluble en poly-temps implique-t-elle ?

Il est facile de voir que si alors il y a des problèmes de recherche totaux qui ne peuvent pas être résolus en temps polynomial (créer un problème de recherche total en ayant à la fois les témoins d'appartenance et les témoins de non-adhésion).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} L'inverse est-il également vrai, …

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

2

PPAD capture-t-il vraiment la notion de trouver un autre sommet déséquilibré?

La complexité classe PPAD a été inventé par Christos Papadimitriou dans son 1994 fondateur du papier . La classe est conçue pour capturer la complexité des problèmes de recherche où l'existence d'une solution est garantie par "Argument de parité dans les graphes dirigés": s'il y a un sommet déséquilibré dans …

13 cc.complexity-theory reductions search-problem ppad

1

Éléments minimaux d'un prédicat monotone sur l'ensemble de puissance

Considérons un prédicat monotone sur l'ensemble de puissance (ordonné par inclusion). Par "monotone" je veux dire: tel que , si puis . Je cherche un algorithme pour trouver tous les éléments minimaux de , c'est-à-dire les tels que mais , . Puisque la largeur de est n \ choisissez n …

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

1

Trouver un argmax approximatif en utilisant uniquement des requêtes max approximatives

Considérez le problème suivant. Il existe valeurs inconnues . La tâche consiste à rechercher l'index du plus grand en utilisant uniquement les requêtes du formulaire suivant. Une requête est spécifiée par un ensemble et la réponse correspondante est . L'objectif est d'utiliser le moins de requêtes possible.v 1 , ⋯ …

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

1

Un oracle aléatoire peut-il changer quels problèmes TFNP sont fortement difficiles en moyenne?

J'ai pensé à la question suivante à plusieurs reprises depuis que j'ai vu cette question sur la cryptographie . Question Soit une relation TFNP . Un oracle aléatoire peut-il aider P / poly à casser avec une probabilité non négligeable? Plus formellement, \ newcommand {\ Pr} {\ operatorname {Pr}} \ …

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

Questions marquées «search-problem»