Können wir eine NFA mit Zuständen in einen regulären Ausdruck der Länge konvertieren ?nnnp o l y (n)pÖly(n)\mathrm{poly}(n) Im Gegensatz dazu ist bekannt, dass ein regulärer Ausdruck der Länge leicht in einen NFA mit -Zustand umgewandelt werden kann.nnnO
Ich habe Probleme beim Versuch festzustellen, ob alle in binärer Form (1, 100, 1001, ...) geschriebenen quadratischen Zahlen (1, 4, 9, 16, ...) eine reguläre Sprache sind. Nach einigen Versuchen , ein gemeinsames Muster dieser Zahlen zu finden, die ich herausgefunden, dass für jede Quadratzahl ,...
Laut "Konstruierbare Funktion" , Wikipedia: In der Komplexitätstheorie ist eine zeitkonstruierbare Funktion eine Funktion f von natürlichen Zahlen zu natürlichen Zahlen mit der Eigenschaft, dass f ( n ) von einer Turingmaschine in der Zeit der Ordnung f ( n ) aus n konstruiert werden kann . Aber...
Gibt es einen Unterschied zwischen Strukturrekursion und Schwanzrekursion oder sind beide gleich? Ich sehe, dass in diesen beiden Rekursionen die rekursive Funktion für die Teilmenge der ursprünglichen Elemente aufgerufen
Betrachten Sie die Folge . Es scheint auf eine Weise "regelmäßig" zu sein, die z. B. nicht ist.s1= ( 1 , 0 , 1 , 0 , … )s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2= ( 1 , 2 , 3 , 4 , … )s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Ich bin mir jedoch nicht sicher, wie ich diese Intuition formalisieren soll....
Gödel definiert in seinem System T die primitive Rekursion über höhere Typen. Ich fand Notizen von Girard, in denen er die Implementierung von System T zusätzlich zu einfach eingegebenem Lambda-Kalkül erklärt. Auf Seite 50 erwähnt er, dass wir mit dem System mehr Ausdruckskraft gewinnen, sobald wir...
Angenommen, ich habe ein 2D-Array M[n][n]von Ganzzahlen (tatsächlich ist Binär in Ordnung, aber ich bezweifle, dass es wichtig ist). Ich interessiere mich für wiederholte Abfragen der Form: Wenn ein Koordinatenpaar , was ist Natürlich können alle diese Werte in \ mathcal O (n ^ 2) Zeitsumme...
Wie können wir bei einer endlichen Menge SSS von Punkten in RdRd\mathbb R^d einen "am meisten isolierten Punkt" effizient berechnen x∈Sx∈Sx\in S? Wir definieren einen "am meisten isolierten Punkt" xxx durch x=argmaxp∈Sminq∈S∖{p}d(p,q)x=argmaxp∈Sminq∈S∖{p}d(p,q)x = \arg\max_{p \in S} \min_{q \in S...
Entschuldigung für die Frage des Neulings, aber ich bin etwas verwirrt darüber, was genau als "einfache Operation" gilt, wenn ich die zeitliche Komplexität eines Algorithmus erarbeite. Warum betrachten wir insbesondere alle Operationen als gleich? Das Teilen von zwei sehr großen Zahlen ist...
L={an(a+b)n|n>0}L={an(a+b)n|n>0}L = \{ a^n (a+b)^n | n>0\} Ein Buch, das ich lese, sagt es ist, aber wenn man bedenkt, dass wir nicht wissen können, wo der zweite Teil beginnen wird, und es könnte auch mit einem beginnen, wie können wir dies dann mit einem DPDA akzeptieren? Wie können wir...
Ein üblicher Ansatz, um zu entscheiden, ob zwei gegebene Graphen isomorph sind, besteht darin, die sogenannte kanonische Bezeichnung (alternativ kanonischer Graph) jedes Graphen zu berechnen und zu überprüfen, ob diese übereinstimmen oder nicht. Tools wie Nauty berechnen den kanonischen Graphen...
In unserem Kurs über Programmiersprachenkonzepte behauptete unser Kursleiter, dass es in Ordnung ist, wenn ein Endzustand in einem Diagramm mit endlichen Zuständen zu einem anderen Zustand führt. Dies scheint jedoch ein grundsätzlich widersprüchliches Konzept zu sein. Da ein Endzustand per...
Gibt es effiziente Algorithmen zur Überprüfung, ob eine Liste von Ganzzahlen paarweise koprime ist, oder wäre ein allgemeinerer Algorithmus die beste verfügbare
Im HoTT-Kurs der CMU, Vorlesung 1, finden Sie hier: https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4803-81af-e7193a3f461d Um 33:52 gab Harper einen parallelen Vergleich zwischen synthetischen und analytischen Theorien, und als er die PL-Theorie erreichte, sagte er, Coq...
Ich bin mir sicher, dass mit den folgenden Überlegungen etwas nicht stimmt, da sonst viele P- gegen NP-Untersuchungen eingeschränkt würden, aber ich kann meinen Fehler nicht feststellen: Für jede feste ganze Zahl definieren SieB k : = { ⟨ & phgr; ⟩ |k>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and...
Sei L1L1L_1 und wie folgt:L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):
Ich habe die folgende Aussage gesehen und verstehe die Gründe dafür nicht ganz: Wenn eine Turing-Maschine dieselbe Konfiguration zweimal wiederholt, muss sie sich in einer Endlosschleife befinden. Ich dachte, dass a T.M.TMTM kann in einem Zustand sein q1q1q_1, mit dem Band links 000 und rechts 111....
Ich versuche einen Weg zu finden, um die Idee des Halting Problem-Beweises so zugänglich wie möglich zu erklären (für CS-Studenten). Das einfachste Argument, das ich gefunden habe, ist dieses ; Dies ist genau die Art der Behandlung, die ich anstrebe. Die Selbstreferenz (insbesondere die...
Hier sind vier Grundsätze, die ich nicht vereinbaren kann: Doppelte exponentielle Zeitalgorithmen laufen in der Zeit mit der Konstante k ∈ N.O ( 22nk)O(22nk)O(2^{2^{n^k}})k ∈ N.k∈Nk \in \mathbb{N} Exponentielle Zeitalgorithmen laufen in mit einer Konstante von k ∈ N.O ( 2nk)O(2nk)O(2^{n^k})k ∈...
Für einen sich ändernden gerichteten Graphen möchte ich Informationen über stark verbundene Komponenten pflegen. Die Diagrammoperationen sind inkrementell: nur Scheitelpunktaddition und Kantenaddition. Welche Datenstrukturen erzielen für diese Operationen die bekannteste amortisierte Komplexität?...