Als «search-problem» getaggte Fragen

15
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...

13
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 |

10
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...