Ich wurde kürzlich an das vs. , wie es von Stephen A. Cook am Clay Mathematics Institute erklärt wurde.PP\mathsf{P}NPNP\mathsf{NP} Es hat mein Interesse geweckt und ich würde gerne mehr darüber erfahren. Der erste Schritt wäre ein tieferes Verständnis des Problems und des Gebiets im Allgemeinen....
Ich habe in SP Jordan, D. Gosset, PJ Loves " -Vollständige Probleme für stoquastische Hamiltonianer und Markov-MatrizenQ MEINQ.MEINQMA " gelesen, dass es unwahrscheinlich ist, dass .Q MA ⊆ A MQ.MEIN⊆EINMQMA \subseteq AM Ich war überrascht über diese Behauptung. Also, was ist die richtige Beziehung...
Sei und bezeichne mit G k die Menge aller Graphen, die auf einer Oberfläche der Gattung k so eingebettet werden können, dass sich alle Eckpunkte auf der Außenseite befinden . Zum Beispiel ist G 0 die Menge der äußeren ebenen Graphen. Kann die Baumbreite von Graphen in G k durch eine Funktion von k...
Was sind die wichtigsten Forschungsarbeiten zu den Grundlagen von Generika in C # und
Die lineare Programmierung ist heutzutage natürlich sehr gut bekannt. Wir haben viel Arbeit, die die Struktur machbarer Lösungen und die Struktur optimaler Lösungen charakterisiert. Wir haben die starke Dualität, Poly-Time-Algorithmen usw. Aber was ist über minimale Maximallösungen von LPs bekannt?...
Ich habe diese Frage vor einigen Wochen bei mathoverflow gestellt , aber keine Antwort erhalten. Hier meine ich mit 3D-Gitter der Seitenlänge den Graphen G = ( V , E ) mit V = { 1 , … , k } 3 und E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + |
Razborov hat bewiesen, dass jede monotone Schaltung, die die perfekte Anpassungsfunktion für zweigeteilte Graphen berechnet, mindestens Gatter haben muss (er nannte es "logisch permanent"). Wurde seitdem eine bessere Untergrenze für dasselbe Problem nachgewiesen? (sprich 2 n ϵ ?) Soweit ich mich...
Dies ist wahrscheinlich ziemlich einfach, aber betrachten Sie das Standard-Post-Korrespondenz-Problem: Gegeben und β 1 , ... , β N , findet sie eine Folge von Indizes i 1 , ... , i K , so dass & agr; i 1 ⋯ α i K = β i 1 ⋯ β i K . Das ist natürlich nicht zu entscheiden.α1,…,αNα1,…,αN\alpha_1,...
Diese Frage ist von einer bestehenden Frage inspiriert, ob ein Stapel mit zwei Warteschlangen in amortisierter -Zeit pro Stapeloperation simuliert werden kann . Die Antwort scheint unbekannt zu sein. Hier ist eine spezifischere Frage, die dem Sonderfall entspricht, in dem alle PUSH-Operationen...
CMSOL zählt die monadische Logik zweiter Ordnung, dh eine Logik von Graphen, bei der die Domäne die Menge von Scheitelpunkten und Kanten ist, es Prädikate für die Scheitelpunkt-Adjazenz und die Scheitelpunkt-Inzidenz gibt, es gibt eine Quantifizierung über Kanten, Scheitelpunkte, Kantensätze und...
Dies ist als Folgefrage zu Robin Kotharis vorherigem Beitrag zu Ergebnissen der Polynomzeithärte gedacht . Insbesondere bin ich daran interessiert, einige Härtebeweise für Probleme zu sehen, von denen angenommen wird, dass sie ungefähr untere Schranken haben, und ich sage ungefähr, um geringfügige...
Der Titel spricht für sich. Hier sind Akinator und 20Q . Das Prinzip dieser Spiele besteht darin, einem Benutzer eine Reihe von Fragen zu stellen, die sich auf eine vom Benutzer ausgewählte Entität beziehen. Und dann finde heraus, was diese Entität ist. Der Kern des Algorithmus besteht darin, in...
Es gibt 4 verschiedene Einschränkungen, die wir bei der Definition von Random K-SAT haben können. 1) Die Gesamtzahl der Literale in einer gegebenen Klausel ist genau K oder höchstens K 2) Ein gegebenes Literal kann mit oder ohne Ersetzung in derselben Klausel verwendet werden (A oder A oder A) 3)...
Ich habe diese Frage aus dem Stackoverflow verschoben, wo id keine Antworten erhielt. Wir hatten eine ähnliche Frage, ob JSON regelmäßig ist : JSON und XML werden häufig als kontextfreie Sprachen bezeichnet - beide werden hauptsächlich durch eine formale Grammatik in EBNF spezifiziert. Dies gilt...
Es ist allgemein bekannt, dass CNF-Formeln grob in zwei breite Klassen unterteilt werden können: Zufalls- und Strukturformeln. Strukturierte CNF-Formeln weisen im Gegensatz zu zufälligen CNF-Formeln eine bestimmte Reihenfolge auf und zeigen Muster, die wahrscheinlich nicht zufällig auftreten. Man...
Diese Frage ähnelt NP-harten Problemen an Bäumen : Es gibt eine große Anzahl von NP-vollständigen Problemen, die auf cographs nachvollziehbar sind . Gibt es bekannte Probleme, die NP-vollständig bleiben, wenn sie auf cographs beschränkt sind? Genauer gesagt interessieren mich Beispiele, bei denen...
Nehmen wir an, wir entdecken fremde Zivilisationen, die Nachrichten über einen interstellaren digitalen Kommunikationskanal senden und empfangen können. (Sagen wir, wir verwenden modulierte Radiowellen, Laserpulse und positionieren Sterne in verschiedenen Umlaufbahnen.) Nehmen wir an, wir haben uns...
Was ist über das folgende Problem bekannt? Wenn eine Sammlung von Funktionen f : { 0 , 1 } n → { 0 , 1 } gegeben ist , finde eine größte Untersammlung S ⊆ C unter der Bedingung, dass VC-Dimension ( S ) ≤ k für eine ganze Zahl k ist
Ich möchte mathematische Beweise mit einem Proof-Assistenten schreiben. Alles wird unter Verwendung von Logik erster Ordnung (mit Gleichheit) und natürlichem Abzug geschrieben. Hintergrund ist die Mengenlehre (ZF). Wie könnte ich zum Beispiel den folgenden Beweis schreiben? Axiom:...
Ich suche eine gute Referenz für Engpass kürzeste Wege. Insbesondere möchten Sie bei den Eckpunkten s und t in einem ungerichteten Diagramm mit Kantengewichten den kürzesten Pfad von s nach t, wobei die Länge eines Pfads die maximale Kante auf diesem Pfad ist. Dies kann in O (n + m) gelöst...