Computerwissenschaften

2

Ganzzahliger Quadratwurzel-Algorithmus mit beliebiger Genauigkeit?

Gibt es bekannte subquadratische Algorithmen zur Berechnung des Quadratwurzelbodens einer nBit-Ganzzahl? Der naive Algorithmus wäre so etwas wie def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc r += …

9 algorithms numerical-algorithms

2

Analoge Computer und die Church-Turing-These

Ich möchte aus Nielsen & Chuang, Quantenberechnung und Quanteninformation, Ausgabe zum 10-jährigen Jubiläum, Seite 5 (Schwerpunkt Mine) zitieren: Eine Klasse von Herausforderungen für die starke Church-Turing-These kommt aus dem Bereich der analogen Berechnung. In den Jahren seit Turing haben viele verschiedene Forscherteams festgestellt, dass bestimmte Arten von analogen Computern Probleme …

9 computation-models church-turing-thesis

3

Warum ist die CPU während des Tastaturechos beteiligt?

Ich studiere gerade für eine Informatikprüfung und bin auf ein Konzept gestoßen, das mich etwas verblüfft hat. Wenn man eine Taste auf der Tastatur eingibt, wird ein ASCII-Zeichen an die CPU übertragen. Beim Empfang dieses Zeichens gibt die CPU dasselbe Zeichen auf dem Bildschirm aus. Dieser Vorgang wird als Echo …

9 computer-architecture operating-systems user-interface

2

Wie führt der Einsatz von Orakel-Turing-Maschinen nicht zu Widersprüchen?

Wie können wir sicherstellen, dass wir bei der Verwendung von Orakel-Turing-Maschinen weiterhin fundierte und gültige Aussagen zu Komplexitätsklassen treffen? Nach meinem Verständnis (basierend auf den Definitionen in einführenden Lehrbüchern zu diesem Thema) können Orakel-Turing-Maschinen den Mitgliedschaftsstatus einer Zeichenfolge in Bezug auf eine Orakel-Sprache in einem Berechnungsschritt bestimmen. Es ist jedoch …

9 complexity-theory oracle-machines

1

Was ist der effizienteste Algorithmus und die effizienteste Datenstruktur zum Verwalten der Informationen zu verbundenen Komponenten in einem dynamischen Diagramm?

Angenommen, ich habe ein ungerichtetes Diagramm mit endlicher Dichte und muss in der Lage sein, die folgenden Abfragen effizient auszuführen: ichs C.o n n e c t e d( N.1, N.2)IsConnected(N1,N2)IsConnected(N_1, N_2) - gibt wenn zwischen und ein Pfad besteht , andernfallsN 1 N 2 F.T.TTN.1N1N_1N.2N2N_2F.FF C.o n n e …

9 algorithms graph-theory graphs data-structures

1

Wenn man zeigt, dass UNIQUE k-SAT in P ist, bedeutet das P = NP?

Valiant & Vazirani haben bewiesen, dass SAT unter randomisierten probabilistischen Verkürzungen der Polynomzeit auf EINZIGARTIGES SAT reduzierbar ist. Calabro et al . zeigten, dass EINZIGARTIGES k-SAT so hart ist wie k-SAT. Die Frage ist nun, wenn jemand zeigt, dass UNIQUE k-SAT in P ist, impliziert dies P = NP? Verweise …

9 complexity-theory satisfiability p-vs-np

1

Was ist RAM vergessen und wie funktioniert es?

Könnte mir jemand erklären, was genau ahnungsloser RAM ist? Ich habe die folgende Erklärung gefunden , die es mir irgendwie klar macht, aber ich möchte einen Eindruck von den technischen Aspekten bekommen: Die Verschlüsselung reicht nicht immer aus, um die Privatsphäre zu gewährleisten. Wenn ein Gegner Ihre Zugriffsmuster auf verschlüsselten …

9 terminology computer-architecture security memory-hardware memory-access

3

Gibt es wirklich Unveränderlichkeit in der funktionalen Programmierung?

Obwohl ich in meinem täglichen Leben als Programmierer arbeite und alle trendigen Sprachen (Python, Java, C usw.) verwende, habe ich immer noch keine klare Vorstellung davon, was funktionale Programmierung ist. Nach dem, was ich gelesen habe, ist eine Eigenschaft von Funktionssprachen, dass Datenstrukturen unveränderlich sind . Für mich allein wirft …

9 data-structures functional-programming

1

Ist einer von ihnen bei n Zeichenfolgen ein Teilstring eines anderen?

Angenommen, wir erhalten eine Sammlung von Zeichenfolgen, . Ich würde gerne wissen, ob eine dieser Zeichenfolgen eine Teilzeichenfolge einer anderen Zeichenfolge in der Sammlung ist. Mit anderen Worten, ich möchte einen Algorithmus für die folgende Aufgabe:S 1 , … , S nnnnS.1, … , S.nS1,…,SnS_1,\dots,S_n Eingabe:S.1, … , S.nS1,…,SnS_1,\dots,S_n Ausgabe: …

9 algorithms strings efficiency substrings

1

Wie heißt das Problem? (Aufteilung des Diagramms in drei Umschläge)

Ich habe mich gefragt, ob dieses Problem einen Namen hat: Bei einem einfachen Graphen, dessen Kanten rot, blau und grün gefärbt sind, , gibt es eine Scheitelpunktfärbung c : V → { B , R , G }, so dass jede Kante einen Endpunkt hat mit der gleichen Farbe?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup …

9 algorithms complexity-theory graphs satisfiability colorings

1

Wie funktioniert der Momentum-Term für den Backpropagation-Algorithmus?

Sollte bei der Aktualisierung der Gewichte eines neuronalen Netzwerks unter Verwendung des Backpropagation-Algorithmus mit einem Impulsausdruck die Lernrate auch auf den Impulsausdruck angewendet werden? Die meisten Informationen, die ich über die Verwendung von Momentum finden konnte, sehen ungefähr so aus: W.'ich= W.ich- α Δ W.ich+ μ Δ W.i - 1Wi′=Wi−αΔWi+μΔWi−1W_{i}' …

9 machine-learning neural-networks

3

Äquivalenz von Datenflussanalyse, abstrakter Interpretation und Typinferenz?

Die Antwort von @ Babou auf eine kürzlich gestellte Frage erinnert mich daran, dass ich einmal einen Artikel über die Äquivalenz (sowohl hinsichtlich der Fakten, die abgeleitet oder bewiesen werden können, als auch hinsichtlich der zeitlichen Komplexität der Ausführung des Inferenzalgorithmus) der Datenflussanalyse gelesen habe , abstrakte Interpretation und Typinferenz …

9 reference-request compilers type-inference program-optimization

1

baz_num_elts Übung von Software Foundations

Ich bin bei der folgenden Übung in Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type …

9 coq

1

Schreiben eines Multitasking-Betriebssystems für einen Prozessor ohne MMU

Ich habe darüber nachgedacht, ein Hobby-Betriebssystem für einige der ARM-Prozessoren zu schreiben. Es gibt viele beliebte Einplatinencomputer mit ARM MPU, daher wollte ich einfach einen davon kaufen (einen mit offenerer Dokumentation auswählen). Ich war überrascht, als ich herausfand, dass selbst Boards mit wirklich genügend Speicher keine MPUs mit Memory Management …

9 operating-systems memory-management memory-hardware os-kernel

1

Effizientes Finden der maximalen paarweisen GCD eines Satzes natürlicher Zahlen

Betrachten Sie das folgende Problem: Sei eine endliche Teilmenge der natürlichen Zahlen.S.= { s1, s2, . . . sn}}S.={s1,s2,...sn}}S = \{ s_1, s_2, ... s_n \} Sei | wobei der größte gemeinsame Teiler von undg c d ( s i , s j ) s i , s j ∈ …

9 algorithms number-theory