Sei eine kontextfreie Sprache. Definieren Sie p p c ( L ) als den Pre- und Postfix-Abschluss von L , mit anderen Worten, p p c ( L ) enthält alle Präfixe und Postfixes von L und damit L selbst. Meine Frage: Wenn L kontextfrei ist und eine nicht mehrdeutige Grammatik hat, gilt das auch für p p c ( L...
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))es ist NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n))....
Der Beitrag bezieht sich auf: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles Wie weit ist der Lovasz von der Null-Fehler-Kapazität regulärer Graphen entfernt? Gibt es Beispiele, bei denen bekannt ist, dass die Lovasz-Grenze nicht der...
Ein Span-Programm ist eine linear-algebraische Methode zur Angabe einer hier eingeführten Booleschen Funktion . Kürzlich wurde dieses Modell verwendet, um zu zeigen, dass die Methode des negativen Gegners eine enge Charakterisierung (mindestens bis zu ) der Komplexität von Quantenabfragen liefert...
Betrachten Sie das Problem der dominierenden Menge in allgemeinen Diagrammen und lassen Sie die Anzahl der Scheitelpunkte in einem Diagramm sein. Ein gieriger Approximationsalgorithmus gibt eine Approximationsgarantie für Faktor 1 + log n , dh es ist möglich, in Polynomzeit eine Lösung S zu finden,...
Um zu beantworten, "welche Probleme durch Rechnen gelöst werden können", haben wir die Theorie der Berechenbarkeit entwickelt. Gibt es für die berechenbaren Probleme eine Theorie zur Beantwortung der Frage "Ist das Programm, das ich bekomme, das einfachste?" Ich glaube nicht, dass die Komplexität...
Lassen GGG ein zusammenhängender Graph G=(V,E)G=(V,E)G = (V,E) mit Knoten V=1…nV=1…nV = 1 \dots n und die Kanten EEE . Sei wiwiw_i das (ganzzahlige) Gewicht des Graphen GGG , wobei ∑iwi=m∑iwi=m\sum_i w_i = m das Gesamtgewicht im Graphen ist. Das durchschnittliche Gewicht pro Knoten beträgt dann...
Wir wissen, dass das Protokoll des Ranges einer 0-1-Matrix die Untergrenze der deterministischen Kommunikationskomplexität ist, und das Protokoll des ungefähren Ranges die Untergrenze der randomisierten Kommunikationskomplexität ist. Die größte Lücke zwischen deterministischer...
Obwohl exponentielle Trennungen zwischen Quantenabfragekomplexität mit begrenztem Fehler ( ) und deterministischer Abfragekomplexität ( D ( f ) ) oder randomisierter Abfragekomplexität mit begrenztem Fehler ( R ( f ) ) bekannt sind, gelten sie nur für bestimmte Teilfunktionen. Wenn die...
Ich bin ein Masterstudent, der sich auf verteilte Systeme konzentriert, sich aber auch für theoretische Informatik interessiert. Ich habe mich gefragt, ob es eine formale Darstellung eines verteilten Systems auf einer Turingmaschine gibt. Ist es also möglich, das Konzept einer Turingmaschine zu...
Versuche ermöglichen die effiziente Speicherung von Elementlisten. Die Präfixe werden gemeinsam genutzt, um Platz zu sparen. Ich suche nach einem ähnlichen Weg, um Bäume effizient zu lagern. Ich möchte in der Lage sein, die Mitgliedschaft zu überprüfen und Elemente hinzuzufügen. Es ist auch...
Wir wissen, dass das Finden der konvexen Hülle von nnn Punkten in einer Ebene eine Untergrenze von Ω(nlogn)Ω(nlogn)\Omega(n\log n) für die Laufzeit hat. Wenn die Punkte jedoch in der Reihenfolge angegeben werden, in der sie entlang eines einfachen Polygons auftreten, dessen Eckpunkte diese Punkte...
Gier ist ein nicht formaler Begriff, aber es könnte sein (nicht sicher, deshalb frage ich), dass für bestimmte Probleme Gier mathematisch formuliert werden kann und somit bewiesen werden kann, dass es keinen optimalen Gier-Algorithmus gibt. Ist das
In Bernsteins und Vaziranis wegweisender Arbeit "Quantum Complexity Theory" zeigen sie, dass addd dimensionale einheitliche Transformation durch ein Produkt aus "nahezu trivialen Rotationen" und "nahezu trivialen Phasenverschiebungen" effizient angenähert werden kann. "Fast triviale Rotationen"...
Es wurde viel an Rechenproblemen für Teilaufträge gearbeitet (z. B. Erkennung, Sprungzahl, Erkennung von Vergleichbarkeitsgraphen usw.). Ich bin gespannt, welche gitterspezifischen Arbeiten durchgeführt wurden. Ich habe mich umgesehen und nicht viel ähnliche Arbeit für Gitter gefunden. Insbesondere...
Bei einem gerichteten Graphen und die zwei Scheitel s , t ∈ V . Ein Paar einfacher Pfade p 1 , p 2 von s nach t ist kantendisjunkt, wenn sie keine Kante teilen.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Bei Verwendung des maximalen Durchflusses ist es leicht zu entscheiden,...
HINWEIS : Die Frage wurde in meinen Antworten angepasst: Unter der Annahme, dass wir jetzt die niedrigsten Geschwistervorfahren in -Zeit finden können, kann die ANN wirklich in ?O ( log n )O(1)O(1)O(1)O(logn)O(logn)O(\log n) Quadtrees sind effiziente räumliche Indizes. Ich habe ein Rätsel mit der...
Es ist bekannt, dass für das klassische PAC-Lernen Beispiele für erforderlich sind, um eine Fehlergrenze von ε whp zu erreichen, wobei d die VC-Dimension der Konzeptklasse ist.Ω(d/ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Ist bekannt, dass im agnostischen Fall Beispiele für benötigt...
Ich bin gespannt, ob jemand ergänzendes Material empfehlen könnte, um ein tieferes Verständnis des Papiers zu erlangen: " Einige Ergebnisse und Probleme bei Ungleichheiten vom Typ der Quantenglocke - Tsirelson ". Insbesondere etwas, das die geometrische Interpretation von Bell-Typ-Ungleichungen...
Im Papier mit dem gleichen Titel wie die von dieser Frage, beschreiben die Autoren , wie ein bauen , nicht blockierend linearisierbar Mehrwort CAS nur mit einem einzigen Wort CAS Betrieb. Sie führen zunächst die Double-Compare-Single-Swap-Operation - RDCSS - wie folgt ein: word_t...