Als ich den Baker-Gill-Solovay-Beweis erklärte, dass es ein Orakel gibt, mit dem wir haben können, , und ein Orakel, mit dem wir haben können, Freund wurde die Frage gestellt, warum solche Techniken nicht geeignet sind, das zu beweisen , und ich konnte keine zufriedenstellende Antwort geben.P ≤ N P...
Das 3SUM- Problem versucht, 3 ganze Zahlen aus einer Menge der Größe zu identifizieren so dass .S n a + b + c = 0a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Es wird vermutet, dass es keine bessere Lösung als quadratisch gibt, dh . Oder anders ausgedrückt: .o ( n log ( n ) + n 2...
Bei einer Instanz von SAT möchte ich abschätzen können, wie schwierig es sein wird, die Instanz zu lösen. Eine Möglichkeit besteht darin, vorhandene Löser auszuführen, aber diese Art von Funktion verhindert das Abschätzen der Schwierigkeit. Ein zweiter Weg könnte darin bestehen, das Verhältnis von...
Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine Kombination mit n/2Paaren erstellen,...
Sei eine Menge natürlicher Zahlen. Wir betrachten unter der Teilbarkeits-Teilordnung, dh . LassenSSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V an antichain }}\} . Was können wir über...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
Vielen ist der Gedanke gekommen, dass es in allen von mir gelesenen -Vollständigkeitsnachweisen (an die ich mich erinnern kann) immer trivial ist, zu zeigen, dass ein Problem in liegt und dass es sich um -hard ist der ... schwierige Teil. Was für -vollständige Probleme sind das, deren...
Ich absolviere einen Komplexitätskurs und habe Probleme, Reduzierungen zwischen NPC-Problemen zu finden. Wie kann ich Reduzierungen zwischen den Problemen finden? Gibt es einen allgemeinen Trick, den ich verwenden kann? Wie soll ich mich einem Problem nähern, bei dem ich beweisen muss, dass es sich...
Es ist bekannt, dass jedes Optimierungs- / Suchproblem ein äquivalentes Entscheidungsproblem hat. Zum Beispiel das Problem mit dem kürzesten Weg Optimierungs- / Suchversion: Finden Sie bei einem ungerichteten ungewichteten Graphen G = ( V , E )G=(V,E)G = (V, E) und zwei Eckpunkten v , u ∈...
Informelle Problemstellung: Bei einer gegebenen Zeichenfolge, z. B. , möchten wir einige Buchstaben rot und einige Buchstaben blau (und einige überhaupt nicht) färben, sodass das Lesen nur der roten Buchstaben von links nach rechts dasselbe Ergebnis ergibt wie das Lesen nur der blauen...
Wie in diesem aktuellen XKCD-Strip und diesem aktuellen Blog-Post zu sehenVon Peter Norvig (und einer Slashdot-Geschichte mit letzterem) ist "Regex Golf" (das besser als das Problem der Trennung regulärer Ausdrücke bezeichnet werden könnte) das Rätsel, den kürzestmöglichen regulären Ausdruck zu...
Diese Frage wurde durch einen Kommentar zu StackOverflow inspiriert . Abgesehen von der Kenntnis der NP-vollständigen Probleme des Buches von Garey Johnson und vieler anderer; Gibt es eine Faustregel, um zu wissen, ob ein Problem wie ein NP-vollständiges Problem aussieht? Ich suche nicht etwas...
Mich interessiert die Frage, wie man Informatik-Majors am besten die NP-Vollständigkeit beibringen kann. Sollten wir es insbesondere unter Verwendung von Karp-Reduktionen oder unter Verwendung von Turing-Reduktionen lehren? Ich bin der Meinung, dass die Konzepte der NP-Vollständigkeit und...
Offensichtlich gibt es in NP keine unentscheidbaren Probleme. Laut Wikipedia jedoch : NP ist die Menge aller Entscheidungsprobleme, für die die Fälle, in denen die Antwort "ja" lautet, Beweise haben, die in Polynomzeit durch eine deterministische Turing-Maschine überprüfbar sind. [...] Ein Problem...
Wenn jemand einen universellen Quantencomputer bauen würde, hätte dies Auswirkungen auf das Problem von P vs.
Vorausgesetzt, P NP, NP-vollständige Probleme sind "schwer zu lösen, haben aber leicht zu überprüfende Antworten." Ist es sinnvoll, das Gegenteil in Betracht zu ziehen, dh Probleme, für die es einfach ist, eine korrekte Antwort zu berechnen, aber eine willkürlich behauptete Lösung nur schwer zu...
Hat die geglättete Analyse Eingang in die Hauptstromanalyse von Algorithmen gefunden? Ist es für Algorithmenentwickler üblich, geglättete Analysen auf ihre Algorithmen
Sei eine Boolesche Formel, die aus den üblichen Operatoren AND, OR und NOT und einigen Variablen besteht. Ich möchte die Anzahl der zufriedenstellenden Aufgaben für . Das heißt, ich möchte die Anzahl der verschiedenen Zuordnungen von Wahrheitswerten zu den Variablen von für die einen wahren Wert...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Logical Min Cut (LMC) -Problemdefinition Angenommen, G=(V,E)G=(V,E)G = (V, E) ist ein ungewichteter Digraph, sss und ttt sind zwei Eckpunkte von VVV , und ttt...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich bin etwas verwirrt über einige Begriffe, die ich in Bezug auf die Komplexität von Optimierungsproblemen gefunden habe. In einer Algorithmusklasse hatte ich...