Ich versuche zu verstehen, zu welcher Komplexitätsklasse das folgende Problem gehört: Exponentiating Polynomial Root Problem (EPRP) Sei ein Polynom mit deg ( p ) ≥ 0 mit Koeffizienten, die aus einem endlichen Feld G F ( q ) mit q einer Primzahl gezogen werden, und r eine Grundwurzel für dieses …
Wissen wir, dass die -Hierarchie nicht zusammenbricht ( für alle d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Der Zoo-Eintrag für TC0TC0\mathsf{TC^0} erwähnt nur die Trennung zwischen Tiefe 2 und 3. Gibt es auch eine Standardreferenz für die Tatsache, dass die \ mathsf {AC ^ 0_d}AC0dACd0\mathsf{AC^0_d} -Hierarchie nicht zusammenbricht?
Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen Fragebogen kennt, der die Eigenschaften dieser Sprachen beschreibt. Das meiste, was ich mir anschaue, ist …
Der Simplex-Algorithmus wird häufig entweder in der realen Arithmetik oder in der diskreten Welt mit genauen Berechnungen behandelt. Es scheint jedoch am häufigsten mit Gleitkomma-Arithmetik implementiert zu werden. Dies führt zu der Frage, ob der Simplex-Algorithmus als numerischer Algorithmus anzusehen ist, insbesondere wie sich Rundungsfehler auf die Berechnung auswirken. Ich …
Wenn Sie eine Sammlung von Teilaufträgen erhalten, werden Sie anhand der topologischen Sortierung darüber informiert, ob eine Erweiterung der Sammlung auf einen Gesamtauftrag vorliegt (eine Erweiterung ist in diesem Fall ein Gesamtauftrag, der mit jedem der Teilaufträge übereinstimmt). Ich bin auf eine Variante gestoßen: Fix einen Satz . Sie erhalten …
Ein MPA (Multipebble-Automat) ist ein 2DFA (bidirektionaler deterministischer endlicher Automat), der eine beliebige Anzahl von Steinen verwenden kann (tatsächlich höchstens Steine auf einer gegebenen Eingabe w - die Eingabe wird auf das Band zwischen zwei Enden geschrieben -Markierungen als # w # ). Während der Berechnung kann ein MPA erkennen, …
Ich hoffe, dass jemand einen Hinweis darauf kennt, sodass ich die Literatur nicht lesen muss ... Betrachten Sie eine Folge von Zahlen . Stellen Sie sich die Sequenz als n - 1 Intervalle [ x 1 , x 2 ] , [ x 2 , x 3 ] , …
Unique SAT ist das bekannte Problem: Stimmt es, wenn eine CNF-Formel ist, dass F genau ein Modell hat?FFFFFF Ich interessiere mich für das Problem «Genau SAT»: Stimmt es, wenn eine CNF-Formel F und eine ganze Zahl m > 1 gegeben sind , dass F genau m Modelle hat?mmmFFFm>1m>1m>1FFFmmm Beide Probleme …
Ich suche einen Verweis (kein Beweis, den ich machen kann) auf die folgende Erweiterung von Chernoff. Lassen sind boolesche Zufallsvariablen, die nicht unbedingt unabhängig sind . Stattdessen ist garantiert, dass P r ( X i = 1 | C ) < p für jedes i und jedes Ereignis C ist …
Wir können uns die Kolmogorov-Komplexität eines Strings xxx als die Länge des kürzesten Programms PPP und yyy so eingeben , dass x=P(y)x=P(y)x = P(y) . Normalerweise werden diese Programme aus einem Turing-Komplett-Set erstellt (wie PPP die Beschreibung einer Turing-Maschine oder ein Programm in LISP oder C). Selbst wenn wir uns …
Wenn ein Graph mit maximalen Grad 3 und eine kleinere von ist , dann ist eine topologische minor von .GGGHHHGGGHHH Wikipedia zitiert dieses Ergebnis aus Diestels "Graphentheorie". Es ist als Prop 1.7.4 in der neuesten Version des Buches aufgeführt. Dem Buch fehlen Beweise oder Zitate. Sind die Aufenthaltsorte für einen …
Gibt es eine Übersicht (aus Papier, Buchkapitel, Tutorial, Links, ...) über die Semantik verschiedener Programmiersprachenfunktionen? Ich war ursprünglich überwältigt von den Funktionen von D hier http://www.digitalmars.com/d/2.0/comparison.html Ich würde gerne sehen, was ich möglicherweise von hier bekommen könnte, obwohl ich eine ähnliche Frage zum Stackoverflow gestellt habe und verstanden habe, dass …
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) …
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.