Ich habe diesen Satz gerade auf Seite 6 von Garey und Johnsons "Computers and Intractability" gefunden. Jeder Algorithmus, dessen Zeitkomplexitätsfunktion nicht so begrenzt werden kann, wird als Exponentialzeitalgorithmus bezeichnet (obwohl zu beachten ist, dass diese Definition bestimmte...
Ich glaube, ich bin ziemlich verwirrt darüber, was als Kalkül und was als Programmiersprache bezeichnet wird. Ich neige dazu, zu denken und könnte gesagt worden sein, dass ein Kalkül ein formales System ist, um über die Gleichwertigkeit von Programmen zu argumentieren. Programme haben eine von...
Ich studiere formale Sprachen und Produktionsbasissysteme (Regelbasissysteme) und bin ein wenig verwirrt darüber, warum diese beiden Wörter "Produktion" und "Regel" in so vielen Zusammenhängen in der Informatik dasselbe bedeuten. In der englischen Sprache scheinen sie nicht dasselbe zu bedeuten....
Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung,
Ich bin immer noch ein bisschen verwirrt mit den Begriffen "Eingabelänge" und "Eingabegröße", wenn ich die asymptomatische Obergrenze für einen Algorithmus analysiere und beschreibe Die Länge der Eingabe für den Algorithmus hängt anscheinend stark von der Art der Daten und dem Algorithmus ab, über...
Ich bin neu im maschinellen Lernen. Ich habe mehrere Artikel gelesen, in denen sie Deep Learning für verschiedene Anwendungen eingesetzt haben und in den meisten Fällen des Modelldesigns den Begriff "Prior" verwendet haben, beispielsweise in der Posenschätzung des menschlichen Körpers. Kann jemand...
Was bedeutet die Komplexitätsklasse ? Ich weiß, dass die Komplexitätsklasse ist, die Sprachen enthält, für die es eine polynomielle zeitlich nicht deterministische Turing-Maschine so dass wenn die Anzahl der Akzeptanzzustände der Maschine am Eingang ungerade ist.⊕P⊕P⊕P⊕P\oplus P^{\oplus...
Ich denke, ich verstehe, wie die Entwaldung eine Liste gleichzeitig verbraucht und produziert (von einer Fold- und einer Unfold- Funktion - siehe diese gute Antwort auf CodeReview hier ), aber als ich das mit dem Wikipedia-Eintrag über die Technik verglich, von der es sprach, "Entfernen" Bäume 'aus...
Die Berechenbarkeitstheorie wird auch als Rekursionstheorie bezeichnet. Warum heißt es so? Warum ist Rekursion so
Was bedeutet es, wenn wir sagen, dass ein Algorithmus asymptotisch effizienter ist als Y ?X.XXY.YY ist eine bessere Wahl für alle Eingänge.X.XX ist eine bessere Wahl für alle Eingänge außer kleinen Eingängen.X.XX ist eine bessere Wahl für alle Eingänge außer großen Eingängen.X.XX ist die bessere...
Ich habe die Frage gelesen. Beständigkeit und Vollständigkeit implizieren Solidität. und die erste Aussage darin lautet: Ich verstehe, dass Solidität Beständigkeit impliziert. Worüber ich ziemlich verwirrt war, weil ich dachte, Solidität sei eine schwächere Aussage als Konsistenz (dh ich dachte,...
Wenn nicht, dann , was bedeutet es , wenn aus irgendeinem Zustand und einige Symbole ein , δ ( q , a ) nicht existiert?qqqaeinaδ(q,a)δ(q,ein)\delta(q,
Ich weiß nicht, ob es ein Witz war, aber ich habe einmal gelesen, was als formale Definition einer Datei in einem Versionssystem wie git, hg oder svn bezeichnet wurde. Es war so etwas wie ein mathematisches Objekt wie ein Homöomorphismus. War das ein Witz oder gibt es wirklich eine...
Aus Wikipedia : Die Art des Rechenproblems: Die am häufigsten verwendeten Probleme sind Entscheidungsprobleme . Komplexitätsklassen können jedoch basierend auf Funktionsproblemen, Zählproblemen, Optimierungsproblemen, Versprechenproblemen usw. definiert werden. Ich habe auch gesehen, dass die...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ich betrachte die Konstruktionsrechnung und ihren Platz im Lambda-Würfel . Wenn ich das richtig verstehe, kann man sich vorstellen, dass jede Achse des Würfels eine weitere Operation mit Typen zum einfach typisierten Kalkül hinzufügt λ→λ→\lambda_\to. Die erste Achse fügt Typ-zu-Term-Operatoren, die...
Bedeuten "induktiv" und "rekursiv" sehr ähnlich? Wenn es beispielsweise einen Algorithmus gibt, der einen n-dim-Vektor durch Bestimmen seiner ersten k + 1-Komponenten auf der Grundlage seiner ersten k-Komponenten bestimmt und mit der ersten Komponente initialisiert wird, würden Sie ihn als rekursiv...
Ich möchte angeben, was es bedeutet, eine Algebra als Eingabe für einen Algorithmus zu geben, und habe nicht viel Literatur darüber gefunden. Daher möchte ich zunächst fragen, ob Sie ein Buch oder eine Arbeit empfehlen können, die sich mit dem Thema der Komplexitätsanalyse von Algebren über Felder...
Ich brauche eine präzise Definition des "Zustands eines Objekts" in der objektorientierten Programmierung (für eine Arbeit). Etwa einen halben Tag lang suchte ich nach einem Artikel, den ich zu diesem Thema zitieren kann, aber ich konnte keinen finden. Alle Papiere, die ich gefunden habe, waren...
In einem tiefen ersten Baum definieren die Kanten den Baum (dh die Kanten, die beim Durchlaufen verwendet wurden). Es gibt einige übrig gebliebene Kanten, die einige der anderen Knoten verbinden. Was ist der Unterschied zwischen einer Querkante und einer Vorderkante? Aus Wikipedia: Basierend auf...