Turingmaschinen haben eine formale Symbolalphabet-, Zustands- und Übergangsregel-basierte Beschreibung, wie eine Berechnung durchgeführt wird. Das Akteurmodell wird manchmal als leistungsfähigeres Rechenmodell als Turing-Maschinen erwähnt (nicht in dem, was es berechnen kann, sondern in anderen...
Ich suche einen Referenztext zur angewandten Graphentheorie und zu Graphalgorithmen. Gibt es einen Standardtext, der in den meisten Informatikprogrammen verwendet wird? Wenn nicht, was sind die angesehensten Texte auf diesem Gebiet? Ich habe Cormen et
Ich bin neu in der Komplexitätstheorie und möchte wissen, was strukturelle Komplexitätstheorie ist. Welche Probleme versuchen Theoretiker auf diesem Gebiet zu lösen und wie sieht ihre Zukunft aus? Aus der Wikipedia: Die Theorie der strukturellen Komplexität oder einfach die strukturelle Komplexität...
Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann. Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch...
Betrachten Sie das folgende Problem: Sei eine Konstante. Wir erhalten ein -ary-Array von und . Sei .kkkkkkAd1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k}000111N=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i Wir möchten eine Datenstruktur erstellen, indem wir vorverarbeiten , um die folgenden Arten von...
Ich suche nach praktischen Anwendungen von Finite-State-Maschinen wie DFA-, NFA-, Moore-, Mealy-Maschinen ... Es wäre hilfreich, wenn jemand auf Beispiele aus dem Linux-Kernel verweist. Ich weiß, dass DFA beim String-Matching wie beim KMP-Algorithmus verwendet wird. Welche Bedeutung haben NFA-,...
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine...
Diese Vorlesungsfolien skizzieren einen Beweis dafür, dass von keinem deterministischen Pushdown akzeptiert werden kann Automat. Leider geben die Folien keinen Hinweis darauf, woher der Beweis stammt.L = { anbn∣ n ≥ 0 } ∪ { anb2 n∣ n ≥ 0 }L.={einnbn∣n≥0}}∪{einnb2n∣n≥0}}L=\{ a^n b^n \mid n \geq 0 \}...
Frage: Gibt es Einführungstexte in der formalen Sprache oder in der Programmiersprachentheorie, in denen erläutert wird, wie sie auf das Studium der optimalen Notation angewendet werden können? Insbesondere interessiert mich, was Stapelsprachen, Analysebäume und Indizes sind und wie man vorhersagt,...
Ich bin ein beginnender Ph.D. Ich studiere Informatik und versuche, einige klassische spieltheoretische Arbeiten zu verstehen, wie die von Nash, Kalai und Smorodinsky. Aber ich finde es schwierig, die mathematischen Teile zu verstehen. Es scheint, dass diese Artikel von Mathematikern für...
Ich suche ein einfaches und einführendes Papier zum Beweis von Courcelles Theorem . Ich interessiere mich auch für den Zusammenhang mit der parametrisierten Komplexität in Bezug auf die Baumbreite . Ich bin nur ein Anfänger auf diesem Gebiet. Irgendwelche
In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der...
Vor kurzem habe ich mich mit einem Problem befasst, das mich zu folgenden Fragen geführt hat: Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen in einem allgemeinen Diagramm aufzulisten? Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen...
Ich bin ein autodidaktischer Programmierer und programmiere seit 8 Jahren. Aufgrund dieser Erfahrung bin ich bereits sehr vertraut mit den Prinzipien der Programmierung (wie if-Anweisungen, Klassen, Polymorphismus usw.). Ich habe jedoch nie "Informatik" gelernt, sondern nur Programmieren. Was sind...
Nicks Klasse (NC) ist die Klasse von Problemen, die in Poly-Log-Zeit unter Verwendung einer Polynomzahl von Prozessoren entschieden werden können. Ich möchte etwas über das exponentielle Analogon wissen, das Probleme abdeckt, die in Polynomzeit unter Verwendung einer exponentiellen Anzahl von...
Es wurde viel über Algorithmen zum gegenseitigen Ausschluss geforscht - z. B. wird ein Großteil davon in klassischen Lehrbüchern wie The Art of Multiprocessor Programming vorgestellt , in denen ihnen ein ganzes Kapitel gewidmet ist. Ich frage mich, in welchen praktischen Situationen diese...
Gibt es reale Anwendungen des Steiner Tree Problems (STP)? Ich verstehe, dass das VSLI-Chipdesign eine gute Anwendung des STP ist. Gibt es andere Beispiele für Probleme in der realen Welt, von denen die Leute vermuten können, dass sie im Sinne des STP formuliert werden könnten? Hintergrund: Ich...
Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das
Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es...
Bei abhängigen Typen wird die Miller-Mustervereinigung verwendet, um ein entscheidbares Fragment einer Vereinigung höherer Ordnung zu lösen. Dadurch können abhängig typisierte Sprachen Metavariablen oder implizite Argumente enthalten. Es gibt viele Artikel, die beschreiben, wie man angesichts eines...