Computerwissenschaften terminology

1

Wenn

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 nichtpolynomielle Zeitkomplexitätsfunktionen wie , die normalerweise nicht als Exponentialfunktionen angesehen werden).nLognnLog⁡nn^{\log n} Meine …

13 algorithms terminology polynomial-time

2

Was ist eine allgemeine Erklärung für die universelle Suche?

Ich lese ein Buch über ein Informatik-Thema, aber es fehlt mir ein Teil des erforderlichen Hintergrunds. Wenn ich auf Begriffe stoße, die ich nicht verstehe, schaue ich einfach nach, aber für die universelle Suche konnte ich einfach keine Erklärung finden, die für einen Leser ohne Hintergrund in Statistik / Informatik …

13 algorithms terminology search-algorithms

2

Algorithmus-Zeitanalyse „Eingabegröße“ vs. „Eingabeelemente“

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 den Sie sprechen. Einige Autoren beziehen …

13 complexity-theory terminology algorithm-analysis time-complexity runtime-analysis

2

Gibt es eine Theorie / Abstraktion hinter OOP?

Funktionale Programmierung hat den sehr eleganten Lambda-Kalkül und seine Varianten als Backup-Theorie. Gibt es so etwas für OOP? Was ist eine Abstraktion für das objektorientierte Modell?

13 terminology lambda-calculus functional-programming object-oriented

3

P, NP und spezialisierte Turingmaschinen

Ich bin ein bisschen neu, aber sehr interessiert am Gebiet der Computer- und Komplexitätstheorie, und ich möchte mein Verständnis darüber klären, wie man Probleme klassifiziert und wie stark sich die Probleme auf die Maschine beziehen, mit der sie gelöst werden. Mein Verständnis Standard Turing Machine - eine Turing-Maschine, die ein …

13 complexity-theory computability terminology turing-machines complexity-classes

3

Woher stammt das Client-Server-Modell?

Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung, Buch)?

13 terminology reference-request distributed-systems history

3

Kann dieser Algorithmus immer noch als binärer Suchalgorithmus betrachtet werden?

Bei der zweiten Code-Kata (bei der Sie aufgefordert werden, fünf Mal einen binären Suchalgorithmus zu implementieren, jedes Mal mit einer anderen Methode) habe ich eine etwas andere Lösung gefunden, die wie folgt funktioniert: Wenn ich ein sortiertes Array mit einer Länge von 100 habe und sehe, dass sein Startfeld die …

13 algorithms terminology search-algorithms binary-search

2

PTAS-Definition vs. FPTAS

Nach dem, was ich in der gelesen habe preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Dies ist die PTAS- Definition: Ein Polynom- Zeitnäherungsschema ( PTAS ) für Problem ist …

13 algorithms complexity-theory terminology complexity-classes approximation

5

Warum impliziert Solidität Beständigkeit?

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, konsistente Systeme müssten solide sein, aber ich denke, es ist …

12 terminology logic first-order-logic propositional-logic incompleteness

2

Gibt es eine formale CS-Definition von VCS- und Dateiversionen?

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

12 terminology reference-request

3

Wie entfernt 'Abholzung' 'Bäume' aus einem Programm?

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 einem Programm. Ich …

12 terminology compilers functional-programming

2

Bedeutung der Rekursion in der Berechenbarkeitstheorie

Die Berechenbarkeitstheorie wird auch als Rekursionstheorie bezeichnet. Warum heißt es so? Warum ist Rekursion so wichtig?

12 computability terminology history

1

Was ist Komplexitätsklasse

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 P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Aber was bedeutet ? Ich kann einfach nicht folgen, …

12 complexity-theory terminology complexity-classes

5

Hat in einem DFA jeder Staat einen Übergang für jedes Symbol des Alphabets?

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, a)

12 terminology automata finite-automata

1

Was ist mit dem Begriff "Prior" im maschinellen Lernen gemeint?

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 erklären, was es eigentlich bedeutet. Die mathematische Formulierung …

12 terminology machine-learning pattern-recognition bayesian-statistics

Als «terminology» getaggte Fragen