Ich frage mich , ob dies überhaupt möglich ist, da . Daher könnte ein PDA, der ein Wort vom Rest von es genauso gut akzeptieren , was für mich widersprüchlich klingt.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}{ a ∗ b ∗ c ∗...
In dieser Frage werden nur Turing-Maschinen betrachtet, die bei allen Eingaben anhalten. Wenn k∈Nk∈Nk \in \mathbb{N} dann bezeichnen wir mit TkTkT_k die Turingmaschine, deren Code kkk . Betrachten Sie die folgende Funktion s ( x , y) = min { k ∣ | L ( Tk) ∩ { x , y} | = 1
Ich habe einige Objekte mit Priorität, die zusammengesetzt sind und nur teilweise geordnet sind . Ich muss die Objekte in der Reihenfolge dieser Priorität auswählen (dh jedes Mal einen minimalen Gegenstand erhalten). Aber anstatt die Bestellung willkürlich abzuschließen, wäre es mir lieber, wenn...
Wir sagen , dass die Sprache ist dicht , wenn es ein Polynom existiert , so dass für alleMit anderen Worten, für eine gegebene Länge existieren nur polynomisch viele Wörter der Länge , die nicht inJ⊆ & Sgr;∗J⊆Σ∗J \subseteq \Sigma^{*}| J c ∩ Σ n | ≤ p ( n ) , n ∈ N . n n J .ppp| Jc∩ ∩n|...
In vielen Diskussionen über Binär-Heap wird normalerweise nur der Abnahme-Schlüssel als unterstützte Operation für einen Min-Heap aufgelistet. Zum Beispiel CLR-Kapitel 6.1 und diese Wikipedia-Seite . Warum wird normalerweise kein Erhöhungsschlüssel für Min-Heap aufgeführt? Ich stelle mir vor, dass...
Ich habe FSM in Digital Sequential Circuit-Designs verwendet. Endliche Automaten kenne ich aber nicht. Kann mir jemand helfen, den grundlegenden Unterschied zwischen beiden zu verstehen?
Eine häufig gestellte Interviewfrage besteht darin, einen Algorithmus anzugeben, mit dem festgestellt werden kann, ob ein gegebener Binärbaum eine ausgeglichene Höhe aufweist (AVL-Baumdefinition). Ich habe mich gefragt, ob wir etwas Ähnliches mit rot-schwarzen Bäumen machen können. Wenn ein...
Gegeben sei ein ebener Graph und G bezeichne seine Einbettung in die Ebene st, wobei jede Kante die Länge 1 hat . Ich habe außerdem eine Menge C von Punkten, bei denen jeder Punkt c ∈ C in G enthalten ist . Weiterhin gilt für jeden Punkt p in G, dass es ein c ∈ C mit höchstens einem geodätischen...
Betrachten Sie die folgende Frage zu Google Code Jam in Runde 1C : Die Chinesische Mauer beginnt als unendliche Linie, wobei die Höhe an allen Stellen .000 Einige Anzahl von Stämmen , N ≤ 1000 , wird die Wand der Wand angreifen gemäß den folgenden Parametern - Anfangstag, D , eine Start Stärke S ,...
Ich möchte ein webbasiertes Online-System für maschinelles Lernen aufbauen, in dem Benutzer kontinuierlich klassifizierte Stichproben hinzufügen und das Modell online aktualisieren können. Ich möchte ein Perzeptron oder einen ähnlichen Online-Lernalgorithmus verwenden. Benutzer können jedoch Fehler...
Ich habe erst kürzlich etwas über die Existenz dieses hierarchischen Zeitgedächtnisses (HTM) gelernt . Ich habe bereits das Dokument Hierarchical Temporal Memory: Concepts, Theory and Terminology (von Jeff Hawkins und Dileep George) gelesen , das ziemlich einfach zu verstehen scheint, aber eine...
Bei Verwendung von A * (oder eines anderen Algorithmus zur Ermittlung des besten Pfades) sollte die verwendete Heuristik zulässig sein , dh die tatsächliche Länge des Lösungspfades (oder der Bewegungen) sollte niemals überschätzt werden. Wie stellt eine zulässige Heuristik eine optimale Lösung...
Ich habe erfahren, dass die Grafikverarbeitungseinheit so etwas wie Memory Coalescing hat. Als ich darüber las, war mir das Thema nicht klar. Steht dies in irgendeiner Weise im Zusammenhang mit der Parallelität der Speicherebenen? Ich habe in Google gesucht, konnte jedoch keine zufriedenstellende...
Der Schnittpunkt einer kontextfreien Sprache L mit einer regulären Sprache M soll immer kontextfrei sein. Ich habe den produktübergreifenden Konstruktionsnachweis verstanden, verstehe aber immer noch nicht, warum er kontextfrei, aber nicht regelmäßig ist. Die durch eine solche Schnittmenge erzeugte...
Wenn wir uns das Actor Model und Communicating Sequential Processes ansehen, stellen wir fest, dass beide versuchen, auf der Grundlage der Nachrichtenübergabe eine Parallelität herzustellen , aber sie unterscheiden sich . (Wir sehen Implementierungen des CSP Modell in go-lang ‚s goroutines (und...
Stimmt es, dass die sequentielle Konsistenz eine stärkere Eigenschaft als die Cache-Kohärenz ist? Gemäß Sorin, Daniel J; Hill, Mark D; Wood, David A: Eine Einführung in Speicherkonsistenz und Cache-Kohärenz , Morgan & Claypool, 2011 sequentielle Konsistenz kann beschrieben werden als (nicht...
In dieser Frage geht es um eine Herangehensweise an Computergegner, die ich erstellt habe und die derzeit in mehreren Computerspielen verwendet wird oder für die geplant ist. Hintergrund Als ich letztes Jahr versuchte, einen Computergegner für ein Spiel namens "Minesweeper Flags" zu verbessern...
Bei der Entwicklung von Algorithmen für das Quantencomputing ist mir aufgefallen, dass es zwei Hauptmodelle gibt, in denen dies durchgeführt wird. Einige Algorithmen - wie zum Beispiel für das Hamilton-NAND-Baum-Problem (Farhi, Goldstone, Guttman) - entwerfen einen Hamilton-Zustand und einen...
SAT-Löser lösen immer effizienter große Instanzen und werden in verschiedenen Zusammenhängen als Back-End eingesetzt. Jedes Mal, wenn jemand sie zur Lösung eines Problems in einem bestimmten Bereich verwenden möchte, muss er / sie eine Ad-hoc-Codierung entwickeln, die nicht nur die richtigen...
Der Y-Kombinator hat den Typ . Nach der Curry-Howard-Entsprechung muss der Typ einem wahren Theorem entsprechen, da er bewohnt ist. Jedoch ist immer wahr, so dass es so aussieht, als ob der Typ des Y-Kombinators dem Satz , was nicht immer wahr ist. Wie kann das sein?( a → a ) → a(a→a)→a(a...