In Typentheorien wie Coqs können wir einen Typ mit folgenden Parametern definieren: Inductive ListP (Element : Type) : Type := NilP : ListP Element | ConsP : Element -> ListP Element -> ListP Element. Alternativ können wir einen Typ mit einem Index wie folgt definieren: Inductive ListI : Type...
Ich habe mich in letzter Zeit gefragt, wie GPUs Sinus und Cosinus berechnen, und Google hat mir nicht geholfen, eine genaue Antwort zu finden. Anfangs dachte ich, dass die GPU eine Art Nachschlagetabelle verwenden würde, um die Berechnungen so schnell wie möglich durchzuführen. Aber dann wurde mir...
Obwohl ich bereits etwas über die asymptotischen Laufzeiten von Matrixmultiplikationsalgorithmen (Strassens Algorithmus und ähnliche Dinge) gelernt habe, habe ich nie einen expliziten und zufriedenstellenden Hinweis auf ein Berechnungsmodell gefunden, mit dem diese Komplexität gemessen wird....
Ich habe einen genetischen Algorithmus für ein Optimierungsproblem. Ich habe die Laufzeit des Algorithmus in mehreren Läufen mit derselben Eingabe und denselben Parametern (Populationsgröße, Generationsgröße, Crossover, Mutation) aufgezeichnet. Die Ausführungszeit ändert sich zwischen den...
Mein Wissen ist sehr vage, da wir nur visuelle Diagramme usw. haben, aber wir haben Speicheradressen und Register, wobei die ALU (anscheinend) das Herz ist. Single-Core-CPUs verarbeiten jeweils einen Befehl. AFAIK und Multi-Core-CPUs weisen bis zu einem gewissen Grad Parallelität auf. Woher kommen...
Deep Learning, heute eines der beliebtesten Gebiete im künstlichen neuronalen Netz, hat sich hinsichtlich seiner Genauigkeit bei Datensätzen als vielversprechend erwiesen. Wie ist es mit Spiking Neural Network zu vergleichen. Vor kurzem hat Qualcomm seinen nullten Prozessor für SNN vorgestellt....
Ich habe über das No Free Lunch Theorem gelesen, aber ich kann nicht ganz verstehen, worum es geht. Ich habe diesen Satz an anderer Stelle als die Behauptung beschrieben, dass "kein universeller Allzweckoptimierer existiert". Auf der anderen Seite spricht der Wikipedia-Artikel von...
Ich gehe davon aus, dass die Größe einer Instanz des SAT-Problems anhand der Anzahl der (booleschen) Variablen gemessen wird. Wie viele Fälle von SAT-Problemen der Größe N gibt es insgesamt? Ich denke, das läuft darauf hinaus, die Anzahl der "unterschiedlichen" Formeln zu zählen, die durch N...
Ich gehe einige der erforderlichen Mathematik in Bezug auf die Automatentheorie und endliche Darstellungen durch. Ich habe folgendes gelesen: Wenn ∑ ein endliches Alphabet ist, ist die Menge aller Zeichenfolgen über dem Alphabet (∑ *) zählbar unendlich . Die Menge aller möglichen Sprachen über ein...
Ich bin ein Schüler in der zwölften Klasse. Ich studiere High-Level-Programmierung und ein bisschen grundlegende Informatik. Ich habe vor kurzem angefangen zu verstehen, was eine Turingmaschine ist. Ich wollte fragen: Ich verstehe , dass eine Turing - Maschine ein hypothetisches Gerät verwendet ,...
Quicksort wird als "an Ort und Stelle" beschrieben, verwendet jedoch eine Implementierung wie: def sort(array): less = [] equal = [] greater = [] if len(array) > 1: pivot = array[0] for x in array: if x < pivot: less.append(x) if x == pivot: equal.append(x) if x > pivot: greater.append(x)...
Ich versuche, ein bestimmtes Problem zu lösen: Finden Sie einen Algorithmus, um festzustellen, ob ein Graph eine Clique der Größe 3 Zoll hat O(n2.81)O(n2.81)O(n^{2.81})Schritte. Der gegebene Hinweis ist das2.81>log72.81>log72.81 > \log 7. Um dies zu lösen, habe ich mir eine Vermutung...
Gibt es ein gutes allgemeines Papier über die Interpretation oder Kompilierung von REGEXP in Programmiersprachen für den Mustervergleich mit oder ohne Variablen? Ich bin nicht auf der Suche nach einer kurzen Erklärung zum Aufbau von DFAs, sondern nach einem echten Papier darüber, wie dies bei der...
Es gibt ein grundlegendes Ergebnis in der Schaltungskomplexität, das besagt: Es gibt eine Sprache, die mit Schaltkreisen der Größe nicht gelöst werden kann .o(2nn)o(2nn)o(\frac{2^n}{n}) Das Argument ist ein einfaches Zählargument für die Anzahl der Booleschen Funktionen und die Anzahl der...
Ich bin jetzt ziemlich zuversichtlich, wie ich etwas in eine Turingmaschine verwandeln würde. Meine Frage ist nun, wie Sie TM in eine Ergänzung einer Turingmaschine umwandeln können. Soweit ich mich in Finite Automata erinnern kann, würden Sie als Ergänzung einen Startzustand in einen Endzustand...
Ich lese dieses Intel-Whitepaper zur Multiplikation ohne Übertrag . Es beschreibt die Multiplikation von Polynomen inGF (2n)GF(2n)\text{GF}(2^n). Auf hoher Ebene wird dies in zwei Schritten durchgeführt: (1) Multiplikation von Polynomen überGF ( 2 )GF(2)\text{GF}(2)und (2) Reduzieren des...
Ich verstehe, dass dies eine etwas vage Frage ist, aber es gibt Ergebnisse für P vs. NP, so dass die Frage nicht einfach mit Orakeln gelöst werden kann. Gibt es solche Ergebnisse, die für P gegen NP gezeigt wurden, aber nicht für P gegen PSPACE, so dass die Hoffnung besteht, dass bestimmte...
Ich lese gerade Fuss, Futexes und Furwocks: Fast Userland Locking unter Linux und bin auf dieses Zitat gestoßen : In einem fairen Schließschema wird die Sperre in der Reihenfolge gewährt, in der sie angefordert wurde. Dies kann sich aufgrund der erhöhten Anzahl von Kontextwechseln negativ auf den...
Beim Lesen von Xorshift bin ich auf Folgendes gestoßen (Hervorhebungen hinzugefügt): Der folgende xorshift + Generator hat stattdessen 128 Statusbits, eine maximale Periode von 2 ^ 128 - 1 und besteht BigCrush: [snip code] Dieser Generator ist einer der schnellsten Generatoren, die BigCrush...
Ein Problem ist NP-vollständig, wenn: Es ist in NP. Alle Probleme in NP können sich darauf reduzieren. Es ist Nummer 2, um die es mir hier geht. Ich wäre sehr überrascht, wenn wir jedes Problem in NP kennen würden. Woher wissen wir unter dieser Annahme sicher, dass ein Problem NP-vollständig ist?...