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 \}...
Definieren Sie die Nerode-Äquivalenz über eine Sprache als iff für jedes . U ~ L v u w ∈ L ⇔ v w ∈ L w ∈ & Sigma; *L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vu w ∈ L ⇔ v w ∈ L.uw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw ∈ & Sigma;∗w∈Σ∗w \in \Sigma^{*} Die Nerode-Äquivalenz hat genau...
Wenn ein Graph G=(V,E)G=(V,E)G = (V, E) , finden Sie kkk Eckpunkte {v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} , deren Entfernung zu einem Graph mit der kleinsten größten Komponente führen würde. Ich nehme für große n=|V|n=|V|n = |V|und groß kkk das Problem schwierig (NP-hart), aber ich...
Das Partitionsproblem ist ein bekanntes NP-vollständiges Problem. In den Definitionen, die ich gesehen habe, wird angenommen, dass die Eingabe eine Mehrfachmenge von Ganzzahlen ist, und wir möchten die Existenz einer Partition in zwei Mengen mit derselben Summe entscheiden. Meine Frage ist: Ist das...
Ich hoffe, meine Frage macht Sinn: Ausgehend von der Annahme, dass der untypisierte Kalkül der Leistung einer Turing-Maschine entspricht, was entspricht in einer Turing-Maschine das Hinzufügen von Typen zum \ Lambda- Kalkül? Gibt es eine Art Automaten analog zur Eingabe, ob statisch oder...
Dies hängt etwas mit einer anderen Frage zusammen, die ich gestellt habe , aber ich denke, es ist anders genug, um eine eigene Frage zu rechtfertigen. Ich mache Forschungen, bei denen ich versuche, die Struktur von Komplementen einer bestimmten Klasse endlicher Sprachen zu finden. Es fällt mir...
Welche Berechnungen werden bei der Berechnung der Laufzeitabhängigkeit von der Eingabe berücksichtigt? Ich glaube zum Beispiel, dass ich gelernt habe, dass Array-Indizierung und Zuweisungsanweisungen nicht gezählt werden. Warum ist das
Ich arbeite derzeit an meiner Masterarbeit und es geht um das Clustering in Grafiken. Ich arbeite mit einer Idee, bei der Ameisen das Problem lösen. Ich arbeite derzeit an der Implementierung und frage mich genau, wie gut die Kanten des Diagramms dargestellt werden sollen. Jede Kante wird mit...
Bei einem sortierten Array von Ganzzahlen möchte ich die Anzahl der Paare ermitteln, die sich zu summieren . Wenn beispielsweise { - 3 , - 2 , 0 , 2 , 3 , 4 } gegeben ist , beträgt die Anzahl der Paarsummen 2 .000{−3,−2,0,2,3,4}{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\}222 Sei die Anzahl der Elemente im...
Laut CLRS sind die Algorithmen des Prim wie folgt implementiert: MST-PRIM(G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) für jedes tunu∈V[G]u∈V[G]u \in V[G] Taste [ u ] ← ∞Schlüssel[u]]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[ u ] ← NILπ[u]]←NULL\pi[u] \leftarrow \mathtt{\text{NIL}} Taste...
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 nach einem Algorithmus, der eine kanonische Zeichenfolge für ein bestimmtes farbiges Diagramm bereitstellt . Dh. Ein Algorithmus, der eine Zeichenfolge für ein Diagramm zurückgibt, sodass zwei Diagramme genau dann dieselbe Zeichenfolge erhalten, wenn sie isomorph sind. Insbesondere suche...
Einige gängige Algorithmen für maschinelles Lernen wie die logistische Regression oder neuronale Netze erfordern numerische Eingaben. Was mich interessiert, ist, wie Sie diese Algorithmen für nicht numerische Eingaben (wie kurze Zeichenfolgen) verwenden. Angenommen, wir erstellen ein...
Stellen Sie sich vor, ich habe eine Bestellung für eine Reihe von Elementen wie folgt: Wo ein Pfeil bedeutet . Es ist auch transitiv: .X.← Y.X←YX \leftarrow Y( X < Y ) ∧ ( Y < Z )X.< YX<YX < Y( X.< Y) ∧ ( Y.< Z)⟹( X.< Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge...
Ich habe eine Frage zum Zählen von DFAs: Wie würde ich bei einer Σ = {0, 1}Eingabezeichenfolge mit festgelegtem Status Q = {1...n}die Gesamtzahl der DFAs ermitteln, die erstellt werden können? Ich glaube, dies ist ein kombinatorisches Problem, aber ich bin mir nicht sicher, was ich multiplizieren...
Let und sein -Vektoren der Booleschen Variablen. Ich habe ein boolesches Prädikat auf . Ich gebe meiner Freundin Priscilla . Als Antwort gibt sie mir , ein boolesches Prädikat für , und sie behauptet
Ich versuche eine effiziente Lösung für mein Problem zu finden. Nehmen wir an, ich habe ein positiv gewichtetes Diagramm Gmit 100 Knoten (jeder Knoten ist nummeriert) und es ist ein azyklisches Diagramm. Es kann also keine Kante wie 2,2 oder 2,1 geben. Ich habe eine Liste von Knoten, sagen wir 10...
Es scheint mir, dass die Norm des Fehlervektors über den gesamten Graphen hinweg monoton abnehmen muss, sonst können wir nicht garantieren, dass der PageRank jemals konvergiert. Gilt das jedoch auch für jeden Scheitelpunkt? Dh, von Iteration t zu Iteration t + 1, nimmt der quadratische Fehler eines...
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
Ich habe Graphen und mit mit , die die Prüfung der wie z als No-Homomorphism Lemma. Gibt es kostenlose und benutzerfreundliche Tools zum Testen des Graphhomomorphismus von nach ?H k | V ( G k ) | = | V ( H k ) | 2 k = n 2 k k ≤ N G