Es gibt viele Details über Carry-Lookahead-Addierer wie Kogge-Stone, Lander-Fischer usw. in College-CS-Kursen. Sie werden als "branchenüblich" bezeichnet. Ich kann jedoch keine Beweise (abgesehen von vielleicht der Manchester-Tragekette) aus jüngster Zeit finden, dass sie tatsächlich irgendwo...
Unsere aktuellen Computer verwenden Bits, daher verwenden sie das Binärzahlensystem. Aber ich habe gehört, dass die zukünftigen Quantencomputer Qubits anstelle von einfachen Bits verwenden werden. Da es im Wort "Qubit" das Wort "Bi" gibt, dachte ich zuerst, dass dies bedeutet, dass Quantencomputer...
Ich bin auf folgende Frage gestoßen : "Geben Sie Beispiele für zwei reguläre Sprachen an, deren Vereinigung keine reguläre Sprache ausgibt." Das ist ziemlich schockierend für mich, weil ich glaube, dass reguläre Sprachen unter Union geschlossen sind. Das bedeutet für mich, dass ich eine reguläre...
Ich weiß, dass dies ein bisschen ungewöhnlich klingt, in der Tat habe ich immer in der Box nachgedacht, aber in letzter Zeit habe ich darüber nachgedacht, ob die Informatik ein hohes Maß an Freiheit bietet, um andere Programme als zu entwickeln diejenigen, die an der Universität gelehrt. Betrachten...
Ich mag alles, was Kompilierungszeit ist, und ich mag die Idee, dass, sobald Sie ein Programm kompilieren, eine Menge Garantien für dessen Ausführung gegeben werden. Im Allgemeinen scheint ein statisches Typsystem (Haskell, C ++, ...) stärkere Kompilierungszeitgarantien zu bieten als jedes...
Ich habe ein bisschen gegoogelt und bin ein bisschen zu kurz gekommen. Ich frage mich, was die Hauptgründe für Informatiker und Programmierer sind, das Umschreiben von Begriffen und / oder das Umschreiben von Termgraphen zu studieren. Soweit ich das beurteilen kann, hilft es nur bei grundlegenden...
Beim Lesen einiger Blogs über die Komplexität von Berechnungen (zum Beispiel hier ) habe ich die Vorstellung übernommen, dass es einfacher ist, zu entscheiden, ob zwei Gruppen isomorph sind, als zwei Diagramme auf Isomorphismus zu testen. Auf der angegebenen Seite heißt es beispielsweise, dass der...
Im Bild unten versuche ich herauszufinden, was genau diese NFA akzeptiert. Was mich verwirrt, ist der Sprung bei .ϵϵ\epsilonq0q0q_0 Wenn eine eingegeben wird, wechselt das System dann zu und (dem Akzeptanzstatus)?000q0q0q_0 q1q1q_1 Wenn eine eingegeben wird, wechselt das System zu und...
Dynamische perfekte Hash-Tabellen und Kuckuck-Hash-Tabellen sind zwei unterschiedliche Datenstrukturen, die O (1) -Suchvorgänge im ungünstigsten Fall und erwartete O (1) -Zeit-Einfügungen und -Löschungen unterstützen. Beide benötigen O (n) Hilfsraum und Zugang zu Familien von Hash-Funktionen für...
Ich habe Probleme, Turings Problem zu verstehen. Sein Beweis geht davon aus, dass es eine magische Maschine die bestimmen könnte, ob ein Computer für eine bestimmte Eingabe für immer anhalten oder eine Schleife bilden würde. Dann schließen wir eine andere Maschine an, die die Ausgabe umkehrt, und...
Ziel ist es, DFA aus einem regulären Ausdruck zu erstellen, und die Verwendung von "Regular exp> NFA> DFA-Konvertierung" ist keine Option. Wie soll man das machen? Ich stellte diese Frage unserem Professor, aber er sagte mir, dass wir Intuition benutzen können und lehnte es freundlicherweise...
Ich habe gesehen, wie XOR-3-SAT effizient lösbar ist (siehe zum Beispiel den Abschnitt "XOR-Erfüllbarkeit" im Wikipedia-Eintrag für das Boolesche Erfüllbarkeitsproblem ). Ich frage mich eine grundlegende Frage: Ist XOR-k-SAT für Formeln mit unterschiedlich vielen Literalen pro Klausel effizient...
Es gibt das populäre Problem [1] [2] in der Informatik, das darin besteht, eine minimale Anzahl gerader Linien zu finden, die eine gegebene Menge von Punkten in 2D abdecken. Obwohl ich viele Papiere gescannt habe, hat keines eine eindeutige Motivation für das Problem. Was nützt es, dieses Problem...
Das ist wahrscheinlich eine blöde Frage, aber ich verstehe es einfach nicht. Bei einer anderen Frage kamen sie auf Schaefers Dichotomiesatz . Für mich sieht es so aus, als ob es beweist, dass jedes CSP-Problem entweder in P oder in NP-vollständig ist, aber nicht dazwischen. Da jedes NP-Problem in...
Ich bin gespannt, ob es in der Arthur-Merlin-Komplexitätsklasse vollständige Probleme gibt. Der Graph Non-Isomorphism (GNI) scheint das kanonische Beispiel für ein Problem in AM zu sein, aber es ist wahrscheinlich kein vollständiges. Ich frage mich wahrscheinlich auch, ob ein "vollständiges"...
Ich entwerfe eine speicherinterne Objektdatenbank für einen bestimmten Anwendungsfall. Es ist ein einzelner Writer, muss jedoch effiziente gleichzeitige Lesevorgänge unterstützen. Lesevorgänge müssen isoliert werden. Es gibt keine Abfragesprache, die Datenbank unterstützt nur: Objekt / -s nach...
Levenshtein-Entfernung Abstand zwischen Listen bearbeiten ist ein gut untersuchtes Problem. Aber ich kann nicht viel über mögliche Verbesserungen finden, wenn bekannt ist, dass kein Element mehr als einmal in jeder Liste vorkommt . Nehmen wir auch an, dass die Elemente vergleichbar / sortierbar...
Ich bin neu in Automaten und habe erst gestern eine kurze Einführung in reguläre Ausdrücke erhalten. Ich habe die verschiedenen Regeln gelesen, um einen regulären Ausdruck zu definieren. Ich kann jedoch nicht zwischen regulären Ausdrücken und der Grammatik einer Sprache unterscheiden (mir wurde die...
Gibt es irgendwelche Änderungen, die an CPUs vorgenommen werden könnten, um sie für gleichzeitige Laufzeiten wie Rust leistungsfähiger zu machen? Gibt es beispielsweise Änderungen an Implementierungen für die Verzweigungsvorhersage oder an den Cachegrößen, die zu gleichzeitigen Laufzeiten führen...
Ich habe gerade einige Seiten in Sipsers Buch Einführung in die Berechnungstheorie über das Post-Korrespondenz-Problem gelesen und denke, dass PCP tatsächlich in NP vorliegt. Der Zertifizierer ist: für eine Eingangskonfiguration des Stapels Verketten von t 1 , t 2 , . . . , T n als Zeichenfolge t...