Computerwissenschaften

1

Teilmengen-Summe, pseudo-polynomielle zeitdynamische Programmierlösung?

Ich habe vor einiger Zeit das P vs NP-Problem gefunden und kürzlich an dem Teilmengen-Summenproblem gearbeitet. Ich habe einen Wikipedia-Artikel über das Subset Sum-Problem sowie die Frage Subset Sum Algorithm gelesen Ich habe mir das Problem angesehen und einige Lösungen gefunden, aber bisher scheinen sie NP zu sein. Ich glaube, …

8 algorithms dynamic-programming

3

ML funktioniert von polymorphen Listen zu polymorphen Listen

Ich lerne Programmieren in ML (OCaml) und habe früher nach ML-Funktionen vom Typ'a -> 'b gefragt . Jetzt habe ich ein bisschen mit Funktionen vom Typ experimentiert 'a list -> 'b list. Es gibt einige offensichtliche einfache Beispiele: let rec loop l = loop l let return_empty l = [] …

8 programming-languages typing functional-programming

2

Was ist ein Meta-Algorithmus?

Ich lese gerade ein Umfragepapier über den Metaalgorithmus zur multiplikativen Gewichtsaktualisierung. Ich bin mir nicht ganz sicher, was sie unter "Meta-Algorithmus" verstehen. Ist es einfach ein allgemeiner Algorithmus, der für verschiedene Zwecke verwendet werden kann? Ich konnte keine genaue Definition für diesen Begriff finden, obwohl ich Beispiele für Metaalgorithmen wie …

8 algorithms

1

Inkrementelle stark verbundene Komponenten

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? Wenn der Graph ungerichtet wäre, wäre die Antwort die Union-Find-Struktur. Und da ungerichtete Graphen als Sonderfälle gerichteter Graphen …

8 graphs data-structures amortized-analysis

3

Warum muss sich eine Turingmaschine, die dieselbe Konfiguration zweimal wiederholt, in einer Endlosschleife befinden?

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. Nehmen wir an, es …

8 complexity-theory turing-machines

2

Ist {a ^ n (a + b) ^ n | n> 0} eine deterministische CFL?

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 nach …

8 formal-languages automata context-free pushdown-automata

1

Ist Coq synthetisch oder analytisch?

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 sei analytisch und Coq beweise nur eine Sprache in ihrer Grammatik, nicht aber den Parser selbst. Ich habe das …

8 type-theory proof-assistants philosophy

1

Präfixsummen im veränderlichen 2D-Array

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 berechnet werden , und …

8 complexity-theory data-structures trees

2

Ackerman-Hierarchie für primitive Rekursion höherer Ordnung in System T.

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 mehr Typen im Recursor …

8 computability lambda-calculus recursion type-theory

1

Warum ist log (n) eine raumkonstruierbare Funktion?

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 log(n)log⁡(n)\log\left(n\right) wird …

8 time-complexity

1

Können wir eine NFA in einen regulären Ausdruck der Polynomlänge umwandeln?

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 (n)Ö(n)\mathcal{O}(n)

8 regular-languages finite-automata regular-expressions

1

Wie ist PowerPoint Turing abgeschlossen?

Nach meinem Verständnis bedeutet Turing vollständig, dass das Programm oder die Maschine jede Berechnung ausführen kann, die eine Turing-Maschine ausführen kann, was für mich jede Berechnung bedeutet. Wie kann so etwas wie HTML oder PowerPoint vollständig sein?

8 computability turing-completeness

1

Was war der größte Durchbruch zwischen der Hoare-Floyd-Logik und der Scott-Strachey-Semantik?

Ich lese gerade einen Kommentar zu Milners "Der Einsatz von Maschinen zur Unterstützung strenger Beweise" von Mike Gordon durch. In diesem Artikel erklärt er, wie LCF aus den Ideen der Denotationssemantik von Dana Scott und Strachey geboren wurde. Es scheint mir, dass die Floyd-Hoare-Logik nicht ausreichte, um LCF zu entwickeln, …

8 hoare-logic automated-theorem-proving denotational-semantics

3

Was ist "Rang" in einem binären Suchbaum und wie kann er nützlich sein?

Ich habe ein bisschen Probleme damit, mir Gedanken darüber zu machen, was ein binärer Suchbaum ist und warum es wichtig ist, einen Rang zu haben. Ich hoffe, dass jemand ein paar Dinge für mich klären kann. Was ich untersucht habe: Nach dem, was ich gelesen habe, ist ein binärer Suchbaum …

8 algorithms data-structures binary-trees binary-search-trees

1

Ist eine unäre Sprache mit Polynomkraft kontextsensitiv?

Ich nehme an, dass .Σ={a}Σ={a}\Sigma = \{a\} Beweisen oder widerlegen: Für jedes Polynom mit Koeffizienten in gilt L = \ {a ^ {p (n)} \; | \; n \ in \ mathbb {N} \} ist eine kontextsensitive Sprache.p(n)p(n)p(n)NN\mathbb{N}L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} Es scheint, dass es …

8 formal-languages context-sensitive