Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Gibt es ein Paradigma für die Erstellung von "inkrementellen Aktualisierungs" -Funktionen in einem reinen Datenflussstil?
Ich kenne nicht die richtige Terminologie, um diese Frage zu stellen, deshalb werde ich sie stattdessen mit vielen Worten beschreiben. Hintergrund , nur damit wir uns auf derselben Seite befinden: Programme enthalten häufig Caches - ein Kompromiss zwischen Zeit und Speicher. Ein häufiger Fehler eines Programmierers besteht darin, zu vergessen, …
1
Implementierung von Naive Bayes
Ich implementiere einen Naive Bayes-Algorithmus für die Textkategorisierung mit Laplace-Glättung. Das Problem, das ich habe, ist, dass sich die Wahrscheinlichkeit Null nähert, weil ich viele kleine Brüche multipliziere. Daher ergibt die Wahrscheinlichkeit schließlich Null. Dies liegt daran, dass die Dokumente und Schulungssätze mehrere Wörter enthalten. Aus diesem Grund kann ich …
2
Strikte Positivität
Aus dieser Referenz: Strikte Positivität Die strenge Positivitätsbedingung schließt Erklärungen wie z data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Warum ist A negativ? Auch warum ist B erlaubt? Ich verstehe, …
1
Ist das Halteproblem für eindimensionale zelluläre Automaten mit drei Symbolen entscheidbar?
Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definition. Ein zellularer Automat hat in …
1
Machen Selbsttypen die Berechnung induktiver Konstruktionen überflüssig?
Selbsttypen sind eine Erweiterung der Konstruktionsrechnung [1], mit der die Sprache algebraische Datentypen ausdrücken kann, die durch die Scott-Codierung codiert werden. Die Scott-Codierung bietet die Möglichkeit zur Musterübereinstimmung O(1), was einer der Hauptgründe für die Aufnahme induktiver Definitionen in CC ist. Selbsttypen sind jedoch eine viel einfachere und elegantere Basistheorie …
5
Tägliche Anwendungen der Typentheorie
Ich möchte die Typentheorie verstehen, muss aber zuerst wissen, wie ich sie anwenden kann. Könnte es neben den Typsystemen in der Programmierung weitere nicht offensichtliche Anwendungen der Typentheorie geben? Könnte es andere Anwendungen geben, zum Beispiel bei der Erstellung von Persönlichkeitsprofilen und dergleichen?
1
Wenn
Wenn P = N P.P=NP\mathbf{P} = \mathbf{NP} , ist dann L = N L.L=NL\mathbf{L} = \mathbf{NL} ? Ich stelle diese Frage, weil für andere nicht deterministische Klassen P = N P.P=NP\mathbf{P} = \mathbf{NP} anscheinend immer feststellt, dass sie ihren deterministischen Gegenstücken gleich sind.
3
Unendliche Berechnungen in endlicher Zeit
Dies ist wahrscheinlich ein dummer Gedanke, aber nehmen wir an einen Computer, der eine unendliche Folge von Berechnungen und nehme an, die so programmiert ist Berechnung dauert 1 / 2 i Sekunden. Dann kann dieser Computer unendlich viele Berechnungen in endlicher Zeit durchführen.ichthithi^\text{th}1 / 2ich1/2i1/2^i Warum ist das unmöglich? Gibt …
4
Entwicklung künstlicher neuronaler Netze zur Lösung von NP-Problemen
Ich habe kürzlich einen wirklich interessanten Blogeintrag aus dem Google Research Blog gelesen, in dem es um neuronale Netze geht. Grundsätzlich nutzen sie diese neuronalen Netze zur Lösung verschiedener Probleme wie der Bilderkennung. Sie verwenden genetische Algorithmen, um die Gewichte der Axone zu "entwickeln". Im Grunde ist meine Idee die …
1
Werden NP-vollständige Sätze nur dann aus zwei anderen Sätzen gebildet, wenn mindestens einer NP-hart ist?
Diese Frage ist eine Art Umkehrung zu einer früheren Frage zu Mengen, die aus Mengenoperationen für NP-vollständige Mengen gebildet wurden: Wenn die Menge, die sich aus der Vereinigung, dem Schnittpunkt oder dem kartesischen Produkt zweier entscheidbarer Mengen und ergibt, NP-vollständig ist, ist mindestens eine von notwendigerweise NP-hart? Ich weiß, dass …
1
Umschreiben von Begriffen; Berechnen Sie kritische Paare
Ich habe versucht, die folgende Übung zu lösen, bin aber beim Versuch, alle kritischen Paare zu finden, festgefahren . Ich habe folgende Fragen: Woher weiß ich, welches kritische Paar eine neue Regel hervorgebracht hat? Woher weiß ich, dass ich alle kritischen Paare gefunden habe? Sei Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.