Ich studierte den Beweis, dass die Ackermann-Funktion rekursiv, aber nicht primitiv rekursiv ist, und eine Frage traf mich: "Na und?". Warum spielt es eine Rolle? Welche Bedeutung haben primitive rekursive
Ist die Klasse unter Komplement geschlossen oder ist sie unbekannt? Ich habe online gesucht, aber ich konnte nichts finden.N P.N.P.\sf
Es ist schon eine Weile her, dass ich eine Wiederholung lösen musste und ich wollte sicherstellen, dass ich die iterative Methode zur Lösung dieser Probleme verstehe. Gegeben: T.( n ) = 3 T.( n - 2 )T(n)=3T(n−2)T(n) = 3T(n-2) Mein erster Schritt bestand darin, Begriffe iterativ zu ersetzen, um zu...
Ich bin ziemlich verwirrt über die genaue Beziehung zwischen der Erweiterung eines Graphen und seiner Leitfähigkeit. Meine erste Frage ist: Könnte mich jemand auf eine Referenz verweisen, die diese beiden Begriffe behandelt? (Ich habe verschiedene Vorlesungsunterlagen zu verwandten Themen gefunden,...
Ich habe neulich nachgedacht, und mir ist aufgefallen, dass Computerprogramme alle als Diagramm (z. B. ein abstrakter Syntaxbaum) oder, sobald gemeinsame Ausdrücke kombiniert sind, als abstraktes Syntaxdiagramm darstellbar zu sein scheinen. Mir ist aufgefallen, dass vielleicht jedes...
Gibt es Forschung oder gibt es Ergebnisse, die den Graphisomorphismus im Kontext der Spektralgraphentheorie diskutieren? Zwei bekannte Theoreme der Spektralgraphentheorie sind: Zwei Graphen werden als Isospektral oder Cospektral bezeichnet, wenn die Adjazenzmatrizen der Graphen gleiche...
Ich helfe bei der Gestaltung einer CS-bezogenen Aktivität für einen Let's Talk Science- Wettbewerb, der MINT bei Schülern fördert. Während des Wettbewerbs werden Teams von sechs Schülern von Station zu Station wechseln und versuchen, jede so schnell wie möglich abzuschließen. Eine Station könnte...
Angenommen n × mn×mn\times m Matrix EINEINAFinden Sie aus ganzen Zahlen eine Untermatrix, deren Summe maximal ist. Wenn nur eine Zeile oder nur eine Spalte vorhanden ist, entspricht dies dem Auffinden eines maximalen Unterarrays . Die 1D-Version kann durch dynamische Programmierung in linearer Zeit...
Ich habe eine einfache Konstruktion bekommen, die scheinbar einem Papier widerspricht, das plausible Vermutungen annimmt. Was ist falsch an dem Argument, da es unwahrscheinlich ist, dass die Vermutung falsch ist? Aus einem Papier Eine UND-Komprimierung ist ein deterministischer
Wir lassen α=α1α2α3…α=α1α2α3…\alpha = \alpha_1\alpha_2\alpha_3\ldots sei eine unendliche Zufallsfolge (unter dem einheitlichen Maß) wo αiαi\alpha_i könnte sein 111 oder 000und definieren Sie dann die Boolesche Funktion BkBkB_k:: Bk(α1…αk)={1 if at least ⌈k/2⌉ of its inputs...
Ich weiß, dass es etwas gibt, das als teilweise Korrektheit bezeichnet wird, aber ich habe mich gefragt, ob es eine Möglichkeit gibt, festzustellen, wie nahe ein halbkorrektes Programm an einem vollständig korrekten Programm liegt. Wenn Sie beispielsweise ein Sortierprogramm hätten, das ein Array...
Ich suche einen Algorithmus, der als Eingabe einen Scheitelpunkt empfängt sssund findet die kürzesten Wege von ssszu allen Eckpunkten im Komplementgraphen (ungerichtet). Der Algorithmus sollte in laufenO(V+E)O(V+E)O(V+E) Zeit, wo EEE ist die Anzahl der Kanten im Originaldiagramm (nicht das...
Ich lese die Kunst der Multiprozessor-Programmierung und versuche, ihr Konzept inkonsistenter Sperren zu verstehen. Insbesondere auf Seite 37 ist mir die Definition 2.8.1 einer inkonsistenten Sperre sowie Lemma 2.8.1 nicht klar. Definition 2.8.1. Der Status eines Sperrobjekts s ist in jedem...
Problem (tl; dr) Wenn eine kontextfreie Grammatik , finden Sie eine Reihe von Zeichenfolgen, die mindestens einmal durch jede Produktion führen.GGGGGG Wie und wie schnell geht das? Hintergrund Ich arbeite an einem Compiler, dessen Parser mit einem ähnlichen Tool wie Yacc + Antlr implementiert ist....
Ich suche nach einer guten Speicherbereinigungstechnik für meine Sprache und habe dieses Papier gefunden , in dem Benjamin Goldberg eine Speicherbereinigungstechnik für stark typisierte Sprachen beschreibt, bei der zur Laufzeit keine Typinformationen mehr benötigt werden. Kurz gesagt, dies erfolgt...
Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie,...
Betrachten Sie einen ungerichteten gewichteten Graphen , wobei so ist, dass die Punkte 3D sind und das Gewicht einer Kante dem (euklidischen) Abstand zwischen ihren Endpunkten entspricht. Beachten Sie, dass wir nicht die Koordinaten der Punkte in V erhalten. Wir erhalten möglicherweise nicht alle...
Ein Hypervisor (1. Typ) ist eine Software, die virtuelle Maschinen erstellt und ausführt und die Anforderungen der Betriebssysteme des Gastes an die Hardware verwaltet. Ein Exokernel ist ein operativer Systemkernel, mit dem Programme direkt auf die Hardware zugreifen oder mit Unterstützung...
Sei ein parametrisiertes Zählproblem , wobei der Parameter die Lösungskosten sind, z. B. das Zählen der Anzahl der Scheitelpunkte mit Größe in einem durch parametrisierten Graphen .ΠΠ\Pikkkkkk Angenommen, ist [1] -vollständig (ein bekanntes Problem wäre beispielsweise das Zählen der Anzahl...
Es ist also bekannt, dass PCP selbst dann unentscheidbar ist, wenn wir die Anzahl der Kacheln auf festlegen .n≥7n≥7n \geq 7 Ich frage mich, kann etwas Ähnliches gesagt werden, wenn es eine feste Wortlänge gibt? Um genau zu sein, hier ist das Problem: Bei festem und mit und den Wörtern und...