Ist das Problem, bei zwei DFAs herauszufinden, ob sie dieselbe Sprache erzeugen, ein entscheidbares Problem? Ich weiß bereits, dass die Gleichheit von zwei CFL nicht entscheidbar ist aber was ist mit der Gleichheit von zwei DFAs? Wenn man bedenkt, dass die meisten Probleme mit DFAs entscheidbar...
Also gehe ich gerade mit einigen Leuten das HoTT-Buch durch. Ich habe die Behauptung aufgestellt, dass die meisten induktiven Typen, die wir sehen werden, auf Typen reduziert werden können, die nur abhängige Funktionstypen und Universen enthalten, indem der Typ des Rekurors als Inspiration für den...
In dieser Frage habe ich gefragt, was der Unterschied zwischen Satz und Typ ist . Diese Antworten waren wirklich klarstellend (z. B. @AndrejBauer), daher unterwerfe ich mich in meinem Wissensdurst der Versuchung, dasselbe nach Kategorien zu fragen: Jedes Mal, wenn ich über Kategorietheorie lese...
Bei einer symmetrischen reellen Matrix gibt es einen Algorithmus, der die Summe berechnet) über alle 1 \ leq i <j <k \ leq n mit Zeitkomplexität besser als O (n ^ 3) ?n×nn×nn \times
Während eines Interviews bekam ich folgendes Problem: Gibt eine Zeichenfolge an, die eine Mischung aus Parens (keine Klammern oder Klammern - nur Parens) mit anderen alphanumerischen Zeichen enthält. Identifizieren Sie alle Parens, die keine passenden Paren haben. In der Zeichenfolge ") (ab))"...
Ich lernte etwas über die Breitensuche und kam mir die Frage, warum BFS so heißt. In dem Buch Einführung in Algorithmen von CLRS habe ich den folgenden Grund dafür gelesen: Die Breitensuche wird so genannt, weil sie die Grenze zwischen entdeckten und unentdeckten Eckpunkten gleichmäßig über die...
Diese Frage erklärt ziemlich genau, dass sie es können, zeigt jedoch keine Beispiele dafür, dass es zwei verschiedene Bäume mit derselben Vorbestellungsdurchquerung gibt. Es wird auch erwähnt, dass das Durchlaufen von zwei verschiedenen Bäumen in der Reihenfolge gleich sein kann, obwohl sie...
Ich muss einen rekursiven Algorithmus erstellen, um zu sehen, ob ein Binärbaum ein binärer Suchbaum ist, und um zu zählen, wie viele vollständige Zweige vorhanden sind (ein übergeordneter Knoten mit sowohl linken als auch rechten untergeordneten Knoten) mit einer angenommenen globalen...
Bei Computernetzwerken und beim Entwurf von Hochleistungsclustercomputern bezieht sich die Netzwerktopologie auf den Entwurf der Art und Weise, wie Knoten durch Verbindungen verbunden werden, um ein Kommunikationsnetzwerk zu bilden. Zu den gängigen Netzwerktopologien gehören Netz, Torus, Ring,...
Im Problem der stabilen Übereinstimmung wird angegeben, dass es Fälle geben kann, in denen die Liste der Männer mit ihren Entscheidungen zufrieden sein kann, die Liste der f jedoch nicht, wenn der Algorithmus mit den Vorschlägen der Männer ausgeführt wird.mmmfff Nach dem, was ich gelesen habe,...
Die Planung auf zwei Ebenen ist nützlich, wenn auf einem System mehr Prozesse ausgeführt werden, als in den Arbeitsspeicher passen: Ein Planer auf niedrigerer Ebene wechselt zwischen residenten Prozessen, und ein Planer auf höherer Ebene tauscht Gruppen von Prozessen ein und aus. Ich finde keine...
Ursprünglich auf math.SE, aber dort unbeantwortet. Betrachten Sie den folgenden Algorithmus. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while Dabei sind u, v und n ganze Zahlen und die Divisionsoperation ist eine...
Diese Frage passt derzeit nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich zu Debatten, Argumenten, Umfragen oder erweiterten Diskussionen führen. Wenn Sie der Meinung sind, dass diese...
Lassen die Menge der Klemme und sein N die Menge der Nicht-Terminal - Symbole einiger kontextfreien Grammatik G .ΣΣ\SigmaN.NNGGG Sagen , ich habe einen String , so dass x a y ∈ S ( G ) , wobei x , y ∈ ( & Sigma; ∪ N ) * und S ( G ) sind die Formen der sentential G .a ∈ ( & Sigma; ∪...
OK, hier ist eine Frage aus einem früheren Test in meiner Klasse "Theorie der Berechnung": Ein nutzloser Zustand in einem TM ist ein Zustand, der niemals in eine Eingabezeichenfolge eingegeben wird. Es sei Beweisen Sie, dass unentscheidbar ist.U S E L E S S T M.U S E L E S S.T M.= { ⟨ M, q⟩ ∣ q ist...
Schreiben Sie für die Dezimalerweiterung von (ohne führenden ). Sei und ganze Zahlen mit . Betrachten Sie die Sprache der Dezimalerweiterungen der Vielfachen Plus-Konstante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N}...
In der Codierungstheorie bedeutet "wie gut ein Code ist", wie viele Kanalfehler korrigiert oder besser ausgedrückt, der maximale Rauschpegel, mit dem der Code umgehen kann. Um bessere Codes zu erhalten, werden die Codes mit einem großen Alphabet (anstatt einem binären) entworfen. Und dann ist der...
Ich versuche zu verstehen, was mit dem folgenden Beweis der folgenden Wiederholung falsch ist T(n)≤2(c⌊nT.( n ) = 2T.( ⌊ n2⌋ ) +nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T.( n ) ≤ 2 ( c ≤ n2⌋ ) +n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq...
In einem Whitted Ray Tracer erzeugt jeder Strahl-Objekt-Schnittpunkt einen durchgelassenen Strahl (wenn das Objekt durchscheinend war), einen reflektierten Strahl und einen Schattenstrahl. Der Schattenstrahl trägt zur direkten Beleuchtungskomponente bei. Aber was passiert, wenn der Schattenstrahl...
Ich bin neugierig. Ich habe an diesem Datentyp in OCaml gearbeitet : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Was mit explizit typisierten rekursiven Funktionen bearbeitet werden kann (eine Funktion, die erst kürzlich hinzugefügt...