Als «search-problem» getaggte Fragen

1
Komplexität der von 2-SAT unter der Annahme von
Wenn , dann gibt es einen logspace Algorithmus , dass löst die Entscheidungsversion von 2-SAT ausgestattet .L = N LL=NL\mathsf{L = NL} Ist bekannt, dass impliziert, dass es einen Logspace-Algorithmus gibt, um eine zufriedenstellende Zuweisung zu erhalten , wenn eine zufriedenstellende 2-SAT-Instanz als Eingabe gegeben wird?L = N LL=NL\mathsf{L = …
2
Über #P und Zählen von Suchproblemen
Ich habe den Wikipedia-Artikel über das Acht-Königinnen-Problem gelesen. Es wird angegeben, dass es keine bekannte Formel für die genaue Anzahl der Lösungen gibt. Nach einigem Suchen fand ich eine Arbeit mit dem Titel "Über die Härte des Zählens von Problemen mit vollständigen Zuordnungen". In diesem Artikel wird ein Problem beschrieben, …
2
Erzeugt Babais Quasipolynomialzeit
Ich habe eine (hoffentlich einfach, vielleicht stumm) Frage auf Babai Wahrzeichen Papier zeigt , dass ist Quasipolynom.GIGI\mathsf{GI} Babai zeigte, wie man ein Zertifikat erzeugt, dass zwei Graphen für i ∈ { 1 , 2 } isomorph sind, in der Zeit quasipolynomial in 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| Hat …
2
Hat Existenz von insgesamt
Es ist leicht zu erkennen, dass, wenn es insgesamt N P Suchprobleme gibt, die in der Polynomzeit nicht gelöst werden können (erstellen Sie ein Gesamtsuchproblem, indem Sie sowohl die Zeugen für die Mitgliedschaft als auch die Zeugen für die Nichtmitgliedschaft haben).N P ∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Ist das Gegenteil auch wahr, …
2
Erfasst PPAD wirklich den Gedanken, einen anderen unausgeglichenen Scheitelpunkt zu finden?
Die Komplexitätsklasse PPAD wurde von Christos Papadimitriou in seiner wegweisenden Arbeit von 1994 erfunden . Die Klasse soll die Komplexität von Suchproblemen erfassen, bei denen die Existenz einer Lösung durch "Paritätsargument in gerichteten Diagrammen" garantiert wird: Wenn ein gerichteter Graph einen unausgeglichenen Scheitelpunkt enthält, muss ein anderer vorhanden sein. Aber …
1
Finden Sie einen ungefähren Argmax, indem Sie nur ungefähre maximale Abfragen verwenden
Betrachten Sie das folgende Problem. 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 Dieses Problem ist einfach: Wir können die binäre Suche verwenden, um den Argmax mit -Abfragen zu finden . dh Erstellen Sie einen vollständigen Binärbaum mit Blättern, die den Indizes entsprechen. Beginnen Sie an der Wurzel …
1
Kann ein zufälliges Orakel ändern, welche TFNP-Probleme im Durchschnitt stark sind?
Ich habe zu verschiedenen Zeiten über die folgende Frage nachgedacht, seit ich diese Frage zur Kryptographie gesehen habe . Frage Sei eine TFNP- Beziehung. Kann ein zufälliges Orakel P / Poly helfen , R mit nicht zu vernachlässigender Wahrscheinlichkeit zu brechen ? Formaler, R.RRR.RR \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Tut für …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.